def hex.digit

gralha-text-scan@0.1.0.1 · scan.bend:244

import gralha-text-scan@0.1.0.1/scan.bend as Scan

import Base

244def hex.digit(+c: U32) -> U32:
245  choose(U32, digit(c), (c - 48 : U32),
246    choose(U32, U32.is_ge(c, 65) && U32.is_le(c, 70), (c - 55 : U32),
247      choose(U32, U32.is_ge(c, 97) && U32.is_le(c, 102), (c - 87 : U32), 0)))

Uses (7)

Used by (4)