smash-microlens-0.1.0.0: Optics for the `smash` library
Copyright(c) 2020 Emily Pillmore
LicenseBSD-style
MaintainerEmily Pillmore <emilypi@cohomolo.gy>
StabilityExperimental
PortabilityFlexibleInstances, MPTC, Type Families, UndecideableInstances
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Wedge.Microlens

Contents

Description

Prisms and Traversals for the Wedge datatype.

Synopsis
  • here :: Traversal' (Wedge a b) a
  • there :: Traversal' (Wedge a b) b
  • _Nowhere :: Traversal' (Wedge a b) ()
  • _Here :: Traversal (Wedge a b) (Wedge c b) a c
  • _There :: Traversal (Wedge a b) (Wedge a d) b d

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

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

A Traversal' selecting the Nowhere constructor.

Note: cannot change type.

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

A Traversal' selecting the Here constructor.

Note: cannot change type.

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

A Traversal' selecting the There constructor.

Note: cannot change type.