def Format.read.after_date

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

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

490def Format.read.after_date(
491  r: Result<&2, &2, Format.Error, Format.DateP>
492) -> Result<&2, &2, Format.Error, DT.OffsetDateTime>:
493  match r:
494    case Fail{e}:
495      Fail{e}
496    case Done{DateP{date, cur}}:
497      Format.read.t2(date, P.Parse.expect_char(cur, 'T'))