Documentation

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

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

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

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

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