Documentation
class (Applicative μ, Monad μ, Applicative η, Monad η) => MonadBase η μ | μ -> η whereSource
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) |