@[extern lean_uv_dns_get_info]

opaque Std.Internal.UV.DNS.getAddrInfo (host service : String) (family : UInt8) : IO (IO.Promise (Except IO.Error (Array Net.IPAddr)))

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

@[extern lean_uv_dns_get_name]

opaque Std.Internal.UV.DNS.getNameInfo (host : Net.SocketAddress) : IO (IO.Promise (Except IO.Error (String × String)))

Performs a reverse DNS lookup on a SocketAddress.