def Instant.from.rng

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

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

110def Instant.from.rng(
111  +days: U32, +sod: U32, +nanos: U32, ok: Bool
112) -> Result<&2, &2, Instant.Error, Instant>:
113  match ok:
114    case False{}:
115      Fail{OutOfRange{}}
116    case True{}:
117      Instant.from.date(days, sod, nanos, D.Date.from_days(days))