flix

0.61.0

Dns

eff DnsSource

an effect for resolving a domain name to an ip address

Operations

def lookup(host: String): IpAddr \ Dns Source
def lookupAll(host: String): List[IpAddr] \ Dns Source

Definitions

def handle(f: a -> b \ ef): a -> Result[IoError, b] \ (ef - Dns) + Net + IO Source

Handles the Dns effect of the given function f.

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

def runWithIO(f: Unit -> a \ ef): Result[IoError, a] \ (ef - Dns) + Net + IO Source

Handles the Dns effect of the given function f.

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