| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Polysemy.Trace
Synopsis
- data Trace m a where
- trace :: forall r. Member Trace r => String -> Sem r ()
- runTraceIO :: Member (Lift IO) r => Sem (Trace ': r) a -> Sem r a
- runIgnoringTrace :: Member (Lift IO) r => Sem (Trace ': r) a -> Sem r a
- runTraceAsOutput :: Member (Output String) r => Sem (Trace ': r) a -> Sem r a
- runOutputAsTrace :: (Show w, Member Trace r) => Sem (Output w ': r) a -> Sem r a
Effect
An effect for logging strings.
Instances
| type DefiningModule (Trace :: k -> Type -> Type) Source # | |
Defined in Polysemy.Trace | |
Actions
Interpretations
runTraceIO :: Member (Lift IO) r => Sem (Trace ': r) a -> Sem r a Source #
Run a Trace effect by printing the messages to stdout.
runIgnoringTrace :: Member (Lift IO) r => Sem (Trace ': r) a -> Sem r a Source #
Run a Trace effect by ignoring all of its messages.