def answer

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

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

81def answer(~S: Type, ~handle: Http.Request -> S -> IO(S & Http.Response),
82  got: Socket & Maybe<&2, Http.Request>, state: S) -> IO(S):
83  (socket, request) = got
84  match request:
85    case None{}:
86      do IO<S>:
87        Unit <- send(socket, Http.status(400))
88        return state
89    case Some{r}:
90      do IO<S>:
91        out : S & Http.Response <- handle(r)(state)
92        answer.sent(S, socket, out)