Safe Haskell	None
Language	Haskell2010

Net.Types

Synopsis

Documentation

newtype IPv4 Source #

A 32-bit Internet Protocol version 4 address.

Constructors

IPv4
Fields getIPv4 :: Word32

Instances

Bounded IPv4 Source #
Methods minBound :: IPv4 # maxBound :: IPv4 #
Enum IPv4 Source #
Methods succ :: IPv4 -> IPv4 # pred :: IPv4 -> IPv4 # toEnum :: Int -> IPv4 # fromEnum :: IPv4 -> Int # enumFrom :: IPv4 -> [IPv4] # enumFromThen :: IPv4 -> IPv4 -> [IPv4] # enumFromTo :: IPv4 -> IPv4 -> [IPv4] # enumFromThenTo :: IPv4 -> IPv4 -> IPv4 -> [IPv4] #
Eq IPv4 Source #
Methods (==) :: IPv4 -> IPv4 -> Bool # (/=) :: IPv4 -> IPv4 -> Bool #
Ord IPv4 Source #
Methods compare :: IPv4 -> IPv4 -> Ordering # (<) :: IPv4 -> IPv4 -> Bool # (<=) :: IPv4 -> IPv4 -> Bool # (>) :: IPv4 -> IPv4 -> Bool # (>=) :: IPv4 -> IPv4 -> Bool # max :: IPv4 -> IPv4 -> IPv4 # min :: IPv4 -> IPv4 -> IPv4 #
Read IPv4 Source #
Methods readsPrec :: Int -> ReadS IPv4 # readList :: ReadS [IPv4] # readPrec :: ReadPrec IPv4 # readListPrec :: ReadPrec [IPv4] #
Show IPv4 Source #
Methods showsPrec :: Int -> IPv4 -> ShowS # show :: IPv4 -> String # showList :: [IPv4] -> ShowS #
Generic IPv4 Source #
Associated Types type Rep IPv4 :: * -> * # Methods from :: IPv4 -> Rep IPv4 x # to :: Rep IPv4 x -> IPv4 #
ToJSON IPv4 Source #
Methods toJSON :: IPv4 -> Value # toEncoding :: IPv4 -> Encoding #
FromJSON IPv4 Source #
Methods parseJSON :: Value -> Parser IPv4 #
Bits IPv4 Source #
Methods (.&.) :: IPv4 -> IPv4 -> IPv4 # (.\|.) :: IPv4 -> IPv4 -> IPv4 # xor :: IPv4 -> IPv4 -> IPv4 # complement :: IPv4 -> IPv4 # shift :: IPv4 -> Int -> IPv4 # rotate :: IPv4 -> Int -> IPv4 # zeroBits :: IPv4 # bit :: Int -> IPv4 # setBit :: IPv4 -> Int -> IPv4 # clearBit :: IPv4 -> Int -> IPv4 # complementBit :: IPv4 -> Int -> IPv4 # testBit :: IPv4 -> Int -> Bool # bitSizeMaybe :: IPv4 -> Maybe Int # bitSize :: IPv4 -> Int # isSigned :: IPv4 -> Bool # shiftL :: IPv4 -> Int -> IPv4 # unsafeShiftL :: IPv4 -> Int -> IPv4 # shiftR :: IPv4 -> Int -> IPv4 # unsafeShiftR :: IPv4 -> Int -> IPv4 # rotateL :: IPv4 -> Int -> IPv4 # rotateR :: IPv4 -> Int -> IPv4 # popCount :: IPv4 -> Int #
FiniteBits IPv4 Source #
Methods finiteBitSize :: IPv4 -> Int # countLeadingZeros :: IPv4 -> Int # countTrailingZeros :: IPv4 -> Int #
Hashable IPv4 Source #
Methods hashWithSalt :: Int -> IPv4 -> Int # hash :: IPv4 -> Int #
Prim IPv4 Source #
Methods sizeOf# :: IPv4 -> Int# # alignment# :: IPv4 -> Int# # indexByteArray# :: ByteArray# -> Int# -> IPv4 # readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (#VoidRep, PtrRepLifted, State# s, IPv4#) # writeByteArray# :: MutableByteArray# s -> Int# -> IPv4 -> State# s -> State# s # setByteArray# :: MutableByteArray# s -> Int# -> Int# -> IPv4 -> State# s -> State# s # indexOffAddr# :: Addr# -> Int# -> IPv4 # readOffAddr# :: Addr# -> Int# -> State# s -> (#VoidRep, PtrRepLifted, State# s, IPv4#) # writeOffAddr# :: Addr# -> Int# -> IPv4 -> State# s -> State# s # setOffAddr# :: Addr# -> Int# -> Int# -> IPv4 -> State# s -> State# s #
Unbox IPv4 Source #

