def Iso8601.show_duration

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

import Base
import bend-time-lib@0.4.0.1/duration.bend as Dur

165def Iso8601.show_duration(d: Dur.Duration) -> String:
166  match d:
167    case Dur.Duration{+days, +sod, +nanos}:
168      Iso8601.show_duration.has(
169        days,
170        U32.div(sod, 3600),
171        U32.div(U32.mod(sod, 3600), 60),
172        U32.mod(sod, 60),
173        nanos
174      )