flix

0.61.0

TcpConnectWithResult

eff TcpConnectWithResultSource

The effect used to connect to a TCP server.

Operations

def connect(ip: IpAddr, port: Int16): Result[IoError, TcpSocket] \ TcpConnectWithResult Source

Definitions

def handle(f: a -> b \ ef): a -> b \ (ef - TcpConnectWithResult) + IO + Net Source

Handles the TcpConnectWithResult effect of the given function f.

In other words, re-interprets the TcpConnectWithResult effect using the Net and IO effects.

def runWithIO(f: Unit -> a \ ef): a \ (ef - TcpConnectWithResult) + IO + Net Source

Runs the TcpConnectWithResult effect of the given function f.

In other words, re-interprets the TcpConnectWithResult effect using the Net and IO effects.