~/jendhub

def Entries.dropped

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

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

2478# The keys of the entries that `kept` lacks, in order.
2479def Entries.dropped(entries: List<&2, StateEntry>, +kept: List<&2, StateEntry>) -> List<&2, StateKey>:
2480  match entries:
2481    case Nil{}:
2482      Nil{}
2483    case Con{+entry, rest}:
2484      Entries.unless(StateKey, Entries.has_key(kept, StateEntry.key_text(entry)), StateEntry.key(entry),
2485        Entries.dropped(rest, kept))

Uses (7)

Used by (1)