Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- class Monad m => MonadTrace t m | m -> t where
- traceScope :: t -> m α -> m α
- readTrace :: m (Seq t)
Documentation
class Monad m => MonadTrace t m | m -> t where Source
A class for monads that have a scoped tracing effect
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) |