source
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).

Instances For

source
@[inline]
def Std.Internal.IO.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.Internal.IO.Async.DNS.getAddrInfo host service = Std.Internal.IO.Async.Async.ofPromise (Std.Internal.UV.DNS.getAddrInfo host service 0)
- Std.Internal.IO.Async.DNS.getAddrInfo host service (some Std.Net.AddressFamily.ipv4) = Std.Internal.IO.Async.Async.ofPromise (Std.Internal.UV.DNS.getAddrInfo host service 1)
- Std.Internal.IO.Async.DNS.getAddrInfo host service (some Std.Net.AddressFamily.ipv6) = Std.Internal.IO.Async.Async.ofPromise (Std.Internal.UV.DNS.getAddrInfo host service 2)

Instances For

source
@[inline]
def Std.Internal.IO.Async.DNS.getNameInfo (host : Net.SocketAddress) :
Async NameInfo

Performs a reverse DNS lookup on a `SocketAddress`.

Equations

- One or more equations did not get rendered due to their size.

Instances For