Safe Haskell	None
Language	Haskell2010

HaskellWorks.Data.Network.Ip.Ipv6

Synopsis

newtype IpAddress = IpAddress Word128
newtype IpNetMask = IpNetMask {
- word :: Word8
}
data IpBlock v = IpBlock {
- base :: !IpAddress
- mask :: !IpNetMask
}
data Unaligned
data Canonical
fromIpv4 :: IpAddress -> IpAddress
fromIpv4Block :: IpBlock Canonical -> IpBlock v
isIpv4Block :: IpBlock v -> Bool
toIpv4Block :: IpBlock v -> Maybe (IpBlock v)
fromV4 :: IpBlock Canonical -> IpBlock v
parseIpBlock :: Text -> Either Text (IpBlock Unaligned)
masksIp :: Word8 -> [Word32]
showIpAddress :: IpAddress -> String
showsIpAddress :: IpAddress -> String -> String
tshowIpAddress :: IpAddress -> Text
tshowIpBlock :: IpBlock v -> Text
firstIpAddress :: IpBlock Canonical -> IpAddress
lastIpAddress :: IpBlock Canonical -> IpAddress
rangeToBlocks :: Range IpAddress -> [IpBlock Canonical]
rangeToBlocksDL :: Range IpAddress -> [IpBlock Canonical] -> [IpBlock Canonical]
blockToRange :: IpBlock Canonical -> Range IpAddress
isCanonical :: IpBlock v -> Bool
canonicaliseIpBlock :: IpBlock v -> IpBlock Canonical
splitIpRange :: Range IpAddress -> (IpBlock Canonical, Maybe (Range IpAddress))

Documentation

newtype IpAddress Source #

Constructors

IpAddress Word128

Instances

Instances details

Bounded IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 Methods minBound :: IpAddress # maxBound :: IpAddress #
Enum IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 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.Ipv6 Methods (==) :: IpAddress -> IpAddress -> Bool # (/=) :: IpAddress -> IpAddress -> Bool #
Ord IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 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.Ipv6 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.Ipv6 Methods showsPrec :: Int -> IpAddress -> ShowS # show :: IpAddress -> String # showList :: [IpAddress] -> ShowS #
Generic IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 Associated Types type Rep IpAddress :: Type -> Type # Methods from :: IpAddress -> Rep IpAddress x # to :: Rep IpAddress x -> IpAddress #
SafeEnum IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 Methods safePred :: IpAddress -> Maybe IpAddress Source # safeSucc :: IpAddress -> Maybe IpAddress Source #
type Rep IpAddress Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 type Rep IpAddress = D1 ('MetaData "IpAddress" "HaskellWorks.Data.Network.Ip.Ipv6" "hw-ip-2.4.2.1-KjdsdvjGQA9E9yHDWzWWXb" 'True) (C1 ('MetaCons "IpAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word128)))

newtype IpNetMask Source #

Constructors

IpNetMask
Fields word :: Word8

Instances

Instances details

Bounded IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 Methods minBound :: IpNetMask # maxBound :: IpNetMask #
Enum IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 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.Ipv6 Methods (==) :: IpNetMask -> IpNetMask -> Bool # (/=) :: IpNetMask -> IpNetMask -> Bool #
Ord IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 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 #
Read IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 Methods readsPrec :: Int -> ReadS IpNetMask # readList :: ReadS [IpNetMask] # readPrec :: ReadPrec IpNetMask # readListPrec :: ReadPrec [IpNetMask] #
Show IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 Methods showsPrec :: Int -> IpNetMask -> ShowS # show :: IpNetMask -> String # showList :: [IpNetMask] -> ShowS #
Generic IpNetMask Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 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.Ipv6 type Rep IpNetMask = D1 ('MetaData "IpNetMask" "HaskellWorks.Data.Network.Ip.Ipv6" "hw-ip-2.4.2.1-KjdsdvjGQA9E9yHDWzWWXb" 'True) (C1 ('MetaCons "IpNetMask" 'PrefixI 'True) (S1 ('MetaSel ('Just "word") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)))

data IpBlock v Source #

Constructors

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

Instances

Instances details

Bounded (IpBlock v) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 Methods minBound :: IpBlock v # maxBound :: IpBlock v #
Eq (IpBlock v) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 Methods (==) :: IpBlock v -> IpBlock v -> Bool # (/=) :: IpBlock v -> IpBlock v -> Bool #
Ord (IpBlock v) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 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.Ipv6 Methods readsPrec :: Int -> ReadS (IpBlock Unaligned) # readList :: ReadS [IpBlock Unaligned] # readPrec :: ReadPrec (IpBlock Unaligned) # readListPrec :: ReadPrec [IpBlock Unaligned] #
Show (IpBlock v) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 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.Ipv6 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 Canonical) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 Methods contains :: IpBlock Canonical -> IpBlock Canonical -> Bool Source #
type Rep (IpBlock v) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 type Rep (IpBlock v) = D1 ('MetaData "IpBlock" "HaskellWorks.Data.Network.Ip.Ipv6" "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 Source #

Instances

Instances details

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 Unaligned) Source #
Instance details 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) Source #
Instance details 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 Source #

Instances

Instances details

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] #
Contains (IpBlock Canonical) Source #
Instance details Defined in HaskellWorks.Data.Network.Ip.Ipv6 Methods contains :: IpBlock Canonical -> IpBlock Canonical -> Bool Source #