Safe Haskell	None
Language	Haskell2010

HaskellWorks.Data.Network.Ip.Ipv4

Synopsis

newtype IpAddress = IpAddress {
- word :: Word32
}
newtype IpNetMask = IpNetMask {
- word8 :: Word8
}
data IpBlock v = IpBlock {
- base :: !IpAddress
- mask :: !IpNetMask
}
bitPower :: IpNetMask -> Word64
isCanonical :: IpBlock v -> Bool
splitBlock :: IpBlock Canonical -> Maybe (IpBlock Canonical, IpBlock Canonical)
parseIpAddress :: Parser IpAddress
showIpAddress :: IpAddress -> String
showsIpAddress :: IpAddress -> String -> String
tshowIpAddress :: IpAddress -> Text
tshowIpBlock :: IpBlock v -> Text
ipAddressToWords :: IpAddress -> (Word8, Word8, Word8, Word8)
firstIpAddress :: IpBlock v -> IpAddress
lastIpAddress :: IpBlock v -> IpAddress
canonicaliseIpBlock :: IpBlock v -> IpBlock Canonical
collapseIpBlocks :: [IpBlock Canonical] -> [IpBlock Canonical]
splitIpRange :: Range IpAddress -> (IpBlock Canonical, Maybe (Range IpAddress))
rangeToBlocksDL :: Range IpAddress -> [IpBlock Canonical] -> [IpBlock Canonical]
rangeToBlocks :: Range IpAddress -> [IpBlock Canonical]
blockToRange :: IpBlock Canonical -> Range IpAddress

Documentation

newtype IpAddress Source #

Constructors

IpAddress
Fields word :: Word32

Instances

