def Format.off.mk
bend-time-lib@0.4.0.1 · format.bend:207
import bend-time-lib@0.4.0.1/format.bend as Format
import Base
import bend-scanner@0.1.0.0/parse.bend as P
import bend-time-lib@0.4.0.1/datetime.bend as DT
207def Format.off.mk(
208 west: Bool, h: U32, mi: U32, cur: P.Parse.Cur,
209 r: Result<&2, &2, DT.UtcOffset.Error, DT.UtcOffset>
210) -> Result<&2, &2, Format.Error, Format.OffP>:
211 match r:
212 case Fail{DT.NegativeZero{}}:
213 Fail{NegativeZeroOffset{}}
214 case Fail{DT.InvalidOffset{hh, mm}}:
215 Fail{InvalidOffset{hh, mm}}
216 case Done{off}:
217 Done{OffP{off, cur}}