def IsoWeek.from_date.thu
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
44def IsoWeek.from_date.thu(
45 +d: D.Date, r: Result<&2, &2, D.Date.Error, D.Date>
46) -> Result<&2, &2, D.Date.Error, IsoWeek>:
47 match r:
48 case Fail{e}:
49 Fail{e}
50 case Done{mon}:
51 IsoWeek.from_date.year(d, D.Date.add_days(mon, 3))