def or_zero

bend-collections-laws-math@1.0.0.0 · src/math/generic.bend:36

import bend-collections-laws-math@1.0.0.0/src/math/generic.bend as Generic
import Base

36def or_zero(-T: Data, +z: T, m: Maybe<&2, T>) -> T:
37  match m:
38    case None{}:
39      z
40    case Some{x}:
41      x

Uses (1)

Used by (0)

No other definition uses this definition.