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
Haskell-Cafe mailing list

Reply via email to