Documentation

Std.Internal.UV.DNS

source
@[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.

source
@[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.