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

Corresponding to INET type of PostgreSQL

Constructors

Inet NetAddress

Instances

Instances details

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

newtype Cidr Source #

Corresponding to CIDR type of PostgreSQL

Constructors

Cidr NetAddress

Instances

Instances details

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

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

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

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

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

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

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

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 #