def IsoWeek.from.jan4

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

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

119def IsoWeek.from.jan4(
120  +year: U32, +week: U32, weekday: D.Weekday,
121  r: Result<&2, &2, D.Date.Error, D.Date>
122) -> Result<&2, &2, D.Date.Error, D.Date>:
123  match r:
124    case Fail{e}:
125      Fail{e}
126    case Done{jan4}:
127      IsoWeek.from.mon1(year, week, weekday, IsoWeek.start(jan4))