flix

0.61.0

PingWithResult

eff PingWithResultSource

The effect used to determine if an address is reachable.

Operations

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

Definitions

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

Handles the PingWithResult effect of the given function f.

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

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

Runs the PingWithResult effect of the given function f.

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