def put_dec.digits

lawful-fields@0.1.1.0 · fields.bend:94

import Base

94# The decimal digits of n, most significant first, before acc; small says
95# n < 10 (the last digit). At most 10 steps for a U32.
96def put_dec.digits(k: Nat, small: Bool, +n: U32, acc: List<&2, U32>) -> List<&2, U32>:
97  match k small:
98    case _ True{}:
99      Con{(n + 48 : U32), acc}
100    case 0n False{}:
101      acc
102    case 1n+m False{}:
103      put_dec.digits(m, U32.is_lt((n / 10 : U32), 10), (n / 10 : U32), Con{((n % 10 : U32) + 48 : U32), acc})