lens-3.1: Lenses, Folds and Traversals

Portabilityrank 2 types, MPTCs
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Inferred

Control.Lens.IndexedGetter

Contents

Description

 

Synopsis

Indexed Folds

type IndexedGetter i s a = forall k f. (Indexed i k, Gettable f) => k (a -> f a) (s -> f s)Source

Every IndexedGetter is a valid IndexedFold and Getter.

type IndexedGetting i m s t a b = Index i (a -> Accessor m b) (s -> Accessor m t)Source

Used to consume an IndexedFold.

newtype ReifiedIndexedGetter i s a Source

Useful for storage.