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 |
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 :: Traversal' (Wedge a b) a Source #
A Traversal
of the Here
case of a Wedge
,
suitable for use with Control.Lens.
>>>
over here show (Here 1)
Here "1"
>>>
over here show (There 'a')
There 'a'
there :: Traversal' (Wedge a b) b Source #
A Traversal
of the There
case of a Wedge
,
suitable for use with Control.Lens.
>>>
over there show (Here 1)
Here 1
>>>
over there show (There 'a')
There "'a'"