def IsoWeek.from.ok

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

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

56def IsoWeek.from.ok(
57  got: D.Date, eq: Bool
58) -> Result<&2, &2, D.Date.Error, D.Date>:
59  match eq:
60    case True{}:
61      Done{got}
62    case False{}:
63      Fail{D.OutOfRange{}}