def server.write.run

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

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

7024def server.write.run(
7025  ~S: Type, ~start: Req -> IO(WriteHead<S>),
7026  ~write: S -> Writer -> Completion.Receipt -> IO(Writer & Completion.Receipt),
7027  ~dispose: S -> IO(Unit),
7028  ~observe: U32 -> Completion.Outcome -> IO(Unit), server: Server<Unit>
7029) -> IO(ServerExit):
7030  server.run.loop(~Unit,
7031    ~(context => settings => inbox => socket =>
7032      serve.write.talk(~S, ~start, ~write, ~dispose, ~observe, settings, inbox,
7033        Some{Serving{(socket, TurnMore{sv.none(), False{}}), None{}}})),
7034    ServerListening{server})