def Parsed.prepend

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

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

333# Put one more digit in front of a parsed sequence: n digits become 1 + n.
334def Parsed.prepend(-n: Nat, digit: Hex.Digit, parsed: Parsed<n>) -> Parsed<1n+n>:
335  match parsed:
336    case Parsed{digits, rest}:
337      Parsed{Digits.DCon{digit, digits}, rest}