~/jendhub

def Datetime.apply_off

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

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

124def Datetime.apply_off(
125  days: U32, local: U32, offset: UtcOffset
126) -> U32 & U32:
127  match offset:
128    case OffsetZero{}:
129      (days, local)
130    case OffsetEast{h, mi}:
131      Datetime.utc_east(days, local, Datetime.off_sec(h, mi))
132    case OffsetWest{h, mi}:
133      Datetime.utc_west(days, local, Datetime.off_sec(h, mi))

Uses (7)

Used by (1)