def Date.from_days.parts
bend-time-lib@0.4.0.1 · date.bend:288
import bend-time-lib@0.4.0.1/date.bend as Date
import Base
288def Date.from_days.parts(+z: U32) -> Result<&2, &2, Date.Error, Date>:
289 +era = U32.div(z, 146097)
290 +doe = Date.from_days.doe(z, era)
291 +yoe = Date.from_days.yoe(doe)
292 +doy = Date.from_days.doy(doe, yoe)
293 +mp = Date.from_days.mp(doy)
294 +m = Date.from_days.month(mp, U32.is_lt(mp, 10))
295 Date.from(
296 Date.from_days.year(U32.add(yoe, U32.mul(era, 400)), U32.is_le(m, 2)),
297 m,
298 Date.from_days.day(doy, mp)
299 )