polysemy-1.2.3.0: Higher-order, low-boilerplate, zero-cost free monads.

Safe Haskell	None
Language	Haskell2010

Polysemy.Trace

Contents

Effect
Actions
Interpretations
Interpretations for Other Effects

Synopsis

data Trace m a where
- Trace :: String -> Trace m ()
trace :: forall r. MemberWithError Trace r => String -> Sem r ()
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 :: (Show w, Member Trace r) => Sem (Output w ': r) a -> Sem r a

Effect

data Trace m a where Source #

An effect for logging strings.

Constructors

Trace :: String -> Trace m ()

Instances

type DefiningModule (Trace :: k -> Type -> Type) Source #
Instance details Defined in Polysemy.Trace type DefiningModule (Trace :: k -> Type -> Type) = "Polysemy.Trace"

Actions

trace :: forall r. MemberWithError Trace r => String -> Sem r () Source #

Interpretations

traceToIO :: Member (Embed IO) r => Sem (Trace ': r) a -> Sem r a Source #

Run a Trace effect by printing the messages to stdout.

Since: 1.0.0.0

runTraceList :: Sem (Trace ': r) a -> Sem r ([String], a) Source #

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

Since: 1.0.0.0

ignoreTrace :: Sem (Trace ': r) a -> Sem r a Source #

Run a Trace effect by ignoring all of its messages.

Since: 1.0.0.0

traceToOutput :: Member (Output String) r => Sem (Trace ': r) a -> Sem r a Source #

Transform a Trace effect into a Output String effect.

Since: 1.0.0.0

Interpretations for Other Effects

outputToTrace :: (Show w, Member Trace r) => Sem (Output w ': r) a -> Sem r a Source #

Transform an Output String effect into a Trace effect.

Since: 1.0.0.0