flix

0.70.0

Net.TcpAccept

eff TcpAcceptSource

The effect used to accept a TCP server connection.

Operations

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

Definitions

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

Handles the TcpAccept effect of the given function f.

In other words, re-interprets the TcpAccept effect using the IO effect.

@DefaultHandler
def runWithIO(f: Unit -> a \ ef): a \ (ef - TcpAccept) + IO Source

Runs the TcpAccept effect of the given function f.

In other words, re-interprets the TcpAccept effect using the IO effect.