Control.Monad.Freer.Trace

Composable handler for Trace effects. Trace allows one to debug the operation of sequences of effects by outputing to the console.

Using http://okmij.org/ftp/Haskell/extensible/Eff1.hs as a starting point.

Documentation

data Trace a where

A Trace effect; takes a String and performs output.

Constructors

Trace :: String -> Trace ()

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

Printing a string in a trace.

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

An IO handler for Trace effects.