def tok.step

emerging-ezhttp@0.21.0.0 · src/qs.bend:82

import Base

82# one character where the decoding stands
83def tok.step(plus: Bool, st: Esc, +c: Char, k: Esc -> List<&2, Tok>)
84  -> List<&2, Tok>:
85  match st:
86    case Plain{}:
87      tok.plain(plus, c, k)
88    case Pct{}:
89      tok.pct(plus, c, k, tok.hex(c))
90    case Pct1{d}:
91      tok.pct1(plus, d, c, k, tok.hex(c))