def Datetime.inst_ldt.date

bend-time-lib@0.4.0.1 · datetime.bend:314

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

314def Datetime.inst_ldt.date(
315  +sod: U32, +nanos: U32, r: Result<&2, &2, D.Date.Error, D.Date>
316) -> Result<&2, &2, I.Instant.Error, LocalDateTime>:
317  match r:
318    case Fail{_}:
319      Fail{I.OutOfRange{}}
320    case Done{date}:
321      Datetime.inst_ldt.tod(
322        date,
323        TimeOfDay.from(
324          U32.div(sod, 3600),
325          U32.div(U32.mod(sod, 3600), 60),
326          U32.mod(sod, 60),
327          Datetime.frac_of(nanos, U32.is_eq(nanos, 0))
328        )
329      )