~/jendhub

def IncomingContext.received

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

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

3108# The received pair, when the whole pair was accepted: None{} when the
3109# tracestate was discarded, and for a context built from parts.
3110def IncomingContext.received(incoming: IncomingContext) -> Maybe<&2, ReceivedPair>:
3111  match incoming:
3112    case IncomingContext{context, state, received}:
3113      received

Uses (3)

Used by (1)