TcpBindWithResult

eff TcpBindWithResultSource

The effect used to bind a TCP server.

Operations

def bind(ip: IpAddr, port: Int16): Result[IoError, TcpServer] \ TcpBindWithResult Source

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

Handles the Tcp effect of the given function f.

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

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

Runs the TcpBindWithResult effect of the given function f.

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