| 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 |
Data.Wedge.Lens
Contents
Description
Prisms and Traversals for the Wedge datatype.
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'"
Prisms
_Nowhere :: Prism' (Wedge a b) () Source #
A Prism' selecting the Nowhere constructor.
Note: cannot change type.
_Here :: Prism (Wedge a b) (Wedge c b) a c Source #
A Prism' selecting the Here constructor.
Note: cannot change type.
_There :: Prism (Wedge a b) (Wedge a d) b d Source #
A Prism' selecting the There constructor.
Note: cannot change type.