def Date.with_month

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

import Base

173def Date.with_month(date: Date, m: U32) -> Result<&2, &2, Date.Error, Date>:
174  match date:
175    case Date{+y, _, +d}:
176      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.