def unhex

bend-net-url@0.4.0.0 · url.bend:72

import bend-net-url@0.4.0.0/url.bend as Url

import Base

72def unhex(+c: U32) -> Maybe<&2, U32>:
73  unhex.d(c, Bool.and(U32.is_le(48, c), U32.is_le(c, 57)), Bool.and(U32.is_le(97, c), U32.is_le(c, 102)))

Uses (5)

Used by (1)

bend-net-url@0.4.0.0/url:pct.step