Database.Persist.IP

This module adds support for some of PostgreSQL operators on IP addresses and networks. See http://www.postgresql.org/docs/9.4/static/functions-net.html for more detailed documentation

Documentation

(<:<.) :: EntityField record IPRange -> IPRange -> Filter record

The record range is contained within the specified range. Corresponds to PgSQL operator <<.

(>:>.) :: EntityField record IPRange -> IPRange -> Filter record

The record range contains the specified range. Corresponds to PgSQL operator >>.

(<:<=) :: EntityField record IPRange -> IPRange -> Filter record

The record range is contained within or equals to the specified range. Corresponds to PgSQL operator <<=.

(>:>=) :: EntityField record IPRange -> IPRange -> Filter record

The record range contains or equals to the specified range. Corresponds to PgSQL operator >>=.

(<.<.) :: EntityField record IP -> IPRange -> Filter record

The record address is contained within the specified range. Corresponds to PgSQL operator <<.

(>.>.) :: EntityField record IPRange -> IP -> Filter record

The record range contains the specified address. Corresponds to PgSQL operator >>.

data IP

A unified IP data for IP and IP. To create this, use the data constructors. Or use read "192.0.2.1" :: IP, for example. Also, "192.0.2.1" can be used as literal with OverloadedStrings.

>>> (read "192.0.2.1" :: IP) == IPv4 (read "192.0.2.1" :: IPv4)
True
>>> (read "2001:db8:00:00:00:00:00:01" :: IP) == IPv6 (read "2001:db8:00:00:00:00:00:01" :: IPv6)
True

Instances

Enum IP

Defined in Data.IP.Addr

Methods

succ :: IP -> IP

pred :: IP -> IP

toEnum :: Int -> IP

fromEnum :: IP -> Int

enumFrom :: IP -> [IP]

enumFromThen :: IP -> IP -> [IP]

enumFromTo :: IP -> IP -> [IP]

enumFromThenTo :: IP -> IP -> IP -> [IP]

Eq IP

Equality over IP addresses. Correctly compare IPv4 and IPv4-embedded-in-IPv6 addresses.

>>> (read "2001:db8:00:00:00:00:00:01" :: IP) == (read "2001:db8:00:00:00:00:00:01" :: IP)
True
>>> (read "2001:db8:00:00:00:00:00:01" :: IP) == (read "2001:db8:00:00:00:00:00:05" :: IP)
False
>>> (read "127.0.0.1" :: IP) == (read "127.0.0.1" :: IP)
True
>>> (read "127.0.0.1" :: IP) == (read "10.0.0.1" :: IP)
False
>>> (read "::ffff:127.0.0.1" :: IP) == (read "127.0.0.1" :: IP)
True
>>> (read "::ffff:127.0.0.1" :: IP) == (read "127.0.0.9" :: IP)
False
>>> (read "::ffff:127.0.0.1" :: IP) >= (read "127.0.0.1" :: IP)
True
>>> (read "::ffff:127.0.0.1" :: IP) <= (read "127.0.0.1" :: IP)
True

Defined in Data.IP.Addr

Methods

(==) :: IP -> IP -> Bool

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

Data IP

Defined in Data.IP.Addr

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IP -> c IP

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IP

toConstr :: IP -> Constr

dataTypeOf :: IP -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IP)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IP)

gmapT :: (forall b. Data b => b -> b) -> IP -> IP

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IP -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IP -> r

gmapQ :: (forall d. Data d => d -> u) -> IP -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> IP -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IP -> m IP

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IP -> m IP

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IP -> m IP

Ord IP

Defined in Data.IP.Addr

Methods

compare :: IP -> IP -> Ordering

(<) :: IP -> IP -> Bool

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

(>) :: IP -> IP -> Bool

(>=) :: IP -> IP -> Bool

max :: IP -> IP -> IP

min :: IP -> IP -> IP

Read IP

Defined in Data.IP.Addr

Methods

readsPrec :: Int -> ReadS IP

readList :: ReadS [IP]

readPrec :: ReadPrec IP

readListPrec :: ReadPrec [IP]

Show IP

Defined in Data.IP.Addr

Methods

showsPrec :: Int -> IP -> ShowS

show :: IP -> String

showList :: [IP] -> ShowS

IsString IP

Defined in Data.IP.Addr

Methods

fromString :: String -> IP

Generic IP

Defined in Data.IP.Addr

Associated Types

type Rep IP :: Type -> Type

Methods

from :: IP -> Rep IP x

to :: Rep IP x -> IP

ToHttpApiData IP

Defined in Database.Persist.Instances.IP

Methods

toUrlPiece :: IP -> Text

toEncodedUrlPiece :: IP -> Builder

toHeader :: IP -> ByteString

toQueryParam :: IP -> Text

FromHttpApiData IP

Defined in Database.Persist.Instances.IP

Methods

parseUrlPiece :: Text -> Either Text IP

