| Copyright | (c) 2020-2022 Emily Pillmore |
|---|---|
| License | BSD-style |
| Maintainer | Emily Pillmore <emilypi@cohomolo.gy> |
| Stability | Experimental |
| Portability | FlexibleInstances, MPTC, Type Families, UndecideableInstances |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Data.Can.Lens
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.