Control.Monad.Annotated.Class

Documentation

class Monad m => MonadAnnotated m where

Methods

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

lookupAnn :: a -> m (Maybe SrcInfo)

Instances

MonadAnnotated m => MonadAnnotated (MaybeT m)

Defined in Control.Monad.Annotated.Class

Methods

createAnn :: a -> SrcInfo -> MaybeT m ()

lookupAnn :: a -> MaybeT m (Maybe SrcInfo)

Monad m => MonadAnnotated (AnnotatedT m)

Defined in Data.Annotated.Generic.Unsafe

Methods

createAnn :: a -> SrcInfo -> AnnotatedT m ()

lookupAnn :: a -> AnnotatedT m (Maybe SrcInfo)

MonadIO m => MonadAnnotated (AnnotatedT m)

Defined in Data.Annotated.Generic.Safe

Methods

createAnn :: a -> SrcInfo -> AnnotatedT m ()

lookupAnn :: a -> AnnotatedT m (Maybe SrcInfo)

MonadAnnotated m => MonadAnnotated (IdentityT m)

Defined in Control.Monad.Annotated.Class

Methods

createAnn :: a -> SrcInfo -> IdentityT m ()

lookupAnn :: a -> IdentityT m (Maybe SrcInfo)

MonadAnnotated m => MonadAnnotated (ExceptT e m)

Defined in Control.Monad.Annotated.Class

Methods

createAnn :: a -> SrcInfo -> ExceptT e m ()

lookupAnn :: a -> ExceptT e m (Maybe SrcInfo)

MonadAnnotated m => MonadAnnotated (StateT s m)

Defined in Control.Monad.Annotated.Class

Methods

createAnn :: a -> SrcInfo -> StateT s m ()

lookupAnn :: a -> StateT s m (Maybe SrcInfo)

MonadAnnotated m => MonadAnnotated (StateT s m)

Defined in Control.Monad.Annotated.Class

Methods

createAnn :: a -> SrcInfo -> StateT s m ()

lookupAnn :: a -> StateT s m (Maybe SrcInfo)

(Monoid w, MonadAnnotated m) => MonadAnnotated (WriterT w m)

Defined in Control.Monad.Annotated.Class

Methods

createAnn :: a -> SrcInfo -> WriterT w m ()

lookupAnn :: a -> WriterT w m (Maybe SrcInfo)

(Monoid w, MonadAnnotated m) => MonadAnnotated (WriterT w m)

Defined in Control.Monad.Annotated.Class

Methods

createAnn :: a -> SrcInfo -> WriterT w m ()

lookupAnn :: a -> WriterT w m (Maybe SrcInfo)

MonadAnnotated m => MonadAnnotated (ContT r m)

Defined in Control.Monad.Annotated.Class

Methods

createAnn :: a -> SrcInfo -> ContT r m ()

lookupAnn :: a -> ContT r m (Maybe SrcInfo)

MonadAnnotated m => MonadAnnotated (ReaderT r m)

Defined in Control.Monad.Annotated.Class

Methods

createAnn :: a -> SrcInfo -> ReaderT r m ()

lookupAnn :: a -> ReaderT r m (Maybe SrcInfo)

(MonadAnnotated m, Monoid w) => MonadAnnotated (RWST r w s m)

Defined in Control.Monad.Annotated.Class

Methods

createAnn :: a -> SrcInfo -> RWST r w s m ()

lookupAnn :: a -> RWST r w s m (Maybe SrcInfo)

(MonadAnnotated m, Monoid w) => MonadAnnotated (RWST r w s m)

Defined in Control.Monad.Annotated.Class

Methods

createAnn :: a -> SrcInfo -> RWST r w s m ()

lookupAnn :: a -> RWST r w s m (Maybe SrcInfo)

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