Idris2Doc : IotaTime.Internal.Text

IotaTime.Internal.Text

(source)
Definitions
padIntegerWith : Char -> Nat -> Integer -> String
  Totality: total
  Visibility: export
zeroPadInteger : Nat -> Integer -> String
  Totality: total
  Visibility: export