Host

sealed trait Host extends HostPlatform with Ordered[Host]
ADT representing either an IpAddress, Hostname, or IDN.
Companion
object
trait Ordered[Host]
trait Comparable[Host]
trait HostPlatform
class Object
trait Matchable
class Any
class Hostname
class IDN
class IpAddress

Value members

Methods

def compare(that: Host): Int

Inherited methods

def >(that: A): Boolean
Inhertied from
Ordered
def resolveAll[F <: ([_$4] =>> Any)](evidence$5: Dns[F], evidence$6: Applicative[F]): F[List[IpAddress]]
Resolves this host to all ip addresses known to the platform DNS resolver.
If the host cannot be resolved, an empty list is returned.
Inhertied from
HostPlatform
def <(that: A): Boolean
Inhertied from
Ordered
def compareTo(that: A): Int
Inhertied from
Ordered
def >=(that: A): Boolean
Inhertied from
Ordered
def <=(that: A): Boolean
Inhertied from
Ordered
def resolveOption[F <: ([_$2] =>> Any)](evidence$3: Dns[F], evidence$4: ApplicativeThrow[F]): F[Option[IpAddress]]
Resolves this host to an ip address using the platform DNS resolver.
If the host cannot be resolved, a None is returned.
Inhertied from
HostPlatform
def resolve[F <: ([_$1] =>> Any)](evidence$1: Dns[F], evidence$2: Applicative[F]): F[IpAddress]
Resolves this host to an ip address using the platform DNS resolver.
If the host cannot be resolved, the effect fails with a java.net.UnknownHostException.
Inhertied from
HostPlatform