def rep.vals

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

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

521def rep.vals(~T: Data, ~read: Pb.Value -> Result<&2, &1, String, T>, vs: List<&1, Pb.Value>, acc: List<&2, T>) -> Result<&2, &1, String, List<&2, T>>:
522  match vs:
523    case Nil{}:
524      Done{acc}
525    case Con{v, rest}:
526      do Result<&2, &1, String, List<&2, T>>:
527        x : T <- read(v)
528        rep.vals(~T, ~read, rest, x <> acc)