flix

0.61.0

Ipv6Addr

enum Ipv6Addr with EqSource
case Ipv6Addr(Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8, Int8)

Represents a V6 Ip Address.

Instances

instance Eq[Ipv6Addr]Source
instance FromString[Ipv6Addr]Source
instance ToString[Ipv6Addr]Source

Definitions

def cleanIpv6String(s: String): List[String] Source

Parses an Ipv6 hostname String s into a List[String].

Each element of the List is a group of the Ip Address.

def fromString(s: String): Option[Ipv6Addr] Source

Attempts to parse the given String s as an Ipv6Addr.

Returns Some(addr) if the string was successfully parsed. Otherwise returns None.

def localhost(): Ipv6Addr Source

Returns the Ipv6 localhost address.

def toString(x: Ipv6Addr): String Source

Returns a String representation of the given Ipv6Addr x.

def tryToIpv4(x: Ipv6Addr): Option[Ipv4Addr] Source

Attempt to convert x from Ipv6 to Ipv4.