lens-3.10: Lenses, Folds and Traversals

PortabilityRank2Types
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Inferred

Control.Lens.Reified

Description

 

Synopsis

Documentation

newtype ReifiedLens s t a b Source

Reify a Lens so it can be stored safely in a container.

Constructors

ReifyLens 

Fields

reflectLens :: Lens s t a b
 

newtype ReifiedIndexedLens i s t a b Source

Reify an IndexedLens so it can be stored safely in a container.

Constructors

ReifyIndexedLens 

Fields

reflectIndexedLens :: IndexedLens i s t a b
 

newtype ReifiedIndexedTraversal i s t a b Source

Reify an IndexedTraversal so it can be stored safely in a container.

data ReifiedTraversal s t a b Source

A form of Traversal that can be stored monomorphically in a container.

Constructors

ReifyTraversal 

Fields

reflectTraversal :: Traversal s t a b
 

newtype ReifiedGetter s a Source

Reify a Getter so it can be stored safely in a container.

Constructors

ReifyGetter 

Fields

reflectGetter :: Getter s a
 

newtype ReifiedIndexedGetter i s a Source

Reify an IndexedGetter so it can be stored safely in a container.

newtype ReifiedFold s a Source

Reify a Fold so it can be stored safely in a container.

Constructors

ReifyFold 

Fields

reflectFold :: Fold s a
 

newtype ReifiedSetter s t a b Source

Reify a Setter so it can be stored safely in a container.

Constructors

ReifySetter 

Fields

reflectSetter :: Setter s t a b
 

newtype ReifiedIndexedSetter i s t a b Source

Reify an IndexedSetter so it can be stored safely in a container.

Constructors

ReifyIndexedSetter 

Fields

reflectIndexedSetter :: IndexedSetter i s t a b
 

newtype ReifiedIso s t a b Source

Reify an Iso so it can be stored safely in a container.

Constructors

ReifyIso 

Fields

reflectIso :: Iso s t a b
 

newtype ReifiedPrism s t a b Source

Reify a Prism so it can be stored safely in a container.

Constructors

ReifyPrism 

Fields

reflectPrism :: Prism s t a b