def UtcOffset.from.range

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

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

import Base

64def UtcOffset.from.range(
65  west: Bool, +h: U32, +mi: U32, ok: Bool
66) -> Result<&2, &2, UtcOffset.Error, UtcOffset>:
67  match ok:
68    case False{}:
69      Fail{InvalidOffset{h, mi}}
70    case True{}:
71      UtcOffset.from.zero(
72        Bool.and(U32.is_eq(h, 0), U32.is_eq(mi, 0)), west, h, mi
73      )

Uses (8)

Used by (1)

bend-time-lib@0.4.0.1/datetime:UtcOffset.from