def hex.val

bend-toon-codec@0.1.0.0 · src/text.bend:168

import bend-toon-codec@0.1.0.0/src/text.bend as Text

import Base

168def hex.val(+c: U32) -> Maybe<&2, U32>:
169  hex.pick(U32.is_ge(c, 48) && U32.is_le(c, 57), U32.is_ge(c, 97) && U32.is_le(c, 102),
170    U32.is_ge(c, 65) && U32.is_le(c, 70), c)

Uses (6)

Used by (2)