def tok.hex

ezhttp@0.22.0.0 · src/qs.bend:32

import Base
import ezhttp@0.22.0.0/src/http.bend as Http

32# whether a character is a hex digit (`0`-`9`, `A`-`F`, `a`-`f`)
33def tok.hex(c: Char) -> Bool:
34  U32.is_lt(Http.hex.val(c), 16)