def Carrier.values.go

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

import Base

2743# The values of the fields named `name`, most recent first, before `found`.
2744def Carrier.values.go(carrier: List<&2, Header>, +name: String, found: List<&2, String>) -> List<&2, String>:
2745  match carrier:
2746    case Nil{}:
2747      found
2748    case Con{+header, rest}:
2749      Carrier.values.go(rest, name, Carrier.keep(Carrier.named(name, Header.name(header)), Header.value(header), found))