def rep.single

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

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

516def rep.single(~T: Data, ~read: Pb.Value -> Result<&2, &1, String, T>, v: Pb.Value, acc: List<&2, T>) -> Result<&2, &1, String, List<&2, T>>:
517  do Result<&2, &1, String, List<&2, T>>:
518    x : T <- read(v)
519    return x <> acc