| Portability | rank 2 types, MPTCs |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Inferred |
Control.Lens.IndexedGetter
Contents
Description
- type IndexedGetter i s a = forall k f. (Indexed i k, Gettable f) => k (a -> f a) (s -> f s)
- type IndexedGetting i m s t a b = Index i (a -> Accessor m b) (s -> Accessor m t)
- newtype ReifiedIndexedGetter i s a = ReifyIndexedGetter {
- reflectIndexedGetter :: IndexedGetter i s a
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.
Constructors
| ReifyIndexedGetter | |
Fields
| |