~/jendhub

def Carrier.unrelated.go

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

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

3229# The unrelated fields, those that are not context fields, most recent first,
3230# before `kept`. This is a loop, so a message with many fields needs no deep
3231# stack.
3232def Carrier.unrelated.go(carrier: List<&2, Header>, kept: List<&2, Header>) -> List<&2, Header>:
3233  match carrier:
3234    case Nil{}:
3235      kept
3236    case Con{+header, rest}:
3237      Carrier.unrelated.go(rest, Carrier.keep_unrelated(Carrier.is_context(Header.name(header)), header, kept))

Uses (5)

Used by (1)