trace4cats-inject/io.janstenpickle.trace4cats.inject/Trace

Trace

object Trace extends TraceInstancesLowPriority
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

object Implicits
class KleisliTrace[F[_]] extends Trace[[_] =>> Kleisli[F, Span[F], _$6]]

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].

Value members

Concrete methods

def apply[F[_]](implicit ev: Trace[F]): ev

Implicits

Implicits

implicit def eitherTTrace[F[_], A](implicit evidence$3: Functor[F], trace: Trace[F]): Trace[[_] =>> EitherT[F, A, _$14]]
implicit def kleisliInstance[F[_]](implicit evidence$1: MonadCancelThrow[F]): KleisliTrace[F]

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]