cleff-0.1.0.0: Fast and concise extensible effects

Safe Haskell	None
Language	Haskell2010

Cleff.Trace

Contents

Effect
Operations
Interpretations

Synopsis

data Trace :: Effect where
- Trace :: String -> Trace m ()
trace :: Trace :> es => String -> Eff es ()
runTraceHandle :: IOE :> es => Handle -> Eff (Trace ': es) a -> Eff es a
runTraceStdout :: IOE :> es => Eff (Trace ': es) ~> Eff es
runTraceStderr :: IOE :> es => Eff (Trace ': es) ~> Eff es
ignoreTrace :: Eff (Trace ': es) ~> Eff es
traceToOutput :: Eff (Trace ': es) ~> Eff (Output String ': es)

Effect

data Trace :: Effect where Source #

An effect capable of logging messages, mostly for debugging purposes.

Constructors

Trace :: String -> Trace m ()

Operations

trace :: Trace :> es => String -> Eff es () Source #

Interpretations

runTraceHandle :: IOE :> es => Handle -> Eff (Trace ': es) a -> Eff es a Source #

Run the Trace effect by writing to a Handle.

runTraceStdout :: IOE :> es => Eff (Trace ': es) ~> Eff es Source #

Run the Trace effect by writing to stdout.

runTraceStderr :: IOE :> es => Eff (Trace ': es) ~> Eff es Source #

Run the Trace effect by writing to stderr.

ignoreTrace :: Eff (Trace ': es) ~> Eff es Source #

Run the Trace effect by ignoring all outputs altogether.

traceToOutput :: Eff (Trace ': es) ~> Eff (Output String ': es) Source #

Transform the Trace effect into an Output String effect.