def time.wd.next

ezsys@0.1.0.0 · src/clock.bend:139

import Base

139# the next day of the week: Sunday is followed by Monday
140def time.wd.next(day: Wd) -> Wd:
141  match day:
142    case Mon{}:
143      Tue{}
144    case Tue{}:
145      Wed{}
146    case Wed{}:
147      Thu{}
148    case Thu{}:
149      Fri{}
150    case Fri{}:
151      Sat{}
152    case Sat{}:
153      Sun{}
154    case Sun{}:
155      Mon{}