def Ty.num

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

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

57# A number kept as its text (int64, floats): lossless.
58def Ty.num(j: J.Json, path: String) -> Result<&2, &2, String, String>:
59  match j:
60    case J.JNum{t}:
61      Done{t}
62    case _:
63      Fail{path ++ ": expected a number"}