def Format.read_date.fin2

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

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

372def Format.read_date.fin2(
373  date: D.Date, r: Result<&2, &2, P.Parse.Error, Unit>
374) -> Result<&2, &2, Format.Error, D.Date>:
375  match r:
376    case Fail{e}:
377      Fail{Format.from_parse(e)}
378    case Done{_}:
379      Done{date}