~/jendhub

def read.go

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

import gralha-http-server@0.1.0.0/server.bend as Server
import Base

26def read.go?(socket: Socket, +max: U32, acc: String) -> IO(Socket & String):
27  do IO<Socket & String>:
28    got : Socket & Result<&1, &1, U32 & String, Maybe<&1, String>> <- TCP.recv(socket, 65536)
29    read.got(got, acc, max, s => text => read.go(s, max, text))

Uses (10)

Used by (1)