def tok.wide

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

import Base

49# a plain character once it is known whether it is outside ASCII
50def tok.wide(plus: Bool, +c: Char, k: Esc -> List<&2, Tok>, wide: Bool)
51  -> List<&2, Tok>:
52  match wide:
53    case True{}:
54      W{c} <> k(Plain{})
55    case False{}:
56      tok.ascii(plus, c, k, Char.is_eq(c, '%'))