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 | None |
Language | Haskell2010 |
Synopsis
- _WedgeIso :: Iso (Wedge a b) (Wedge c d) (Maybe (Either a b)) (Maybe (Either c d))
- here :: AffineTraversal (Wedge a b) (Wedge a' b) a a'
- there :: AffineTraversal (Wedge a b) (Wedge a b') b b'
- _Nowhere :: Prism' (Wedge a b) ()
- _Here :: Prism (Wedge a b) (Wedge c b) a c
- _There :: Prism (Wedge a b) (Wedge a d) b d
Isos
_WedgeIso :: Iso (Wedge a b) (Wedge c d) (Maybe (Either a b)) (Maybe (Either c d)) Source #
A Iso
between a wedge sum and pointed coproduct.
Traversals
here :: AffineTraversal (Wedge a b) (Wedge a' b) a a' Source #
An AffineTraversal
of the Here
case of a Wedge
,
suitable for use with Optics.
>>>
over here show (Here 1)
Here "1"
>>>
over here show (There 'a')
There 'a'
there :: AffineTraversal (Wedge a b) (Wedge a b') b b' Source #
An AffineTraversal
of the There
case of a Wedge
,
suitable for use with Optics.
>>>
over there show (Here 1)
Here 1
>>>
over there show (There 'a')
There "'a'"