Control.Eff.Trace

A Trace effect for debugging

Documentation

data Trace v where

Trace effect for debugging

Constructors

Trace :: String -> Trace ()

Instances

Handle Trace r a (IO k)

Given a callback and request, respond to it

Defined in Control.Eff.Trace

Methods

handle :: (Eff r a -> IO k) -> Arrs r v a -> Trace v -> IO k

handle_relay :: (r ~ (Trace ': r'), Relay (IO k) r') => (a -> IO k) -> (Eff r a -> IO k) -> Eff r a -> IO k

respond_relay :: (a -> IO k) -> (Eff r a -> IO k) -> Eff r a -> IO k

withTrace :: a -> IO a

Embed a pure value in Trace context

trace :: Member Trace r => String -> Eff r ()

Print a string as a trace.

runTrace :: Eff '[Trace] w -> IO w

Run a computation producing Traces. The handler for IO request: a terminal handler