def number_or_zero

mlbend-datasets@0.1.6.0 · main.bend:79

import Base

79# A number that may be there, or zero when it is not.
80def number_or_zero(m: Maybe<&2, F32>) -> F32:
81  match m:
82    case Some{v}:
83      v
84    case None{}:
85      0.0