def Ty.u32

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

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J

50def Ty.u32(j: J.Json, path: String) -> Result<&2, &2, String, U32>:
51  match j:
52    case J.JNum{t}:
53      Ty.u32.read(U32.read(t), path)
54    case _:
55      Fail{path ++ ": expected an integer"}