def Scan.char

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

import Base

2212# Read one character, unless the scan has stopped.
2213def Scan.char(+char: Char, scan: Scan) -> Scan:
2214  match scan:
2215    case Stopped{error}:
2216      Stopped{error}
2217    case Scanning{member, room, current, entries}:
2218      Scan.read(Char.is_eq(char, ','), char, member, room, current, entries)