~/jendhub

def IsoWeek.from.ge

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

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

138def IsoWeek.from.ge(
139  +year: U32, +week: U32, weekday: D.Weekday, z: Bool
140) -> Result<&2, &2, D.Date.Error, D.Date>:
141  match z:
142    case True{}:
143      Fail{D.OutOfRange{}}
144    case False{}:
145      IsoWeek.from.hi(year, week, weekday, U32.is_ge(week, 54))

Uses (8)

Used by (1)