def Ty.u32.read

bend-kube-runtime@0.2.0.0 · src/typed.bend:43

import bend-kube-runtime@0.2.0.0/src/typed.bend as Typed
import Base

43def Ty.u32.read(m: Maybe<&2, U32>, path: String) -> Result<&2, &2, String, U32>:
44  match m:
45    case Some{n}:
46      Done{n}
47    case None{}:
48      Fail{path ++ ": expected an integer from 0 to 4294967295"}

Uses (5)

Used by (1)