def end_env

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

import bendonnect-rpc@0.1.0.0/src/transport/server.bend as Server

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

74def end_env(e: Maybe<&1, E.Error>, trailers: Map<&2, List<&2, String>>) -> Bytes.Bytes:
75  Env.encode(Env.Envelope{Env.flag_end(), E.end_encode(E.EndStream{e, trailers})})

Uses (11)

Used by (3)