def Datetime.inst_of

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

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

150def Datetime.inst_of(
151  date: D.Date, time: TimeOfDay, offset: UtcOffset
152) -> I.Instant:
153  match time:
154    case TimeOfDay{h, mi, s, frac}:
155      Datetime.inst_of2(
156        Datetime.apply_off(D.Date.to_days(date), Datetime.sod(h, mi, s), offset),
157        Datetime.frac_nanos(frac)
158      )