def Format.civil.mk

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

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

312def Format.civil.mk(
313  +y: U32, +m: U32, +d: U32, cur: P.Parse.Cur,
314  r: Result<&2, &2, D.Date.Error, D.Date>
315) -> Result<&2, &2, Format.Error, Format.DateP>:
316  match r:
317    case Fail{D.InvalidDate{yy, mm, dd}}:
318      Fail{InvalidDate{yy, mm, dd}}
319    case Fail{D.OutOfRange{}}:
320      Fail{InvalidDate{y, m, d}}
321    case Done{date}:
322      Done{DateP{date, cur}}