def dec_all

bendonnect-rpc@0.1.0.0 · src/transport/rpc.bend:154

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
import bendonnect-rpc@0.1.0.0/src/error.bend as E
import bendonnect-rpc@0.1.0.0/src/protocol.bend as P

154def dec_all(~Req: Data, ~dec: @+codec: P.Codec -> Bytes.Bytes -> Result<&1, &1, E.Error, Req>, +codec: P.Codec, ms: List<&1, Bytes.Bytes>) -> Result<&1, &1, E.Error, List<&2, Req>>:
155  match ms:
156    case Nil{}:
157      Done{Nil{}}
158    case Con{m, t}:
159      do Result<&1, &1, E.Error, List<&2, Req>>:
160        x : Req <- dec(codec, m)
161        rest : List<&2, Req> <- dec_all(~Req, ~dec, codec, t)
162        return x <> rest