Modulepolysemy-1.9.2.0

Polysemy.Trace

valueignoreTrace :: Sem (Trace ': r) a -> Sem r a

valueoutputToTrace

valuerunTraceList :: Sem (Trace ': r) a -> Sem r ([String], a)

valuetrace :: Member Trace r => String -> Sem r ()

valuetraceToHandle

valuetraceToIO :: Member (Embed IO) r => Sem (Trace ': r) a -> Sem r a

Deprecated. Use traceToStdout

valuetraceToOutput :: Member (Output String) r => Sem (Trace ': r) a -> Sem r a

valuetraceToStderr :: Member (Embed IO) r => Sem (Trace ': r) a -> Sem r a

valuetraceToStdout :: Member (Embed IO) r => Sem (Trace ': r) a -> Sem r a

datadata Trace (m :: k) a where