def many.end

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

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

336def many.end(r: Sink & Result<&1, &1, E.Error, Unit>, trailers: Map<&2, List<&2, String>>, receipt: Completion.Receipt) -> IO(Http.Writer & Completion.Receipt):
337  (s, res) = r
338  Sink{w} = s
339  do IO<Http.Writer & Completion.Receipt>:
340    w2 : Http.Writer <- Http.writer.write(w, end_bytes(res, trailers))
341    return (w2, receipt)