def Ty.req

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

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

95# A required field.
96def Ty.req(~A: Data, ~dec: J.Json -> String -> Result<&2, &2, String, A>, +j: J.Json, +key: String,
97  +path: String) -> Result<&2, &2, String, A>:
98  Ty.req.go(~A, ~dec, J.Json.get(j, key), Ty.at(path, key), J.Json.is_null(J.Json.get(j, key)))