flix

0.79.0

TcpSocket

Type of TCP sockets, and its functions.

enum TcpSocketSource
case TcpSocket(java.net.Socket, java.io.InputStream, java.io.OutputStream)

Type of TCP sockets.

Instances

Readable, Writable

Definitions

def read(buffer: Array[Int8, r], socket: TcpSocket): Result[IoError, Int32] \ r + IO§ Source

Reads bytes from socket into buffer and returns the number of bytes read.

def write(buffer: Array[Int8, r], socket: TcpSocket): Result[IoError, Int32] \ r + IO§ Source

Writes the bytes in buffer to socket and returns the number of bytes written.