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