~/jendhub

def Date.from.day

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

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

94def Date.from.day(
95  +y: U32, +m: U32, +d: U32, dim: U32
96) -> Result<&2, &2, Date.Error, Date>:
97  Date.from.day2(
98    y, m, d, Bool.and(U32.is_ge(d, 1), U32.is_le(d, dim))
99  )

Uses (8)

Used by (1)