flix

0.61.0

TcpAcceptWithResult

eff TcpAcceptWithResultSource

The effect used to accept a TCP server connection.

Operations

def accept(server: TcpServer): Result[IoError, TcpSocket] \ TcpAcceptWithResult Source

Definitions

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

Handles the TcpAcceptWithResult effect of the given function f.

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

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

Runs the TcpAcceptWithResult effect of the given function f.

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