EmergingEztoml.wf.when: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 6238-6248 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=6238&end_line=6248

import Base

# a datetime whose fields are in range
def wf.when(ww: When) -> Bool:
  match ww:
    case WOff{date, clock, zone}:
      Bool.and(wf.date(date), Bool.and(wf.clock(clock), wf.zone(zone)))
    case WLocal{date, clock}:
      Bool.and(wf.date(date), wf.clock(clock))
    case WDate{date}:
      wf.date(date)
    case WTime{clock}:
      wf.clock(clock)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=When
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=wf.clock
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=wf.date
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=wf.zone