def Date.with_year

import bend-time-lib@0.4.0.1/date.bend as Date

import Base

178def Date.with_year(date: Date, y: U32) -> Result<&2, &2, Date.Error, Date>:
179  match date:
180    case Date{_, +m, +d}:
181      Date.from(y, m, d)

Uses (5)

U32
Result
bend-time-lib@0.4.0.1/date:Date
bend-time-lib@0.4.0.1/date:Date.Error
bend-time-lib@0.4.0.1/date:Date.from

Used by (0)

No other definition uses this definition.