Unbound.Generics.LocallyNameless.Internal.Fold

Some utilities for working with Folds.

If you are using lens, you don't need this module.

Documentation

type Fold s a = forall f. (Contravariant f, Applicative f) => (a -> f a) -> s -> f s

type Traversal' s a = forall f. Applicative f => (a -> f a) -> s -> f s

toListOf :: Fold s a -> s -> [a]

filtered :: (a -> Bool) -> Traversal' a a

justFiltered :: (a -> Maybe b) -> Fold a b

foldMapOf :: Getting r s a -> (a -> r) -> s -> r