TcpBind

eff TcpBindSource

The effect used to bind a TCP server.

Operations

def bind(ip: IpAddr, port: Int16): TcpServer \ TcpBind Source

def handle(f: a -> b \ ef): a -> Result[IoError, b] \ (ef - TcpBind) + IO + Net Source

Handles the TcpBind effect of the given function f.

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

def runWithIO(f: Unit -> a \ ef): Result[IoError, a] \ (ef - TcpBind) + IO + Net Source

Runs the TcpBind effect of the given function f.

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