def when.zone.mm.ok

emerging-eztoml@0.9.0.0 · main.bend:671

import Base

671# the offset fields are in range
672def when.zone.mm.ok(h_ok: Bool, mi_ok: Bool, sign: Sign, hh: U32, mi: U32, clock: Clock, date: Date) -> WhenOut:
673  match h_ok:
674    case False{}:
675      WFail{"zone hour is out of range"}
676    case True{}:
677      when.zone.mm.ok2(mi_ok, sign, hh, mi, clock, date)