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

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 :: Type -> Type). 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 :: Type -> Type). 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 :: Type -> Type). 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 :: Type -> Type). 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`.