Control.Monad.All.Trans

The AllT monad monad transformer.

Documentation

data AllT m a

The AllT monad transformer.

AllT is powerful enough to interpret any monadic action, which makes it very convenient for defining domain specific languages.

Of course, any actions supported by the base monad are also supported by AllT.

Instances

MonadTrans AllT

Alternative (AllT m)

Monad (AllT m)

Functor (AllT m)

MonadPlus (AllT m)

Applicative (AllT m)

MonadIO (AllT m)

MonadAll (AllT m)

anything :: AllT m a

Create any value in the AllT monad.