Eq IP
Ord IP
Show IP
Typeable IP
Binary IP
Serialize IP
Printable IP
Textual IP
Binary (NetAddr IP)
Serialize (NetAddr IP)
Printable (InetAddr IP)
Textual (InetAddr IP)
Textual (NetAddr IP)
IsNetAddr (NetAddr IP)

anIP :: Proxy IP Source

IP proxy value.

Network address

class IsNetAddr n whereSource

Network address.

Associated Types

type NetHost n Source

The address type.

Methods

netHost :: n -> NetHost nSource

Host address.

netHostIx :: n -> NetHost nSource

Host index.

netPrefix :: n -> NetHost nSource

Network prefix.

netMask :: n -> NetHost nSource

Network mask.

netLength :: n -> Word8 Source

Network prefix length.

netAddr Source

Arguments

:: NetHost n	Host address
-> Word8	Network prefix length
-> n

Make a network address.

Instances

IsNetAddr Net6Addr
IsNetAddr Net4Addr
IsNetAddr (NetAddr IP)

type Net4Addr = NetAddr IP4 Source

type Net6Addr = NetAddr IP6 Source

data NetAddr a Source

Network address: host address + network mask length.

Instances

Typeable1 NetAddr
Binary Net6Addr
Binary Net4Addr
Serialize Net6Addr
Serialize Net4Addr
IsNetAddr Net6Addr
IsNetAddr Net4Addr
Eq a => Eq (NetAddr a)
Show a => Show (NetAddr a)
Binary (NetAddr IP)
Serialize (NetAddr IP)
Printable a => Printable (NetAddr a)
Textual (NetAddr IP)
Textual (NetAddr IP6)
Textual (NetAddr IP4)
IsNetAddr (NetAddr IP)

aNetAddr :: Proxy NetAddr Source

NetAddr proxy value.

aNetAddrOf :: Proxy a -> Proxy (NetAddr a)Source

NetAddr a proxy value.

aNet4Addr :: Proxy Net4Addr Source

Net4Addr proxy value.

aNet6Addr :: Proxy Net6Addr Source

Net6Addr proxy value.

aNetAddrIP :: Proxy (NetAddr IP)Source

NetAddr IP proxy value.

printNetAddr :: (IsNetAddr n, Printable (NetHost n), Printer p) => n -> pSource

Print network address (CIDR notation).

net4Parser :: (CharParsing μ, Monad μ, IsNetAddr n, NetHost n ~ IP4) => μ nSource

IPv4 network address parser (CIDR notation).

net6Parser :: (CharParsing μ, Monad μ, IsNetAddr n, NetHost n ~ IP6) => μ nSource

IPv6 network address parser (CIDR notation).

netParser :: (IsNetAddr n, NetHost n ~ IP, CharParsing μ, Monad μ) => μ nSource

IP network address parser (CIDR notation).

Port number

newtype InetPort Source

Port number.

Constructors

InetPort
Fields unInetPort :: Word16

anInetPort :: Proxy InetPort Source

InetPort proxy value.

Socket address

data InetAddr a Source

Socket address: host address + port number.

Constructors

InetAddr
Fields inetHost :: a inetPort :: !InetPort

Instances

Functor InetAddr
Typeable1 InetAddr
Printable Inet6Addr
Printable Inet4Addr
Textual Inet6Addr
Textual Inet4Addr
Eq a => Eq (InetAddr a)
Ord a => Ord (InetAddr a)
Show a => Show (InetAddr a)
Binary a => Binary (InetAddr a)
Serialize a => Serialize (InetAddr a)
Hashable a => Hashable (InetAddr a)
Printable (InetAddr IP)
Textual (InetAddr IP)

type Inet4Addr = InetAddr IP4 Source

type Inet6Addr = InetAddr IP6 Source

anInetAddr :: Proxy (InetAddr IP)Source

InetAddr proxy value.

anInetAddrOf :: Proxy a -> Proxy (InetAddr a)Source

InetAddr a proxy value.

anInet4Addr :: Proxy Inet4Addr Source

Inet4Addr proxy value.

anInet6Addr :: Proxy Inet6Addr Source

Inet6Addr proxy value.

anInetAddrIP :: Proxy (InetAddr IP)Source

InetAddr IP proxy value.

Bounded IP4
Enum IP4
Eq IP4
Num IP4
Ord IP4
Show IP4
Ix IP4
Typeable IP4
Storable IP4
Bits IP4
Binary Net4Addr
Binary IP4
Serialize Net4Addr
Serialize IP4
Default IP4
Hashable IP4
Printable Inet4Addr
Printable IP4
Textual Inet4Addr
Textual IP4
IsNetAddr Net4Addr
Textual (NetAddr IP4)

Bounded IP6
Enum IP6
Eq IP6
Num IP6
Ord IP6
Show IP6
Ix IP6
Typeable IP6
Storable IP6
Bits IP6
Binary Net6Addr
Binary IP6
Serialize Net6Addr
Serialize IP6
Default IP6
Hashable IP6
Printable Inet6Addr
Printable IP6
Textual Inet6Addr
Textual IP6
IsNetAddr Net6Addr
Textual (NetAddr IP6)

Bounded InetPort
Enum InetPort
Eq InetPort
Integral InetPort
Num InetPort
Ord InetPort
Real InetPort
Show InetPort
Ix InetPort
Typeable InetPort
Storable InetPort
Bits InetPort
Binary InetPort
Serialize InetPort
Hashable InetPort
Printable InetPort
Textual InetPort