def Digits.to_string

bend-trace-context@0.2.0.0 · src/digits.bend:35

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

35# The n lowercase characters of the digits, in order.
36def Digits.to_string(n: Nat, digits: Digits(n)) -> String:
37  match n:
38    case 0n:
39      ""
40    case 1n+p:
41      match digits:
42        case DCon{head, tail}:
43          SCon{Hex.Digit.to_char(head), Digits.to_string(p, tail)}