def num

emerging-ezhttp@0.21.0.0 · src/unescape.bend:269

import Base

269# inside a number: a digit grows it
270def num(+hex: Bool, +n: U32, +c: Char, k: Scan -> String, +d: U32,
271  digit: Bool) -> String:
272  match digit:
273    case True{}:
274      k(Num{hex, grow(hex, n, d)})
275    case False{}:
276      num.end(n, c, k, Char.is_eq(c, ';'))