flix

0.79.0
Prelude / Net / Ping

Ping

Effect for determining whether an address is reachable, and its functions.

eff PingSource

Effect for determining whether an address is reachable.

Default Handler

runWithIO

Operations

def isReachable(host: IpAddr, timeout: Int32, u: TimeUnit): Result[IoError, Bool] \ Ping§ Source

Returns true if host is reachable within timeout units of u.

Definitions

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

Handles the Ping effect of the given function f.

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

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

Runs the Ping effect of the given function f.

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