On Mon, 7 Oct 2013 10:40:13 +0100, Tom Ellis <tom-lists-haskell-cafe-2...@jaguarpaw.co.uk> wrote: > Dear all, > > I introduce a very simple extension to the Lens datatype from Control.Lens > that allows it to work with Arrows: > > https://gist.github.com/tomjaguarpaw/6865080 > > I would particularly like to discuss this with authors of Control.Lens to > see if such an idea is suitable for inclusion in their library. > > I have also started a Reddit discussion here: > > > http://www.reddit.com/r/haskell/comments/1nwetz/lenses_that_work_with_arrows/ > > Tom > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe
The reason we don't tend to have combinators like ‘view’ or ‘over’ generalized in their return profunctor like that is because you very quickly run into type ambiguity issues. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe