Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Trace

Contents

Synopsis

data Trace m a where
- Trace :: String -> Trace m ()
trace :: forall r. Member Trace r => String -> Sem r ()
traceToHandle :: Member (Embed IO) r => Handle -> Sem (Trace ': r) a -> Sem r a
traceToStdout :: Member (Embed IO) r => Sem (Trace ': r) a -> Sem r a
traceToStderr :: Member (Embed IO) r => Sem (Trace ': r) a -> Sem r a
traceToIO :: Member (Embed IO) r => Sem (Trace ': r) a -> Sem r a
runTraceList :: Sem (Trace ': r) a -> Sem r ([String], a)
ignoreTrace :: Sem (Trace ': r) a -> Sem r a
traceToOutput :: Member (Output String) r => Sem (Trace ': r) a -> Sem r a
outputToTrace :: forall w r a. Member Trace r => (w -> String) -> Sem (Output w ': r) a -> Sem r a

Effect

data Trace m a where Source #

An effect for logging strings.

Constructors

Actions

Run a Trace effect by printing the messages to the provided Handle.

Since: 1.6.0.0

Run a Trace effect by printing the messages to stdout.

Since: 1.6.0.0

Run a Trace effect by printing the messages to stderr.

Since: 1.6.0.0

Deprecated: Use traceToStdout

Run a Trace effect by printing the messages to stdout.

Since: 1.0.0.0

Get the result of a Trace effect as a list of Strings.

Since: 1.0.0.0

Run a Trace effect by ignoring all of its messages.

Since: 1.0.0.0

Transform a Trace effect into a Output String effect.

Since: 1.0.0.0

outputToTrace :: forall w r a. Member Trace r => (w -> String) -> Sem (Output w ': r) a -> Sem r a Source #

Transform an Output w effect into a Trace effect given a function to transform each w to a String.

Since: 1.0.0.0