def Extract.ignored

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

import Base

2961# The state outcome when the tracestate fields are not read: absent without
2962# a field, ignored with one (W3C 3.3).
2963def Extract.ignored(states: List<&2, String>) -> StateOutcome:
2964  match states:
2965    case Nil{}:
2966      StateAbsent{}
2967    case Con{field, rest}:
2968      StateIgnored{}