def serve

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

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

171# Serves connections forever, one at a time (unsafe: it never ends).
172def serve?(~S: Type, ~handle: Http.Request -> S -> IO(S & Http.Response),
173  listener: Listener, state: S, +max: U32) -> IO(Listener & S):
174  do IO<Listener & S>:
175    got : Listener & S <- step(~S, ~handle, listener, state, max)
176    loop.next(S, got, l => s => serve(~S, ~handle, l, s, max))