def Extract.parents
bend-trace-context@0.2.0.0 · trace_context.bend:3015
import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
import Base
3015
3016
3017def Extract.parents(+limits: Limits, parents: List<&2, String>, +states: List<&2, String>,
3018 base: Maybe<&2, BaseContext>) -> Extraction:
3019 match parents:
3020 case Nil{}:
3021 Extract.kept(base, TraceParentAbsent{}, states)
3022 case Con{+value, Nil{}}:
3023 Extract.read(TraceParent.read(limits, value), value, limits, states, base)
3024 case Con{first, Con{second, more}}:
3025 Extract.kept(base, TraceParentRejected{RepeatedTraceParent{}}, states)