def Scan.entry

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

import Base

2179# A member that ended: an invalid one stops reading with its number and
2180# reason; a valid one is counted and kept.
2181def Scan.entry(parsed: Result<&2, &2, EntryError, StateEntry>, member: Nat, room: Nat,
2182  entries: List<&2, StateEntry>) -> Scan:
2183  match parsed:
2184    case Fail{error}:
2185      Stopped{InvalidEntry{member, error}}
2186    case Done{entry}:
2187      Scan.keep(room, member, entry, entries)