| 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.Wedge.Lens
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'"