Bounded IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods minBound :: IpAddress # maxBound :: IpAddress #
Enum IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods succ :: IpAddress -> IpAddress # pred :: IpAddress -> IpAddress # toEnum :: Int -> IpAddress # fromEnum :: IpAddress -> Int # enumFrom :: IpAddress -> [IpAddress] # enumFromThen :: IpAddress -> IpAddress -> [IpAddress] # enumFromTo :: IpAddress -> IpAddress -> [IpAddress] # enumFromThenTo :: IpAddress -> IpAddress -> IpAddress -> [IpAddress] #
Eq IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods (==) :: IpAddress -> IpAddress -> Bool # (/=) :: IpAddress -> IpAddress -> Bool #
Ord IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods compare :: IpAddress -> IpAddress -> Ordering # (<) :: IpAddress -> IpAddress -> Bool # (<=) :: IpAddress -> IpAddress -> Bool # (>) :: IpAddress -> IpAddress -> Bool # (>=) :: IpAddress -> IpAddress -> Bool # max :: IpAddress -> IpAddress -> IpAddress # min :: IpAddress -> IpAddress -> IpAddress #
Read IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods readsPrec :: Int -> ReadS IpAddress # readList :: ReadS [IpAddress] # readPrec :: ReadPrec IpAddress # readListPrec :: ReadPrec [IpAddress] #
Show IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods showsPrec :: Int -> IpAddress -> ShowS # show :: IpAddress -> String # showList :: [IpAddress] -> ShowS #
Generic IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Associated Types type Rep IpAddress :: Type -> Type # Methods from :: IpAddress -> Rep IpAddress x # to :: Rep IpAddress x -> IpAddress #
type Rep IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 type Rep IpAddress = D1 (MetaData "IpAddress" "HaskellWorks.Data.Network.Ip.Ipv4" "hw-ip-2.0.0.0-6GxjUWGmn6D3Mt1xyOU7IU" True) (C1 (MetaCons "IpAddress" PrefixI True) (S1 (MetaSel (Just "word") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))

newtype IpNetMask Source #

Constructors

IpNetMask
Fields word8 :: Word8

Instances

Bounded IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods minBound :: IpNetMask # maxBound :: IpNetMask #
Enum IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods succ :: IpNetMask -> IpNetMask # pred :: IpNetMask -> IpNetMask # toEnum :: Int -> IpNetMask # fromEnum :: IpNetMask -> Int # enumFrom :: IpNetMask -> [IpNetMask] # enumFromThen :: IpNetMask -> IpNetMask -> [IpNetMask] # enumFromTo :: IpNetMask -> IpNetMask -> [IpNetMask] # enumFromThenTo :: IpNetMask -> IpNetMask -> IpNetMask -> [IpNetMask] #
Eq IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods (==) :: IpNetMask -> IpNetMask -> Bool # (/=) :: IpNetMask -> IpNetMask -> Bool #
Ord IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods compare :: IpNetMask -> IpNetMask -> Ordering # (<) :: IpNetMask -> IpNetMask -> Bool # (<=) :: IpNetMask -> IpNetMask -> Bool # (>) :: IpNetMask -> IpNetMask -> Bool # (>=) :: IpNetMask -> IpNetMask -> Bool # max :: IpNetMask -> IpNetMask -> IpNetMask # min :: IpNetMask -> IpNetMask -> IpNetMask #
Show IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods showsPrec :: Int -> IpNetMask -> ShowS # show :: IpNetMask -> String # showList :: [IpNetMask] -> ShowS #
Generic IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Associated Types type Rep IpNetMask :: Type -> Type # Methods from :: IpNetMask -> Rep IpNetMask x # to :: Rep IpNetMask x -> IpNetMask #
type Rep IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 type Rep IpNetMask = D1 (MetaData "IpNetMask" "HaskellWorks.Data.Network.Ip.Ipv4" "hw-ip-2.0.0.0-6GxjUWGmn6D3Mt1xyOU7IU" True) (C1 (MetaCons "IpNetMask" PrefixI True) (S1 (MetaSel (Just "word8") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)))

data IpBlock v Source #

An IP block. The type parameter determines whether or not the value of the type is canonical.

Constructors

IpBlock
Fields base :: !IpAddress mask :: !IpNetMask

Instances

Eq (IpBlock v) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods (==) :: IpBlock v -> IpBlock v -> Bool # (/=) :: IpBlock v -> IpBlock v -> Bool #
Ord (IpBlock v) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods compare :: IpBlock v -> IpBlock v -> Ordering # (<) :: IpBlock v -> IpBlock v -> Bool # (<=) :: IpBlock v -> IpBlock v -> Bool # (>) :: IpBlock v -> IpBlock v -> Bool # (>=) :: IpBlock v -> IpBlock v -> Bool # max :: IpBlock v -> IpBlock v -> IpBlock v # min :: IpBlock v -> IpBlock v -> IpBlock v #
Read (IpBlock Unaligned) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods readsPrec :: Int -> ReadS (IpBlock Unaligned) # readList :: ReadS [IpBlock Unaligned] # readPrec :: ReadPrec (IpBlock Unaligned) # readListPrec :: ReadPrec [IpBlock Unaligned] #
Read (IpBlock Canonical) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods readsPrec :: Int -> ReadS (IpBlock Canonical) # readList :: ReadS [IpBlock Canonical] # readPrec :: ReadPrec (IpBlock Canonical) # readListPrec :: ReadPrec [IpBlock Canonical] #
Show (IpBlock v) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Methods showsPrec :: Int -> IpBlock v -> ShowS # show :: IpBlock v -> String # showList :: [IpBlock v] -> ShowS #
Generic (IpBlock v) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 Associated Types type Rep (IpBlock v) :: Type -> Type # Methods from :: IpBlock v -> Rep (IpBlock v) x # to :: Rep (IpBlock v) x -> IpBlock v #
type Rep (IpBlock v) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv4 type Rep (IpBlock v) = D1 (MetaData "IpBlock" "HaskellWorks.Data.Network.Ip.Ipv4" "hw-ip-2.0.0.0-6GxjUWGmn6D3Mt1xyOU7IU" False) (C1 (MetaCons "IpBlock" PrefixI True) (S1 (MetaSel (Just "base") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 IpAddress) :*: S1 (MetaSel (Just "mask") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 IpNetMask)))

bitPower :: IpNetMask -> Word64 Source #

isCanonical :: IpBlock v -> Bool Source #

A valid block must have all host-bits set to zero after the mask is applied

splitBlock :: IpBlock Canonical -> Maybe (IpBlock Canonical, IpBlock Canonical) Source #

parseIpAddress :: Parser IpAddress Source #

showIpAddress :: IpAddress -> String Source #

showsIpAddress :: IpAddress -> String -> String Source #

tshowIpAddress :: IpAddress -> Text Source #

tshowIpBlock :: IpBlock v -> Text Source #

ipAddressToWords :: IpAddress -> (Word8, Word8, Word8, Word8) Source #

firstIpAddress :: IpBlock v -> IpAddress Source #

lastIpAddress :: IpBlock v -> IpAddress Source #

canonicaliseIpBlock :: IpBlock v -> IpBlock Canonical Source #

Canonicalise the block by zero-ing out the host bits

collapseIpBlocks :: [IpBlock Canonical] -> [IpBlock Canonical] Source #

splitIpRange :: Range IpAddress -> (IpBlock Canonical, Maybe (Range IpAddress)) Source #

rangeToBlocksDL :: Range IpAddress -> [IpBlock Canonical] -> [IpBlock Canonical] Source #

rangeToBlocks :: Range IpAddress -> [IpBlock Canonical] Source #

blockToRange :: IpBlock Canonical -> Range IpAddress Source #