def early_stream

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

import Base
import bend-kit-http@0.36.0.0/http.bend as Http
import bendonnect-rpc@0.1.0.0/src/error.bend as E
import bendonnect-rpc@0.1.0.0/src/protocol.bend as P

100# Streaming-style error: 200 + a single EndStream envelope.
101def early_stream(c: P.Codec, e: E.Error) -> Pre:
102  PEarly{200, Http.set(Http.empty(), "content-type", P.stream_content_type(c)), end_env(Some{e}, Map.new(&2, List<&2, String>))}