def when.zone.hh.colon

emerging-eztoml@0.9.0.0 · main.bend:712

import Base

712# the colon in an offset
713def when.zone.hh.colon(cs: List<&2, Char>, sign: Sign, hh: U32, clock: Clock, date: Date) -> WhenOut:
714  match cs:
715    case []:
716      WFail{"invalid zone"}
717    case +c <> t:
718      when.zone.mm(Char.is_eq(c, ':'), take.n(2n, t, 0, True{}), sign, hh, clock, date)