def serve.write.returned

bend-kit-http@0.38.4.0 · http.bend:6912

import Base
import bend-kit-http@0.38.4.0/completion.bend as Completion
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

6912def serve.write.returned(observer: Completion.Receipt, status: U32, settings: Limits, keep: Bool,
6913  rest: Bytes.Bytes, result: Writer & Completion.Receipt) -> IO(Maybe<&1, Socket & Turn>):
6914  (writer, receipt) = result
6915  do IO<Maybe<&1, Socket & Turn>>:
6916    done : Maybe<&1, Socket> & Completion.Outcome <- writer.finish(writer)
6917    serve.write.completed(observer, receipt, status, settings, keep, rest, done)