def Format.read.colon2

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

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

444def Format.read.colon2(
445  date: D.Date, h: U32, mi: U32,
446  r: Result<&2, &2, P.Parse.Error, P.Parse.Cur>
447) -> Result<&2, &2, Format.Error, DT.OffsetDateTime>:
448  match r:
449    case Fail{e}:
450      Fail{Format.from_parse(e)}
451    case Done{cur}:
452      Format.read.sec2(date, h, mi, P.Parse.read_fixed_decimal(cur, 2n, 99))