Deserializable IPDefined in network-ip-0.3.0.3 · Network.IP.Addr
Serializable IPDefined in network-ip-0.3.0.3 · Network.IP.Addr
Printable IPDefined in network-ip-0.3.0.3 · Network.IP.Addr
Textual IPDefined in network-ip-0.3.0.3 · Network.IP.Addr
Read (NetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Deserializable (NetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Printable (InetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Textual (InetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Textual (NetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr
IsNetAddr (NetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr
(Eq t₄, Eq t₆) => Eq (IP46 t₄ t₆)Defined in network-ip-0.3.0.3 · Network.IP.Addr
(Data t₄, Data t₆) => Data (IP46 t₄ t₆)Defined in network-ip-0.3.0.3 · Network.IP.Addr
(Ord t₄, Ord t₆) => Ord (IP46 t₄ t₆)Defined in network-ip-0.3.0.3 · Network.IP.Addr
(Read t₄, Read t₆) => Read (IP46 t₄ t₆)Defined in network-ip-0.3.0.3 · Network.IP.Addr
(Show t₄, Show t₆) => Show (IP46 t₄ t₆)Defined in network-ip-0.3.0.3 · Network.IP.Addr
type NetHost (NetAddr IP) = IPDefined in network-ip-0.3.0.3 · Network.IP.Addr

valueanIP46 :: Proxy IP46

Source#

IP46 proxy value.

valueanIP46Of :: Proxy t₄ -> Proxy t₆ -> Proxy (IP46 t₄ t₆)

Source#

IP46 t₄ t₆ proxy value.

typetype IP = IP46 IP4 IP6

Source#

IP address.

valueanIP :: Proxy IP

Source#

IP proxy value.

Network address

classclass IsNetAddr n where

Source#

Network address.

Associated types

type family NetHost n
The address type.

Methods

netHost :: n -> NetHost n
Host address.
netHostIx :: n -> NetHost n
Host index.
netPrefix :: n -> NetHost n
Network prefix.
netMask :: n -> NetHost n
Network mask.
netLength :: n -> Word8
Network prefix length.
netAddr :: NetHost n -> Word8 -> n
Make a network address.
inNetwork :: NetHost n -> n -> Bool
Test if the address is in the network.

Instances3IsNetAddr

IsNetAddr Net4AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
IsNetAddr Net6AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
IsNetAddr (NetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr

typetype Net4Addr = NetAddr IP4

Source#

IPv4 network address.

typetype Net6Addr = NetAddr IP6

Source#

IPv6 network address.

datadata NetAddr a

Source#

Network address: host address + network prefix length.

Instances21Eq, Data, Read, Show, Deserializable, Serializable, …

Read Net4AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
Read Net6AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
Deserializable Net4AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
Deserializable Net6AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
Textual Net4AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
Textual Net6AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
IsNetAddr Net4AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
IsNetAddr Net6AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
Eq a => Eq (NetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Data a => Data (NetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Read (NetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Show a => Show (NetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Deserializable (NetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Serializable a => Serializable (NetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
SizedSerializable a => SizedSerializable (NetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Printable a => Printable (NetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Textual (NetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr
IsNetAddr (NetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr
type NetHost Net4Addr = IP4Defined in network-ip-0.3.0.3 · Network.IP.Addr
type NetHost Net6Addr = IP6Defined in network-ip-0.3.0.3 · Network.IP.Addr
type NetHost (NetAddr IP) = IPDefined in network-ip-0.3.0.3 · Network.IP.Addr

valueaNetAddr :: Proxy NetAddr

Source#

NetAddr proxy value.

valueaNetAddrOf :: Proxy a -> Proxy (NetAddr a)

Source#

NetAddr a proxy value.

valueaNet4Addr :: Proxy Net4Addr

Source#

Net4Addr proxy value.

valueaNet6Addr :: Proxy Net6Addr

Source#

Net6Addr proxy value.

valueaNetAddrIP :: Proxy (NetAddr IP)

Source#

NetAddr IP proxy value.

valuenet4Addr :: IP4 -> Word8 -> Net4Addr

Source#

An alias for netAddr.

valuenet6Addr :: IP6 -> Word8 -> Net6Addr

Source#

An alias for netAddr.

valuetoNetAddr46 :: NetAddr IP -> IP46 (NetAddr IP4) (NetAddr IP6)

Source#

Pull IP46 from a NetAddr.

valuefromNetAddr46 :: IP46 (NetAddr IP4) (NetAddr IP6) -> NetAddr IP

Source#

Push IP46 into a NetAddr.

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

Source#

Print network address (CIDR notation).

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

Source#

IPv4 network address parser (CIDR notation).

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

Source#

IPv6 network address parser (CIDR notation).

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

Source#

IP network address parser (CIDR notation).

valueputNetAddr

:: (IsNetAddr n, Serializable (NetHost n), Serializer s)
=> n
-> s

Source#

Serialize a network address (host address followed by 8-bit prefix length).

valuegetNetAddr :: (IsNetAddr n, Deserializable (NetHost n), Deserializer μ) => μ n

Source#

Deserialize a network address (host address followed by 8-bit prefix length).

Port number

newtypenewtype InetPort

Source#

Port number.

Constructors

InetPort
- unInetPort :: Word16

Instances19Bounded, Enum, Eq, Integral, Data, Num, …

Bounded InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Enum InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Eq InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Integral InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Data InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Num InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Ord InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Read InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Real InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Show InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Ix InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Bits InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Storable InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Hashable InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Deserializable InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Serializable InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
SizedSerializable InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Printable InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr
Textual InetPortDefined in network-ip-0.3.0.3 · Network.IP.Addr

valueanInetPort :: Proxy InetPort

Source#

InetPort proxy value.

Socket address

datadata InetAddr a

Source#

Socket address: host address + port number.

Constructors

InetAddr
- inetHost :: a
- inetPort :: !InetPort

Instances16Functor, Eq, Data, Ord, Read, Show, …

Functor InetAddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
Printable Inet4AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
Printable Inet6AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
Textual Inet4AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
Textual Inet6AddrDefined in network-ip-0.3.0.3 · Network.IP.Addr
Eq a => Eq (InetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Data a => Data (InetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Ord a => Ord (InetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Read a => Read (InetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Show a => Show (InetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Hashable a => Hashable (InetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Deserializable a => Deserializable (InetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Serializable a => Serializable (InetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
SizedSerializable a => SizedSerializable (InetAddr a)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Printable (InetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr
Textual (InetAddr IP)Defined in network-ip-0.3.0.3 · Network.IP.Addr