def Format.read_date.fin

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

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

381def Format.read_date.fin(
382  r: Result<&2, &2, Format.Error, Format.DateP>
383) -> Result<&2, &2, Format.Error, D.Date>:
384  match r:
385    case Fail{e}:
386      Fail{e}
387    case Done{DateP{date, cur}}:
388      Format.read_date.fin2(date, P.Parse.finish(cur))