def Ty.put_list

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

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

159def Ty.put_list(~A: Data, ~enc: A -> J.Json, key: String, xs: List<&2, A>) -> Maybe<&2, J.KV>:
160  match xs:
161    case Nil{}:
162      None{}
163    case +ys:
164      Some{J.KV{key, J.Json.arr(Ty.encs(~A, ~enc, ys))}}