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 |

# Traversals

here :: Traversal' (Wedge a b) a Source #

A `Traversal`

of the `Here`

case of a `Wedge`

,
suitable for use with Control.Lens.

`>>>`

Here "1"`over here show (Here 1)`

`>>>`

There 'a'`over here show (There 'a')`

there :: Traversal' (Wedge a b) b Source #

A `Traversal`

of the `There`

case of a `Wedge`

,
suitable for use with Control.Lens.

`>>>`

Here 1`over there show (Here 1)`

`>>>`

There "'a'"`over there show (There 'a')`

_Nowhere :: Traversal' (Wedge a b) () Source #

A `Traversal'`

selecting the `Nowhere`

constructor.

*Note:* cannot change type.