flix

0.79.0
Prelude / Net / TcpBind

TcpBind

Effect for binding TCP servers, and its functions.

eff TcpBindSource

Effect for binding TCP servers.

Default Handler

runWithIO

Operations

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

Binds a TCP server to the given ip address and port.

Definitions

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

Handles the TcpBind effect of the given function f.

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

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

Runs the TcpBind effect of the given function f.

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