def when.clock.range.m

emerging-eztoml@0.9.0.0 · main.bend:827

import Base

827# minute and second are in range
828def when.clock.range.m(mi_ok: Bool, s_ok: Bool, hh: U32, mi: U32, ss: U32, cs: List<&2, Char>, date: Date) -> WhenOut:
829  match mi_ok:
830    case False{}:
831      WFail{"minute is out of range"}
832    case True{}:
833      when.clock.range.s(s_ok, hh, mi, ss, cs, date)