Copyright	2015-2018 Kei Hibino
License	BSD3
Maintainer	ex8k.hibino@gmail.com
Stability	experimental
Portability	unknown
Safe Haskell	Safe
Language	Haskell2010

Data.PostgreSQL.NetworkAddress

Contents

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

Description

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

Synopsis

newtype Inet = Inet NetAddress
newtype Cidr = Cidr NetAddress
cidr4 :: V4HostAddress -> Word8 -> Maybe Cidr
cidr4' :: V4HostAddress -> Word8 -> Maybe Cidr
cidr6 :: V6HostAddress -> Word8 -> Maybe Cidr
cidr6' :: V6HostAddress -> Word8 -> Maybe Cidr
data NetAddress
- = NetAddress4 !V4HostAddress !Word8
- | NetAddress6 !V6HostAddress !Word8
netAddress4 :: V4HostAddress -> Word8 -> Maybe NetAddress
netAddress6 :: V6HostAddress -> Word8 -> Maybe NetAddress
data V4HostAddress = V4HostAddress !Word8 !Word8 !Word8 !Word8
v4HostAddressOctets :: V4HostAddress -> (Word8, Word8, Word8, Word8)
data V6HostAddress = V6HostAddress !Word16 !Word16 !Word16 !Word16 !Word16 !Word16 !Word16 !Word16
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

Definitions about inet and cidr types

newtype Inet #

Corresponding to INET type of PostgreSQL

Constructors

Inet NetAddress

Instances

Eq Inet #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods (==) :: Inet -> Inet -> Bool # (/=) :: Inet -> Inet -> Bool #
Ord Inet #
Instance details Defined in Data.PostgreSQL.NetworkAddress 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 #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods readsPrec :: Int -> ReadS Inet # readList :: ReadS [Inet] # readPrec :: ReadPrec Inet # readListPrec :: ReadPrec [Inet] #
Show Inet #
Instance details Defined in Data.PostgreSQL.NetworkAddress 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 #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods (==) :: Cidr -> Cidr -> Bool # (/=) :: Cidr -> Cidr -> Bool #
Ord Cidr #
Instance details Defined in Data.PostgreSQL.NetworkAddress 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 #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods readsPrec :: Int -> ReadS Cidr # readList :: ReadS [Cidr] # readPrec :: ReadPrec Cidr # readListPrec :: ReadPrec [Cidr] #
Show Cidr #
Instance details Defined in Data.PostgreSQL.NetworkAddress 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 #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods (==) :: NetAddress -> NetAddress -> Bool # (/=) :: NetAddress -> NetAddress -> Bool #
Ord NetAddress #
Instance details Defined in Data.PostgreSQL.NetworkAddress 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 #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods readsPrec :: Int -> ReadS NetAddress # readList :: ReadS [NetAddress] # readPrec :: ReadPrec NetAddress # readListPrec :: ReadPrec [NetAddress] #
Show NetAddress #
Instance details Defined in Data.PostgreSQL.NetworkAddress 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 #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods (==) :: V4HostAddress -> V4HostAddress -> Bool # (/=) :: V4HostAddress -> V4HostAddress -> Bool #
Ord V4HostAddress #
Instance details Defined in Data.PostgreSQL.NetworkAddress 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 #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods readsPrec :: Int -> ReadS V4HostAddress # readList :: ReadS [V4HostAddress] # readPrec :: ReadPrec V4HostAddress # readListPrec :: ReadPrec [V4HostAddress] #
Show V4HostAddress #
Instance details Defined in Data.PostgreSQL.NetworkAddress 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 #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods (==) :: V6HostAddress -> V6HostAddress -> Bool # (/=) :: V6HostAddress -> V6HostAddress -> Bool #
Ord V6HostAddress #
Instance details Defined in Data.PostgreSQL.NetworkAddress 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 #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods readsPrec :: Int -> ReadS V6HostAddress # readList :: ReadS [V6HostAddress] # readPrec :: ReadPrec V6HostAddress # readListPrec :: ReadPrec [V6HostAddress] #
Show V6HostAddress #
Instance details Defined in Data.PostgreSQL.NetworkAddress 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 #