| Copyright | (c) 2020 Emily Pillmore |
|---|---|
| License | BSD-style |
| Maintainer | Emily Pillmore <emilypi@cohomolo.gy> |
| Stability | Experimental |
| Portability | FlexibleInstances, MPTC, Type Families, UndecideableInstances |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Smash.Lens
Contents
Description
Prisms and Traversals for the Smash datatype.
Prisms
_Nada :: Prism' (Smash a b) () Source #
A Prism' selecting the Nada constructor.
Note: cannot change type.
_Smash :: Prism' (Smash a b) (a, b) Source #
A Prism' selecting the Smash constructor.
Note: cannot change type.
Traversals
smashed :: Traversal (Smash a b) (Smash c d) (a, b) (c, d) Source #
A Traversal of the smashed pair, suitable for use
with Control.Lens.
>>>over smashed show (Smash 1 2)"(1,2)"
>>>over smashed show NadaNada
smashing :: Traversal (Smash a a) (Smash b b) a b Source #
A Traversal of the smashed pair, suitable for use
with Control.Lens.
>>>over smashing show (Smash 1 2)Smash "1" "2"
>>>over smashing show NadaNada