~/jendhub

def UtcOffset.from.zero

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

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

51def UtcOffset.from.zero(
52  z: Bool, west: Bool, +h: U32, +mi: U32
53) -> Result<&2, &2, UtcOffset.Error, UtcOffset>:
54  match z west:
55    case True{} True{}:
56      Fail{NegativeZero{}}
57    case True{} False{}:
58      Done{OffsetZero{}}
59    case False{} True{}:
60      Done{OffsetWest{h, mi}}
61    case False{} False{}:
62      Done{OffsetEast{h, mi}}

Uses (5)

Used by (1)