def when.clock.colon.go

emerging-eztoml@0.9.0.0 · main.bend:885

import Base

885# the colon after the hour
886def when.clock.colon.go(hit: Bool, hh: U32, tt: List<&2, Char>, date: Date) -> WhenOut:
887  match hit:
888    case False{}:
889      WFail{"invalid time"}
890    case True{}:
891      when.clock.mm(take.n(2n, tt, 0, True{}), hh, date)