Vector Vector IPv4 Source #
Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) IPv4 -> m (Vector IPv4) # basicUnsafeThaw :: PrimMonad m => Vector IPv4 -> m (Mutable Vector (PrimState m) IPv4) # basicLength :: Vector IPv4 -> Int # basicUnsafeSlice :: Int -> Int -> Vector IPv4 -> Vector IPv4 # basicUnsafeIndexM :: Monad m => Vector IPv4 -> Int -> m IPv4 # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) IPv4 -> Vector IPv4 -> m () # elemseq :: Vector IPv4 -> IPv4 -> b -> b #
MVector MVector IPv4 Source #
Methods basicLength :: MVector s IPv4 -> Int # basicUnsafeSlice :: Int -> Int -> MVector s IPv4 -> MVector s IPv4 # basicOverlaps :: MVector s IPv4 -> MVector s IPv4 -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) IPv4) # basicInitialize :: PrimMonad m => MVector (PrimState m) IPv4 -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> IPv4 -> m (MVector (PrimState m) IPv4) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) IPv4 -> Int -> m IPv4 # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) IPv4 -> Int -> IPv4 -> m () # basicClear :: PrimMonad m => MVector (PrimState m) IPv4 -> m () # basicSet :: PrimMonad m => MVector (PrimState m) IPv4 -> IPv4 -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) IPv4 -> MVector (PrimState m) IPv4 -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) IPv4 -> MVector (PrimState m) IPv4 -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) IPv4 -> Int -> m (MVector (PrimState m) IPv4) #
type Rep IPv4 Source #
type Rep IPv4 = D1 (MetaData "IPv4" "Net.Types" "ip-0.8.7-IDh23YgdxRFETnt46k1vfS" True) (C1 (MetaCons "IPv4" PrefixI True) (S1 (MetaSel (Just Symbol "getIPv4") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))
data Vector IPv4 Source #
data Vector IPv4 = V_IPv4 (Vector IPv4)
data MVector s IPv4 Source #
data MVector s IPv4 = MV_IPv4 (MVector s IPv4)

data IPv6 Source #

A 128-bit Internet Protocol version 6 address.

Constructors

IPv6
Fields ipv6A :: !Word64 ipv6B :: !Word64

Instances

Eq IPv6 Source #
Methods (==) :: IPv6 -> IPv6 -> Bool # (/=) :: IPv6 -> IPv6 -> Bool #
Ord IPv6 Source #
Methods compare :: IPv6 -> IPv6 -> Ordering # (<) :: IPv6 -> IPv6 -> Bool # (<=) :: IPv6 -> IPv6 -> Bool # (>) :: IPv6 -> IPv6 -> Bool # (>=) :: IPv6 -> IPv6 -> Bool # max :: IPv6 -> IPv6 -> IPv6 # min :: IPv6 -> IPv6 -> IPv6 #
Read IPv6 Source #
Methods readsPrec :: Int -> ReadS IPv6 # readList :: ReadS [IPv6] # readPrec :: ReadPrec IPv6 # readListPrec :: ReadPrec [IPv6] #
Show IPv6 Source #
Methods showsPrec :: Int -> IPv6 -> ShowS # show :: IPv6 -> String # showList :: [IPv6] -> ShowS #

newtype IP Source #

A 32-bit IPv4 address or a 128-bit IPv6 address. Internally, this is just represented as an IPv6 address. The functions provided in Net.IP help simulate pattern matching on it.

Constructors

IP
Fields getIP :: IPv6

Instances

Eq IP Source #
Methods (==) :: IP -> IP -> Bool # (/=) :: IP -> IP -> Bool #
Ord IP Source #
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 Source #
Methods readsPrec :: Int -> ReadS IP # readList :: ReadS [IP] # readPrec :: ReadPrec IP # readListPrec :: ReadPrec [IP] #
Show IP Source #
Methods showsPrec :: Int -> IP -> ShowS # show :: IP -> String # showList :: [IP] -> ShowS #

data IPv4Range Source #

The length should be between 0 and 32. These bounds are inclusive. This expectation is not in any way enforced by this library because it does not cause errors. A mask length greater than 32 will be treated as if it were 32.

Constructors

IPv4Range
Fields ipv4RangeBase :: !IPv4 ipv4RangeLength :: !Word8

Instances

Eq IPv4Range Source #
Methods (==) :: IPv4Range -> IPv4Range -> Bool # (/=) :: IPv4Range -> IPv4Range -> Bool #
Ord IPv4Range Source #
Methods compare :: IPv4Range -> IPv4Range -> Ordering # (<) :: IPv4Range -> IPv4Range -> Bool # (<=) :: IPv4Range -> IPv4Range -> Bool # (>) :: IPv4Range -> IPv4Range -> Bool # (>=) :: IPv4Range -> IPv4Range -> Bool # max :: IPv4Range -> IPv4Range -> IPv4Range # min :: IPv4Range -> IPv4Range -> IPv4Range #
Read IPv4Range Source #
Methods readsPrec :: Int -> ReadS IPv4Range # readList :: ReadS [IPv4Range] # readPrec :: ReadPrec IPv4Range # readListPrec :: ReadPrec [IPv4Range] #
Show IPv4Range Source #
Methods showsPrec :: Int -> IPv4Range -> ShowS # show :: IPv4Range -> String # showList :: [IPv4Range] -> ShowS #
Generic IPv4Range Source #
Associated Types type Rep IPv4Range :: * -> * # Methods from :: IPv4Range -> Rep IPv4Range x # to :: Rep IPv4Range x -> IPv4Range #
ToJSON IPv4Range Source #
Methods toJSON :: IPv4Range -> Value # toEncoding :: IPv4Range -> Encoding #
FromJSON IPv4Range Source #
Methods parseJSON :: Value -> Parser IPv4Range #
Hashable IPv4Range Source #
Methods hashWithSalt :: Int -> IPv4Range -> Int # hash :: IPv4Range -> Int #
Unbox IPv4Range Source #

Vector Vector IPv4Range Source #
Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) IPv4Range -> m (Vector IPv4Range) # basicUnsafeThaw :: PrimMonad m => Vector IPv4Range -> m (Mutable Vector (PrimState m) IPv4Range) # basicLength :: Vector IPv4Range -> Int # basicUnsafeSlice :: Int -> Int -> Vector IPv4Range -> Vector IPv4Range # basicUnsafeIndexM :: Monad m => Vector IPv4Range -> Int -> m IPv4Range # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) IPv4Range -> Vector IPv4Range -> m () # elemseq :: Vector IPv4Range -> IPv4Range -> b -> b #
MVector MVector IPv4Range Source #
Methods basicLength :: MVector s IPv4Range -> Int # basicUnsafeSlice :: Int -> Int -> MVector s IPv4Range -> MVector s IPv4Range # basicOverlaps :: MVector s IPv4Range -> MVector s IPv4Range -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) IPv4Range) # basicInitialize :: PrimMonad m => MVector (PrimState m) IPv4Range -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> IPv4Range -> m (MVector (PrimState m) IPv4Range) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) IPv4Range -> Int -> m IPv4Range # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) IPv4Range -> Int -> IPv4Range -> m () # basicClear :: PrimMonad m => MVector (PrimState m) IPv4Range -> m () # basicSet :: PrimMonad m => MVector (PrimState m) IPv4Range -> IPv4Range -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) IPv4Range -> MVector (PrimState m) IPv4Range -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) IPv4Range -> MVector (PrimState m) IPv4Range -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) IPv4Range -> Int -> m (MVector (PrimState m) IPv4Range) #
type Rep IPv4Range Source #
type Rep IPv4Range = D1 (MetaData "IPv4Range" "Net.Types" "ip-0.8.7-IDh23YgdxRFETnt46k1vfS" False) (C1 (MetaCons "IPv4Range" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "ipv4RangeBase") SourceUnpack SourceStrict DecidedUnpack) (Rec0 IPv4)) (S1 (MetaSel (Just Symbol "ipv4RangeLength") SourceUnpack SourceStrict DecidedUnpack) (Rec0 Word8))))
data Vector IPv4Range Source #
data Vector IPv4Range = V_IPv4Range !Int !(Vector IPv4) !(Vector Word8)
data MVector s IPv4Range Source #
data MVector s IPv4Range = MV_IPv4Range !Int !(MVector s IPv4) !(MVector s Word8)

