Ping

eff PingSource

The effect used to determine if an address is reachable.

Operations

def isReachable(host: IpAddr, timeout: Int32, u: TimeUnit): Bool \ Ping Source

def handle(f: a -> b \ ef): a -> Result[IoError, 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.

def runWithIO(f: Unit -> a \ ef): Result[IoError, 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.