def Scan.keep

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

import Base

2170# A valid member counts toward the 32 allowed before duplicates are dropped
2171# (spec #1); with no room left, the state is discarded with TooManyMembers.
2172def Scan.keep(room: Nat, member: Nat, entry: StateEntry, entries: List<&2, StateEntry>) -> Scan:
2173  match room:
2174    case 0n:
2175      Stopped{TooManyMembers{}}
2176    case 1n+left:
2177      Scanning{1n+member, left, Blank{}, Entries.add(entries, entry)}