def server.registered

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

import Base
import bend-kit-http@0.38.1.1/http.bend as Http

1171def server.registered(~A: Data, ~S: Type, ~K: Data, ~H: Data,
1172  ~work: S -> Application<A, K, Policy<H>> -> BufferedRequest -> IO(S & Result<&2, &2, Unit, ApplicationReport<H>>),
1173  ~destroy: S -> IO(Unit), registration: Result<&2, &2, RegistrationError, Application<A, K, Policy<H>>>,
1174  +config: Http.ServerConfig, resources: List<S>
1175) -> IO(Result<&2, &1, StartupError, Server<A, S, K, H>>):
1176  match registration:
1177    case Fail{error}:
1178      do IO<Result<&2, &1, StartupError, Server<A, S, K, H>>>:
1179        dispose(~S, ~destroy, resources)
1180        return Fail{RegistrationFailed{error}}
1181    case Done{app}:
1182      server.valid(~A, ~S, ~K, ~H, ~work, ~destroy, Http.server.config.valid(config), app, config, resources)