~/jendhub

def TraceState.remove

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

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

2368# Delete the entry of `key`, if there is one; the other entries keep their
2369# order (W3C 3.5; laws remove_entries and remove_get). W3C asks participants
2370# not to delete keys other vendors generated: that breaks correlation in
2371# their systems.
2372def TraceState.remove(+state: TraceState, key: StateKey) -> TraceState:
2373  TraceState.from_entries(Entries.without(TraceState.entries(state), StateKey.to_string(key)), state)

Uses (6)

Used by (1)