def Date.end_of_month.go

bend-time-lib@0.4.0.1 · date.bend:139

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

139def Date.end_of_month.go(
140  +y: U32, +m: U32, r: Result<&2, &2, Date.Error, U32>
141) -> Result<&2, &2, Date.Error, Date>:
142  match r:
143    case Fail{e}:
144      Fail{e}
145    case Done{dim}:
146      Done{Date{y, m, dim}}

Uses (4)

Used by (1)