structure Std.Internal.IO.Async.DNS.NameInfo : Type

Represents a resolved hostname and service name from a socket address.

• host : String

  The resolved hostname (e.g., "example.com").

• service : String

  The service name (e.g., "http" for port 80).

@[inline]

def Std.Internal.IO.Async.DNS.getAddrInfo (host service : String) (addressFamily : Option Net.AddressFamily := none) : IO (AsyncTask (Array Net.IPAddr))

Asynchronously resolves a hostname and service to an array of socket addresses.

@[inline]

def Std.Internal.IO.Async.DNS.getNameInfo (host : Net.SocketAddress) : IO (AsyncTask NameInfo)

Performs a reverse DNS lookup on a SocketAddress.