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