Control.Monad.Free.Church

Free Monads for Less

http:comonad.comreader2011free-monads-for-less-2

Documentation

newtype F f a

Constructors

F

Fields

runF :: forall r. (a -> r) -> (f r -> r) -> r

Instances

MonadTrans F

Functor f => MonadFree f (F f)

MonadReader e m => MonadReader e (F m)

MonadState s m => MonadState s (F m)

MonadWriter w m => MonadWriter w (F m)

Monad (F f)

Functor (F f)

MonadPlus f => MonadPlus (F f)

Applicative (F f)

Alternative f => Alternative (F f)

MonadCont m => MonadCont (F m)

improve :: Functor f => (forall m. MonadFree f m => m a) -> Free f a

fromF :: MonadFree f m => F f a -> m a

toF :: Functor f => Free f a -> F f a

liftF :: Functor f => f a -> F f a

retract :: Monad m => F m a -> m a