def server.read

emerging-ezhttp@0.21.0.0 · src/server.bend:161

import emerging-ezhttp@0.21.0.0/src/server.bend as Server
import Base
import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import emerging-ezhttp@0.21.0.0/src/step.bend as Step

161# receive then parse an HTTP request (RFC 9112 §3)
162def server.read(sock: Socket) -> IO(Socket & Step.Got<Http.Request>):
163  server.read.go(server.reads(), sock, [], 0n, None{})

Uses (9)

Used by (1)