Safe Haskell | None |
---|
Documentation
class Monad m => C m whereSource
C IO | |
C STM | |
C (ST s) | |
C m => C (MaybeT m) | |
C m => C (IdentityT m) | |
(Monoid w, C m) => C (WriterT w m) | |
(Monoid w, C m) => C (WriterT w m) | |
C m => C (StateT s m) | |
C m => C (StateT s m) | |
C m => C (ReaderT r m) | |
(Error e, C m) => C (ErrorT e m) | |
C m => C (ContT r m) | |
(Monoid w, C m) => C (RWST r w s m) | |
(Monoid w, C m) => C (RWST r w s m) |
newLifted :: (C m, MonadTrans t) => a -> t m (T (t m) a)Source