def Instant.from

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

import bend-time-lib@0.4.0.1/instant.bend as Instant
import Base

119def Instant.from(
120  +days: U32, +sod: U32, +nanos: U32
121) -> Result<&2, &2, Instant.Error, Instant>:
122  Instant.from.rng(
123    days, sod, nanos,
124    Bool.and(U32.is_le(sod, 86399), U32.is_le(nanos, 999999999))
125  )

Uses (7)

Used by (1)