def serve.started

bend-kit-camber@0.15.0.1 · camber.bend:1249

import Base
import bend-kit-http@0.38.1.1/completion.bend as TransportCompletion
import bend-kit-camber@0.15.0.1/notices.bend as Notices

1249def serve.started(~A: Data, ~S: Type, ~K: Data, ~H: Data, ~E: Data,
1250  ~done: TransportCompletion.Completion<ApplicationReport<H>> -> IO(Unit),
1251  ~observe: U32 -> TransportCompletion.Outcome -> IO(Unit),
1252  ~notify: K -> Policy<H> -> Notices.Notice -> IO(Result<&2, &2, E, Unit>),
1253  ~report: K -> E -> IO(Unit), ~access: K -> Notices.Access,
1254  started: Result<&2, &1, StartupError, Server<A, S, K, H>>
1255) -> IO(Result<&2, &1, StartupError, ServerExit<A, S, K, H>>):
1256  match started:
1257    case Fail{error}: IO.pure(Result<&2, &1, StartupError, ServerExit<A, S, K, H>>, Fail{error})
1258    case Done{server}:
1259      do IO<Result<&2, &1, StartupError, ServerExit<A, S, K, H>>>:
1260        exited : ServerExit<A, S, K, H> <- server.run(~A, ~S, ~K, ~H, ~E, ~done, ~observe, ~notify, ~report, ~access, server)
1261        return Done{exited}