trace-0.2.0.0: A monad transformer for tracing provenience of errors

Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Monad.Trace.Class

Synopsis

Documentation

class Monad m => MonadTrace t m | m -> t where Source

A class for monads that have a scoped tracing effect

Methods

traceScope :: t -> m α -> m α Source

Add a tag or breadcrumb to a scope

readTrace :: m (Seq t) Source

Read back your own trace

Instances

MonadTrace t m => MonadTrace t (MaybeT m) 
MonadTrace t m => MonadTrace t (ListT m) 
MonadTrace t m => MonadTrace t (IdentityT m) 
MonadTrace t m => MonadTrace t (ContT r m) 
MonadTrace t m => MonadTrace t (ExceptT e m) 
MonadTrace t m => MonadTrace t (StateT w m) 
MonadTrace t m => MonadTrace t (StateT w m) 
(Monoid w, MonadTrace t m) => MonadTrace t (WriterT w m) 
(Monoid w, MonadTrace t m) => MonadTrace t (WriterT w m) 
MonadTrace t m => MonadTrace t (ReaderT r m) 
Monad m => MonadTrace t (TraceT t e m) 
(Monoid w, MonadTrace t m) => MonadTrace t (RWST r w s m) 
(Monoid w, MonadTrace t m) => MonadTrace t (RWST r w s m)