def OffsetDateTime.from_instant.date

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

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

198def OffsetDateTime.from_instant.date(
199  +sod: U32, offset: UtcOffset, r: Result<&2, &2, D.Date.Error, D.Date>
200) -> Result<&2, &2, D.Date.Error, OffsetDateTime>:
201  match r:
202    case Fail{e}:
203      Fail{e}
204    case Done{date}:
205      OffsetDateTime.from_instant.clock(
206        offset, date,
207        TimeOfDay.from(
208          U32.div(sod, 3600),
209          U32.div(U32.mod(sod, 3600), 60),
210          U32.mod(sod, 60),
211          FracNone{}
212        )
213      )