Class

com.ccadllc.cedi.dtrace

TraceEnrichedEffect

Related Doc: package dtrace

Permalink

implicit final class TraceEnrichedEffect[F[_], A] extends AnyVal

Enriches an effectful program F[A] such that TraceT instance methods are made available on it, given the appropriate typeclasses in implicit scope.

Source
dtrace.scala
Linear Supertypes
AnyVal, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TraceEnrichedEffect
  2. AnyVal
  3. Any
Implicitly
  1. by TraceEnrichedEffect
  2. by any2stringadd
  3. by StringFormat
  4. by Ensuring
  5. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TraceEnrichedEffect(self: F[A])

    Permalink

Value Members

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

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

    Permalink
    Definition Classes
    Any
  3. def +(other: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to any2stringadd[TraceEnrichedEffect[F, A]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (TraceEnrichedEffect[F, A], B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to ArrowAssoc[TraceEnrichedEffect[F, A]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def ensuring(cond: (TraceEnrichedEffect[F, A]) ⇒ Boolean, msg: ⇒ Any): TraceEnrichedEffect[F, A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to Ensuring[TraceEnrichedEffect[F, A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  8. def ensuring(cond: (TraceEnrichedEffect[F, A]) ⇒ Boolean): TraceEnrichedEffect[F, A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to Ensuring[TraceEnrichedEffect[F, A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  9. def ensuring(cond: Boolean, msg: ⇒ Any): TraceEnrichedEffect[F, A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to Ensuring[TraceEnrichedEffect[F, A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  10. def ensuring(cond: Boolean): TraceEnrichedEffect[F, A]

    Permalink
    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to Ensuring[TraceEnrichedEffect[F, A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  11. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to StringFormat[TraceEnrichedEffect[F, A]] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  12. def getClass(): Class[_ <: AnyVal]

    Permalink
    Definition Classes
    AnyVal → Any
  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  14. def newAnnotatedSpan(spanName: Name, evaluator: Evaluator[A], notes: Note*)(resultAnnotator: PartialFunction[Either[Throwable, A], Vector[Note]])(implicit F: Sync[F]): TraceT[F, A]

    Permalink

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing the capability of annotating the span with notes based on the execution result of the F[A], using the a custom Evaluator to determine success/failure of the F[A] for the purposes of recording.

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing the capability of annotating the span with notes based on the execution result of the F[A], using the a custom Evaluator to determine success/failure of the F[A] for the purposes of recording. For example:

    val io = IO(some computation)
    io.newAnnotatedSpan(
      Span.Name("query-products-for-sale",
      Note.string("sale-date", date.toString), Note.double("sale-max-price", 80.50)
    ) {
      case Right(saleProducts) => Vector(Note.string("sale-products", saleProducts.mkString(",")))
    }
    spanName

    - a descriptive name, emitted when the span is recorded.

    notes

    - one or more Notes which annotate the span (often the input parameters to the F[A] execution).

    returns

    newTraceT - a new instance of TraceT representing a child span.

  15. def newAnnotatedSpan(spanName: Name, notes: Note*)(resultAnnotator: PartialFunction[Either[Throwable, A], Vector[Note]])(implicit F: Sync[F]): TraceT[F, A]

    Permalink

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing the capability of annotating the span with notes based on the execution result of the F[A], using the default Evaluator to determine success/failure of the F[A] for the purposes of span recording.

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing the capability of annotating the span with notes based on the execution result of the F[A], using the default Evaluator to determine success/failure of the F[A] for the purposes of span recording. For example:

    val io = IO(some computation)
    io.newAnnotatedSpan(
      Span.Name("query-products-for-sale",
      Note.string("sale-date", date.toString), Note.double("sale-max-price", 80.50)
    ) {
      case Right(saleProducts) => Vector(Note.string("sale-products", saleProducts.mkString(",")))
    }
    spanName

    - a descriptive name, emitted when the span is recorded.

    notes

    - one or more Notes which annotate the span (often the input parameters to the F[A] execution).

    returns

    newTraceT - a new instance of TraceT representing a child span.

  16. def newSpan(spanName: Name, evaluator: Evaluator[A], notes: Note*)(implicit F: Sync[F]): TraceT[F, A]

    Permalink

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing for custom evaluation and rendering of the underlying F[A] when recording the Span.

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing for custom evaluation and rendering of the underlying F[A] when recording the Span. For example:

    val io = IO(some computation)
    io.newSpan(
      Span.Name("query-products-for-sale",
      Evaluator.resultToFailure[Vector[Product]
      Note.string("sale-date", date.toString), Note.double("sale-max-price", 80.50)
    )
    spanName

    - a descriptive name, emitted when the span is recorded.

    evaluator

    - an Evaluator which converts either a Throwable or A to an optional FailureDetail.

    notes

    - one or more Notes which annotate the span (often the input parameters to the F[A] execution).

    returns

    newTraceT - a new instance of TraceT representing a child span.

  17. def newSpan(spanName: Name, notes: Note*)(implicit F: Sync[F]): TraceT[F, A]

    Permalink

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], using the default Evaluator to determine success/failure of the F[A] for the purposes of span recording.

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], using the default Evaluator to determine success/failure of the F[A] for the purposes of span recording. For example:

    val io = IO(some computation)
    io.newSpan(
      Span.Name("query-products-for-sale",
      Note.string("sale-date", date.toString), Note.double("sale-max-price", 80.50)
    )
    spanName

    - a descriptive name, emitted when the span is recorded.

    notes

    - one or more Notes which annotate the span (often the input parameters to the F[A] execution).

    returns

    a new instance of TraceT representing a child span.

  18. def toString(): String

    Permalink
    Definition Classes
    Any
  19. def toTraceT: TraceT[F, A]

    Permalink

    Lifts this program F which computes A into a TraceT[F, A] context.

    Lifts this program F which computes A into a TraceT[F, A] context.

    returns

    traceTOfA - a TraceT[F, A]

  20. def [B](y: B): (TraceEnrichedEffect[F, A], B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to ArrowAssoc[TraceEnrichedEffect[F, A]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Shadowed Implicit Value Members

  1. def newAnnotatedSpan(spanName: Name, evaluator: Evaluator[A], notes: Note*)(resultAnnotator: PartialFunction[Either[Throwable, A], Vector[Note]])(implicit F: Sync[[A]TraceEnrichedEffect[F, A]]): TraceT[[A]TraceEnrichedEffect[F, A], A]

    Permalink

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing the capability of annotating the span with notes based on the execution result of the F[A], using the a custom Evaluator to determine success/failure of the F[A] for the purposes of recording.

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing the capability of annotating the span with notes based on the execution result of the F[A], using the a custom Evaluator to determine success/failure of the F[A] for the purposes of recording. For example:

    val io = IO(some computation)
    io.newAnnotatedSpan(
      Span.Name("query-products-for-sale",
      Note.string("sale-date", date.toString), Note.double("sale-max-price", 80.50)
    ) {
      case Right(saleProducts) => Vector(Note.string("sale-products", saleProducts.mkString(",")))
    }
    spanName

    - a descriptive name, emitted when the span is recorded.

    notes

    - one or more Notes which annotate the span (often the input parameters to the F[A] execution).

    returns

    newTraceT - a new instance of TraceT representing a child span.

    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A] performed by method TraceEnrichedEffect in com.ccadllc.cedi.dtrace.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (traceEnrichedEffect: TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A]).newAnnotatedSpan(spanName, evaluator, notes)(resultAnnotator)(F)
  2. def newAnnotatedSpan(spanName: Name, notes: Note*)(resultAnnotator: PartialFunction[Either[Throwable, A], Vector[Note]])(implicit F: Sync[[A]TraceEnrichedEffect[F, A]]): TraceT[[A]TraceEnrichedEffect[F, A], A]

    Permalink

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing the capability of annotating the span with notes based on the execution result of the F[A], using the default Evaluator to determine success/failure of the F[A] for the purposes of span recording.

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing the capability of annotating the span with notes based on the execution result of the F[A], using the default Evaluator to determine success/failure of the F[A] for the purposes of span recording. For example:

    val io = IO(some computation)
    io.newAnnotatedSpan(
      Span.Name("query-products-for-sale",
      Note.string("sale-date", date.toString), Note.double("sale-max-price", 80.50)
    ) {
      case Right(saleProducts) => Vector(Note.string("sale-products", saleProducts.mkString(",")))
    }
    spanName

    - a descriptive name, emitted when the span is recorded.

    notes

    - one or more Notes which annotate the span (often the input parameters to the F[A] execution).

    returns

    newTraceT - a new instance of TraceT representing a child span.

    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A] performed by method TraceEnrichedEffect in com.ccadllc.cedi.dtrace.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (traceEnrichedEffect: TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A]).newAnnotatedSpan(spanName, notes)(resultAnnotator)(F)
  3. def newSpan(spanName: Name, evaluator: Evaluator[A], notes: Note*)(implicit F: Sync[[A]TraceEnrichedEffect[F, A]]): TraceT[[A]TraceEnrichedEffect[F, A], A]

    Permalink

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing for custom evaluation and rendering of the underlying F[A] when recording the Span.

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], providing for custom evaluation and rendering of the underlying F[A] when recording the Span. For example:

    val io = IO(some computation)
    io.newSpan(
      Span.Name("query-products-for-sale",
      Evaluator.resultToFailure[Vector[Product]
      Note.string("sale-date", date.toString), Note.double("sale-max-price", 80.50)
    )
    spanName

    - a descriptive name, emitted when the span is recorded.

    evaluator

    - an Evaluator which converts either a Throwable or A to an optional FailureDetail.

    notes

    - one or more Notes which annotate the span (often the input parameters to the F[A] execution).

    returns

    newTraceT - a new instance of TraceT representing a child span.

    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A] performed by method TraceEnrichedEffect in com.ccadllc.cedi.dtrace.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (traceEnrichedEffect: TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A]).newSpan(spanName, evaluator, notes)(F)
  4. def newSpan(spanName: Name, notes: Note*)(implicit F: Sync[[A]TraceEnrichedEffect[F, A]]): TraceT[[A]TraceEnrichedEffect[F, A], A]

    Permalink

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], using the default Evaluator to determine success/failure of the F[A] for the purposes of span recording.

    Creates a new child Span in the TraceT[F, A] created by lifting this F[A], using the default Evaluator to determine success/failure of the F[A] for the purposes of span recording. For example:

    val io = IO(some computation)
    io.newSpan(
      Span.Name("query-products-for-sale",
      Note.string("sale-date", date.toString), Note.double("sale-max-price", 80.50)
    )
    spanName

    - a descriptive name, emitted when the span is recorded.

    notes

    - one or more Notes which annotate the span (often the input parameters to the F[A] execution).

    returns

    a new instance of TraceT representing a child span.

    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A] performed by method TraceEnrichedEffect in com.ccadllc.cedi.dtrace.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (traceEnrichedEffect: TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A]).newSpan(spanName, notes)(F)
  5. def toTraceT: TraceT[[A]TraceEnrichedEffect[F, A], A]

    Permalink

    Lifts this program F which computes A into a TraceT[F, A] context.

    Lifts this program F which computes A into a TraceT[F, A] context.

    returns

    traceTOfA - a TraceT[F, A]

    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A] performed by method TraceEnrichedEffect in com.ccadllc.cedi.dtrace.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (traceEnrichedEffect: TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A]).toTraceT

Deprecated Value Members

  1. def bestEffortOnFinish(f: (Option[Throwable]) ⇒ TraceEnrichedEffect[F, Unit])(implicit F: MonadError[[A]TraceEnrichedEffect[F, A], Throwable]): TraceEnrichedEffect[F, A]

    Permalink

    Lifts this F[A] into a TraceT[F, A] and then transforms that TraceT to an equivalent TraceT[F, A] where the passed-in function will be executed at the finish of the underlying effectful program.

    Lifts this F[A] into a TraceT[F, A] and then transforms that TraceT to an equivalent TraceT[F, A] where the passed-in function will be executed at the finish of the underlying effectful program.

    f

    - a function which is passed an optional Throwable - defined if the program failed and returns a TraceT[F, Unit], a program run only for its effect.

    returns

    a new TraceT[F, A] with the error handling of the aforementioned f function parameter.

    Implicit information
    This member is added by an implicit conversion from TraceEnrichedEffect[F, A] to TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A] performed by method TraceEnrichedEffect in com.ccadllc.cedi.dtrace.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (traceEnrichedEffect: TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A]).bestEffortOnFinish(f)(F)
    Annotations
    @deprecated
    Deprecated

    (Since version 1.5.0) use guaranteeCase on effect

  2. def bestEffortOnFinish(f: (Option[Throwable]) ⇒ F[Unit])(implicit F: MonadError[F, Throwable]): F[A]

    Permalink

    Lifts this F[A] into a TraceT[F, A] and then transforms that TraceT to an equivalent TraceT[F, A] where the passed-in function will be executed at the finish of the underlying effectful program.

    Lifts this F[A] into a TraceT[F, A] and then transforms that TraceT to an equivalent TraceT[F, A] where the passed-in function will be executed at the finish of the underlying effectful program.

    f

    - a function which is passed an optional Throwable - defined if the program failed and returns a TraceT[F, Unit], a program run only for its effect.

    returns

    a new TraceT[F, A] with the error handling of the aforementioned f function parameter.

    Annotations
    @deprecated
    Deprecated

    (Since version 1.5.0) use guaranteeCase on effect

Inherited from AnyVal

Inherited from Any

Inherited by implicit conversion TraceEnrichedEffect from TraceEnrichedEffect[F, A] to TraceEnrichedEffect[[A]TraceEnrichedEffect[F, A], A]

Inherited by implicit conversion any2stringadd from TraceEnrichedEffect[F, A] to any2stringadd[TraceEnrichedEffect[F, A]]

Inherited by implicit conversion StringFormat from TraceEnrichedEffect[F, A] to StringFormat[TraceEnrichedEffect[F, A]]

Inherited by implicit conversion Ensuring from TraceEnrichedEffect[F, A] to Ensuring[TraceEnrichedEffect[F, A]]

Inherited by implicit conversion ArrowAssoc from TraceEnrichedEffect[F, A] to ArrowAssoc[TraceEnrichedEffect[F, A]]

Ungrouped