~/jendhub

def Duration.from_hms.r

bend-time-lib@0.4.0.1 · duration.bend:81

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

81def Duration.from_hms.r(
82  +h: U32, +mi: U32, +s: U32, ok: Bool
83) -> Result<&2, &2, Duration.Error, Duration>:
84  match ok:
85    case False{}:
86      Fail{OutOfRange{}}
87    case True{}:
88      Duration.from_hms.h(
89        h, mi, s, U32.is_le(h, U32.div(U32.not(0), 3600))
90      )

Uses (9)

Used by (1)