def Ty.encs

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

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

152def Ty.encs(~A: Data, ~enc: A -> J.Json, xs: List<&2, A>) -> List<&2, J.Json>:
153  match xs:
154    case Nil{}:
155      Nil{}
156    case Con{x, t}:
157      enc(x) <> Ty.encs(~A, ~enc, t)