AES256GCM.hex_nibble: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCM
Lines 252-271 of qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend&start_line=252&end_line=271

import Base

# Match the ASCII code point directly so each accepted nibble normalizes to a literal.
def hex_nibble(+code: U32) -> Maybe<&2, U32>:
    match code:
        case 48: Some{0}
        case 49: Some{1}
        case 50: Some{2}
        case 51: Some{3}
        case 52: Some{4}
        case 53: Some{5}
        case 54: Some{6}
        case 55: Some{7}
        case 56: Some{8}
        case 57: Some{9}
        case 97: Some{10}
        case 98: Some{11}
        case 99: Some{12}
        case 100: Some{13}
        case 101: Some{14}
        case 102: Some{15}
        case _: None{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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