~/jendhub

def unhex.h

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

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

58def unhex.h(+c: U32, lo: Bool) -> Maybe<&2, U32>:
59  match lo:
60    case True{}:
61      Some{(c - 87 : U32)}
62    case False{}:
63      unhex.H(c, Bool.and(U32.is_le(65, c), U32.is_le(c, 70)))

Uses (7)

Used by (1)