def serve.for

gralha-http-server@0.1.0.0 · server.bend:150

import Base
import gralha-http-core@0.1.0.0/http.bend as Http

150# Serves n connections, then hands back the listener and the state.
151def serve.for(~S: Type, ~handle: Http.Request -> S -> IO(S & Http.Response),
152  n: Nat, listener: Listener, state: S, +max: U32) -> IO(Listener & S):
153  match n:
154    case 0n:
155      IO.pure(Listener & S, (listener, state))
156    case 1n+p:
157      do IO<Listener & S>:
158        got : Listener & S <- step(~S, ~handle, listener, state, max)
159        loop.next(S, got, l => s => serve.for(~S, ~handle, p, l, s, max))