parseHeader :: ByteString -> Either Text IP

parseQueryParam :: Text -> Either Text IP

PathPiece IP

Defined in Database.Persist.Instances.IP

Methods

fromPathPiece :: Text -> Maybe IP

toPathPiece :: IP -> Text

PersistFieldSql IP

Defined in Database.Persist.Instances.IP

Methods

sqlType :: Proxy IP -> SqlType

PersistField IP

Defined in Database.Persist.Instances.IP

Methods

toPersistValue :: IP -> PersistValue

fromPersistValue :: PersistValue -> Either Text IP

type Rep IP

Defined in Data.IP.Addr

type Rep IP = D1 (MetaData "IP" "Data.IP.Addr" "iproute-1.7.8-Jnpe4HnI04DAp0lqTLwiA6" False) (C1 (MetaCons "IPv4" PrefixI True) (S1 (MetaSel (Just "ipv4") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IPv4)) :+: C1 (MetaCons "IPv6" PrefixI True) (S1 (MetaSel (Just "ipv6") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IPv6)))

data IPRange

A unified data for AddrRange IP and AddrRange IP. To create this, use read "192.0.2.0/24" :: IPRange. Also, "192.0.2.0/24" can be used as literal with OverloadedStrings.

>>> (read "192.0.2.1/24" :: IPRange) == IPv4Range (read "192.0.2.0/24" :: AddrRange IPv4)
True
>>> (read "2001:db8:00:00:00:00:00:01/48" :: IPRange) == IPv6Range (read "2001:db8:00:00:00:00:00:01/48" :: AddrRange IPv6)
True

Instances

Eq IPRange

Defined in Data.IP.Range

Methods

(==) :: IPRange -> IPRange -> Bool

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

Data IPRange

Defined in Data.IP.Range

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IPRange -> c IPRange

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IPRange

toConstr :: IPRange -> Constr

dataTypeOf :: IPRange -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IPRange)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IPRange)

gmapT :: (forall b. Data b => b -> b) -> IPRange -> IPRange

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IPRange -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IPRange -> r

gmapQ :: (forall d. Data d => d -> u) -> IPRange -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> IPRange -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IPRange -> m IPRange

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IPRange -> m IPRange

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IPRange -> m IPRange

Ord IPRange

Defined in Data.IP.Range

Methods

compare :: IPRange -> IPRange -> Ordering

(<) :: IPRange -> IPRange -> Bool

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

(>) :: IPRange -> IPRange -> Bool

(>=) :: IPRange -> IPRange -> Bool

max :: IPRange -> IPRange -> IPRange

min :: IPRange -> IPRange -> IPRange

Read IPRange

Defined in Data.IP.Range

Methods

readsPrec :: Int -> ReadS IPRange

readList :: ReadS [IPRange]

readPrec :: ReadPrec IPRange

readListPrec :: ReadPrec [IPRange]

Show IPRange

Defined in Data.IP.Range

Methods

showsPrec :: Int -> IPRange -> ShowS

show :: IPRange -> String

showList :: [IPRange] -> ShowS

IsString IPRange

Defined in Data.IP.Range

Methods

fromString :: String -> IPRange

Generic IPRange

Defined in Data.IP.Range

Associated Types

type Rep IPRange :: Type -> Type

Methods

from :: IPRange -> Rep IPRange x

to :: Rep IPRange x -> IPRange

ToHttpApiData IPRange

Defined in Database.Persist.Instances.IP

Methods

toUrlPiece :: IPRange -> Text

toEncodedUrlPiece :: IPRange -> Builder

toHeader :: IPRange -> ByteString

toQueryParam :: IPRange -> Text

FromHttpApiData IPRange

Defined in Database.Persist.Instances.IP

Methods

parseUrlPiece :: Text -> Either Text IPRange

parseHeader :: ByteString -> Either Text IPRange

parseQueryParam :: Text -> Either Text IPRange

PathPiece IPRange

Defined in Database.Persist.Instances.IP

Methods

fromPathPiece :: Text -> Maybe IPRange

toPathPiece :: IPRange -> Text

PersistFieldSql IPRange

Defined in Database.Persist.Instances.IP

Methods

sqlType :: Proxy IPRange -> SqlType

PersistField IPRange

Defined in Database.Persist.Instances.IP

Methods

toPersistValue :: IPRange -> PersistValue

fromPersistValue :: PersistValue -> Either Text IPRange

type Rep IPRange

Defined in Data.IP.Range

type Rep IPRange = D1 (MetaData "IPRange" "Data.IP.Range" "iproute-1.7.8-Jnpe4HnI04DAp0lqTLwiA6" False) (C1 (MetaCons "IPv4Range" PrefixI True) (S1 (MetaSel (Just "ipv4range") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AddrRange IPv4))) :+: C1 (MetaCons "IPv6Range" PrefixI True) (S1 (MetaSel (Just "ipv6range") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AddrRange IPv6))))