natchez.Trace$
See theTrace companion trait
object Trace
Attributes
- Companion:
- trait
- Source:
- Trace.scala
- Graph
- Supertypes
- Self type
- Trace.type
Members list
Concise view
Type members
Classlikes
object Implicits
Attributes
- Source:
- Trace.scala
- Graph
- Supertypes
- Self type
- Implicits.type
class KleisliTrace[F[_]](implicit ev: MonadCancel[F, Throwable]) extends Trace[[_] =>> Kleisli[F, Span[F], _$17]]
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].
Attributes
- Source:
- Trace.scala
- Graph
- Supertypes
Value members
Implicits
Implicits
Kleisli[F, Span[F], *] is a Trace given MonadCancel[F, Throwable]. 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 MonadCancel[F, Throwable]. The instance can be
widened to an environment that contains a Span[F] via the lens method.
Attributes
- Source:
- Trace.scala
implicit def liftEitherT[F[_] : MonadCancelThrow, E](implicit evidence$3: MonadCancelThrow[F], trace: Trace[F]): Trace[[_] =>> EitherT[F, E, _$58]]
Attributes
- Source:
- Trace.scala
implicit def liftKleisli[F[_] : MonadCancelThrow, E](implicit evidence$1: MonadCancelThrow[F], trace: Trace[F]): Trace[[_] =>> Kleisli[F, E, _$44]]
Attributes
- Source:
- Trace.scala
implicit def liftNested[F[_] : MonadCancelThrow, G[_] : Applicative](implicit evidence$5: MonadCancelThrow[F], evidence$6: Applicative[G], trace: Trace[F], FG: MonadCancelThrow[[_] =>> Nested[F, G, _$75]]): Trace[[_] =>> Nested[F, G, _$76]]
Attributes
- Source:
- Trace.scala
implicit def liftOptionT[F[_] : MonadCancelThrow](implicit evidence$4: MonadCancelThrow[F], trace: Trace[F]): Trace[[_] =>> OptionT[F, _$66]]
Attributes
- Source:
- Trace.scala
implicit def liftResource[F[_] : MonadCancelThrow](implicit evidence$7: MonadCancelThrow[F], trace: Trace[F]): Trace[[_] =>> Resource[F, _$92]]
Attributes
- Source:
- Trace.scala
implicit def liftStateT[F[_] : MonadCancelThrow, S](implicit evidence$2: MonadCancelThrow[F], trace: Trace[F]): Trace[[_] =>> StateT[F, S, _$50]]
Attributes
- Source:
- Trace.scala
implicit def liftStream[F[_] : MonadCancelThrow](implicit evidence$8: MonadCancelThrow[F], trace: Trace[F]): Trace[[_] =>> Stream[F, _$100]]
Attributes
- Source:
- Trace.scala