def Format.read.time2

bend-time-lib@0.4.0.1 · format.bend:412

import Base
import bend-scanner@0.1.0.0/parse.bend as P
import bend-time-lib@0.4.0.1/date.bend as D
import bend-time-lib@0.4.0.1/datetime.bend as DT

412def Format.read.time2(
413  date: D.Date, +h: U32, +mi: U32, +s: U32, frac: DT.TimeFrac, cur: P.Parse.Cur,
414  r: Result<&2, &2, DT.TimeOfDay.Error, DT.TimeOfDay>
415) -> Result<&2, &2, Format.Error, DT.OffsetDateTime>:
416  match r:
417    case Fail{DT.InvalidTime{hh, mm, ss}}:
418      Fail{InvalidTime{hh, mm, ss}}
419    case Done{time}:
420      Format.read.off2(date, time, Format.off.after(cur))