~/jendhub

def Datetime.unapply_off

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

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

135def Datetime.unapply_off(
136  days: U32, utc: U32, offset: UtcOffset
137) -> U32 & U32:
138  match offset:
139    case OffsetZero{}:
140      (days, utc)
141    case OffsetEast{h, mi}:
142      Datetime.utc_west(days, utc, Datetime.off_sec(h, mi))
143    case OffsetWest{h, mi}:
144      Datetime.utc_east(days, utc, Datetime.off_sec(h, mi))

Uses (7)

Used by (1)