Safe Haskell | None |
---|---|
Language | Haskell2010 |
Control.Monad.Annotated.Class
Documentation
class Monad m => MonadAnnotated m where Source #
Instances
MonadAnnotated m => MonadAnnotated (MaybeT m) Source # | |
Monad m => MonadAnnotated (AnnotatedT m) Source # | |
Defined in Data.Annotated.Generic.Unsafe | |
MonadIO m => MonadAnnotated (AnnotatedT m) Source # | |
Defined in Data.Annotated.Generic.Safe | |
MonadAnnotated m => MonadAnnotated (IdentityT m) Source # | |
MonadAnnotated m => MonadAnnotated (ExceptT e m) Source # | |
MonadAnnotated m => MonadAnnotated (StateT s m) Source # | |
MonadAnnotated m => MonadAnnotated (StateT s m) Source # | |
(Monoid w, MonadAnnotated m) => MonadAnnotated (WriterT w m) Source # | |
(Monoid w, MonadAnnotated m) => MonadAnnotated (WriterT w m) Source # | |
MonadAnnotated m => MonadAnnotated (ContT r m) Source # | |
MonadAnnotated m => MonadAnnotated (ReaderT r m) Source # | |
(MonadAnnotated m, Monoid w) => MonadAnnotated (RWST r w s m) Source # | |
(MonadAnnotated m, Monoid w) => MonadAnnotated (RWST r w s m) Source # | |
annotateM :: MonadAnnotated m => m a -> SrcInfo -> m a Source #