def OffsetDateTime.to_instant

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

import bend-time-lib@0.4.0.1/datetime.bend as Datetime
import Base
import bend-time-lib@0.4.0.1/instant.bend as I

160def OffsetDateTime.to_instant(odt: OffsetDateTime) -> I.Instant:
161  match odt:
162    case OffsetDateTime{date, time, offset}:
163      Datetime.inst_of(date, time, offset)

Uses (3)

Used by (5)