def read

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

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

40# The request read and parsed, or None if it never became one.
41def read(socket: Socket, +max: U32) -> IO(Socket & Maybe<&2, Http.Request>):
42  do IO<Socket & Maybe<&2, Http.Request>>:
43    got : Socket & String <- read.text(socket, max)
44    read.parse(got)