def field.repeated.message

bendonnect-rpc@0.1.0.0 · src/pb.bend:800

import Base
import bend-kit-protobuf@0.1.0.0/protobuf.bend as Pb

800# items: each element's fields (e.g. from List.map over the generated to-fields function).
801def field.repeated.message(+n: U32, items: List<&1, List<&1, Pb.Field>>) -> List<&1, Pb.Field>:
802  match items:
803    case Nil{}:
804      Nil{}
805    case Con{h, t}:
806      cat(field.message(n, h), field.repeated.message(n, t))