Server.answer.sent: def of gralha-http-server@0.1.0.0
Import: import gralha-http-server@0.1.0.0/server.bend as Server
Lines 75-79 of gralha-http-server@0.1.0.0/server.bend: https://jend.leeeet.dev/read.txt?path=gralha-http-server@0.1.0.0/server.bend&start_line=75&end_line=79

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

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

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=Response
  https://jend.leeeet.dev/definition.txt?path=gralha-http-server@0.1.0.0/server.bend&name=send