def Date.with_day

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

import Base

168def Date.with_day(date: Date, d: U32) -> Result<&2, &2, Date.Error, Date>:
169  match date:
170    case Date{+y, +m, _}:
171      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.