def when.clock.range.s

emerging-eztoml@0.9.0.0 · main.bend:819

import Base

819# the second is in range, then the fraction and the zone
820def when.clock.range.s(s_ok: Bool, hh: U32, mi: U32, ss: U32, cs: List<&2, Char>, date: Date) -> WhenOut:
821  match s_ok:
822    case False{}:
823      WFail{"second is out of range"}
824    case True{}:
825      when.frac(cs, Clock{hh, mi, ss, ""}, date)