category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Monad.Composition Portability non-portable (functional-dependencies) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

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

Produced by Haddock version 2.1.0