Monads are Functors with additional structure allowing values to be lifted and nested monads to be flattened. More...

Classes
struct	boost::mpl11::join< monad >
	Remove one level of monadic structure, projecting its argument into the outer level. More...

struct	boost::mpl11::unit< MonadType, x >
	Lift a value into a monadic structure. More...

Detailed Description

Monads are Functors with additional structure allowing values to be lifted and nested monads to be flattened.

Functor

unit and join

All the methods.

Classes