Portability | rank 2 types, MPTCs |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | None |
- 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 b c d = Index i (c -> Accessor m d) (a -> Accessor m b)
- newtype ReifiedIndexedGetter i a c = ReifyIndexedGetter {
- reflectIndexedGetter :: IndexedGetter i a c
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 b c d = Index i (c -> Accessor m d) (a -> Accessor m b)Source
Used to consume an IndexedFold
.
newtype ReifiedIndexedGetter i a c Source
Useful for storage.