flix

0.79.0
Prelude / Net / Ipv6Addr

Ipv6Addr

Type of IPv6 addresses, and its functions.

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

Type of IPv6 addresses.

Instances

Eq, Formattable, FromString, ToString

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.