def tok.pct

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

import Base

62# a character after `%`: a hex digit is kept, anything else leaves the `%`
63# as written
64def tok.pct(plus: Bool, +c: Char, k: Esc -> List<&2, Tok>, hex: Bool)
65  -> List<&2, Tok>:
66  match hex:
67    case True{}:
68      k(Pct1{c})
69    case False{}:
70      B{37} <> tok.plain(plus, c, k)