structure Std.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.Async.DNS.getAddrInfo (host service : String) (addrFamily : Option Net.AddressFamily := none) : Async (Array Net.IPAddr)

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

Equations

• Std.Async.DNS.getAddrInfo host service = Std.Async.Async.ofPromise (Std.Internal.UV.DNS.getAddrInfo host service 0)
• Std.Async.DNS.getAddrInfo host service (some Std.Net.AddressFamily.ipv4) = Std.Async.Async.ofPromise (Std.Internal.UV.DNS.getAddrInfo host service 1)
• Std.Async.DNS.getAddrInfo host service (some Std.Net.AddressFamily.ipv6) = Std.Async.Async.ofPromise (Std.Internal.UV.DNS.getAddrInfo host service 2)

@[inline]

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

Performs a reverse DNS lookup on a SocketAddress.

Equations

• Std.Async.DNS.getNameInfo host = Std.Async.EAsync.map (Function.uncurry Std.Async.DNS.NameInfo.mk) (Std.Async.Async.ofPromise (Std.Internal.UV.DNS.getNameInfo host))