Control.Monad.Free

Free Monads

class MonadFree f m

data Free f a

isPure

isImpure

foldFree

evalFree

mapFree

mapFreeM

mapFreeM'

Monad Morphisms

foldFreeM

induce

Free Monad Transformers

data FreeT f m a

foldFreeT

foldFreeT'

mapFreeT

foldFreeA

mapFreeA

Translate between Free monad and Free monad transformer computations

trans

trans'

untrans

liftFree