Pb.rep.read: def of bendonnect-rpc@0.1.0.0 Import: import bendonnect-rpc@0.1.0.0/src/pb.bend as Pb Lines 537-549 of bendonnect-rpc@0.1.0.0/src/pb.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/pb.bend&start_line=537&end_line=549 import Base import bend-kit-protobuf@0.1.0.0/protobuf.bend as Pb # wire: 0 varint, 1 fixed64, 5 fixed32 (the element encoding inside a packed blob). def rep.read(~T: Data, ~read: Pb.Value -> Result<&2, &1, String, T>, +wire: U32, v: Pb.Value, acc: List<&2, T>) -> Result<&2, &1, String, List<&2, T>>: match v: case Pb.Blob{b}: rep.packed(~T, ~read, Pb.packed_decode(wire, b, max_size()), acc) case Pb.Varint{w}: rep.single(~T, ~read, Pb.Varint{w}, acc) case Pb.Fixed32{x}: rep.single(~T, ~read, Pb.Fixed32{x}, acc) case Pb.Fixed64{w}: rep.single(~T, ~read, Pb.Fixed64{w}, acc) case Pb.Group{fs}: Fail{"protobuf: unexpected group in repeated field"} Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=Value https://jend.leeeet.dev/definition.txt?path=bend-kit-protobuf@0.2.0.0/protobuf.bend&name=packed_decode https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/pb.bend&name=max_size https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/pb.bend&name=rep.packed https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/pb.bend&name=rep.single