category-extras-0.44.1: Various modules and constructs inspired by category theory.
Control.Monad.Composition
Description
postJoin :: (Monad m, PostFold m f) => m (f (m (f a))) -> m (f a)Source
preJoin :: (Monad m, Functor f, PreFold f m) => f (m (f (m a))) -> f (m a)Source