Safe Haskell	None
Language	Haskell2010

Data.IP.Internal

Synopsis

newtype IPv4 = IP4 IPv4Addr
newtype IPv6 = IP6 IPv6Addr
data AddrRange a = AddrRange {
- addr :: !a
- mask :: !a
- mlen :: ! Int
}
type IPv4Addr = Word32
type IPv6Addr = ( Word32 , Word32 , Word32 , Word32 )

Documentation

newtype IPv4 Source #

The abstract data type to express an IPv4 address. To create this, use toIPv4 . Or use read "192.0.2.1" :: IPv4 , for example. Also, "192.0.2.1" can be used as literal with OverloadedStrings.

>>> read "192.0.2.1" :: IPv4
192.0.2.1

Constructors

IP4 IPv4Addr

Instances

Instances details

Bounded IPv4 Source #
Instance details Defined in Data.IP.Addr Methods minBound :: IPv4 Source # maxBound :: IPv4 Source #
Enum IPv4 Source #
Instance details Defined in Data.IP.Addr Methods succ :: IPv4 -> IPv4 Source # pred :: IPv4 -> IPv4 Source # toEnum :: Int -> IPv4 Source # fromEnum :: IPv4 -> Int Source # enumFrom :: IPv4 -> [ IPv4 ] Source # enumFromThen :: IPv4 -> IPv4 -> [ IPv4 ] Source # enumFromTo :: IPv4 -> IPv4 -> [ IPv4 ] Source # enumFromThenTo :: IPv4 -> IPv4 -> IPv4 -> [ IPv4 ] Source #
Eq IPv4 Source #
Instance details Defined in Data.IP.Addr Methods (==) :: IPv4 -> IPv4 -> Bool Source # (/=) :: IPv4 -> IPv4 -> Bool Source #
Data IPv4 Source #
Instance details Defined in Data.IP.Addr Methods gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> IPv4 -> c IPv4 Source # gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c IPv4 Source # toConstr :: IPv4 -> Constr Source # dataTypeOf :: IPv4 -> DataType Source # dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c IPv4 ) Source # dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c IPv4 ) Source # gmapT :: ( forall b. Data b => b -> b) -> IPv4 -> IPv4 Source # gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> IPv4 -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> IPv4 -> r Source # gmapQ :: ( forall d. Data d => d -> u) -> IPv4 -> [u] Source # gmapQi :: Int -> ( forall d. Data d => d -> u) -> IPv4 -> u Source # gmapM :: Monad m => ( forall d. Data d => d -> m d) -> IPv4 -> m IPv4 Source # gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> IPv4 -> m IPv4 Source # gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> IPv4 -> m IPv4 Source #
Ord IPv4 Source #
Instance details Defined in Data.IP.Addr Methods compare :: IPv4 -> IPv4 -> Ordering Source # (<) :: IPv4 -> IPv4 -> Bool Source # (<=) :: IPv4 -> IPv4 -> Bool Source # (>) :: IPv4 -> IPv4 -> Bool Source # (>=) :: IPv4 -> IPv4 -> Bool Source # max :: IPv4 -> IPv4 -> IPv4 Source # min :: IPv4 -> IPv4 -> IPv4 Source #
Read IPv4 Source #
Instance details Defined in Data.IP.Addr Methods readsPrec :: Int -> ReadS IPv4 Source # readList :: ReadS [ IPv4 ] Source # readPrec :: ReadPrec IPv4 Source # readListPrec :: ReadPrec [ IPv4 ] Source #
Show IPv4 Source #
Instance details Defined in Data.IP.Addr Methods showsPrec :: Int -> IPv4 -> ShowS Source # show :: IPv4 -> String Source # showList :: [ IPv4 ] -> ShowS Source #
IsString IPv4 Source #
Instance details Defined in Data.IP.Addr Methods fromString :: String -> IPv4 Source #
Generic IPv4 Source #
Instance details Defined in Data.IP.Addr Associated Types type Rep IPv4 :: Type -> Type Source # Methods from :: IPv4 -> Rep IPv4 x Source # to :: Rep IPv4 x -> IPv4 Source #
Addr IPv4 Source #
Instance details Defined in Data.IP.Op Methods masked :: IPv4 -> IPv4 -> IPv4 Source # intToMask :: Int -> IPv4 Source #
Routable IPv4 Source #
Instance details Defined in Data.IP.RouteTable.Internal Methods intToTBit :: Int -> IPv4 Source # isZero :: IPv4 -> IPv4 -> Bool Source #
Read ( AddrRange IPv4 ) Source #
Instance details Defined in Data.IP.Range Methods readsPrec :: Int -> ReadS ( AddrRange IPv4 ) Source # readList :: ReadS [ AddrRange IPv4 ] Source # readPrec :: ReadPrec ( AddrRange IPv4 ) Source # readListPrec :: ReadPrec [ AddrRange IPv4 ] Source #
IsString ( AddrRange IPv4 ) Source #
Instance details Defined in Data.IP.Range Methods fromString :: String -> AddrRange IPv4 Source #
type Rep IPv4 Source #
Instance details Defined in Data.IP.Addr type Rep IPv4 = D1 (' MetaData "IPv4" "Data.IP.Addr" "iproute-1.7.12-7531Frr8UW3EGpk43IP3fV" ' True ) ( C1 (' MetaCons "IP4" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 IPv4Addr )))

newtype IPv6 Source #

The abstract data type to express an IPv6 address. To create this, use toIPv6 . Or use read "2001:DB8::1" :: IPv6 , for example. Also, "2001:DB8::1" can be used as literal with OverloadedStrings.

>>> read "2001:db8:00:00:00:00:00:01" :: IPv6
2001:db8::1
>>> read "2001:db8:11e:c00::101" :: IPv6
2001:db8:11e:c00::101
>>> read "2001:db8:11e:c00:aa:bb:192.0.2.1" :: IPv6
2001:db8:11e:c00:aa:bb:c000:201
>>> read "2001:db8::192.0.2.1" :: IPv6
2001:db8::c000:201
>>> read "0::ffff:192.0.2.1" :: IPv6
::ffff:192.0.2.1
>>> read "0::0:c000:201" :: IPv6
::192.0.2.1
>>> read "::0.0.0.1" :: IPv6
::1

Constructors

IP6 IPv6Addr

Instances

Instances details

Bounded IPv6 Source #
Instance details Defined in Data.IP.Addr Methods minBound :: IPv6 Source # maxBound :: IPv6 Source #
Enum IPv6 Source #
Instance details Defined in Data.IP.Addr Methods succ :: IPv6 -> IPv6 Source # pred :: IPv6 -> IPv6 Source # toEnum :: Int -> IPv6 Source # fromEnum :: IPv6 -> Int Source # enumFrom :: IPv6 -> [ IPv6 ] Source # enumFromThen :: IPv6 -> IPv6 -> [ IPv6 ] Source # enumFromTo :: IPv6 -> IPv6 -> [ IPv6 ] Source # enumFromThenTo :: IPv6 -> IPv6 -> IPv6 -> [ IPv6 ] Source #
Eq IPv6 Source #
Instance details Defined in Data.IP.Addr Methods (==) :: IPv6 -> IPv6 -> Bool Source # (/=) :: IPv6 -> IPv6 -> Bool Source #
Data IPv6 Source #
Instance details Defined in Data.IP.Addr Methods gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> IPv6 -> c IPv6 Source # gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c IPv6 Source # toConstr :: IPv6 -> Constr Source # dataTypeOf :: IPv6 -> DataType Source # dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c IPv6 ) Source # dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c IPv6 ) Source # gmapT :: ( forall b. Data b => b -> b) -> IPv6 -> IPv6 Source # gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> IPv6 -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> IPv6 -> r Source # gmapQ :: ( forall d. Data d => d -> u) -> IPv6 -> [u] Source # gmapQi :: Int -> ( forall d. Data d => d -> u) -> IPv6 -> u Source # gmapM :: Monad m => ( forall d. Data d => d -> m d) -> IPv6 -> m IPv6 Source # gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> IPv6 -> m IPv6 Source # gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> IPv6 -> m IPv6 Source #
Ord IPv6 Source #
Instance details Defined in Data.IP.Addr Methods compare :: IPv6 -> IPv6 -> Ordering Source # (<) :: IPv6 -> IPv6 -> Bool Source # (<=) :: IPv6 -> IPv6 -> Bool Source # (>) :: IPv6 -> IPv6 -> Bool Source # (>=) :: IPv6 -> IPv6 -> Bool Source # max :: IPv6 -> IPv6 -> IPv6 Source # min :: IPv6 -> IPv6 -> IPv6 Source #
Read IPv6 Source #
Instance details Defined in Data.IP.Addr Methods readsPrec :: Int -> ReadS IPv6 Source # readList :: ReadS [ IPv6 ] Source # readPrec :: ReadPrec IPv6 Source # readListPrec :: ReadPrec [ IPv6 ] Source #
Show IPv6 Source #
Instance details Defined in Data.IP.Addr Methods showsPrec :: Int -> IPv6 -> ShowS Source # show :: IPv6 -> String Source # showList :: [ IPv6 ] -> ShowS Source #
IsString IPv6 Source #
Instance details Defined in Data.IP.Addr Methods fromString :: String -> IPv6 Source #
Generic IPv6 Source #
Instance details Defined in Data.IP.Addr Associated Types type Rep IPv6 :: Type -> Type Source # Methods from :: IPv6 -> Rep IPv6 x Source # to :: Rep IPv6 x -> IPv6 Source #
Addr IPv6 Source #
Instance details Defined in Data.IP.Op Methods masked :: IPv6 -> IPv6 -> IPv6 Source # intToMask :: Int -> IPv6 Source #
Routable IPv6 Source #
Instance details Defined in Data.IP.RouteTable.Internal Methods intToTBit :: Int -> IPv6 Source # isZero :: IPv6 -> IPv6 -> Bool Source #
Read ( AddrRange IPv6 ) Source #
Instance details Defined in Data.IP.Range Methods readsPrec :: Int -> ReadS ( AddrRange IPv6 ) Source # readList :: ReadS [ AddrRange IPv6 ] Source # readPrec :: ReadPrec ( AddrRange IPv6 ) Source # readListPrec :: ReadPrec [ AddrRange IPv6 ] Source #
IsString ( AddrRange IPv6 ) Source #
Instance details Defined in Data.IP.Range Methods fromString :: String -> AddrRange IPv6 Source #
type Rep IPv6 Source #
Instance details Defined in Data.IP.Addr type Rep IPv6 = D1 (' MetaData "IPv6" "Data.IP.Addr" "iproute-1.7.12-7531Frr8UW3EGpk43IP3fV" ' True ) ( C1 (' MetaCons "IP6" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 IPv6Addr )))

data AddrRange a Source #

The Addr range consists of an address, a contiguous mask, and mask length. The contiguous mask and the mask length are essentially same information but contained for pre calculation.

To create this, use makeAddrRange or read "192.0.2.0/24" :: AddrRange IPv4 . Also, "192.0.2.0/24" can be used as literal with OverloadedStrings.

>>> read "192.0.2.1/24" :: AddrRange IPv4
192.0.2.0/24
>>> read "2001:db8:00:00:00:00:00:01/48" :: AddrRange IPv6
2001:db8::/48

Constructors

AddrRange
Fields addr :: !a The `addr` function returns an address from `AddrRange` . mask :: !a The `mask` function returns a contiguous `IP` mask from `AddrRange` . mlen :: ! Int The `mlen` function returns a mask length from `AddrRange` .

Instances

Instances details

Eq a => Eq ( AddrRange a) Source #
Instance details Defined in Data.IP.Range Methods (==) :: AddrRange a -> AddrRange a -> Bool Source # (/=) :: AddrRange a -> AddrRange a -> Bool Source #
Data a => Data ( AddrRange a) Source #
Instance details Defined in Data.IP.Range Methods gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> AddrRange a -> c ( AddrRange a) Source # gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c ( AddrRange a) Source # toConstr :: AddrRange a -> Constr Source # dataTypeOf :: AddrRange a -> DataType Source # dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c ( AddrRange a)) Source # dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c ( AddrRange a)) Source # gmapT :: ( forall b. Data b => b -> b) -> AddrRange a -> AddrRange a Source # gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> AddrRange a -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> AddrRange a -> r Source # gmapQ :: ( forall d. Data d => d -> u) -> AddrRange a -> [u] Source # gmapQi :: Int -> ( forall d. Data d => d -> u) -> AddrRange a -> u Source # gmapM :: Monad m => ( forall d. Data d => d -> m d) -> AddrRange a -> m ( AddrRange a) Source # gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> AddrRange a -> m ( AddrRange a) Source # gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> AddrRange a -> m ( AddrRange a) Source #
Ord a => Ord ( AddrRange a) Source #
Instance details Defined in Data.IP.Range Methods compare :: AddrRange a -> AddrRange a -> Ordering Source # (<) :: AddrRange a -> AddrRange a -> Bool Source # (<=) :: AddrRange a -> AddrRange a -> Bool Source # (>) :: AddrRange a -> AddrRange a -> Bool Source # (>=) :: AddrRange a -> AddrRange a -> Bool Source # max :: AddrRange a -> AddrRange a -> AddrRange a Source # min :: AddrRange a -> AddrRange a -> AddrRange a Source #
Read ( AddrRange IPv6 ) Source #
Instance details Defined in Data.IP.Range Methods readsPrec :: Int -> ReadS ( AddrRange IPv6 ) Source # readList :: ReadS [ AddrRange IPv6 ] Source # readPrec :: ReadPrec ( AddrRange IPv6 ) Source # readListPrec :: ReadPrec [ AddrRange IPv6 ] Source #
Read ( AddrRange IPv4 ) Source #
Instance details Defined in Data.IP.Range Methods readsPrec :: Int -> ReadS ( AddrRange IPv4 ) Source # readList :: ReadS [ AddrRange IPv4 ] Source # readPrec :: ReadPrec ( AddrRange IPv4 ) Source # readListPrec :: ReadPrec [ AddrRange IPv4 ] Source #
Show a => Show ( AddrRange a) Source #
Instance details Defined in Data.IP.Range Methods showsPrec :: Int -> AddrRange a -> ShowS Source # show :: AddrRange a -> String Source # showList :: [ AddrRange a] -> ShowS Source #
IsString ( AddrRange IPv6 ) Source #
Instance details Defined in Data.IP.Range Methods fromString :: String -> AddrRange IPv6 Source #
IsString ( AddrRange IPv4 ) Source #
Instance details Defined in Data.IP.Range Methods fromString :: String -> AddrRange IPv4 Source #
Generic ( AddrRange a) Source #
Instance details Defined in Data.IP.Range Associated Types type Rep ( AddrRange a) :: Type -> Type Source # Methods from :: AddrRange a -> Rep ( AddrRange a) x Source # to :: Rep ( AddrRange a) x -> AddrRange a Source #
type Rep ( AddrRange a) Source #
Instance details Defined in Data.IP.Range type Rep ( AddrRange a) = D1 (' MetaData "AddrRange" "Data.IP.Range" "iproute-1.7.12-7531Frr8UW3EGpk43IP3fV" ' False ) ( C1 (' MetaCons "AddrRange" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "addr") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 a) :: ( S1 (' MetaSel (' Just "mask") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 a) :: S1 (' MetaSel (' Just "mlen") ' SourceUnpack ' SourceStrict ' DecidedStrict ) ( Rec0 Int ))))

type IPv4Addr = Word32 Source #

type IPv6Addr = ( Word32 , Word32 , Word32 , Word32 ) Source #