def Format.read.off2

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

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

402def Format.read.off2(
403  date: D.Date, time: DT.TimeOfDay,
404  r: Result<&2, &2, Format.Error, Format.OffP>
405) -> Result<&2, &2, Format.Error, DT.OffsetDateTime>:
406  match r:
407    case Fail{e}:
408      Fail{e}
409    case Done{OffP{offset, cur}}:
410      Format.read.fin2(DT.OffsetDateTime.from(date, time, offset), P.Parse.finish(cur))