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

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

def read.chunk(socket: Socket, +text: String, +max: U32, next: Socket -> String -> IO(Socket & String)) ->
  IO(Socket & String):
  Http.when(Socket -> IO(Socket & String), Http.request.complete(text) || U32.is_gt(Http.utf8.length(text), max),
    _ => s => IO.pure(Socket & String, (s, text)), _ => s => next(s)(text))(socket)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_gt
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=request.complete
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=utf8.length
  https://jend.leeeet.dev/definition.txt?path=gralha-http-core@0.1.0.0/http.bend&name=when