~/jendhub

def IsoWeek.from.le

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

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

97def IsoWeek.from.le(
98  +year: U32, +week: U32, weekday: D.Weekday, mon1: D.Date, ok: Bool
99) -> Result<&2, &2, D.Date.Error, D.Date>:
100  match ok:
101    case False{}:
102      Fail{D.OutOfRange{}}
103    case True{}:
104      IsoWeek.from.add(year, week, weekday, mon1)

Uses (7)

Used by (1)