def Parse.digit_result

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

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

339# A decoded character, or InvalidHex at its offset when it is not a lowercase
340# hexadecimal digit.
341def Parse.digit_result(value: Maybe<&2, Hex.Digit>, offset: Nat) ->
342  Result<&2, &2, Error, Hex.Digit>:
343  match value:
344    case None{}:
345      Fail{InvalidHex{offset}}
346    case Some{digit}:
347      Done{digit}