def hex.pick

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

import Base

157def hex.pick(+dg: Bool, +lo: Bool, +up: Bool, +c: U32) -> Maybe<&2, U32>:
158  match dg lo up:
159    case True{} _ _:
160      Some{(c - 48 : U32)}
161    case False{} True{} _:
162      Some{(c - 87 : U32)}
163    case False{} False{} True{}:
164      Some{(c - 55 : U32)}
165    case _ _ _:
166      None{}