lens-1.9.1: Lenses, Folds and Traversals

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

Control.Lens.IndexedGetter

Contents

Description

 

Synopsis

Indexed Folds

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

Every IndexedGetter is a valid IndexedFold and Getter.

type IndexedGetting i m a c = Index i (c -> Accessor m c) (a -> Accessor m a)Source

Used to consume an IndexedFold.