Dns

Effect for resolving domain names to IP addresses, and its functions.

eff DnsSource

Effect for resolving domain names to IP addresses.

Default Handler

runWithIO

def lookup(host: String): Result[IoError, IpAddr] \ Dns§ Source

Resolves host to an IP address.

def lookupAll(host: String): Result[IoError, List[IpAddr]] \ Dns§ Source

Resolves host to all of its IP addresses.

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

Handles the Dns effect of the given function f.

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

@DefaultHandler

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

Handles the Dns effect of the given function f.

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