EmergingEztoml.when.text: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 602-612 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=602&end_line=612

import Base

# a datetime in TOML spelling
def when.text(ww: When) -> String:
  match ww:
    case WOff{date, clock, zone}:
      date.text(date) ++ "T" ++ clock.text(clock) ++ zone.text(zone)
    case WLocal{date, clock}:
      date.text(date) ++ "T" ++ clock.text(clock)
    case WDate{date}:
      date.text(date)
    case WTime{clock}:
      clock.text(clock)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  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=clock.text
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=date.text
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=zone.text