def Date.dim_of.go

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

import Base

124def Date.dim_of.go(dim: Maybe<&2, U32>) -> Result<&2, &2, Date.Error, U32>:
125  match dim:
126    case None{}:
127      Fail{OutOfRange{}}
128    case Some{+n}:
129      Done{n}