Idris2Doc : IotaTime.Pattern.Duration

IotaTime.Pattern.Duration

(source)
Definitions
pDuration : Pattern Duration Duration
  A signed duration rendered as [-]D:HH:mm:ss.

  Totality: total
  Visibility: public export
pDurationNano : Pattern Duration Duration
  A signed duration rendered as [-]D:HH:mm:ss.fffffffff.

  Totality: total
  Visibility: public export