Data.Wedge.Lens

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 :: Traversal' (Wedge a b) a

A Traversal of the Here case of a Wedge, suitable for use with Control.Lens.

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

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

there :: Traversal' (Wedge a b) b

A Traversal of the There case of a Wedge, suitable for use with Control.Lens.

>>> 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: cannot change type.

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

A Prism' selecting the Here constructor.

Note: cannot change type.

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

A Prism' selecting the There constructor.

Note: cannot change type.

Orphan instances

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

Methods

each :: Traversal (Wedge a a') (Wedge b b') a b