Control.Monad.Base

Documentation

class (Applicative μ, Monad μ, Applicative η, Monad η) => MonadBase η μ | μ -> η where

Methods

liftBase :: η α -> μ α

Lift a computation from the base monad

Instances

MonadBase [] []

MonadBase IO IO

MonadBase Maybe Maybe

MonadBase Identity Identity

MonadBase η μ => MonadBase η (ListT μ)

MonadBase η μ => MonadBase η (MaybeT μ)

MonadBase η μ => MonadBase η (IdentityT μ)

MonadBase η μ => MonadBase η (ContT r μ)

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

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

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

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

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

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

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

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

MonadBase (Either e) (Either e)

MonadBase (ST s) (ST s)

MonadBase (ST s) (ST s)