category-extras-0.44.1: Various modules and constructs inspired by category theory.

Portabilitynon-portable (functional-dependencies)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Monad.Composition

Description

 

Documentation

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