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

Control.Monad.FreeT

Synopsis

newtype FreeT f m a Source

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

FreeT f

f

Constructors

Fields

Instances

class (Functor f, Monad m) => MonadFree f m whereSource

Methods

free :: m a -> m (Either a (f (m a)))Source