def TCP.recv

Base · base.bend:384

384# Some{data}, or None{} once the peer has sent everything (it may still
385# read). A max of 0 fails with EINVAL, as in every receive below.
386def TCP.recv(sock: Socket, max: U32) ->
387  IO(Socket & Result<&1, &1, U32 & String, Maybe<&1, String>>):
388  import "./effs/tcp_recv.c"
389  import "./effs/tcp_recv.js"