Control.Monad.Free

Definitions

interface MonadFree : (Type -> Type) -> (Type -> Type) -> Type

Parameters: f, m
Methods:

wrap : (Functor f, Monad m) => f (m a) -> m a

wrap : MonadFree f m => (Functor f, Monad m) => f (m a) -> m a

Visibility: public export

liftF : (Functor f, (Monad m, MonadFree f m)) => f a -> m a

Visibility: export