def time.wd.num

ezsys@0.1.0.0 · src/clock.bend:157

import ezsys@0.1.0.0/src/clock.bend as Clock

import Base

157# the ISO 8601 weekday number of a day of the week: 1 Monday to 7 Sunday
158def time.wd.num(day: Wd) -> U32:
159  match day:
160    case Mon{}:
161      1
162    case Tue{}:
163      2
164    case Wed{}:
165      3
166    case Thu{}:
167      4
168    case Fri{}:
169      5
170    case Sat{}:
171      6
172    case Sun{}:
173      7

Uses (2)

Used by (2)