~/jendhub

def Duration.from_hms

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

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

92def Duration.from_hms(
93  +h: U32, +mi: U32, +s: U32
94) -> Result<&2, &2, Duration.Error, Duration>:
95  Duration.from_hms.r(
96    h, mi, s, Bool.and(U32.is_le(mi, 59), U32.is_le(s, 59))
97  )

Uses (7)

Used by (1)