EmergingEztoml.when.time.only: def of emerging-eztoml@0.10.0.0
Import: import emerging-eztoml@0.10.0.0/main.bend as EmergingEztoml
Lines 1014-1026 of emerging-eztoml@0.10.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.10.0.0/main.bend&start_line=1014&end_line=1026

import Base

# a local time uses a dummy date and then keeps only the clock
def when.time.only(ww: WhenOut) -> WhenOut:
  match ww:
    case WSome{WLocal{_date, clock}}:
      WSome{WTime{clock}}
    case WSome{WOff{_date, clock, zone}}:
      WFail{"invalid time"}
    case WSome{other}:
      WFail{"invalid time"}
    case WFail{why}:
      WFail{why}
    case WSkip{}:
      WFail{"invalid time"}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=When
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.10.0.0/main.bend&name=WhenOut