flix

0.61.0

DnsWithResult

eff DnsWithResultSource

an effect for resolving a domain name to an ip address

Operations

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

Definitions

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

Handles the DnsWithResult effect of the given function f.

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

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

Handles the DnsWithResult effect of the given function f.

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