def when.clock.range

emerging-eztoml@0.9.0.0 · main.bend:835

import Base

835# hour, minute, and second are in range
836def when.clock.range(
837  h_ok: Bool,
838  mi_ok: Bool,
839  s_ok: Bool,
840  hh: U32,
841  mi: U32,
842  ss: U32,
843  cs: List<&2, Char>,
844  date: Date
845) -> WhenOut:
846  match h_ok:
847    case False{}:
848      WFail{"hour is out of range"}
849    case True{}:
850      when.clock.range.m(mi_ok, s_ok, hh, mi, ss, cs, date)