Hex.Digit.from_char.find: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/src/hex.bend as Hex
Lines 329-337 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=329&end_line=337

import Base

# Search the encoder's own alphabet, so an accepted character is exactly the
# encoding of the digit returned for it.
def Digit.from_char.find(digits: List<&2, Digit>, +char: Char) -> Maybe<&2, Digit>:
  match digits:
    case Nil{}:
      None{}
    case Con{+digit, tail}:
      Bool.pick(Maybe<&2, Digit>, Char.is_eq(char, Digit.to_char(digit)),
        Some{digit}, Digit.from_char.find(tail, char))

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