Documentation
class MonadBase η μ => MonadBaseControl η μ | μ -> η whereSource
liftBaseControl :: (RunInBase μ η -> η α) -> μ αSource
Helper for lifting control operations from the base monad.
MonadBaseControl IO IO | |
MonadBaseControl η μ => MonadBaseControl η (ListT μ) | |
MonadBaseControl η μ => MonadBaseControl η (MaybeT μ) | |
MonadBaseControl η μ => MonadBaseControl η (IdentityT μ) | |
MonadBaseControl η μ => MonadBaseControl η (StateT s μ) | |
MonadBaseControl η μ => MonadBaseControl η (StateT s μ) | |
(Monoid w, MonadBaseControl η μ) => MonadBaseControl η (WriterT w μ) | |
(Monoid w, MonadBaseControl η μ) => MonadBaseControl η (WriterT w μ) | |
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 μ η -> η (μ α)) -> μ αSource
liftBaseOp :: MonadBaseControl η μ => ((α -> η (μ β)) -> η (μ γ)) -> (α -> μ β) -> μ γSource
liftBaseOp_ :: MonadBaseControl η μ => (η (μ β) -> η (μ γ)) -> μ β -> μ γSource