def server.valid

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

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

1159def server.valid(~A: Data, ~S: Type, ~K: Data, ~H: Data,
1160  ~work: S -> Application<A, K, Policy<H>> -> BufferedRequest -> IO(S & Result<&2, &2, Unit, ApplicationReport<H>>),
1161  ~destroy: S -> IO(Unit), valid: Bool, app: Application<A, K, Policy<H>>, config: Http.ServerConfig, resources: List<S>
1162) -> IO(Result<&2, &1, StartupError, Server<A, S, K, H>>):
1163  match valid:
1164    case False{}:
1165      do IO<Result<&2, &1, StartupError, Server<A, S, K, H>>>:
1166        dispose(~S, ~destroy, resources)
1167        return Fail{TransportFailed{Http.InvalidConfig{}}}
1168    case True{}:
1169      server.prepared(~A, ~S, ~K, ~H, ~work, ~destroy, app, config, server.bundles(~S, resources))