def IsoWeek.from.add

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

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

86def IsoWeek.from.add(
87  +year: U32, +week: U32, weekday: D.Weekday, mon1: D.Date
88) -> Result<&2, &2, D.Date.Error, D.Date>:
89  IsoWeek.from.chk(
90    year, week,
91    D.Date.add_days(
92      mon1,
93      U32.add(U32.mul(U32.sub(week, 1), 7), D.Weekday.to_u32(weekday))
94    )
95  )