def number.or_zero

gralha-http-core@0.1.0.0 · http.bend:215

import gralha-http-core@0.1.0.0/http.bend as Http

import Base

215def number.or_zero(m: Maybe<&2, String>) -> U32:
216  match m:
217    case None{}:
218      0
219    case Some{s}:
220      Maybe.default(&2, U32, number(s), 0)

Uses (5)

Used by (1)

gralha-http-core@0.1.0.0/http:content.length