def msgs

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

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/envelope.bend as Env

137def msgs(envs: List<&1, Env.Envelope>) -> Result<&1, &1, E.Error, List<&1, Bytes.Bytes>>:
138  match envs:
139    case Nil{}:
140      Done{Nil{}}
141    case Con{Env.Envelope{+flags, data}, rest}:
142      msgs.one(env_flags_ok(flags), data, msgs(rest))