def IsoWeek.from_date.thu

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

import bend-time-lib@0.4.0.1/week.bend as Week
import 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))

Uses (6)

Used by (1)