Proton.Fold

Documentation

type Fold s t a b = forall p. (Traversing p, Phantom p) => p a b -> p s t

folding :: (Foldable f, Phantom p, Traversing p) => (s -> f a) -> p a b -> p s t

folded :: (Traversing p, Foldable f, Phantom p) => p a b -> p (f a) t

foldOf :: Monoid a => Fold s t a b -> s -> a

foldMapOf :: Monoid m => Optic (Forget m) s t a b -> (a -> m) -> s -> m

toListOf :: Optic (Forget [a]) s t a b -> s -> [a]

preview :: Optic (Forget (First a)) s t a b -> s -> Maybe a

(^?) :: s -> Optic (Forget (First a)) s t a b -> Maybe a

(^..) :: s -> Optic (Forget [a]) s t a b -> [a]

(<+>) :: Semigroup r => Optic (Forget r) s t a b -> Optic (Forget r) s t' a b' -> Optic (Forget r) s t a b