def serve.write.started

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

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

7044def serve.write.started(
7045  ~S: Type, ~start: Req -> IO(WriteHead<S>), ~write: S -> Writer -> Completion.Receipt -> IO(Writer & Completion.Receipt), ~dispose: S -> IO(Unit), ~observe: U32 -> Completion.Outcome -> IO(Unit),
7046  result: Unit & Result<&2, &1, StartupError, Server<Unit>>
7047) -> IO(Result<&2, &2, StartupError, Unit>):
7048  (owner, got) = result
7049  match got:
7050    case Fail{error}:
7051      IO.pure(Result<&2, &2, StartupError, Unit>, Fail{error})
7052    case Done{server}:
7053      do IO<Result<&2, &2, StartupError, Unit>>:
7054        exited : ServerExit <- server.write.run(~S, ~start, ~write, ~dispose, ~observe, server)
7055        server.exited(exited)
7056        return Done{Unit{}}