Control.Monad.Freer

Documentation

class (Freer c fr, forall f. c f => Monad f) => MonadFreer c fr where

Minimal complete definition

Nothing

Methods

interpretFreerK :: (e ~> Cont r) -> fr e ~> Cont r

default interpretFreerK :: c (Cont r) => (e ~> Cont r) -> fr e ~> Cont r

Instances

MonadFreer Monad FreerChurch

Defined in Control.Monad.Freer.Church

Methods

interpretFreerK :: forall (e :: Type -> Type) r. (e ~> Cont r) -> FreerChurch e ~> Cont r

MonadFreer Monad FreerTree

Defined in Control.Monad.Freer.Tree

Methods

interpretFreerK :: forall (e :: Type -> Type) r. (e ~> Cont r) -> FreerTree e ~> Cont r

MonadFreer Monad (FreerFinal Monad)

Defined in Control.Freer.Final

Methods

interpretFreerK :: forall (e :: Type -> Type) r. (e ~> Cont r) -> FreerFinal Monad e ~> Cont r