JSON.hex_digit: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/libs/JSON.bend as JSON
Lines 324-348 of qasim-bend-kit@0.1.0.2/libs/JSON.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&start_line=324&end_line=348

import Base

def hex_digit(c: Char) -> Maybe<&2, U32>:
    match c:
        case '0': Some{0}
        case '1': Some{1}
        case '2': Some{2}
        case '3': Some{3}
        case '4': Some{4}
        case '5': Some{5}
        case '6': Some{6}
        case '7': Some{7}
        case '8': Some{8}
        case '9': Some{9}
        case 'a': Some{10}
        case 'b': Some{11}
        case 'c': Some{12}
        case 'd': Some{13}
        case 'e': Some{14}
        case 'f': Some{15}
        case 'A': Some{10}
        case 'B': Some{11}
        case 'C': Some{12}
        case 'D': Some{13}
        case 'E': Some{14}
        case 'F': Some{15}
        case _: None{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil