| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Optics.Internal.IxFold
Description
Internal implementation details of indexed folds.
This module is intended for internal use only, and may change without warning in subsequent releases.
Synopsis
- ifoldVL__ :: ( Bicontravariant p, Traversing p) => ( forall f. Applicative f => (i -> a -> f u) -> s -> f v) -> Optic__ p j (i -> j) s t a b
- ifolded__ :: ( Bicontravariant p, Traversing p, FoldableWithIndex i f) => Optic__ p j (i -> j) (f a) t a b
- ifoldring__ :: ( Bicontravariant p, Traversing p) => ( forall f. Applicative f => (i -> a -> f u -> f u) -> f v -> s -> f w) -> Optic__ p j (i -> j) s t a b
Documentation
ifoldVL__ :: ( Bicontravariant p, Traversing p) => ( forall f. Applicative f => (i -> a -> f u) -> s -> f v) -> Optic__ p j (i -> j) s t a b Source #
Internal implementation of
ifoldVL
.
ifolded__ :: ( Bicontravariant p, Traversing p, FoldableWithIndex i f) => Optic__ p j (i -> j) (f a) t a b Source #
Internal implementation of
ifolded
.
ifoldring__ :: ( Bicontravariant p, Traversing p) => ( forall f. Applicative f => (i -> a -> f u -> f u) -> f v -> s -> f w) -> Optic__ p j (i -> j) s t a b Source #
Internal implementation of
ifoldring
.