optics-core-0.2: Optics as an abstract interface: core definitions

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

# 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.