Clock.time.wd.plus: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/clock.bend as Clock
Lines 189-290 of ezsys@0.1.0.0/src/clock.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/clock.bend&start_line=189&end_line=290

import Base

# two weekdays added as offsets from Monday (Monday is 0, Sunday 6), so
# `time.wd.plus(day, off)` is the weekday `off` days after `day`
def time.wd.plus(day: Wd, off: Wd) -> Wd:
  match day off:
    case Mon{} Mon{}:
      Mon{}
    case Mon{} Tue{}:
      Tue{}
    case Mon{} Wed{}:
      Wed{}
    case Mon{} Thu{}:
      Thu{}
    case Mon{} Fri{}:
      Fri{}
    case Mon{} Sat{}:
      Sat{}
    case Mon{} Sun{}:
      Sun{}
    case Tue{} Mon{}:
      Tue{}
    case Tue{} Tue{}:
      Wed{}
    case Tue{} Wed{}:
      Thu{}
    case Tue{} Thu{}:
      Fri{}
    case Tue{} Fri{}:
      Sat{}
    case Tue{} Sat{}:
      Sun{}
    case Tue{} Sun{}:
      Mon{}
    case Wed{} Mon{}:
      Wed{}
    case Wed{} Tue{}:
      Thu{}
    case Wed{} Wed{}:
      Fri{}
    case Wed{} Thu{}:
      Sat{}
    case Wed{} Fri{}:
      Sun{}
    case Wed{} Sat{}:
      Mon{}
    case Wed{} Sun{}:
      Tue{}
    case Thu{} Mon{}:
      Thu{}
    case Thu{} Tue{}:
      Fri{}
    case Thu{} Wed{}:
      Sat{}
    case Thu{} Thu{}:
      Sun{}
    case Thu{} Fri{}:
      Mon{}
    case Thu{} Sat{}:
      Tue{}
    case Thu{} Sun{}:
      Wed{}
    case Fri{} Mon{}:
      Fri{}
    case Fri{} Tue{}:
      Sat{}
    case Fri{} Wed{}:
      Sun{}
    case Fri{} Thu{}:
      Mon{}
    case Fri{} Fri{}:
      Tue{}
    case Fri{} Sat{}:
      Wed{}
    case Fri{} Sun{}:
      Thu{}
    case Sat{} Mon{}:
      Sat{}
    case Sat{} Tue{}:
      Sun{}
    case Sat{} Wed{}:
      Mon{}
    case Sat{} Thu{}:
      Tue{}
    case Sat{} Fri{}:
      Wed{}
    case Sat{} Sat{}:
      Thu{}
    case Sat{} Sun{}:
      Fri{}
    case Sun{} Mon{}:
      Sun{}
    case Sun{} Tue{}:
      Mon{}
    case Sun{} Wed{}:
      Tue{}
    case Sun{} Thu{}:
      Wed{}
    case Sun{} Fri{}:
      Thu{}
    case Sun{} Sat{}:
      Fri{}
    case Sun{} Sun{}:
      Sat{}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/clock.bend&name=Wd