def many_head

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

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

289def many_head(codec: P.Codec, run: Sink -> IO(Sink & Result<&1, &1, E.Error, Unit>), meta: Meta) -> IO(Http.WriteHead<Job>):
290  Meta{hs, ts} = meta
291  IO.pure(Http.WriteHead<Job>, Http.WriteHead{200, ct_hdr(hs, P.stream_content_type(codec)), None{}, JMany{run, ts}, Completion.Unobserved{}})