8 Oct
2013
8 Oct
'13
1:22 a.m.
On Mon, Oct 07, 2013 at 07:14:44PM +0200, Niklas Haas wrote:
On Mon, 7 Oct 2013 10:40:13 +0100, Tom Ellis <tom-lists-haskell-cafe-2013@jaguarpaw.co.uk> wrote:
I introduce a very simple extension to the Lens datatype from Control.Lens that allows it to work with Arrows:
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.
Perhaps I didn't explain clearly what I am asking for. The crux of the issue is whether it is possible *at all* to write the function overArr :: Arrow arr => Lens s t a b -> arr a b -> arr s t not whether it should be merged with over. Tom