Object/Class

com.ccadllc.cedi.dtrace

TraceT

Related Docs: class TraceT | package dtrace

Permalink

object TraceT extends TraceTPolyFunctions with TraceTInstances

The TraceT companion provides smart constructors for desired TraceT instances and type class isntances.

Source
TraceT.scala
Linear Supertypes
TraceTInstances, TraceTParallelInstances, TraceTParallelInstance, TraceTNonEmptyParallelInstance, TraceTContextShiftInstance, TraceTTimerInstance, TraceTConcurrentEffectInstance, TraceTEffectInstance, TraceTConcurrentInstance, TraceTAsyncInstance, TraceTSyncInstance, TraceTBracketInstance, TraceTMonadErrorInstance, TraceTMonadInstance, TraceTPolyFunctions, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TraceT
  2. TraceTInstances
  3. TraceTParallelInstances
  4. TraceTParallelInstance
  5. TraceTNonEmptyParallelInstance
  6. TraceTContextShiftInstance
  7. TraceTTimerInstance
  8. TraceTConcurrentEffectInstance
  9. TraceTEffectInstance
  10. TraceTConcurrentInstance
  11. TraceTAsyncInstance
  12. TraceTSyncInstance
  13. TraceTBracketInstance
  14. TraceTMonadErrorInstance
  15. TraceTMonadInstance
  16. TraceTPolyFunctions
  17. AnyRef
  18. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class AsyncTraceT[F[_]] extends TraceTAsyncInstance.SyncTraceT[F] with Async[[β$22$]TraceT[F, β$22$]]

    Permalink

    A Async[TraceT[F, ?]] typeclass instance given an instance of Async[F].

    A Async[TraceT[F, ?]] typeclass instance given an instance of Async[F].

    Attributes
    protected
    Definition Classes
    TraceTAsyncInstance
  2. class BracketTraceT[F[_]] extends TraceTBracketInstance.MonadErrorTraceT[F] with Bracket[[β$26$]TraceT[F, β$26$], Throwable]

    Permalink

    A Bracket[TraceT[F, ?], Throwable] typeclass instance given an instance of Bracket[F, Throwable].

    A Bracket[TraceT[F, ?], Throwable] typeclass instance given an instance of Bracket[F, Throwable].

    Attributes
    protected
    Definition Classes
    TraceTBracketInstance
  3. class ConcurrentEffectTraceT[F[_]] extends TraceTConcurrentEffectInstance.ConcurrentTraceT[F] with ConcurrentEffect[[β$9$]TraceT[F, β$9$]]

    Permalink

    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]. Note that this typeclass and the Effect[TraceT[F, ?]] typeclass are the only instances requiring an implicit TraceContext[F] in scope. This is because the tracing must be terminated and the underlying F effect exposed in order to ultimately derive a SyncIO, which the runAsync function of Effect and runCancelable function of ConcurrentEffect return, and in order to do that, a TraceContext[F] must be made available.

    Attributes
    protected
    Definition Classes
    TraceTConcurrentEffectInstance
  4. class ConcurrentTraceT[F[_]] extends TraceTConcurrentInstance.AsyncTraceT[F] with Concurrent[[β$12$]TraceT[F, β$12$]]

    Permalink

    A Concurrent[TraceT[F, ?]] typeclass instance given an instance of Concurrent[F].

    A Concurrent[TraceT[F, ?]] typeclass instance given an instance of Concurrent[F].

    Attributes
    protected
    Definition Classes
    TraceTConcurrentInstance
  5. class EffectTraceT[F[_]] extends TraceTEffectInstance.AsyncTraceT[F] with Effect[[β$20$]TraceT[F, β$20$]]

    Permalink

    An Effect[TraceT[F, ?]] typeclass instance given an instance of Effect[F] and an instance of TraceContext[F].

    An Effect[TraceT[F, ?]] typeclass instance given an instance of Effect[F] and an instance of TraceContext[F]. Note that this typeclass and the ConcurrentEffect[TraceT[F, ?]] typeclass are the only instances requiring an implicit TraceContext[F] in scope. This is because the tracing must be terminated and the underlying F effect exposed in order to ultimately derive a SyncIO, which the runAsync function of Effect and runCancelable function of ConcurrentEffect return, and in order to do that, a TraceContext[F] must be made available.

    Attributes
    protected
    Definition Classes
    TraceTEffectInstance
  6. class MonadErrorTraceT[F[_]] extends TraceTMonadErrorInstance.MonadTraceT[F] with MonadError[[β$28$]TraceT[F, β$28$], Throwable]

    Permalink

    A MonadError[TraceT[F, ?], Throwable] typeclass instance given an instance of MonadError[F, Throwable].

    A MonadError[TraceT[F, ?], Throwable] typeclass instance given an instance of MonadError[F, Throwable].

    Attributes
    protected
    Definition Classes
    TraceTMonadErrorInstance
  7. class MonadTraceT[F[_]] extends Monad[[β$30$]TraceT[F, β$30$]]

    Permalink

    A Monad[TraceT[F, ?]] typeclass instance given an instance of Monad[F, Throwable]

    A Monad[TraceT[F, ?]] typeclass instance given an instance of Monad[F, Throwable]

    Attributes
    protected
    Definition Classes
    TraceTMonadInstance
  8. class NonEmptyParallelTraceT[M[_], F[_]] extends NonEmptyParallel[[β$50$]TraceT[M, β$50$], [β$51$]TraceT[F, β$51$]]

    Permalink

    A NonEmptyParallel[TraceT[M, ?], TraceT[F, ?] typeclass instance given an instance of NonEmptyParallel[M, F].

    A NonEmptyParallel[TraceT[M, ?], TraceT[F, ?] typeclass instance given an instance of NonEmptyParallel[M, F].

    _Note that to summon an implicit instance of NonEmptyParallel[M, F], if one is not directly available, you need (at least in the case where M == cats.effect.IO) an instance of ContextShift[M] (*not* ContextShift[TraceT[M, ?]]) in implicit scope_.

    Attributes
    protected
    Definition Classes
    TraceTNonEmptyParallelInstance
  9. class ParallelTraceT[M[_], F[_]] extends TraceTParallelInstance.NonEmptyParallelTraceT[M, F] with Parallel[[β$42$]TraceT[M, β$42$], [β$43$]TraceT[F, β$43$]]

    Permalink

    A Parallel[TraceT[M, ?], TraceT[F, ?] typeclass instance given an instance of Parallel[M, F].

    A Parallel[TraceT[M, ?], TraceT[F, ?] typeclass instance given an instance of Parallel[M, F].

    _Note that to summon an implicit instance of Parallel[M, F], if one is not directly available, you need (at least in the case where M == cats.effect.IO) an instance of ContextShift[M] (*not* ContextShift[TraceT[M, ?]]) in implicit scope_.

    Attributes
    protected
    Definition Classes
    TraceTParallelInstance
  10. class SyncTraceT[F[_]] extends TraceTSyncInstance.BracketTraceT[F] with Sync[[β$24$]TraceT[F, β$24$]]

    Permalink

    A Sync[TraceT[F, ?]] typeclass instance given an instance of Sync[F].

    A Sync[TraceT[F, ?]] typeclass instance given an instance of Sync[F].

    Attributes
    protected
    Definition Classes
    TraceTSyncInstance
  11. class TraceTTimer[F[_]] extends Timer[[β$32$]TraceT[F, β$32$]]

    Permalink

    A Timer[TraceT[F, ?]] typeclass instance given an instance of Timer[F].

    A Timer[TraceT[F, ?]] typeclass instance given an instance of Timer[F].

    Attributes
    protected
    Definition Classes
    TraceTTimerInstance

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def ask[F[_]](implicit F: Applicative[F]): TraceT[F, TraceContext[F]]

    Permalink

    Ask for the current TraceContext[F] in a TraceT.

    Ask for the current TraceContext[F] in a TraceT.

    returns

    a TraceContext[F] wrapped in a TraceT.

  6. def async[F[_], A](cb: ((Either[Throwable, A]) ⇒ Unit) ⇒ Unit)(implicit F: Async[F]): TraceT[F, A]

    Permalink

    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.

  7. def asyncF[F[_], A](cb: ((Either[Throwable, A]) ⇒ Unit) ⇒ TraceT[F, Unit])(implicit F: Async[F]): TraceT[F, A]

    Permalink

    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. Differentiated from async in that the callback returns an effect.

    The given function is being injected with a side-effectful callback for signaling the final result of an asynchronous process.

  8. implicit def asyncTraceTInstance[F[_]](implicit arg0: Async[F]): Async[[β$21$]TraceT[F, β$21$]]

    Permalink
    Definition Classes
    TraceTAsyncInstance
  9. implicit def bracketTraceTInstance[F[_]](implicit F: Bracket[F, Throwable]): Bracket[[β$25$]TraceT[F, β$25$], Throwable]

    Permalink
    Definition Classes
    TraceTBracketInstance
  10. def cancelable[F[_], A](k: ((Either[Throwable, A]) ⇒ Unit) ⇒ CancelToken[[β$0$]TraceT[F, β$0$]])(implicit F: Concurrent[F]): TraceT[F, A]

    Permalink

    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.

  11. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )
  12. implicit def concurrentEffectTraceTInstance[F[_]](implicit arg0: ConcurrentEffect[F], arg1: TraceContext[F]): ConcurrentEffect[[β$8$]TraceT[F, β$8$]]

    Permalink
    Definition Classes
    TraceTConcurrentEffectInstance
  13. implicit def concurrentTraceTInstance[F[_]](implicit arg0: Concurrent[F]): Concurrent[[β$11$]TraceT[F, β$11$]]

    Permalink
    Definition Classes
    TraceTConcurrentInstance
  14. def contextShift[F[_]](implicit arg0: Monad[F], arg1: ContextShift[F]): ContextShift[[β$1$]TraceT[F, β$1$]]

    Permalink

    Generate a ContextShift[TraceT[F, ?]] given a ContextShift[F] and Monad[F] in implicit scope. The context shift data structure provides a means by which a program can be evaluated on a thread pool (really, an scala.concurrent.ExecutionContext representing the pool) and then will shift back to the ExecutionContext it was created with.

  15. implicit def contextShiftInstance[F[_]](implicit cs: ContextShift[F], F: Monad[F]): ContextShift[[β$35$]TraceT[F, β$35$]]

    Permalink

    Generates a ContextShift[TraceT[F, ?] in implicit scope, given a Monad[F] and ContextShift[F] in implicit scope.

    Generates a ContextShift[TraceT[F, ?] in implicit scope, given a Monad[F] and ContextShift[F] in implicit scope.

    Definition Classes
    TraceTContextShiftInstance
  16. def delay[F[_], A](a: ⇒ A)(implicit F: Sync[F]): TraceT[F, A]

    Permalink

    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.

    a

    the non-strict expression computing A to lift into a TraceT context.

    returns

    a non-strict expression which computes A lifted into a TraceT.

  17. implicit def effectTraceTInstance[F[_]](implicit arg0: Effect[F], arg1: TraceContext[F]): Effect[[β$19$]TraceT[F, β$19$]]

    Permalink
    Definition Classes
    TraceTEffectInstance
  18. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  19. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  20. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  21. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  22. implicit def ioParApplicative(implicit cs: ContextShift[IO], p: Parallel[IO, cats.effect.IO.Par]): Applicative[[β$37$]TraceT[[+A]cats.effect.IOParallelNewtype.Par.Type[A], β$37$]]

    Permalink
    Definition Classes
    TraceTParallelInstances
  23. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  24. def liftIO[F[_], A](ioa: IO[A])(implicit F: Concurrent[F]): TraceT[F, A]

    Permalink

    Defines a conversion from IO in terms of the Concurrent type class.

  25. implicit def liftToTraceT[F[_]]: ~>[F, [β$6$]TraceT[F, β$6$]]

    Permalink

    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.

    Definition Classes
    TraceTPolyFunctions
  26. implicit def monadErrorTraceTInstance[F[_]](implicit F: MonadError[F, Throwable]): MonadError[[β$27$]TraceT[F, β$27$], Throwable]

    Permalink
    Definition Classes
    TraceTMonadErrorInstance
  27. implicit def monadTraceTInstance[F[_]](implicit arg0: Monad[F]): Monad[[β$29$]TraceT[F, β$29$]]

    Permalink
    Definition Classes
    TraceTMonadInstance
  28. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  29. implicit def neParallelTraceTInstance[M[_], F[_]](implicit P: NonEmptyParallel[M, F], M: FlatMap[M], F: Apply[F]): NonEmptyParallel[[β$48$]TraceT[M, β$48$], [β$49$]TraceT[F, β$49$]]

    Permalink
    Definition Classes
    TraceTNonEmptyParallelInstance
  30. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  31. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  32. implicit def parallelTraceTInstance[M[_], F[_]](implicit P: Parallel[M, F], M: Monad[M], F: Applicative[F]): Parallel[[β$40$]TraceT[M, β$40$], [β$41$]TraceT[F, β$41$]]

    Permalink
    Definition Classes
    TraceTParallelInstance
  33. def pure[F[_], A](a: A)(implicit F: Applicative[F]): TraceT[F, A]

    Permalink

    Lifts a value A into a TraceT[F, A].

    Lifts a value A into a TraceT[F, A].

    a

    the pure value A to lift into a TraceT context.

    returns

    a pure value A wrapped in a TraceT.

  34. def raiseError[F[_], A](t: Throwable)(implicit F: MonadError[F, Throwable]): TraceT[F, A]

    Permalink

    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.

    t

    the Throwable with which to fail the underlying program.

    returns

    the TraceT[F, A] in a failed state.

  35. def shift[F[_]](implicit cs: ContextShift[[β$3$]TraceT[F, β$3$]]): TraceT[F, Unit]

    Permalink

    Asynchronous boundary described as an effectful TraceT[F, Unit] managed by the provided ContextShift.

    Asynchronous boundary described as an effectful TraceT[F, Unit] managed by the provided ContextShift.

    This operation can be used in flatMap chains to "shift" the continuation of the run-loop to another thread or call stack.

  36. def suspend[F[_], A](t: ⇒ TraceT[F, A])(implicit F: Sync[F]): TraceT[F, A]

    Permalink

    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.

    t

    the non-strict expression computing TraceT[F, A] to lift into a TraceT context suspended until the outer TraceT is run.

    returns

    a non-strict expression which computes TraceT[F, A] lifted into a TraceT in a suspended state until the outer TraceT is run.

  37. implicit def syncTraceTInstance[F[_]](implicit arg0: Sync[F]): Sync[[β$23$]TraceT[F, β$23$]]

    Permalink
    Definition Classes
    TraceTSyncInstance
  38. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  39. def timer[F[_]](implicit arg0: Timer[F]): Timer[[β$4$]TraceT[F, β$4$]]

    Permalink

    Generates a Timer[TraceT[F, ?]] given a Timer[F] in implicit scope.

  40. implicit def timerTraceTInstance[F[_]](implicit arg0: Timer[F]): Timer[[β$31$]TraceT[F, β$31$]]

    Permalink
    Definition Classes
    TraceTTimerInstance
  41. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  42. def toTraceT[F[_], A](fa: F[A]): TraceT[F, A]

    Permalink

    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.

    fa

    a program F which computes a value A.

    returns

    a TraceT[F, A] wrapping the passed in effectful program.

  43. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from TraceTInstances

Inherited from TraceTParallelInstances

Inherited from TraceTParallelInstance

Inherited from TraceTNonEmptyParallelInstance

Inherited from TraceTContextShiftInstance

Inherited from TraceTTimerInstance

Inherited from TraceTConcurrentEffectInstance

Inherited from TraceTEffectInstance

Inherited from TraceTConcurrentInstance

Inherited from TraceTAsyncInstance

Inherited from TraceTSyncInstance

Inherited from TraceTBracketInstance

Inherited from TraceTMonadErrorInstance

Inherited from TraceTMonadInstance

Inherited from TraceTPolyFunctions

Inherited from AnyRef

Inherited from Any

Ungrouped