def TimeOfDay.from.frac

bend-time-lib@0.4.0.1 · datetime.bend:32

import bend-time-lib@0.4.0.1/datetime.bend as Datetime

import Base

32def TimeOfDay.from.frac(+h: U32, +mi: U32, +s: U32, frac: TimeFrac, ok: Bool) ->
33  Result<&2, &2, TimeOfDay.Error, TimeOfDay>:
34  match ok:
35    case False{}:
36      Fail{InvalidTime{h, mi, s}}
37    case True{}:
38      Done{TimeOfDay{h, mi, s, frac}}

Uses (6)

Used by (1)

bend-time-lib@0.4.0.1/datetime:TimeOfDay.from