Control.Monad.Trans.Free.Church

The free monad transformer

data FT f m a

The free monad

type F f

free

runF

Operations

improveT

toFT

fromFT

iterT

iterTM

hoistFT

transFT

joinFT

cutoff

Operations of free monad

improve

fromF

toF

retract

retractT

iter

iterM

Free Monads With Class

class MonadFree f m

liftF