def answer.socket

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

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

94def answer.socket(~S: Type, ~reply: Socket -> Http.Request -> S -> IO(S),
95  got: Socket & Maybe<&2, Http.Request>, state: S) -> IO(S):
96  (socket, request) = got
97  match request:
98    case None{}:
99      do IO<S>:
100        Unit <- send(socket, Http.status(400))
101        return state
102    case Some{r}:
103      reply(socket)(r)(state)