def hex_digit

qasim-bend-kit@0.1.0.2 · libs/JSON.bend:324

import Base

324def hex_digit(c: Char) -> Maybe<&2, U32>:
325    match c:
326        case '0': Some{0}
327        case '1': Some{1}
328        case '2': Some{2}
329        case '3': Some{3}
330        case '4': Some{4}
331        case '5': Some{5}
332        case '6': Some{6}
333        case '7': Some{7}
334        case '8': Some{8}
335        case '9': Some{9}
336        case 'a': Some{10}
337        case 'b': Some{11}
338        case 'c': Some{12}
339        case 'd': Some{13}
340        case 'e': Some{14}
341        case 'f': Some{15}
342        case 'A': Some{10}
343        case 'B': Some{11}
344        case 'C': Some{12}
345        case 'D': Some{13}
346        case 'E': Some{14}
347        case 'F': Some{15}
348        case _: None{}