[Haskell-cafe] Seeking Control.Lens Combinator

Charlie Paul charlieap
Fri Oct 4 23:23:23 UTC 2013


I'm looking for a combinator along the lines of
(&&&) :: Lens' a b -> Lens' a b' -> Lens' a (b,b')
I can see how it could lead to lenses that don't follow the laws, but
for Lenses which are somehow independent (like _1 and _2), it works
perfectly well. Is there a way in lens to specify this "independence"?

Thank you,

Charles Paul

More information about the Haskell-Cafe mailing list