def Ty.req.go

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

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

87def Ty.req.go(~A: Data, ~dec: J.Json -> String -> Result<&2, &2, String, A>, +j: J.Json,
88  +path: String, missing: Bool) -> Result<&2, &2, String, A>:
89  match missing:
90    case True{}:
91      Fail{path ++ ": required"}
92    case False{}:
93      dec(j, path)

Uses (5)

Used by (1)