~/jendhub

def Iso8601.pad_n.go

bend-time-lib@0.4.0.1 · iso8601.bend:46

import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
import Base

46def Iso8601.pad_n.go(k: Nat, +n: U32, acc: String) -> String:
47  match k:
48    case 0n:
49      acc
50    case 1n++p:
51      Iso8601.pad_n.go(
52        p, U32.div(n, 10), SCon{Iso8601.digit(U32.mod(n, 10)), acc}
53      )

Uses (6)

Used by (1)