Data.Wedge.Optics

Prisms and Traversals for the Wedge datatype.

Isos

_WedgeIso :: Iso (Wedge a b) (Wedge c d) (Maybe (Either a b)) (Maybe (Either c d))

A Iso between a wedge sum and pointed coproduct.

Traversals

here :: AffineTraversal (Wedge a b) (Wedge a' b) a a'

An AffineTraversal of the Here case of a Wedge, suitable for use with Optics.

>>> over here show (Here 1)
Here "1"

>>> over here show (There 'a')
There 'a'

there :: AffineTraversal (Wedge a b) (Wedge a b') b b'

An AffineTraversal of the There case of a Wedge, suitable for use with Optics.

>>> over there show (Here 1)
Here 1

>>> over there show (There 'a')
There "'a'"

Prisms

_Nowhere :: Prism' (Wedge a b) ()

A Prism' selecting the Nowhere constructor.

Note: this optic cannot change type.

_Here :: Prism (Wedge a b) (Wedge c b) a c

A Prism' selecting the Here constructor.

_There :: Prism (Wedge a b) (Wedge a d) b d

A Prism' selecting the There constructor.

Orphan instances

Swapped Wedge

Methods

swapped :: Iso (Wedge a b) (Wedge c d) (Wedge b a) (Wedge d c)

(a ~ a', b ~ b') => Each Bool (Wedge a a') (Wedge b b') a b

Methods

each :: IxTraversal Bool (Wedge a a') (Wedge b b') a b