~/jendhub

def tok.hex

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

import emerging-ezhttp@0.21.0.0/src/qs.bend as Qs
import Base
import emerging-ezhttp@0.21.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)

Uses (4)

Used by (1)