def IsoWeek.from.chk

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

import Base
import bend-time-lib@0.4.0.1/date.bend as D

77def IsoWeek.from.chk(
78  +year: U32, +week: U32, r: Result<&2, &2, D.Date.Error, D.Date>
79) -> Result<&2, &2, D.Date.Error, D.Date>:
80  match r:
81    case Fail{e}:
82      Fail{e}
83    case Done{+got}:
84      IsoWeek.from.eq(year, week, got, IsoWeek.from_date(got))