def OffsetDateTime.from_instant

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

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

221def OffsetDateTime.from_instant(
222  i: I.Instant, +offset: UtcOffset
223) -> Result<&2, &2, D.Date.Error, OffsetDateTime>:
224  match i:
225    case I.Instant{days, sod, _}:
226      OffsetDateTime.from_instant.pair(
227        Datetime.unapply_off(days, sod, offset), offset
228      )