def Forward.fits

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

import Base

3373# The first check of a forwarded pair: its tracestate fields, joined by
3374# commas, fit the output budget. Measuring stops past the budget.
3375def Forward.fits(fits: Maybe<&2, Nat>, +limits: Limits, carrier: List<&2, Header>, +traceparent: String,
3376  +tracestate: List<&2, String>) -> Result<&2, &2, ForwardError, List<&2, Header>>:
3377  match fits:
3378    case None{}:
3379      Fail{ForwardTooLarge{}}
3380    case Some{left}:
3381      Forward.parent(TraceParent.read(limits, traceparent), limits, carrier, traceparent, tracestate)