def Weekday.to_u32

bend-time-lib@0.4.0.1 · date.bend:391

import bend-time-lib@0.4.0.1/date.bend as Date

import Base

391def Weekday.to_u32(w: Weekday) -> U32:
392  match w:
393    case Mon{}:
394      0
395    case Tue{}:
396      1
397    case Wed{}:
398      2
399    case Thu{}:
400      3
401    case Fri{}:
402      4
403    case Sat{}:
404      5
405    case Sun{}:
406      6

Uses (2)

Used by (5)