def Sent.operation

bend-trace-context@0.2.0.0 · trace_context.bend:3856

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
import Base

3856# The new operation that the message carries; None{} for a fallback.
3857def Sent.operation(sent: Sent) -> Maybe<&2, LocalContext>:
3858  match sent:
3859    case Fresh{operation, injection}:
3860      Some{operation}
3861    case Forwarded{carrier, error}:
3862      None{}
3863    case NoContext{carrier, error, reason}:
3864      None{}

Uses (3)

Used by (0)

No other definition uses this definition.