~/jendhub

def IsoWeek.from.hi

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

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

129def IsoWeek.from.hi(
130  +year: U32, +week: U32, weekday: D.Weekday, hi: Bool
131) -> Result<&2, &2, D.Date.Error, D.Date>:
132  match hi:
133    case True{}:
134      Fail{D.OutOfRange{}}
135    case False{}:
136      IsoWeek.from.jan4(year, week, weekday, D.Date.from(year, 1, 4))

Uses (8)

Used by (1)