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 (MaybeT μ) η

MonadBase μ η => MonadBase (ListT μ) η

MonadBase μ η => MonadBase (IdentityT μ) η

MonadBase (Either e) (Either e)

MonadBase (ST s) (ST s)

MonadBase (ST s) (ST s)

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

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

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

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

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

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

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

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

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