- Companion:
- class
Type members
Classlikes
A trace instance for Kleisli[F, Span[F], *]
, which is the mechanism we use to introduce context into our
computations. We can also "lensMap" out to Kleisli[F, E, *]
given a lens from E
to Span[F]
.
A trace instance for Kleisli[F, Span[F], *]
, which is the mechanism we use to introduce context into our
computations. We can also "lensMap" out to Kleisli[F, E, *]
given a lens from E
to Span[F]
.
Implicits
Implicits
Kleisli[F, Span[F], *]
is a Trace
given MonadCancelThrow[F]
. The instance can be widened to an environment
that contains a Span[F]
via the lens
method.
Kleisli[F, Span[F], *]
is a Trace
given MonadCancelThrow[F]
. The instance can be widened to an environment
that contains a Span[F]
via the lens
method.
Inherited implicits
implicit def localSpanInstance[F[_], G[_]](implicit C: Local[G, Span[F]], L: Lift[F, G], F: MonadCancelThrow[F], G: MonadCancelThrow[G]): Trace[G]
- Inherited from:
- TraceInstancesLowPriority