def server.write.run

bend-kit-http@0.38.2.0 · http.bend:7032

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

7032def server.write.run(
7033  ~S: Type, ~start: Req -> IO(WriteHead<S>),
7034  ~write: S -> Writer -> Completion.Receipt -> IO(Writer & Completion.Receipt),
7035  ~dispose: S -> IO(Unit),
7036  ~observe: U32 -> Completion.Outcome -> IO(Unit), server: Server<Unit>
7037) -> IO(ServerExit):
7038  server.run.loop(~Unit,
7039    ~(context => settings => inbox => socket =>
7040      serve.write.talk(~S, ~start, ~write, ~dispose, ~observe, settings, inbox,
7041        Some{Serving{(socket, TurnMore{sv.none(), False{}}), None{}}})),
7042    ServerListening{server})