these-lens-1.0.1.1: Lenses for These
Data.These.Lens
Contents
here :: Traversal (These a c) (These b c) a b Source #
A Traversal of the first half of a These, suitable for use with Control.Lens.
Traversal
These
>>> over here show (That 1) That 1
>>>
over here show (That 1)
>>> over here show (These 'a' 2) These "'a'" 2
over here show (These 'a' 2)
there :: Traversal (These c a) (These c b) a b Source #
A Traversal of the second half of a These, suitable for use with Control.Lens.
there :: Traversal (These t b) (These t b) a b
there
>>> over there show (That 1) That "1"
over there show (That 1)
>>> over there show (These 'a' 2) These 'a' "2"
over there show (These 'a' 2)
_This :: Prism' (These a b) a Source #
A Prism' selecting the This constructor.
Prism'
This
Note: cannot change type.
_That :: Prism' (These a b) b Source #
A Prism' selecting the That constructor.
That
_These :: Prism' (These a b) (a, b) Source #
A Prism' selecting the These constructor. These names are ridiculous!
Methods
swapped :: Iso (These a b) (These c d) (These b a) (These d c) #
Since: 1.0.1
each :: Traversal (These a a') (These b b') a b #