~/jendhub

def Datetime.inst_ldt

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

import bend-time-lib@0.4.0.1/datetime.bend as Datetime
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

331def Datetime.inst_ldt(
332  i: I.Instant
333) -> Result<&2, &2, I.Instant.Error, LocalDateTime>:
334  match i:
335    case I.Instant{+days, +sod, +nanos}:
336      Datetime.inst_ldt.date(sod, nanos, D.Date.from_days(days))

Uses (6)

Used by (1)