Lifts the non-strict, possibly impure expression computing A
into a TraceIO[A]
context.
Lifts the non-strict, possibly impure expression computing A
into a TraceIO[A]
context.
- the non-strict expression computing A
to lift into a TraceIO
context.
a non-strict expression which computes A
lifted into a TraceIO
.
Ask for the current TraceContext[IO]
in a TraceIO
.
Ask for the current TraceContext[IO]
in a TraceIO
.
a TraceContext[IO]
wrapped in a TraceIO
.
Lifts a value A
into a TraceIO[A]
context.
Lifts a value A
into a TraceIO[A]
context.
- the pure value A
to lift into a TraceIO
context.
a pure value A
wrapped in a TraceIO
.
Creates a failed TraceIO
.
Creates a failed TraceIO
.
- the Throwable
with which to fail the underlying program.
the TraceIO[A]
in a failed state.
Lifts the non-strict, possibly impure expression computing a TraceIO[A]
into a TraceIO[A]
The expression is suspended until the outer TraceIO
returned is run.
Lifts the non-strict, possibly impure expression computing a TraceIO[A]
into a TraceIO[A]
The expression is suspended until the outer TraceIO
returned is run.
- the non-strict expression computing TraceIO[A]
to lift into a TraceIO
context suspended
until the outer TraceIO
is run.
a non-strict expression which computes TraceIO[A]
lifted into a TraceIO
in
a suspended state until the outer TraceIO
is run.
Companion to the
TraceIO[A]
type alias - provides the TraceT smart constructors with the effectful programF
fixed asIO
.