def answer.sent

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

import gralha-http-server@0.1.0.0/server.bend as Server

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

75def answer.sent(-S: Type, socket: Socket, out: S & Http.Response) -> IO(S):
76  (state, r) = out
77  do IO<S>:
78    Unit <- send(socket, r)
79    return state

Uses (9)

Used by (1)

gralha-http-server@0.1.0.0/server:answer