def Format.read.min2

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

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

454def Format.read.min2(
455  date: D.Date, h: U32, r: Result<&2, &2, P.Parse.Error, P.Parse.Dec>
456) -> Result<&2, &2, Format.Error, DT.OffsetDateTime>:
457  match r:
458    case Fail{e}:
459      Fail{Format.from_parse(e)}
460    case Done{P.Dec{mi, cur}}:
461      Format.read.colon2(date, h, mi, P.Parse.expect_char(cur, ':'))