Hex.Digit.from_char: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/src/hex.bend as Hex
Lines 339-342 of bend-trace-context@0.2.0.0/src/hex.bend: https://jend.leeeet.dev/read.txt?path=bend-trace-context@0.2.0.0/src/hex.bend&start_line=339&end_line=342

import Base

# The digit a character encodes. Uppercase and every non-hexadecimal character
# are rejected with None.
def Digit.from_char(char: Char) -> Maybe<&2, Digit>:
  Digit.from_char.find(Digit.all(), char)

Uses (5):
  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=bend-trace-context@0.2.0.0/src/hex.bend&name=Digit
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/src/hex.bend&name=Digit.all
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/src/hex.bend&name=Digit.from_char.find