~/jendhub

def Date.from.y

bend-time-lib@0.4.0.1 · date.bend:110

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

110def Date.from.y(
111  +y: U32, +m: U32, +d: U32, ok: Bool
112) -> Result<&2, &2, Date.Error, Date>:
113  match ok:
114    case False{}:
115      Fail{InvalidDate{y, m, d}}
116    case True{}:
117      Date.from.dim(y, m, d, Date.dim(m, Date.leap(y)))

Uses (8)

Used by (1)