Data.PostgreSQL.NetworkAddress

This module defines network-address types of PostgreSQL. http://www.postgresql.org/docs/current/static/datatype-net-types.html

Definitions about inet and cidr types

newtype Inet

Corresponding to INET type of PostgreSQL

Constructors

Inet NetAddress

Instances

Eq Inet

Methods

(==) :: Inet -> Inet -> Bool

(/=) :: Inet -> Inet -> Bool

Ord Inet

Methods

compare :: Inet -> Inet -> Ordering

(<) :: Inet -> Inet -> Bool

(<=) :: Inet -> Inet -> Bool

(>) :: Inet -> Inet -> Bool

(>=) :: Inet -> Inet -> Bool

max :: Inet -> Inet -> Inet

min :: Inet -> Inet -> Inet

Read Inet

Methods

readsPrec :: Int -> ReadS Inet

readList :: ReadS [Inet]

readPrec :: ReadPrec Inet

readListPrec :: ReadPrec [Inet]

Show Inet

Methods

showsPrec :: Int -> Inet -> ShowS

show :: Inet -> String

showList :: [Inet] -> ShowS

newtype Cidr

Corresponding to CIDR type of PostgreSQL

Constructors

Cidr NetAddress

Instances

Eq Cidr

Methods

(==) :: Cidr -> Cidr -> Bool

(/=) :: Cidr -> Cidr -> Bool

Ord Cidr

Methods

compare :: Cidr -> Cidr -> Ordering

(<) :: Cidr -> Cidr -> Bool

(<=) :: Cidr -> Cidr -> Bool

(>) :: Cidr -> Cidr -> Bool

(>=) :: Cidr -> Cidr -> Bool

max :: Cidr -> Cidr -> Cidr

min :: Cidr -> Cidr -> Cidr

Read Cidr

Methods

readsPrec :: Int -> ReadS Cidr

readList :: ReadS [Cidr]

readPrec :: ReadPrec Cidr

readListPrec :: ReadPrec [Cidr]

Show Cidr

Methods

showsPrec :: Int -> Cidr -> ShowS

show :: Cidr -> String

showList :: [Cidr] -> ShowS

cidr4 :: V4HostAddress -> Word8 -> Maybe Cidr

Make Cidr type of IPv4 from host-address bits consistent with mask

cidr4' :: V4HostAddress -> Word8 -> Maybe Cidr

Same as cidr4 except for dropping host-address bits along with mask

cidr6 :: V6HostAddress -> Word8 -> Maybe Cidr

Make Cidr type of IPv6 from host-address bits consistent with mask

cidr6' :: V6HostAddress -> Word8 -> Maybe Cidr

Same as cidr6 except for dropping host-address bits along with mask

Definitions about the address type which is the pair of host-address and mask

data NetAddress

IPv4 or IPv6 netword address corresponding host-addr/mask. eg. '192.168.0.1/24'

Constructors

NetAddress4 !V4HostAddress !Word8

NetAddress6 !V6HostAddress !Word8

Instances

Eq NetAddress

Methods

(==) :: NetAddress -> NetAddress -> Bool

(/=) :: NetAddress -> NetAddress -> Bool

Ord NetAddress

Methods

compare :: NetAddress -> NetAddress -> Ordering

(<) :: NetAddress -> NetAddress -> Bool

(<=) :: NetAddress -> NetAddress -> Bool

(>) :: NetAddress -> NetAddress -> Bool

(>=) :: NetAddress -> NetAddress -> Bool

max :: NetAddress -> NetAddress -> NetAddress

min :: NetAddress -> NetAddress -> NetAddress

Read NetAddress

Methods

readsPrec :: Int -> ReadS NetAddress

readList :: ReadS [NetAddress]

readPrec :: ReadPrec NetAddress

readListPrec :: ReadPrec [NetAddress]

Show NetAddress

Methods

showsPrec :: Int -> NetAddress -> ShowS

show :: NetAddress -> String

showList :: [NetAddress] -> ShowS

netAddress4

Arguments

:: V4HostAddress

IPv4 host-address

-> Word8

IPv4 mask 0-32

-> Maybe NetAddress

result NetAddress

Make IPv4 NetAddress type consistent with IPv4 mask

netAddress6

Arguments

:: V6HostAddress

IPv6 host-address

-> Word8

IPv6 mask 0-128

-> Maybe NetAddress

result NetAddress

Make IPv6 NetAddress type consistent with IPv6 mask

Definitions about the host-address types

data V4HostAddress

Host address type along with IPv4 address bytes with IPv4 string order.

Constructors

V4HostAddress !Word8 !Word8 !Word8 !Word8

Instances

Eq V4HostAddress

Methods

(==) :: V4HostAddress -> V4HostAddress -> Bool

(/=) :: V4HostAddress -> V4HostAddress -> Bool

Ord V4HostAddress

Methods

compare :: V4HostAddress -> V4HostAddress -> Ordering

(<) :: V4HostAddress -> V4HostAddress -> Bool

(<=) :: V4HostAddress -> V4HostAddress -> Bool

(>) :: V4HostAddress -> V4HostAddress -> Bool

(>=) :: V4HostAddress -> V4HostAddress -> Bool

max :: V4HostAddress -> V4HostAddress -> V4HostAddress

min :: V4HostAddress -> V4HostAddress -> V4HostAddress

Read V4HostAddress

Methods

readsPrec :: Int -> ReadS V4HostAddress

readList :: ReadS [V4HostAddress]

readPrec :: ReadPrec V4HostAddress

readListPrec :: ReadPrec [V4HostAddress]

Show V4HostAddress

Methods

showsPrec :: Int -> V4HostAddress -> ShowS

show :: V4HostAddress -> String

showList :: [V4HostAddress] -> ShowS

v4HostAddressOctets :: V4HostAddress -> (Word8, Word8, Word8, Word8)

data V6HostAddress

Host address type along with IPv6 address words with IPv6 string order. Each Word16 value is host byte order. Host byte order is portable in programs on its own host. Network byte order is only needed, when communicating other hosts.

Constructors

V6HostAddress !Word16 !Word16 !Word16 !Word16 !Word16 !Word16 !Word16 !Word16

Instances

Eq V6HostAddress

Methods

(==) :: V6HostAddress -> V6HostAddress -> Bool

(/=) :: V6HostAddress -> V6HostAddress -> Bool

Ord V6HostAddress

Methods

compare :: V6HostAddress -> V6HostAddress -> Ordering

(<) :: V6HostAddress -> V6HostAddress -> Bool

(<=) :: V6HostAddress -> V6HostAddress -> Bool

(>) :: V6HostAddress -> V6HostAddress -> Bool

(>=) :: V6HostAddress -> V6HostAddress -> Bool

max :: V6HostAddress -> V6HostAddress -> V6HostAddress

min :: V6HostAddress -> V6HostAddress -> V6HostAddress

Read V6HostAddress

Methods

readsPrec :: Int -> ReadS V6HostAddress

readList :: ReadS [V6HostAddress]

readPrec :: ReadPrec V6HostAddress

readListPrec :: ReadPrec [V6HostAddress]

Show V6HostAddress

Methods

showsPrec :: Int -> V6HostAddress -> ShowS

show :: V6HostAddress -> String

showList :: [V6HostAddress] -> ShowS

v6HostAddressLong :: Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> V6HostAddress

v6HostAddressWords :: V6HostAddress -> (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)

v6HostAddress :: [Word16] -> [Word16] -> Maybe V6HostAddress

v6HostAddressL :: [Word16] -> Maybe V6HostAddress

v6HostAddressR :: [Word16] -> Maybe V6HostAddress