Safe Haskell	Trustworthy
Language	Haskell2010

Data.These.Optics

Contents

Synopsis

Affine traversals

An AffineTraversal of the first half of a These.

>>> over here show (That 1)
That 1

>>> over here show (These 'a' 2)
These "'a'" 2

An AffineTraversal of the second half of a These.

>>> over there show (That 1)
That "1"

>>> over there show (These 'a' 2)
These 'a' "2"

Prisms

A Prism' selecting the This constructor.

Note: cannot change type.

A Prism' selecting the That constructor.

Note: cannot change type.

A Prism' selecting the These constructor. These names are ridiculous!

Note: cannot change type.

Swapped These Source #
Instance details Methods swapped :: Iso (These a b) (These c d) (These b a) (These d c) #
(a ~ a', b ~ b') => Each (Either () ()) (These a a') (These b b') a b Source #	Since: 1.0.1
Instance details Methods each :: IxTraversal (Either () ()) (These a a') (These b b') a b #