def write

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

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

343def write(st: Job, w: Http.Writer, receipt: Completion.Receipt) -> IO(Http.Writer & Completion.Receipt):
344  match st:
345    case JBytes{b}:
346      do IO<Http.Writer & Completion.Receipt>:
347        w2 : Http.Writer <- Http.writer.write(w, b)
348        return (w2, receipt)
349    case JMany{run, trailers}:
350      do IO<Http.Writer & Completion.Receipt>:
351        r : Sink & Result<&1, &1, E.Error, Unit> <- run(Sink{w})
352        many.end(r, trailers, receipt)