Server.server.read.go: def of emerging-ezhttp@0.22.0.0
Import: import emerging-ezhttp@0.22.0.0/src/server.bend as Server
Lines 147-159 of emerging-ezhttp@0.22.0.0/src/server.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.22.0.0/src/server.bend&start_line=147&end_line=159

import Base
import bend-kit-wire@0.4.6.1/wire.bend as W
import emerging-ezhttp@0.22.0.0/src/http.bend as Http
import emerging-ezhttp@0.22.0.0/src/step.bend as Step

# receive until the head has ended and its Content-Length has arrived, the
# peer closes, or the receives run out
def server.read.go(fuel: Nat, sock: Socket, +ps: List<&2, String>, +have: Nat,
  +need: Maybe<&2, Nat>) -> IO(Socket & Step.Got<Http.Request>):
  match fuel:
    case 0n:
      server.read.done(sock, ps)
    case 1n+f:
      IO.bind(Socket & Result<&1, &1, U32 & String, String>,
        Socket & Step.Got<Http.Request>,
        W.recv(sock, server.max(), 0),
        r => server.read.got(ps, have, need, r,
          s => p => h => m => server.read.go(f, s, p, h, m)))

Uses (16):
  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=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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=bend-kit-wire@0.4.8.0/wire.bend&name=recv
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/http.bend&name=Request
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/server.bend&name=server.max
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/server.bend&name=server.read.done
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/server.bend&name=server.read.got
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/step.bend&name=Got