Data.Can.Microlens

Prisms and Traversals for the Can datatype.

Traversals

_Non :: Traversal' (Can a b) ()

A Traversal' selecting the Non constructor.

Note: cannot change type.

_One :: Traversal' (Can a b) a

A Traversal' selecting the One constructor.

Note: cannot change type.

_Eno :: Traversal' (Can a b) b

A Traversal' selecting the Eno constructor.

Note: cannot change type.

_Two :: Traversal' (Can a b) (a, b)

A Traversal' selecting the Two constructor.

Note: cannot change type.

oneing :: Traversal (Can a c) (Can b c) a b

A Traversal of the first parameter, suitable for use with Control.Lens.

enoing :: Traversal (Can a b) (Can a c) b c

A Traversal of the second parameter, suitable for use with Control.Lens.

twoed :: Traversal' (Can a b) (a, b)

A Traversal of the pair, suitable for use with Control.Lens.

twoing :: Traversal (Can a a) (Can b b) a b

A Traversal of the pair ala both, suitable for use with Control.Lens.