~/jendhub

def IsoWeek.from_date.mon1

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

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

26def IsoWeek.from_date.mon1(
27  +d: D.Date, +year: U32, r: Result<&2, &2, D.Date.Error, D.Date>
28) -> Result<&2, &2, D.Date.Error, IsoWeek>:
29  match r:
30    case Fail{e}:
31      Fail{e}
32    case Done{jan4}:
33      IsoWeek.from_date.week(d, year, IsoWeek.start(jan4))

Uses (7)

Used by (1)