Control.Monad.Base.Control

Documentation

class MonadBase μ η => MonadBaseControl μ η | μ -> η where

Methods

liftBaseControl :: (RunInBase μ η -> η α) -> μ α

Helper for lifting control operations from the base monad.

Instances

MonadBaseControl IO IO

MonadBaseControl μ η => MonadBaseControl (MaybeT μ) η

MonadBaseControl μ η => MonadBaseControl (ListT μ) η

MonadBaseControl μ η => MonadBaseControl (IdentityT μ) η

MonadBaseControl μ η => MonadBaseControl (StateT s μ) η

(Monoid w, MonadBaseControl μ η) => MonadBaseControl (WriterT w μ) η

(Monoid w, MonadBaseControl μ η) => MonadBaseControl (WriterT w μ) η

MonadBaseControl μ η => MonadBaseControl (StateT s μ) η

MonadBaseControl μ η => MonadBaseControl (ReaderT r μ) η

(Error e, MonadBaseControl μ η) => MonadBaseControl (ErrorT e μ) η

(Monoid w, MonadBaseControl μ η) => MonadBaseControl (RWST r w s μ) η

(Monoid w, MonadBaseControl μ η) => MonadBaseControl (RWST r w s μ) η

controlBase :: MonadBaseControl μ η => (RunInBase μ η -> η (μ α)) -> μ α

liftBaseOp :: MonadBaseControl μ η => ((α -> η (μ β)) -> η (μ γ)) -> (α -> μ β) -> μ γ

liftBaseOp_ :: MonadBaseControl μ η => (η (μ β) -> η (μ γ)) -> μ β -> μ γ