- the current Span associated with a particular effectful program.
- a TraceSystem consisting of system-level metadata which further annotates a Span when recording it along with an implementation of an TraceSystem#Emitter used to perform the recording of the span.
- the current Span associated with a particular effectful program.
- a TraceSystem consisting of system-level metadata which further annotates a Span when recording it along with an implementation of an TraceSystem#Emitter used to perform the recording of the span.
Represents a cursor into the "current" Span and associated system-level metadata and is associated with an effectful program
F[A]
to realize a trace over that program.- an effectful program type representing the program type of the TraceSystem (which in turn indicates the program type of the
TraceSystem
'sEmitter
).- the current Span associated with a particular effectful program.
- a TraceSystem consisting of system-level metadata which further annotates a Span when recording it along with an implementation of an TraceSystem#Emitter used to perform the recording of the span.