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.Optics

Contents

Description

Prisms and Traversals for the Wedge datatype.

Synopsis

Traversals

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

A Traversal 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 :: Traversal (Wedge a b) (Wedge a b') b b' Source #

A Traversal 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'"

Prisms

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

A Prism' selecting the Nowhere constructor.

Note: this optic cannot change type.

_Here :: Prism (Wedge a b) (Wedge c b) a c Source #

A Prism' selecting the Here constructor.

_There :: Prism (Wedge a b) (Wedge a d) b d Source #

A Prism' selecting the There constructor.

Swapped Wedge Source #
Methods swapped :: Iso (Wedge a b) (Wedge c d) (Wedge b a) (Wedge d c)
((~) * a a', (~) * b b') => Each (Maybe Bool) (Wedge a a') (Wedge b b') a b Source #
Methods each :: IxTraversal (Maybe Bool) (Wedge a a') (Wedge b b') a b