def Format.pad4

bend-time-lib@0.4.0.1 · format.bend:47

import Base

47def Format.pad4(+n: U32) -> String:
48  SCon{
49    Format.digit(U32.div(n, 1000)),
50    SCon{
51      Format.digit(U32.mod(U32.div(n, 100), 10)),
52      SCon{
53        Format.digit(U32.mod(U32.div(n, 10), 10)),
54        SCon{Format.digit(U32.mod(n, 10)), SNil{}}
55      }
56    }
57  }