def IsoWeek.from.mon1

bend-time-lib@0.4.0.1 · week.bend:106

import Base
import bend-time-lib@0.4.0.1/date.bend as D

106def IsoWeek.from.mon1(
107  +year: U32, +week: U32, weekday: D.Weekday,
108  r: Result<&2, &2, D.Date.Error, D.Date>
109) -> Result<&2, &2, D.Date.Error, D.Date>:
110  match r:
111    case Fail{e}:
112      Fail{e}
113    case Done{mon1}:
114      IsoWeek.from.le(
115        year, week, weekday, mon1,
116        U32.is_le(U32.sub(week, 1), U32.div(U32.not(0), 7))
117      )