data Mac Source #

A 48-bit MAC address.

Constructors

Mac
Fields macA :: !Word16 macB :: !Word32

Instances

Eq Mac Source #
Methods (==) :: Mac -> Mac -> Bool # (/=) :: Mac -> Mac -> Bool #
Ord Mac Source #
Methods compare :: Mac -> Mac -> Ordering # (<) :: Mac -> Mac -> Bool # (<=) :: Mac -> Mac -> Bool # (>) :: Mac -> Mac -> Bool # (>=) :: Mac -> Mac -> Bool # max :: Mac -> Mac -> Mac # min :: Mac -> Mac -> Mac #
Read Mac Source #
Methods readsPrec :: Int -> ReadS Mac # readList :: ReadS [Mac] # readPrec :: ReadPrec Mac # readListPrec :: ReadPrec [Mac] #
Show Mac Source #
Methods showsPrec :: Int -> Mac -> ShowS # show :: Mac -> String # showList :: [Mac] -> ShowS #
Generic Mac Source #
Associated Types type Rep Mac :: * -> * # Methods from :: Mac -> Rep Mac x # to :: Rep Mac x -> Mac #
ToJSON Mac Source #
Methods toJSON :: Mac -> Value # toEncoding :: Mac -> Encoding #
FromJSON Mac Source #
Methods parseJSON :: Value -> Parser Mac #
Hashable Mac Source #
Methods hashWithSalt :: Int -> Mac -> Int # hash :: Mac -> Int #
Unbox Mac Source #

