| Safe Haskell | Safe |
|---|
Control.Monad.Base
- class (Applicative b, Applicative m, Monad b, Monad m) => MonadBase b m | m -> b where
- liftBase :: b α -> m α
- liftBaseDefault :: (MonadTrans t, MonadBase b m) => b α -> t m α
Documentation
class (Applicative b, Applicative m, Monad b, Monad m) => MonadBase b m | m -> b whereSource
Instances
| MonadBase [] [] | |
| MonadBase IO IO | |
| MonadBase STM STM | |
| MonadBase Maybe Maybe | |
| MonadBase Identity Identity | |
| MonadBase b m => MonadBase b (ListT m) | |
| MonadBase b m => MonadBase b (MaybeT m) | |
| MonadBase b m => MonadBase b (IdentityT m) | |
| (Error e, MonadBase b m) => MonadBase b (ErrorT e m) | |
| (Monoid w, MonadBase b m) => MonadBase b (WriterT w m) | |
| (Monoid w, MonadBase b m) => MonadBase b (WriterT w m) | |
| MonadBase b m => MonadBase b (ContT r m) | |
| MonadBase b m => MonadBase b (StateT s m) | |
| MonadBase b m => MonadBase b (StateT s m) | |
| MonadBase b m => MonadBase b (ReaderT r m) | |
| (Monoid w, MonadBase b m) => MonadBase b (RWST r w s m) | |
| (Monoid w, MonadBase b m) => MonadBase b (RWST r w s m) | |
| MonadBase ((->) r) ((->) r) | |
| MonadBase (Either e) (Either e) | |
| MonadBase (ST s) (ST s) | |
| MonadBase (ST s) (ST s) |
liftBaseDefault :: (MonadTrans t, MonadBase b m) => b α -> t m αSource