def serve.write.returned

bend-kit-http@0.38.5.0 · http.bend:6904

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

6904def serve.write.returned(observer: Completion.Receipt, status: U32, settings: Limits, keep: Bool,
6905  rest: Bytes.Bytes, result: Writer & Completion.Receipt) -> IO(Maybe<&1, Socket & Turn>):
6906  (writer, receipt) = result
6907  do IO<Maybe<&1, Socket & Turn>>:
6908    done : Maybe<&1, Socket> & Completion.Outcome <- writer.finish(writer)
6909    serve.write.completed(observer, receipt, status, settings, keep, rest, done)