def serve.write.started

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

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

7036def serve.write.started(
7037  ~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),
7038  result: Unit & Result<&2, &1, StartupError, Server<Unit>>
7039) -> IO(Result<&2, &2, StartupError, Unit>):
7040  (owner, got) = result
7041  match got:
7042    case Fail{error}:
7043      IO.pure(Result<&2, &2, StartupError, Unit>, Fail{error})
7044    case Done{server}:
7045      do IO<Result<&2, &2, StartupError, Unit>>:
7046        exited : ServerExit <- server.write.run(~S, ~start, ~write, ~dispose, ~observe, server)
7047        server.exited(exited)
7048        return Done{Unit{}}