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 |
Synopsis
- _CanIso :: Iso (Can a b) (Can c d) (Maybe a, Maybe b) (Maybe c, Maybe d)
- _Non :: Prism' (Can a b) ()
- _One :: Prism' (Can a b) a
- _Eno :: Prism' (Can a b) b
- _Two :: Prism' (Can a b) (a, b)
- oneing :: Traversal (Can a c) (Can b c) a b
- enoing :: Traversal (Can a b) (Can a c) b c
- twoed :: Traversal' (Can a b) (a, b)
- twoing :: Traversal (Can a a) (Can b b) a b
Isos
_CanIso :: Iso (Can a b) (Can c d) (Maybe a, Maybe b) (Maybe c, Maybe d) Source #
A Iso
between a wedge coproduct and pointed coproduct.
Prisms
Traversals
oneing :: Traversal (Can a c) (Can b c) a b Source #
A Traversal
of the first parameter, suitable for use
with Control.Lens.
enoing :: Traversal (Can a b) (Can a c) b c Source #
A Traversal
of the second parameter, suitable for use
with Control.Lens.
twoed :: Traversal' (Can a b) (a, b) Source #
A Traversal
of the pair, suitable for use
with Control.Lens.
twoing :: Traversal (Can a a) (Can b b) a b Source #
A Traversal
of the pair ala both
, suitable for use
with Control.Lens.