Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- 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 where Source
MonadBase [] [] Source | |
MonadBase IO IO Source | |
MonadBase Identity Identity Source | |
MonadBase STM STM Source | |
MonadBase Maybe Maybe Source | |
MonadBase b m => MonadBase b (ListT m) Source | |
MonadBase b m => MonadBase b (MaybeT m) Source | |
MonadBase b m => MonadBase b (IdentityT m) Source | |
(Error e, MonadBase b m) => MonadBase b (ErrorT e m) Source | |
(Monoid w, MonadBase b m) => MonadBase b (WriterT w m) Source | |
(Monoid w, MonadBase b m) => MonadBase b (WriterT w m) Source | |
MonadBase b m => MonadBase b (ExceptT e m) Source | |
MonadBase b m => MonadBase b (ContT r m) Source | |
MonadBase b m => MonadBase b (StateT s m) Source | |
MonadBase b m => MonadBase b (StateT s m) Source | |
MonadBase b m => MonadBase b (ReaderT r m) Source | |
(Monoid w, MonadBase b m) => MonadBase b (RWST r w s m) Source | |
(Monoid w, MonadBase b m) => MonadBase b (RWST r w s m) Source | |
MonadBase ((->) r) ((->) r) Source | |
MonadBase (Either e) (Either e) Source | |
MonadBase (ST s) (ST s) Source | |
MonadBase (ST s) (ST s) Source |
liftBaseDefault :: (MonadTrans t, MonadBase b m) => b α -> t m α Source