def wf.when

emerging-eztoml@0.9.0.0 · main.bend:6238

import Base

6238# a datetime whose fields are in range
6239def wf.when(ww: When) -> Bool:
6240  match ww:
6241    case WOff{date, clock, zone}:
6242      Bool.and(wf.date(date), Bool.and(wf.clock(clock), wf.zone(zone)))
6243    case WLocal{date, clock}:
6244      Bool.and(wf.date(date), wf.clock(clock))
6245    case WDate{date}:
6246      wf.date(date)
6247    case WTime{clock}:
6248      wf.clock(clock)