Server.read: def of gralha-http-server@0.1.0.0
Import: import gralha-http-server@0.1.0.0/server.bend as Server
Lines 40-44 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=40&end_line=44

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

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

Uses (10):
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=Request
  https://jend.leeeet.dev/definition.txt?path=gralha-http-server@0.1.0.0/server.bend&name=read.parse
  https://jend.leeeet.dev/definition.txt?path=gralha-http-server@0.1.0.0/server.bend&name=read.text