[Haskell-cafe] Lenses that work with Arrows

[Niklas Haas]

On Mon, 7 Oct 2013 10:40:13 +0100, Tom Ellis <tom-lists-haskell-cafe-2013 at 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 at 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.