def Parse.version

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

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

398# The version digits: 00 is the only version the strict codec reads, ff is
399# forbidden (W3C 3.2.2.1), and any other version is reported with its text.
400def Parse.version(digits: Digits.Digits(2n)) -> Result<&2, &2, Error, Unit>:
401  match digits:
402    case Digits.DCon{Hex.H0{}, Digits.DCon{Hex.H0{}, Digits.DNil{}}}:
403      Done{Unit{}}
404    case Digits.DCon{Hex.Hf{}, Digits.DCon{Hex.Hf{}, Digits.DNil{}}}:
405      Fail{ForbiddenVersion{}}
406    case other:
407      Fail{UnsupportedVersion{Digits.Digits.to_string(2n, other)}}