def when.zone

emerging-eztoml@0.9.0.0 · main.bend:756

import Base

756# a zone, or the end of a local datetime
757def when.zone(cs: List<&2, Char>, clock: Clock, date: Date) -> WhenOut:
758  match cs:
759    case []:
760      WSome{WLocal{date, clock}}
761    case +c <> t:
762      when.zone.go(Bool.or(Char.is_eq(c, 'Z'), Char.is_eq(c, 'z')),
763        Char.is_eq(c, '+'), Char.is_eq(c, '-'), t, clock, date)