def rep.map

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

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

726def rep.map(~T: Data, ~val: @+x: T -> Pb.Value, xs: List<&2, T>) -> List<&1, Pb.Value>:
727  match xs:
728    case Nil{}:
729      Nil{}
730    case Con{h, t}:
731      val(h) <> rep.map(~T, ~val, t)