| Portability | rank 2 types, MPTCs |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Infered |
Control.Lens.IndexedGetter
Contents
Description
- type IndexedGetter i a c = forall k f. (Indexed i k, Gettable f) => k (c -> f c) (a -> f a)
- type IndexedGetting i m a c = Index i (c -> Accessor m c) (a -> Accessor m a)
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.