Safe Haskell	None
Language	Haskell2010

Control.Monad.Annotated.Class

Documentation

class Monad m => MonadAnnotated m where Source #

Methods

createAnn :: a -> SrcInfo -> m () Source #

lookupAnn :: a -> m (Maybe SrcInfo) Source #

Instances

MonadAnnotated m => MonadAnnotated (MaybeT m) Source #
Instance details Defined in Control.Monad.Annotated.Class Methods createAnn :: a -> SrcInfo -> MaybeT m () Source # lookupAnn :: a -> MaybeT m (Maybe SrcInfo) Source #
Monad m => MonadAnnotated (AnnotatedT m) Source #
Instance details Defined in Data.Annotated.Generic.Unsafe Methods createAnn :: a -> SrcInfo -> AnnotatedT m () Source # lookupAnn :: a -> AnnotatedT m (Maybe SrcInfo) Source #
MonadIO m => MonadAnnotated (AnnotatedT m) Source #
Instance details Defined in Data.Annotated.Generic.Safe Methods createAnn :: a -> SrcInfo -> AnnotatedT m () Source # lookupAnn :: a -> AnnotatedT m (Maybe SrcInfo) Source #
MonadAnnotated m => MonadAnnotated (IdentityT m) Source #
Instance details Defined in Control.Monad.Annotated.Class Methods createAnn :: a -> SrcInfo -> IdentityT m () Source # lookupAnn :: a -> IdentityT m (Maybe SrcInfo) Source #
MonadAnnotated m => MonadAnnotated (ExceptT e m) Source #
Instance details Defined in Control.Monad.Annotated.Class Methods createAnn :: a -> SrcInfo -> ExceptT e m () Source # lookupAnn :: a -> ExceptT e m (Maybe SrcInfo) Source #
MonadAnnotated m => MonadAnnotated (StateT s m) Source #
Instance details Defined in Control.Monad.Annotated.Class Methods createAnn :: a -> SrcInfo -> StateT s m () Source # lookupAnn :: a -> StateT s m (Maybe SrcInfo) Source #
MonadAnnotated m => MonadAnnotated (StateT s m) Source #
Instance details Defined in Control.Monad.Annotated.Class Methods createAnn :: a -> SrcInfo -> StateT s m () Source # lookupAnn :: a -> StateT s m (Maybe SrcInfo) Source #
(Monoid w, MonadAnnotated m) => MonadAnnotated (WriterT w m) Source #
Instance details Defined in Control.Monad.Annotated.Class Methods createAnn :: a -> SrcInfo -> WriterT w m () Source # lookupAnn :: a -> WriterT w m (Maybe SrcInfo) Source #
(Monoid w, MonadAnnotated m) => MonadAnnotated (WriterT w m) Source #
Instance details Defined in Control.Monad.Annotated.Class Methods createAnn :: a -> SrcInfo -> WriterT w m () Source # lookupAnn :: a -> WriterT w m (Maybe SrcInfo) Source #
MonadAnnotated m => MonadAnnotated (ContT r m) Source #
Instance details Defined in Control.Monad.Annotated.Class Methods createAnn :: a -> SrcInfo -> ContT r m () Source # lookupAnn :: a -> ContT r m (Maybe SrcInfo) Source #
MonadAnnotated m => MonadAnnotated (ReaderT r m) Source #
Instance details Defined in Control.Monad.Annotated.Class Methods createAnn :: a -> SrcInfo -> ReaderT r m () Source # lookupAnn :: a -> ReaderT r m (Maybe SrcInfo) Source #
(MonadAnnotated m, Monoid w) => MonadAnnotated (RWST r w s m) Source #
Instance details Defined in Control.Monad.Annotated.Class Methods createAnn :: a -> SrcInfo -> RWST r w s m () Source # lookupAnn :: a -> RWST r w s m (Maybe SrcInfo) Source #
(MonadAnnotated m, Monoid w) => MonadAnnotated (RWST r w s m) Source #
Instance details Defined in Control.Monad.Annotated.Class Methods createAnn :: a -> SrcInfo -> RWST r w s m () Source # lookupAnn :: a -> RWST r w s m (Maybe SrcInfo) Source #

annotateM :: MonadAnnotated m => m a -> SrcInfo -> m a Source #