def when.text

emerging-eztoml@0.9.0.0 · main.bend:602

import Base

602# a datetime in TOML spelling
603def when.text(ww: When) -> String:
604  match ww:
605    case WOff{date, clock, zone}:
606      date.text(date) ++ "T" ++ clock.text(clock) ++ zone.text(zone)
607    case WLocal{date, clock}:
608      date.text(date) ++ "T" ++ clock.text(clock)
609    case WDate{date}:
610      date.text(date)
611    case WTime{clock}:
612      clock.text(clock)