control-monad-free-0.1: A monad transformer for free monads.

Control.Monad.Free

Synopsis

Documentation

newtype FreeT f m a Source

FreeT f is a monad transformer for free monads over a functor f.

Constructors

FreeT 

Fields

runFreeT :: m (Either a (f (FreeT f m a)))
 

Instances

Functor f => MonadTrans (FreeT f) 
(Functor f, Monad m) => Monad (FreeT f m) 
(Functor f, Functor m) => Functor (FreeT f m)