def hex.digit

gralha-http-core@0.1.0.0 · http.bend:116

import gralha-http-core@0.1.0.0/http.bend as Http

import Base

116def hex.digit(+c: U32) -> U32:
117  when(U32, U32.is_le(c, 57), _ => (c - 48 : U32),
118    _ => when(U32, U32.is_le(c, 70), _ => (c - 55 : U32), _ => (c - 87 : U32)))

Uses (4)

Used by (1)

gralha-http-core@0.1.0.0/http:url.bytes