def Format.read.sec2

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

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

434def Format.read.sec2(
435  date: D.Date, h: U32, mi: U32,
436  r: Result<&2, &2, P.Parse.Error, P.Parse.Dec>
437) -> Result<&2, &2, Format.Error, DT.OffsetDateTime>:
438  match r:
439    case Fail{e}:
440      Fail{Format.from_parse(e)}
441    case Done{P.Dec{s, cur}}:
442      Format.read.frac2(date, h, mi, s, Format.frac.after(cur))