HaskellWorks.Data.Network.Ip.Ipv4

Documentation

newtype IpAddress

Constructors

IpAddress

Fields

• word :: Word32

Instances

Bounded IpAddress

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

minBound :: IpAddress

maxBound :: IpAddress

Enum IpAddress

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

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

(==) :: IpAddress -> IpAddress -> Bool

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

Ord IpAddress

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

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

readsPrec :: Int -> ReadS IpAddress

readList :: ReadS [IpAddress]

readPrec :: ReadPrec IpAddress

readListPrec :: ReadPrec [IpAddress]

Show IpAddress

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

showsPrec :: Int -> IpAddress -> ShowS

show :: IpAddress -> String

showList :: [IpAddress] -> ShowS

Generic IpAddress

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

Storable IpAddress

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

sizeOf :: IpAddress -> Int

alignment :: IpAddress -> Int

peekElemOff :: Ptr IpAddress -> Int -> IO IpAddress

pokeElemOff :: Ptr IpAddress -> Int -> IpAddress -> IO ()

peekByteOff :: Ptr b -> Int -> IO IpAddress

pokeByteOff :: Ptr b -> Int -> IpAddress -> IO ()

peek :: Ptr IpAddress -> IO IpAddress

poke :: Ptr IpAddress -> IpAddress -> IO ()

SafeEnum IpAddress

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

safePred :: IpAddress -> Maybe IpAddress

safeSucc :: IpAddress -> Maybe IpAddress

type Rep IpAddress

Defined in HaskellWorks.Data.Network.Ip.Ipv4

type Rep IpAddress = D1 ('MetaData "IpAddress" "HaskellWorks.Data.Network.Ip.Ipv4" "hw-ip-2.4.2.1-KjdsdvjGQA9E9yHDWzWWXb" 'True) (C1 ('MetaCons "IpAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "word") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

newtype IpNetMask

Constructors

IpNetMask

Fields

• word8 :: Word8

Instances

Bounded IpNetMask

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

minBound :: IpNetMask

maxBound :: IpNetMask

Enum IpNetMask

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

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

(==) :: IpNetMask -> IpNetMask -> Bool

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

Ord IpNetMask

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

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

showsPrec :: Int -> IpNetMask -> ShowS

show :: IpNetMask -> String

showList :: [IpNetMask] -> ShowS

Generic IpNetMask

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

Defined in HaskellWorks.Data.Network.Ip.Ipv4

type Rep IpNetMask = D1 ('MetaData "IpNetMask" "HaskellWorks.Data.Network.Ip.Ipv4" "hw-ip-2.4.2.1-KjdsdvjGQA9E9yHDWzWWXb" 'True) (C1 ('MetaCons "IpNetMask" 'PrefixI 'True) (S1 ('MetaSel ('Just "word8") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))

data IpBlock v

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

Bounded (IpBlock v)

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

minBound :: IpBlock v

maxBound :: IpBlock v

Eq (IpBlock v)

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

(==) :: IpBlock v -> IpBlock v -> Bool

(/=) :: IpBlock v -> IpBlock v -> Bool

Ord (IpBlock v)

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)

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)

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)

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

showsPrec :: Int -> IpBlock v -> ShowS

show :: IpBlock v -> String

showList :: [IpBlock v] -> ShowS

Generic (IpBlock v)

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

Contains (IpBlock a)

Defined in HaskellWorks.Data.Network.Ip.Ipv4

Methods

contains :: IpBlock a -> IpBlock a -> Bool

type Rep (IpBlock v)

Defined in HaskellWorks.Data.Network.Ip.Ipv4

type Rep (IpBlock v) = D1 ('MetaData "IpBlock" "HaskellWorks.Data.Network.Ip.Ipv4" "hw-ip-2.4.2.1-KjdsdvjGQA9E9yHDWzWWXb" 'False) (C1 ('MetaCons "IpBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "base") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IpAddress) :*: S1 ('MetaSel ('Just "mask") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IpNetMask)))

data Unaligned

Instances

Read (IpBlock Unaligned)

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

Defined in HaskellWorks.Data.Network.Ip.Ipv6

Methods

readsPrec :: Int -> ReadS (IpBlock Unaligned)

readList :: ReadS [IpBlock Unaligned]

readPrec :: ReadPrec (IpBlock Unaligned)

readListPrec :: ReadPrec [IpBlock Unaligned]

Read (IpBlock Unaligned)

Defined in HaskellWorks.Data.Network.Ip.Ip

Methods

readsPrec :: Int -> ReadS (IpBlock Unaligned)

readList :: ReadS [IpBlock Unaligned]

readPrec :: ReadPrec (IpBlock Unaligned)

readListPrec :: ReadPrec [IpBlock Unaligned]

data Canonical

Instances

Read (IpBlock Canonical)

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]

Contains (IpBlock Canonical)

Defined in HaskellWorks.Data.Network.Ip.Ipv6

Methods

contains :: IpBlock Canonical -> IpBlock Canonical -> Bool

bitPower :: IpNetMask -> Word64

isCanonical :: IpBlock v -> Bool

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

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

parseIpAddress :: Parser IpAddress

parseIpAddressAsBlock :: Parser (IpBlock v)

showIpAddress :: IpAddress -> String

showsIpAddress :: IpAddress -> String -> String

tshowIpAddress :: IpAddress -> Text

tshowIpBlock :: IpBlock v -> Text

wordsToIpAddress :: Word8 -> Word8 -> Word8 -> Word8 -> IpAddress

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

firstIpAddress :: IpBlock v -> IpAddress

lastIpAddress :: IpBlock v -> IpAddress

canonicaliseIpBlock :: IpBlock v -> IpBlock Canonical

Canonicalise the block by zero-ing out the host bits

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

Assume distinct & sorted input

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