
  0 | module IotaTime.Internal.Text
  1 | 
  2 | import Data.String
  3 | 
  4 | %default total
  5 | 
  6 | export
  7 | padIntegerWith : Char -> Nat -> Integer -> String
  8 | padIntegerWith fill width value = padLeft width fill (show value)
  9 | 
 10 | export
 11 | zeroPadInteger : Nat -> Integer -> String
 12 | zeroPadInteger = padIntegerWith '0'