def encode_list

bendonnect-rpc@0.1.0.0 · src/envelope.bend:33

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

33# Encodes every envelope in parallel, then concatenates.
34def encode_list(es: List<&1, Envelope>) -> List<&1, Bytes.Bytes>:
35  match es:
36    case Nil{}:
37      Nil{}
38    case Con{h, t}:
39      a b = encode(h) encode_list(t)
40      a <> b