| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Optics.Internal.Fold
Description
Internal implementation details of folds.
This module is intended for internal use only, and may change without warning in subsequent releases.
Synopsis
- foldVL__ :: ( Bicontravariant p, Traversing p) => ( forall f. Applicative f => (a -> f u) -> s -> f v) -> Optic__ p i i s t a b
- folded__ :: ( Bicontravariant p, Traversing p, Foldable f) => Optic__ p i i (f a) (f b) a b
- foldring__ :: ( Bicontravariant p, Traversing p) => ( forall f. Applicative f => (a -> f u -> f u) -> f v -> s -> f w) -> Optic__ p i i s t a b
- data Leftmost a
- getLeftmost :: Leftmost a -> Maybe a
- data Rightmost a
- getRightmost :: Rightmost a -> Maybe a
Documentation
foldVL__ :: ( Bicontravariant p, Traversing p) => ( forall f. Applicative f => (a -> f u) -> s -> f v) -> Optic__ p i i s t a b Source #
Internal implementation of
foldVL
.
folded__ :: ( Bicontravariant p, Traversing p, Foldable f) => Optic__ p i i (f a) (f b) a b Source #
Internal implementation of
folded
.
foldring__ :: ( Bicontravariant p, Traversing p) => ( forall f. Applicative f => (a -> f u -> f u) -> f v -> s -> f w) -> Optic__ p i i s t a b Source #
Internal implementation of
foldring
.
getLeftmost :: Leftmost a -> Maybe a Source #