Data.Smash.Microlens

Traversals for the Smash datatype.

Traversals

_Nada :: Traversal' (Smash a b) ()

A Traversal' selecting the Nada constructor.

Note: cannot change type.

_Smash :: Traversal' (Smash a b) (a, b)

A Traversal' selecting the Smash constructor.

Note: cannot change type.

smashed :: Traversal (Smash a b) (Smash c d) (a, b) (c, d)

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

>>> over smashed show (Smash 1 2)
"(1,2)"

>>> over smashed show Nada
Nada

smashing :: Traversal (Smash a a) (Smash b b) a b

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

>>> over smashing show (Smash 1 2)
Smash "1" "2"

>>> over smashing show Nada
Nada