Copyright	2015-2018 Kei Hibino
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	unknown
Safe Haskell	Safe-Inferred
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 Source #

Corresponding to INET type of PostgreSQL

Constructors

Inet NetAddress

Instances

Instances details

Read Inet Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods readsPrec :: Int -> ReadS Inet # readList :: ReadS [Inet] # readPrec :: ReadPrec Inet # readListPrec :: ReadPrec [Inet] #
Show Inet Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods showsPrec :: Int -> Inet -> ShowS # show :: Inet -> String # showList :: [Inet] -> ShowS #
Eq Inet Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods (==) :: Inet -> Inet -> Bool # (/=) :: Inet -> Inet -> Bool #
Ord Inet Source #
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 #

newtype Cidr Source #

Corresponding to CIDR type of PostgreSQL

Constructors

Cidr NetAddress

Instances

Instances details

Read Cidr Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods readsPrec :: Int -> ReadS Cidr # readList :: ReadS [Cidr] # readPrec :: ReadPrec Cidr # readListPrec :: ReadPrec [Cidr] #
Show Cidr Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods showsPrec :: Int -> Cidr -> ShowS # show :: Cidr -> String # showList :: [Cidr] -> ShowS #
Eq Cidr Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods (==) :: Cidr -> Cidr -> Bool # (/=) :: Cidr -> Cidr -> Bool #
Ord Cidr Source #
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 #

cidr4 :: V4HostAddress -> Word8 -> Maybe Cidr Source #

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

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

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

cidr6 :: V6HostAddress -> Word8 -> Maybe Cidr Source #

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

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

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 Source #

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

Constructors

NetAddress4 !V4HostAddress !Word8
NetAddress6 !V6HostAddress !Word8

Instances

Instances details

Read NetAddress Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods readsPrec :: Int -> ReadS NetAddress # readList :: ReadS [NetAddress] # readPrec :: ReadPrec NetAddress # readListPrec :: ReadPrec [NetAddress] #
Show NetAddress Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods showsPrec :: Int -> NetAddress -> ShowS # show :: NetAddress -> String # showList :: [NetAddress] -> ShowS #
Eq NetAddress Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods (==) :: NetAddress -> NetAddress -> Bool # (/=) :: NetAddress -> NetAddress -> Bool #
Ord NetAddress Source #
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 #

netAddress4 Source #

Arguments

:: V4HostAddress	IPv4 host-address
-> Word8	IPv4 mask 0-32
-> Maybe NetAddress	result NetAddress

Make IPv4 NetAddress type consistent with IPv4 mask

netAddress6 Source #

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 Source #

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

Constructors

V4HostAddress !Word8 !Word8 !Word8 !Word8

Instances

Instances details

Read V4HostAddress Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods readsPrec :: Int -> ReadS V4HostAddress # readList :: ReadS [V4HostAddress] # readPrec :: ReadPrec V4HostAddress # readListPrec :: ReadPrec [V4HostAddress] #
Show V4HostAddress Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods showsPrec :: Int -> V4HostAddress -> ShowS # show :: V4HostAddress -> String # showList :: [V4HostAddress] -> ShowS #
Eq V4HostAddress Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods (==) :: V4HostAddress -> V4HostAddress -> Bool # (/=) :: V4HostAddress -> V4HostAddress -> Bool #
Ord V4HostAddress Source #
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 #

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

data V6HostAddress Source #

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

Instances details

Read V6HostAddress Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods readsPrec :: Int -> ReadS V6HostAddress # readList :: ReadS [V6HostAddress] # readPrec :: ReadPrec V6HostAddress # readListPrec :: ReadPrec [V6HostAddress] #
Show V6HostAddress Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods showsPrec :: Int -> V6HostAddress -> ShowS # show :: V6HostAddress -> String # showList :: [V6HostAddress] -> ShowS #
Eq V6HostAddress Source #
Instance details Defined in Data.PostgreSQL.NetworkAddress Methods (==) :: V6HostAddress -> V6HostAddress -> Bool # (/=) :: V6HostAddress -> V6HostAddress -> Bool #
Ord V6HostAddress Source #
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 #

v6HostAddressLong :: Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> V6HostAddress Source #

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

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

v6HostAddressL :: [Word16] -> Maybe V6HostAddress Source #

v6HostAddressR :: [Word16] -> Maybe V6HostAddress Source #