~/jendhub

def Digit.from_char

bend-trace-context@0.2.0.0 · src/hex.bend:339

import bend-trace-context@0.2.0.0/src/hex.bend as Hex
import Base

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

Uses (5)

Used by (1)