strict-lens-0.4.0.2: Lenses for types in strict package

Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Strict.Lens

Contents

Tuple
Maybe
These

Synopsis

_Left :: Prism (Either a c) (Either b c) a b
_Right :: Prism (Either c a) (Either c b) a b
_Just :: Prism (Maybe a) (Maybe b) a b
_Nothing :: Prism' (Maybe a) ()
here :: Traversal (These a c) (These b c) a b
there :: Traversal (These c a) (These c b) a b
_This :: Prism' (These a b) a
_That :: Prism' (These a b) b
_These :: Prism' (These a b) (a, b)

Tuple

See instances, in particular for Field1 and Field2 type classes. * Either

_Left :: Prism (Either a c) (Either b c) a b Source #

Analogous to _Left in Control.Lens.Prism.

_Right :: Prism (Either c a) (Either c b) a b Source #

Analogous to _Right in Control.Lens.Prism.

Maybe

_Just :: Prism (Maybe a) (Maybe b) a b Source #

Analogous to _Just in Control.Lens.Prism

_Nothing :: Prism' (Maybe a) () Source #

Analogous to _Nothing in Control.Lens.Prism

These

here :: Traversal (These a c) (These b c) a b Source #

A Traversal of the first half of a These, suitable for use with Control.Lens.

>>> over here show (That 1)
That 1

>>> over here show (These 'a' 2)
These "'a'" 2

there :: Traversal (These c a) (These c b) a b Source #

A Traversal of the second half of a These, suitable for use with Control.Lens.

there :: Traversal (These t b) (These t b) a b

>>> over there show (That 1)
That "1"

>>> over there show (These 'a' 2)
These 'a' "2"

_This :: Prism' (These a b) a Source #

A Prism' selecting the This constructor.

Note: cannot change type.

_That :: Prism' (These a b) b Source #

A Prism' selecting the That constructor.

Note: cannot change type.

_These :: Prism' (These a b) (a, b) Source #

A Prism' selecting the These constructor. These names are ridiculous!

Note: cannot change type.