def IsoWeek.from_date.year
import bend-time-lib@0.4.0.1/week.bend as Weekimport Base
import bend-time-lib@0.4.0.1/date.bend as D
35def IsoWeek.from_date.year(
36 +d: D.Date, r: Result<&2, &2, D.Date.Error, D.Date>
37) -> Result<&2, &2, D.Date.Error, IsoWeek>:
38 match r:
39 case Fail{e}:
40 Fail{e}
41 case Done{D.Date{+y, _, _}}:
42 IsoWeek.from_date.mon1(d, y, D.Date.from(y, 1, 4))