Vector Vector Mac Source #
Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Mac -> m (Vector Mac) # basicUnsafeThaw :: PrimMonad m => Vector Mac -> m (Mutable Vector (PrimState m) Mac) # basicLength :: Vector Mac -> Int # basicUnsafeSlice :: Int -> Int -> Vector Mac -> Vector Mac # basicUnsafeIndexM :: Monad m => Vector Mac -> Int -> m Mac # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Mac -> Vector Mac -> m () # elemseq :: Vector Mac -> Mac -> b -> b #
MVector MVector Mac Source #
Methods basicLength :: MVector s Mac -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Mac -> MVector s Mac # basicOverlaps :: MVector s Mac -> MVector s Mac -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Mac) # basicInitialize :: PrimMonad m => MVector (PrimState m) Mac -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Mac -> m (MVector (PrimState m) Mac) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Mac -> Int -> m Mac # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Mac -> Int -> Mac -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Mac -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Mac -> Mac -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Mac -> MVector (PrimState m) Mac -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Mac -> MVector (PrimState m) Mac -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Mac -> Int -> m (MVector (PrimState m) Mac) #
type Rep Mac Source #
type Rep Mac = D1 (MetaData "Mac" "Net.Types" "ip-0.8.7-IDh23YgdxRFETnt46k1vfS" False) (C1 (MetaCons "Mac" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "macA") SourceUnpack SourceStrict DecidedUnpack) (Rec0 Word16)) (S1 (MetaSel (Just Symbol "macB") SourceUnpack SourceStrict DecidedUnpack) (Rec0 Word32))))
data Vector Mac Source #
data Vector Mac = V_Mac !Int !(Vector Word16) !(Vector Word32)
data MVector s Mac Source #
data MVector s Mac = MV_Mac !Int !(MVector s Word16) !(MVector s Word32)

data MacEncoding Source #

Constructors

MacEncoding
Fields macEncodingSeparator :: !Word8 ASCII value of the separator macEncodingUpperCase :: !Bool

Instances

Eq MacEncoding Source #
Methods (==) :: MacEncoding -> MacEncoding -> Bool # (/=) :: MacEncoding -> MacEncoding -> Bool #
Ord MacEncoding Source #
Methods compare :: MacEncoding -> MacEncoding -> Ordering # (<) :: MacEncoding -> MacEncoding -> Bool # (<=) :: MacEncoding -> MacEncoding -> Bool # (>) :: MacEncoding -> MacEncoding -> Bool # (>=) :: MacEncoding -> MacEncoding -> Bool # max :: MacEncoding -> MacEncoding -> MacEncoding # min :: MacEncoding -> MacEncoding -> MacEncoding #
Read MacEncoding Source #
Methods readsPrec :: Int -> ReadS MacEncoding # readList :: ReadS [MacEncoding] # readPrec :: ReadPrec MacEncoding # readListPrec :: ReadPrec [MacEncoding] #
Show MacEncoding Source #
Methods showsPrec :: Int -> MacEncoding -> ShowS # show :: MacEncoding -> String # showList :: [MacEncoding] -> ShowS #
Generic MacEncoding Source #
Associated Types type Rep MacEncoding :: * -> * # Methods from :: MacEncoding -> Rep MacEncoding x # to :: Rep MacEncoding x -> MacEncoding #
type Rep MacEncoding Source #
type Rep MacEncoding = D1 (MetaData "MacEncoding" "Net.Types" "ip-0.8.7-IDh23YgdxRFETnt46k1vfS" False) (C1 (MetaCons "MacEncoding" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "macEncodingSeparator") SourceUnpack SourceStrict DecidedUnpack) (Rec0 Word8)) (S1 (MetaSel (Just Symbol "macEncodingUpperCase") SourceUnpack SourceStrict DecidedStrict) (Rec0 Bool))))

newtype MacDecoding Source #

Constructors

MacDecoding
Fields macDecodingSeparator :: Maybe Word8