~/jendhub

def Date.from.day2

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

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

85def Date.from.day2(
86  +y: U32, +m: U32, +d: U32, ok: Bool
87) -> Result<&2, &2, Date.Error, Date>:
88  match ok:
89    case False{}:
90      Fail{InvalidDate{y, m, d}}
91    case True{}:
92      Done{Date{y, m, d}}

Uses (5)

Used by (1)