~/jendhub

def Parse.digit

bend-trace-context@0.2.0.0 · trace_context.bend:349

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

349# Decode one character as a lowercase hexadecimal digit.
350def Parse.digit(char: Char, offset: Nat) -> Result<&2, &2, Error, Hex.Digit>:
351  Parse.digit_result(Hex.Digit.from_char(char), offset)

Uses (7)

Used by (1)