def tok.ascii

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

import Base

40# a plain ASCII character: `%` opens an escape, any other is its byte
41def tok.ascii(plus: Bool, +c: Char, k: Esc -> List<&2, Tok>, pct: Bool)
42  -> List<&2, Tok>:
43  match pct:
44    case True{}:
45      k(Pct{})
46    case False{}:
47      B{tok.byte(plus, c)} <> k(Plain{})