A ConcurrentEffect[TraceT[F, ?]]
typeclass instance given an instance of ConcurrentEffect[F] and an instance of
TraceContext[F].
A ConcurrentEffect[TraceT[F, ?]]
typeclass instance given an instance of ConcurrentEffect[F] and an instance of
TraceContext[F].
A Timer[TraceT[F, ?]]
typeclass instance given an instance of Timer[F].
A Timer[TraceT[F, ?]]
typeclass instance given an instance of Timer[F].
Ask for the current TraceContext[F]
in a TraceT
.
Ask for the current TraceContext[F]
in a TraceT
.
a TraceContext[F]
wrapped in a TraceT
.
Creates a simple, noncancelable TraceT[F, A]
instance that
executes an asynchronous process on evaluation.
Creates a simple, noncancelable TraceT[F, A]
instance that
executes an asynchronous process on evaluation.
The given function is being injected with a side-effectful callback for signaling the final result of an asynchronous process.
Creates a cancelable TraceT[F, A]
instance that executes an
asynchronous process on evaluation.
Creates a cancelable TraceT[F, A]
instance that executes an
asynchronous process on evaluation.
This builder accepts a registration function that is being injected with a side-effectful callback, to be called when the asynchronous process is complete with a final result.
Lifts the non-strict, possibly impure expression computing A
into a TraceT[F, A]
context.
Lifts the non-strict, possibly impure expression computing A
into a TraceT[F, A]
context.
the non-strict expression computing A
to lift into a TraceT
context.
a non-strict expression which computes A
lifted into a TraceT
.
Defines a conversion from IO in terms of the Concurrent
type class.
An instance of the polymorphic function F
~> TraceT[F, ?]
for any effectful program result type ?
is made available in implicit scope.
An instance of the polymorphic function F
~> TraceT[F, ?]
for any effectful program result type ?
is made available in implicit scope.
Lifts a value A
into a TraceT[F, A]
.
Lifts a value A
into a TraceT[F, A]
.
the pure value A
to lift into a TraceT
context.
a pure value A
wrapped in a TraceT
.
Creates a failed TraceT
, to create a failed underlying program, lifted to a TraceT
.
Creates a failed TraceT
, to create a failed underlying program, lifted to a TraceT
.
the Throwable
with which to fail the underlying program.
the TraceT[F, A]
in a failed state.
Lifts the non-strict, possibly impure expression computing a TraceT[F, A]
into a TraceT[F, A]
.
Lifts the non-strict, possibly impure expression computing a TraceT[F, A]
into a TraceT[F, A]
.
The expression is suspended until the outer TraceT
returned is run.
the non-strict expression computing TraceT[F, A]
to lift into a TraceT
context suspended
until the outer TraceT
is run.
a non-strict expression which computes TraceT[F, A]
lifted into a TraceT
in
a suspended state until the outer TraceT
is run.
Lifts a program F
which computes A
into a TraceT[F, A]
context.
Lifts a program F
which computes A
into a TraceT[F, A]
context.
a program F
which computes a value A
.
a TraceT[F, A]
The
TraceT
companion provides smart constructors for desiredTraceT
instances and type class isntances.