def Format.read.frac2

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

import Base
import bend-time-lib@0.4.0.1/date.bend as D
import bend-time-lib@0.4.0.1/datetime.bend as DT

422def Format.read.frac2(
423  date: D.Date, +h: U32, +mi: U32, +s: U32,
424  r: Result<&2, &2, Format.Error, Format.FracP>
425) -> Result<&2, &2, Format.Error, DT.OffsetDateTime>:
426  match r:
427    case Fail{e}:
428      Fail{e}
429    case Done{FracP{+frac, cur}}:
430      Format.read.time2(
431        date, h, mi, s, frac, cur, DT.TimeOfDay.from(h, mi, s, frac)
432      )