def Ty.list

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

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

134# A list field: empty when absent.
135def Ty.list(~A: Data, ~dec: J.Json -> String -> Result<&2, &2, String, A>, +j: J.Json, +key: String,
136  +path: String) -> Result<&2, &2, String, List<&2, A>>:
137  Ty.list.of(~A, ~dec, J.Json.get(j, key), Ty.at(path, key))