extensible-effects-4.0.0.0: An Alternative to Monad Transformers
Control.Eff.Trace
Description
A Trace effect for debugging
data Trace v where Source #
Trace effect for debugging
Constructors
Given a callback and request, respond to it
Defined in Control.Eff.Trace
Methods
handle :: (v -> IO k) -> Trace v -> IO k Source #
withTrace :: a -> IO a Source #
Embed a pure value in Trace context
trace :: Member Trace r => String -> Eff r () Source #
Print a string as a trace.
runTrace :: Eff '[Trace] w -> IO w Source #
Run a computation producing Traces. The handler for IO request: a terminal handler