~/jendhub

def Iso8601.dur.frac.s2

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

import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
import Base

466def Iso8601.dur.frac.s2(
467  st: Iso8601.DurS, sec: U32, acc: U32, left: Nat, empty: Bool
468) -> Iso8601.DurC:
469  match empty:
470    case True{}:
471      DurFail{Invalid{}}
472    case False{}:
473      Iso8601.dur.cont_r(
474        Iso8601.dur.put_s(st, sec, Iso8601.dur.frac.scale(acc, Nat.sub(9n, left))),
475        DSeek{}
476      )

Uses (11)

Used by (1)