Safe Haskell	None
Language	Haskell2010

Network.IP.Addr

Contents

Host address
Network address
Port number
Socket address

Description

Internet Protocol addressing.

Synopsis

newtype IP4 = IP4 {
- unIP4 :: Word32
}
anIP4 :: Proxy IP4
ip4ToOctets :: IP4 -> (Word8, Word8, Word8, Word8)
ip4ToOctetList :: IP4 -> [Word8]
ip4FromOctets :: Word8 -> Word8 -> Word8 -> Word8 -> IP4
ip4FromOctetList :: [Word8] -> Maybe IP4
anyIP4 :: IP4
loopbackIP4 :: IP4
broadcastIP4 :: IP4
data Range4
- = GeneralIP4
- | ThisHostIP4
- | PrivateUseIP4
- | SharedSpaceIP4
- | LoopbackIP4
- | LinkLocalIP4
- | ReservedIP4
- | DSLiteIP4
- | DocumentationIP4
- | IP6To4IP4
- | BenchmarkingIP4
- | MulticastIP4
- | FutureUseIP4
- | BroadcastIP4
ip4Range :: IP4 -> Range4
newtype IP6 = IP6 {
- unIP6 :: Word128
}
anIP6 :: Proxy IP6
ip6ToWords :: IP6 -> (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)
ip6ToWordList :: IP6 -> [Word16]
ip6FromWords :: Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> IP6
ip6FromWordList :: [Word16] -> Maybe IP6
anyIP6 :: IP6
loopbackIP6 :: IP6
data Range6
- = GeneralIP6
- | AnyIP6
- | LoopbackIP6
- | IP4MappedIP6
- | IP4EmbeddedIP6
- | DiscardIP6
- | ReservedIP6
- | TeredoIP6
- | BenchmarkingIP6
- | DocumentationIP6
- | OrchidIP6
- | IP6To4IP6
- | UniqueLocalIP6
- | LinkLocalIP6
- | MulticastIP6
ip6Range :: IP6 -> Range6
data IP46 t₄ t₆
- = IPv4 t₄
- | IPv6 t₆
anIP46 :: Proxy IP46
anIP46Of :: Proxy t₄ -> Proxy t₆ -> Proxy (IP46 t₄ t₆)
type IP = IP46 IP4 IP6
anIP :: Proxy IP
class IsNetAddr n where
- type NetHost n
- netHost :: n -> NetHost n
- netHostIx :: n -> NetHost n
- netPrefix :: n -> NetHost n
- netMask :: n -> NetHost n
- netLength :: n -> Word8
- netAddr :: NetHost n -> Word8 -> n
- inNetwork :: NetHost n -> n -> Bool
type Net4Addr = NetAddr IP4
type Net6Addr = NetAddr IP6
data NetAddr a
aNetAddr :: Proxy NetAddr
aNetAddrOf :: Proxy a -> Proxy (NetAddr a)
aNet4Addr :: Proxy Net4Addr
aNet6Addr :: Proxy Net6Addr
aNetAddrIP :: Proxy (NetAddr IP)
net4Addr :: IP4 -> Word8 -> Net4Addr
net6Addr :: IP6 -> Word8 -> Net6Addr
toNetAddr46 :: NetAddr IP -> IP46 (NetAddr IP4) (NetAddr IP6)
fromNetAddr46 :: IP46 (NetAddr IP4) (NetAddr IP6) -> NetAddr IP
printNetAddr :: (IsNetAddr n, Printable (NetHost n), Printer p) => n -> p
net4Parser :: (CharParsing μ, Monad μ, IsNetAddr n, NetHost n ~ IP4) => μ n
net6Parser :: (CharParsing μ, Monad μ, IsNetAddr n, NetHost n ~ IP6) => μ n
netParser :: (IsNetAddr n, NetHost n ~ IP, CharParsing μ, Monad μ) => μ n
putNetAddr :: (IsNetAddr n, Serializable (NetHost n), Serializer s) => n -> s
getNetAddr :: (IsNetAddr n, Deserializable (NetHost n), Deserializer μ) => μ n
newtype InetPort = InetPort {
- unInetPort :: Word16
}
anInetPort :: Proxy InetPort
data InetAddr a = InetAddr {
- inetHost :: a
- inetPort :: !InetPort
}
type Inet4Addr = InetAddr IP4
type Inet6Addr = InetAddr IP6
anInetAddr :: Proxy InetAddr
anInetAddrOf :: Proxy a -> Proxy (InetAddr a)
anInet4Addr :: Proxy Inet4Addr
anInet6Addr :: Proxy Inet6Addr
anInetAddrIP :: Proxy (InetAddr IP)
toInetAddr46 :: InetAddr IP -> IP46 (InetAddr IP4) (InetAddr IP6)
fromInetAddr46 :: IP46 (InetAddr IP4) (InetAddr IP6) -> InetAddr IP

Host address

IPv4 address

newtype IP4 Source #

IPv4 address.

Constructors

IP4
Fields unIP4 :: Word32

Instances

Instances details

Bounded IP4 Source #
Instance details Defined in Network.IP.Addr Methods minBound :: IP4 maxBound :: IP4
Enum IP4 Source #
Instance details Defined in Network.IP.Addr Methods succ :: IP4 -> IP4 pred :: IP4 -> IP4 toEnum :: Int -> IP4 fromEnum :: IP4 -> Int enumFrom :: IP4 -> [IP4] enumFromThen :: IP4 -> IP4 -> [IP4] enumFromTo :: IP4 -> IP4 -> [IP4] enumFromThenTo :: IP4 -> IP4 -> IP4 -> [IP4]
Eq IP4 Source #
Instance details Defined in Network.IP.Addr Methods (==) :: IP4 -> IP4 -> Bool (/=) :: IP4 -> IP4 -> Bool
Data IP4 Source #
Instance details Defined in Network.IP.Addr Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IP4 -> c IP4 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IP4 toConstr :: IP4 -> Constr dataTypeOf :: IP4 -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IP4) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IP4) gmapT :: (forall b. Data b => b -> b) -> IP4 -> IP4 gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IP4 -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IP4 -> r gmapQ :: (forall d. Data d => d -> u) -> IP4 -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> IP4 -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> IP4 -> m IP4 gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IP4 -> m IP4 gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IP4 -> m IP4
Num IP4 Source #
Instance details Defined in Network.IP.Addr Methods (+) :: IP4 -> IP4 -> IP4 (-) :: IP4 -> IP4 -> IP4 (*) :: IP4 -> IP4 -> IP4 negate :: IP4 -> IP4 abs :: IP4 -> IP4 signum :: IP4 -> IP4 fromInteger :: Integer -> IP4
Ord IP4 Source #
Instance details Defined in Network.IP.Addr Methods compare :: IP4 -> IP4 -> Ordering (<) :: IP4 -> IP4 -> Bool (<=) :: IP4 -> IP4 -> Bool (>) :: IP4 -> IP4 -> Bool (>=) :: IP4 -> IP4 -> Bool max :: IP4 -> IP4 -> IP4 min :: IP4 -> IP4 -> IP4
Read Net4Addr Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS Net4Addr readList :: ReadS [Net4Addr] readPrec :: ReadPrec Net4Addr readListPrec :: ReadPrec [Net4Addr]
Read IP4 Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS IP4 readList :: ReadS [IP4] readPrec :: ReadPrec IP4 readListPrec :: ReadPrec [IP4]
Show IP4 Source #
Instance details Defined in Network.IP.Addr Methods showsPrec :: Int -> IP4 -> ShowS show :: IP4 -> String showList :: [IP4] -> ShowS
Ix IP4 Source #
Instance details Defined in Network.IP.Addr Methods range :: (IP4, IP4) -> [IP4] index :: (IP4, IP4) -> IP4 -> Int unsafeIndex :: (IP4, IP4) -> IP4 -> Int inRange :: (IP4, IP4) -> IP4 -> Bool rangeSize :: (IP4, IP4) -> Int unsafeRangeSize :: (IP4, IP4) -> Int
Bits IP4 Source #
Instance details Defined in Network.IP.Addr Methods (.&.) :: IP4 -> IP4 -> IP4 (.\|.) :: IP4 -> IP4 -> IP4 xor :: IP4 -> IP4 -> IP4 complement :: IP4 -> IP4 shift :: IP4 -> Int -> IP4 rotate :: IP4 -> Int -> IP4 zeroBits :: IP4 bit :: Int -> IP4 setBit :: IP4 -> Int -> IP4 clearBit :: IP4 -> Int -> IP4 complementBit :: IP4 -> Int -> IP4 testBit :: IP4 -> Int -> Bool bitSizeMaybe :: IP4 -> Maybe Int bitSize :: IP4 -> Int isSigned :: IP4 -> Bool shiftL :: IP4 -> Int -> IP4 unsafeShiftL :: IP4 -> Int -> IP4 shiftR :: IP4 -> Int -> IP4 unsafeShiftR :: IP4 -> Int -> IP4 rotateL :: IP4 -> Int -> IP4 rotateR :: IP4 -> Int -> IP4 popCount :: IP4 -> Int
Hashable IP4 Source #
Instance details Defined in Network.IP.Addr Methods hashWithSalt :: Int -> IP4 -> Int hash :: IP4 -> Int
Default IP4 Source #
Instance details Defined in Network.IP.Addr Methods def :: IP4
Serializable IP Source #
Instance details Defined in Network.IP.Addr Methods put :: Serializer s => IP -> s
Serializable IP4 Source #
Instance details Defined in Network.IP.Addr Methods put :: Serializer s => IP4 -> s
SizedSerializable IP4 Source #
Instance details Defined in Network.IP.Addr Methods size :: Proxy IP4 -> Int
Deserializable Net4Addr Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ Net4Addr
Deserializable IP Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ IP
Deserializable IP4 Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ IP4
Printable Inet4Addr Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => Inet4Addr -> p
Printable IP Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => IP -> p
Printable IP4 Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => IP4 -> p
Textual Inet4Addr Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ Inet4Addr
Textual Net4Addr Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ Net4Addr
Textual IP Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ IP
Textual IP4 Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ IP4
Storable IP4 Source #
Instance details Defined in Network.IP.Addr Methods sizeOf :: IP4 -> Int alignment :: IP4 -> Int peekElemOff :: Ptr IP4 -> Int -> IO IP4 pokeElemOff :: Ptr IP4 -> Int -> IP4 -> IO () peekByteOff :: Ptr b -> Int -> IO IP4 pokeByteOff :: Ptr b -> Int -> IP4 -> IO () peek :: Ptr IP4 -> IO IP4 poke :: Ptr IP4 -> IP4 -> IO ()
IsNetAddr Net4Addr Source #
Instance details Defined in Network.IP.Addr Associated Types type NetHost Net4Addr Source # Methods netHost :: Net4Addr -> NetHost Net4Addr Source # netHostIx :: Net4Addr -> NetHost Net4Addr Source # netPrefix :: Net4Addr -> NetHost Net4Addr Source # netMask :: Net4Addr -> NetHost Net4Addr Source # netLength :: Net4Addr -> Word8 Source # netAddr :: NetHost Net4Addr -> Word8 -> Net4Addr Source # inNetwork :: NetHost Net4Addr -> Net4Addr -> Bool Source #
Read (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS (NetAddr IP) readList :: ReadS [NetAddr IP] readPrec :: ReadPrec (NetAddr IP) readListPrec :: ReadPrec [NetAddr IP]
Deserializable (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ (NetAddr IP)
Printable (InetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => InetAddr IP -> p
Textual (InetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ (InetAddr IP)
Textual (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ (NetAddr IP)
IsNetAddr (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Associated Types type NetHost (NetAddr IP) Source # Methods netHost :: NetAddr IP -> NetHost (NetAddr IP) Source # netHostIx :: NetAddr IP -> NetHost (NetAddr IP) Source # netPrefix :: NetAddr IP -> NetHost (NetAddr IP) Source # netMask :: NetAddr IP -> NetHost (NetAddr IP) Source # netLength :: NetAddr IP -> Word8 Source # netAddr :: NetHost (NetAddr IP) -> Word8 -> NetAddr IP Source # inNetwork :: NetHost (NetAddr IP) -> NetAddr IP -> Bool Source #
type NetHost Net4Addr Source #
Instance details Defined in Network.IP.Addr type NetHost Net4Addr = IP4
type NetHost (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr type NetHost (NetAddr IP) = IP

anIP4 :: Proxy IP4 Source #

IP4 proxy value.

ip4ToOctets :: IP4 -> (Word8, Word8, Word8, Word8) Source #

The octets of an IPv4 address.

ip4ToOctetList :: IP4 -> [Word8] Source #

List the octets of an IPv4 address.

ip4FromOctets :: Word8 -> Word8 -> Word8 -> Word8 -> IP4 Source #

Assemble IPv4 address from the octets.

ip4FromOctetList :: [Word8] -> Maybe IP4 Source #

Assemble IPv4 address from the octet list.

anyIP4 :: IP4 Source #

IPv4 address 0.0.0.0.

loopbackIP4 :: IP4 Source #

IPv4 address 127.0.0.1.

broadcastIP4 :: IP4 Source #

IPv4 address 255.255.255.255.

data Range4 Source #

IPv4 address range classification (per RFC6890).

Constructors

GeneralIP4	General IPv4 address.
ThisHostIP4	This host on this network.
PrivateUseIP4	Private-Use networks.
SharedSpaceIP4	Shared address space.
LoopbackIP4	Loopback address.
LinkLocalIP4	Link local address.
ReservedIP4	Reserved address.
DSLiteIP4	Dual-Stack Lite.
DocumentationIP4	Reserved for documentation.
IP6To4IP4	6to4.
BenchmarkingIP4	Benchmark testing.
MulticastIP4	Multicast address.
FutureUseIP4	Future use.
BroadcastIP4	Limited broadcast.

Instances

Instances details

Enum Range4 Source #
Instance details Defined in Network.IP.Addr Methods succ :: Range4 -> Range4 pred :: Range4 -> Range4 toEnum :: Int -> Range4 fromEnum :: Range4 -> Int enumFrom :: Range4 -> [Range4] enumFromThen :: Range4 -> Range4 -> [Range4] enumFromTo :: Range4 -> Range4 -> [Range4] enumFromThenTo :: Range4 -> Range4 -> Range4 -> [Range4]
Eq Range4 Source #
Instance details Defined in Network.IP.Addr Methods (==) :: Range4 -> Range4 -> Bool (/=) :: Range4 -> Range4 -> Bool
Data Range4 Source #
Instance details Defined in Network.IP.Addr Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Range4 -> c Range4 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Range4 toConstr :: Range4 -> Constr dataTypeOf :: Range4 -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Range4) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Range4) gmapT :: (forall b. Data b => b -> b) -> Range4 -> Range4 gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Range4 -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Range4 -> r gmapQ :: (forall d. Data d => d -> u) -> Range4 -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Range4 -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Range4 -> m Range4 gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Range4 -> m Range4 gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Range4 -> m Range4
Ord Range4 Source #
Instance details Defined in Network.IP.Addr Methods compare :: Range4 -> Range4 -> Ordering (<) :: Range4 -> Range4 -> Bool (<=) :: Range4 -> Range4 -> Bool (>) :: Range4 -> Range4 -> Bool (>=) :: Range4 -> Range4 -> Bool max :: Range4 -> Range4 -> Range4 min :: Range4 -> Range4 -> Range4
Read Range4 Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS Range4 readList :: ReadS [Range4] readPrec :: ReadPrec Range4 readListPrec :: ReadPrec [Range4]
Show Range4 Source #
Instance details Defined in Network.IP.Addr Methods showsPrec :: Int -> Range4 -> ShowS show :: Range4 -> String showList :: [Range4] -> ShowS

ip4Range :: IP4 -> Range4 Source #

Determine the address range type.

IPv6 address

newtype IP6 Source #

IPv6 address.

Constructors

IP6
Fields unIP6 :: Word128

Instances

Instances details

Bounded IP6 Source #
Instance details Defined in Network.IP.Addr Methods minBound :: IP6 maxBound :: IP6
Enum IP6 Source #
Instance details Defined in Network.IP.Addr Methods succ :: IP6 -> IP6 pred :: IP6 -> IP6 toEnum :: Int -> IP6 fromEnum :: IP6 -> Int enumFrom :: IP6 -> [IP6] enumFromThen :: IP6 -> IP6 -> [IP6] enumFromTo :: IP6 -> IP6 -> [IP6] enumFromThenTo :: IP6 -> IP6 -> IP6 -> [IP6]
Eq IP6 Source #
Instance details Defined in Network.IP.Addr Methods (==) :: IP6 -> IP6 -> Bool (/=) :: IP6 -> IP6 -> Bool
Data IP6 Source #
Instance details Defined in Network.IP.Addr Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IP6 -> c IP6 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IP6 toConstr :: IP6 -> Constr dataTypeOf :: IP6 -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IP6) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IP6) gmapT :: (forall b. Data b => b -> b) -> IP6 -> IP6 gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IP6 -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IP6 -> r gmapQ :: (forall d. Data d => d -> u) -> IP6 -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> IP6 -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> IP6 -> m IP6 gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IP6 -> m IP6 gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IP6 -> m IP6
Num IP6 Source #
Instance details Defined in Network.IP.Addr Methods (+) :: IP6 -> IP6 -> IP6 (-) :: IP6 -> IP6 -> IP6 (*) :: IP6 -> IP6 -> IP6 negate :: IP6 -> IP6 abs :: IP6 -> IP6 signum :: IP6 -> IP6 fromInteger :: Integer -> IP6
Ord IP6 Source #
Instance details Defined in Network.IP.Addr Methods compare :: IP6 -> IP6 -> Ordering (<) :: IP6 -> IP6 -> Bool (<=) :: IP6 -> IP6 -> Bool (>) :: IP6 -> IP6 -> Bool (>=) :: IP6 -> IP6 -> Bool max :: IP6 -> IP6 -> IP6 min :: IP6 -> IP6 -> IP6
Read Net6Addr Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS Net6Addr readList :: ReadS [Net6Addr] readPrec :: ReadPrec Net6Addr readListPrec :: ReadPrec [Net6Addr]
Read IP6 Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS IP6 readList :: ReadS [IP6] readPrec :: ReadPrec IP6 readListPrec :: ReadPrec [IP6]
Show IP6 Source #
Instance details Defined in Network.IP.Addr Methods showsPrec :: Int -> IP6 -> ShowS show :: IP6 -> String showList :: [IP6] -> ShowS
Ix IP6 Source #
Instance details Defined in Network.IP.Addr Methods range :: (IP6, IP6) -> [IP6] index :: (IP6, IP6) -> IP6 -> Int unsafeIndex :: (IP6, IP6) -> IP6 -> Int inRange :: (IP6, IP6) -> IP6 -> Bool rangeSize :: (IP6, IP6) -> Int unsafeRangeSize :: (IP6, IP6) -> Int
Bits IP6 Source #
Instance details Defined in Network.IP.Addr Methods (.&.) :: IP6 -> IP6 -> IP6 (.\|.) :: IP6 -> IP6 -> IP6 xor :: IP6 -> IP6 -> IP6 complement :: IP6 -> IP6 shift :: IP6 -> Int -> IP6 rotate :: IP6 -> Int -> IP6 zeroBits :: IP6 bit :: Int -> IP6 setBit :: IP6 -> Int -> IP6 clearBit :: IP6 -> Int -> IP6 complementBit :: IP6 -> Int -> IP6 testBit :: IP6 -> Int -> Bool bitSizeMaybe :: IP6 -> Maybe Int bitSize :: IP6 -> Int isSigned :: IP6 -> Bool shiftL :: IP6 -> Int -> IP6 unsafeShiftL :: IP6 -> Int -> IP6 shiftR :: IP6 -> Int -> IP6 unsafeShiftR :: IP6 -> Int -> IP6 rotateL :: IP6 -> Int -> IP6 rotateR :: IP6 -> Int -> IP6 popCount :: IP6 -> Int
Hashable IP6 Source #
Instance details Defined in Network.IP.Addr Methods hashWithSalt :: Int -> IP6 -> Int hash :: IP6 -> Int
Default IP6 Source #
Instance details Defined in Network.IP.Addr Methods def :: IP6
Serializable IP Source #
Instance details Defined in Network.IP.Addr Methods put :: Serializer s => IP -> s
Serializable IP6 Source #
Instance details Defined in Network.IP.Addr Methods put :: Serializer s => IP6 -> s
SizedSerializable IP6 Source #
Instance details Defined in Network.IP.Addr Methods size :: Proxy IP6 -> Int
Deserializable Net6Addr Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ Net6Addr
Deserializable IP Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ IP
Deserializable IP6 Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ IP6
Printable Inet6Addr Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => Inet6Addr -> p
Printable IP Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => IP -> p
Printable IP6 Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => IP6 -> p
Textual Inet6Addr Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ Inet6Addr
Textual Net6Addr Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ Net6Addr
Textual IP Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ IP
Textual IP6 Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ IP6
Storable IP6 Source #
Instance details Defined in Network.IP.Addr Methods sizeOf :: IP6 -> Int alignment :: IP6 -> Int peekElemOff :: Ptr IP6 -> Int -> IO IP6 pokeElemOff :: Ptr IP6 -> Int -> IP6 -> IO () peekByteOff :: Ptr b -> Int -> IO IP6 pokeByteOff :: Ptr b -> Int -> IP6 -> IO () peek :: Ptr IP6 -> IO IP6 poke :: Ptr IP6 -> IP6 -> IO ()
IsNetAddr Net6Addr Source #
Instance details Defined in Network.IP.Addr Associated Types type NetHost Net6Addr Source # Methods netHost :: Net6Addr -> NetHost Net6Addr Source # netHostIx :: Net6Addr -> NetHost Net6Addr Source # netPrefix :: Net6Addr -> NetHost Net6Addr Source # netMask :: Net6Addr -> NetHost Net6Addr Source # netLength :: Net6Addr -> Word8 Source # netAddr :: NetHost Net6Addr -> Word8 -> Net6Addr Source # inNetwork :: NetHost Net6Addr -> Net6Addr -> Bool Source #
Read (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS (NetAddr IP) readList :: ReadS [NetAddr IP] readPrec :: ReadPrec (NetAddr IP) readListPrec :: ReadPrec [NetAddr IP]
Deserializable (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ (NetAddr IP)
Printable (InetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => InetAddr IP -> p
Textual (InetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ (InetAddr IP)
Textual (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ (NetAddr IP)
IsNetAddr (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Associated Types type NetHost (NetAddr IP) Source # Methods netHost :: NetAddr IP -> NetHost (NetAddr IP) Source # netHostIx :: NetAddr IP -> NetHost (NetAddr IP) Source # netPrefix :: NetAddr IP -> NetHost (NetAddr IP) Source # netMask :: NetAddr IP -> NetHost (NetAddr IP) Source # netLength :: NetAddr IP -> Word8 Source # netAddr :: NetHost (NetAddr IP) -> Word8 -> NetAddr IP Source # inNetwork :: NetHost (NetAddr IP) -> NetAddr IP -> Bool Source #
type NetHost Net6Addr Source #
Instance details Defined in Network.IP.Addr type NetHost Net6Addr = IP6
type NetHost (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr type NetHost (NetAddr IP) = IP

anIP6 :: Proxy IP6 Source #

IP6 proxy value.

ip6ToWords :: IP6 -> (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) Source #

The 16-bit pieces of an IPv6 address.

ip6ToWordList :: IP6 -> [Word16] Source #

List the 16-bit pieces of an IPv6 address.

ip6FromWords :: Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> Word16 -> IP6 Source #

Assemble IPv6 address from the 16-bit pieces.

ip6FromWordList :: [Word16] -> Maybe IP6 Source #

Assemble IPv6 address from the list of 16-bit pieces.

anyIP6 :: IP6 Source #

IPv6 address ::.

loopbackIP6 :: IP6 Source #

IPv6 address ::1.

data Range6 Source #

IPv6 address range classification (per RFC6890).

Constructors

GeneralIP6	General IPv6 address.
AnyIP6	Unspecified address.
LoopbackIP6	Loopback address.
IP4MappedIP6	Mapped IPv4 address.
IP4EmbeddedIP6	Embedded IPv4 address.
DiscardIP6	Discard address.
ReservedIP6	Reserved address.
TeredoIP6	Teredo address.
BenchmarkingIP6	Benchmark testing.
DocumentationIP6	Reserved for documentation.
OrchidIP6	ORCHID address.
IP6To4IP6	6to4.
UniqueLocalIP6	Unique local address.
LinkLocalIP6	Link local address.
MulticastIP6	Multicast address.

Instances

Instances details

Enum Range6 Source #
Instance details Defined in Network.IP.Addr Methods succ :: Range6 -> Range6 pred :: Range6 -> Range6 toEnum :: Int -> Range6 fromEnum :: Range6 -> Int enumFrom :: Range6 -> [Range6] enumFromThen :: Range6 -> Range6 -> [Range6] enumFromTo :: Range6 -> Range6 -> [Range6] enumFromThenTo :: Range6 -> Range6 -> Range6 -> [Range6]
Eq Range6 Source #
Instance details Defined in Network.IP.Addr Methods (==) :: Range6 -> Range6 -> Bool (/=) :: Range6 -> Range6 -> Bool
Data Range6 Source #
Instance details Defined in Network.IP.Addr Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Range6 -> c Range6 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Range6 toConstr :: Range6 -> Constr dataTypeOf :: Range6 -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Range6) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Range6) gmapT :: (forall b. Data b => b -> b) -> Range6 -> Range6 gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Range6 -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Range6 -> r gmapQ :: (forall d. Data d => d -> u) -> Range6 -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Range6 -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Range6 -> m Range6 gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Range6 -> m Range6 gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Range6 -> m Range6
Ord Range6 Source #
Instance details Defined in Network.IP.Addr Methods compare :: Range6 -> Range6 -> Ordering (<) :: Range6 -> Range6 -> Bool (<=) :: Range6 -> Range6 -> Bool (>) :: Range6 -> Range6 -> Bool (>=) :: Range6 -> Range6 -> Bool max :: Range6 -> Range6 -> Range6 min :: Range6 -> Range6 -> Range6
Read Range6 Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS Range6 readList :: ReadS [Range6] readPrec :: ReadPrec Range6 readListPrec :: ReadPrec [Range6]
Show Range6 Source #
Instance details Defined in Network.IP.Addr Methods showsPrec :: Int -> Range6 -> ShowS show :: Range6 -> String showList :: [Range6] -> ShowS

ip6Range :: IP6 -> Range6 Source #

Determine the address range type.

IP address

data IP46 t₄ t₆ Source #

IPv4- or IPv6-specific data.

Constructors

IPv4 t₄
IPv6 t₆

Instances

Instances details

Serializable IP Source #
Instance details Defined in Network.IP.Addr Methods put :: Serializer s => IP -> s
Deserializable IP Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ IP
Printable IP Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => IP -> p
Textual IP Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ IP
Read (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS (NetAddr IP) readList :: ReadS [NetAddr IP] readPrec :: ReadPrec (NetAddr IP) readListPrec :: ReadPrec [NetAddr IP]
Deserializable (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ (NetAddr IP)
Printable (InetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => InetAddr IP -> p
Textual (InetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ (InetAddr IP)
Textual (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ (NetAddr IP)
IsNetAddr (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Associated Types type NetHost (NetAddr IP) Source # Methods netHost :: NetAddr IP -> NetHost (NetAddr IP) Source # netHostIx :: NetAddr IP -> NetHost (NetAddr IP) Source # netPrefix :: NetAddr IP -> NetHost (NetAddr IP) Source # netMask :: NetAddr IP -> NetHost (NetAddr IP) Source # netLength :: NetAddr IP -> Word8 Source # netAddr :: NetHost (NetAddr IP) -> Word8 -> NetAddr IP Source # inNetwork :: NetHost (NetAddr IP) -> NetAddr IP -> Bool Source #
(Eq t₄, Eq t₆) => Eq (IP46 t₄ t₆) Source #
Instance details Defined in Network.IP.Addr Methods (==) :: IP46 t₄ t₆ -> IP46 t₄ t₆ -> Bool (/=) :: IP46 t₄ t₆ -> IP46 t₄ t₆ -> Bool
(Data t₄, Data t₆) => Data (IP46 t₄ t₆) Source #
Instance details Defined in Network.IP.Addr Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IP46 t₄ t₆ -> c (IP46 t₄ t₆) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (IP46 t₄ t₆) toConstr :: IP46 t₄ t₆ -> Constr dataTypeOf :: IP46 t₄ t₆ -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (IP46 t₄ t₆)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (IP46 t₄ t₆)) gmapT :: (forall b. Data b => b -> b) -> IP46 t₄ t₆ -> IP46 t₄ t₆ gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IP46 t₄ t₆ -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IP46 t₄ t₆ -> r gmapQ :: (forall d. Data d => d -> u) -> IP46 t₄ t₆ -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> IP46 t₄ t₆ -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> IP46 t₄ t₆ -> m (IP46 t₄ t₆) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IP46 t₄ t₆ -> m (IP46 t₄ t₆) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IP46 t₄ t₆ -> m (IP46 t₄ t₆)
(Ord t₄, Ord t₆) => Ord (IP46 t₄ t₆) Source #
Instance details Defined in Network.IP.Addr Methods compare :: IP46 t₄ t₆ -> IP46 t₄ t₆ -> Ordering (<) :: IP46 t₄ t₆ -> IP46 t₄ t₆ -> Bool (<=) :: IP46 t₄ t₆ -> IP46 t₄ t₆ -> Bool (>) :: IP46 t₄ t₆ -> IP46 t₄ t₆ -> Bool (>=) :: IP46 t₄ t₆ -> IP46 t₄ t₆ -> Bool max :: IP46 t₄ t₆ -> IP46 t₄ t₆ -> IP46 t₄ t₆ min :: IP46 t₄ t₆ -> IP46 t₄ t₆ -> IP46 t₄ t₆
(Read t₄, Read t₆) => Read (IP46 t₄ t₆) Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS (IP46 t₄ t₆) readList :: ReadS [IP46 t₄ t₆] readPrec :: ReadPrec (IP46 t₄ t₆) readListPrec :: ReadPrec [IP46 t₄ t₆]
(Show t₄, Show t₆) => Show (IP46 t₄ t₆) Source #
Instance details Defined in Network.IP.Addr Methods showsPrec :: Int -> IP46 t₄ t₆ -> ShowS show :: IP46 t₄ t₆ -> String showList :: [IP46 t₄ t₆] -> ShowS
type NetHost (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr type NetHost (NetAddr IP) = IP

anIP46 :: Proxy IP46 Source #

IP46 proxy value.

anIP46Of :: Proxy t₄ -> Proxy t₆ -> Proxy (IP46 t₄ t₆) Source #

IP46 t₄ t₆ proxy value.

type IP = IP46 IP4 IP6 Source #

IP address.

anIP :: Proxy IP Source #

IP proxy value.

Network address

class IsNetAddr n where Source #

Network address.

Associated Types

type NetHost n Source #

The address type.

Methods

netHost :: n -> NetHost n Source #

Host address.

netHostIx :: n -> NetHost n Source #

Host index.

netPrefix :: n -> NetHost n Source #

Network prefix.

netMask :: n -> NetHost n Source #

Network mask.

netLength :: n -> Word8 Source #

Network prefix length.

netAddr Source #

Arguments

:: NetHost n	Host address
-> Word8	Network prefix length
-> n

Make a network address.

inNetwork Source #

Arguments

:: NetHost n	Host address
-> n	Network address
-> Bool

Test if the address is in the network.

Instances

Instances details

IsNetAddr Net6Addr Source #
Instance details Defined in Network.IP.Addr Associated Types type NetHost Net6Addr Source # Methods netHost :: Net6Addr -> NetHost Net6Addr Source # netHostIx :: Net6Addr -> NetHost Net6Addr Source # netPrefix :: Net6Addr -> NetHost Net6Addr Source # netMask :: Net6Addr -> NetHost Net6Addr Source # netLength :: Net6Addr -> Word8 Source # netAddr :: NetHost Net6Addr -> Word8 -> Net6Addr Source # inNetwork :: NetHost Net6Addr -> Net6Addr -> Bool Source #
IsNetAddr Net4Addr Source #
Instance details Defined in Network.IP.Addr Associated Types type NetHost Net4Addr Source # Methods netHost :: Net4Addr -> NetHost Net4Addr Source # netHostIx :: Net4Addr -> NetHost Net4Addr Source # netPrefix :: Net4Addr -> NetHost Net4Addr Source # netMask :: Net4Addr -> NetHost Net4Addr Source # netLength :: Net4Addr -> Word8 Source # netAddr :: NetHost Net4Addr -> Word8 -> Net4Addr Source # inNetwork :: NetHost Net4Addr -> Net4Addr -> Bool Source #
IsNetAddr (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Associated Types type NetHost (NetAddr IP) Source # Methods netHost :: NetAddr IP -> NetHost (NetAddr IP) Source # netHostIx :: NetAddr IP -> NetHost (NetAddr IP) Source # netPrefix :: NetAddr IP -> NetHost (NetAddr IP) Source # netMask :: NetAddr IP -> NetHost (NetAddr IP) Source # netLength :: NetAddr IP -> Word8 Source # netAddr :: NetHost (NetAddr IP) -> Word8 -> NetAddr IP Source # inNetwork :: NetHost (NetAddr IP) -> NetAddr IP -> Bool Source #

type Net4Addr = NetAddr IP4 Source #

IPv4 network address.

type Net6Addr = NetAddr IP6 Source #

IPv6 network address.

data NetAddr a Source #

Network address: host address + network prefix length.

Instances

Instances details

Read Net6Addr Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS Net6Addr readList :: ReadS [Net6Addr] readPrec :: ReadPrec Net6Addr readListPrec :: ReadPrec [Net6Addr]
Read Net4Addr Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS Net4Addr readList :: ReadS [Net4Addr] readPrec :: ReadPrec Net4Addr readListPrec :: ReadPrec [Net4Addr]
Deserializable Net6Addr Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ Net6Addr
Deserializable Net4Addr Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ Net4Addr
Textual Net6Addr Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ Net6Addr
Textual Net4Addr Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ Net4Addr
IsNetAddr Net6Addr Source #
Instance details Defined in Network.IP.Addr Associated Types type NetHost Net6Addr Source # Methods netHost :: Net6Addr -> NetHost Net6Addr Source # netHostIx :: Net6Addr -> NetHost Net6Addr Source # netPrefix :: Net6Addr -> NetHost Net6Addr Source # netMask :: Net6Addr -> NetHost Net6Addr Source # netLength :: Net6Addr -> Word8 Source # netAddr :: NetHost Net6Addr -> Word8 -> Net6Addr Source # inNetwork :: NetHost Net6Addr -> Net6Addr -> Bool Source #
IsNetAddr Net4Addr Source #
Instance details Defined in Network.IP.Addr Associated Types type NetHost Net4Addr Source # Methods netHost :: Net4Addr -> NetHost Net4Addr Source # netHostIx :: Net4Addr -> NetHost Net4Addr Source # netPrefix :: Net4Addr -> NetHost Net4Addr Source # netMask :: Net4Addr -> NetHost Net4Addr Source # netLength :: Net4Addr -> Word8 Source # netAddr :: NetHost Net4Addr -> Word8 -> Net4Addr Source # inNetwork :: NetHost Net4Addr -> Net4Addr -> Bool Source #
Eq a => Eq (NetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods (==) :: NetAddr a -> NetAddr a -> Bool (/=) :: NetAddr a -> NetAddr a -> Bool
Data a => Data (NetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NetAddr a -> c (NetAddr a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (NetAddr a) toConstr :: NetAddr a -> Constr dataTypeOf :: NetAddr a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (NetAddr a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (NetAddr a)) gmapT :: (forall b. Data b => b -> b) -> NetAddr a -> NetAddr a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NetAddr a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NetAddr a -> r gmapQ :: (forall d. Data d => d -> u) -> NetAddr a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> NetAddr a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> NetAddr a -> m (NetAddr a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NetAddr a -> m (NetAddr a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NetAddr a -> m (NetAddr a)
Read (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS (NetAddr IP) readList :: ReadS [NetAddr IP] readPrec :: ReadPrec (NetAddr IP) readListPrec :: ReadPrec [NetAddr IP]
Show a => Show (NetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods showsPrec :: Int -> NetAddr a -> ShowS show :: NetAddr a -> String showList :: [NetAddr a] -> ShowS
Serializable a => Serializable (NetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods put :: Serializer s => NetAddr a -> s
SizedSerializable a => SizedSerializable (NetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods size :: Proxy (NetAddr a) -> Int
Deserializable (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ (NetAddr IP)
Printable a => Printable (NetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => NetAddr a -> p
Textual (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ (NetAddr IP)
IsNetAddr (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr Associated Types type NetHost (NetAddr IP) Source # Methods netHost :: NetAddr IP -> NetHost (NetAddr IP) Source # netHostIx :: NetAddr IP -> NetHost (NetAddr IP) Source # netPrefix :: NetAddr IP -> NetHost (NetAddr IP) Source # netMask :: NetAddr IP -> NetHost (NetAddr IP) Source # netLength :: NetAddr IP -> Word8 Source # netAddr :: NetHost (NetAddr IP) -> Word8 -> NetAddr IP Source # inNetwork :: NetHost (NetAddr IP) -> NetAddr IP -> Bool Source #
type NetHost Net6Addr Source #
Instance details Defined in Network.IP.Addr type NetHost Net6Addr = IP6
type NetHost Net4Addr Source #
Instance details Defined in Network.IP.Addr type NetHost Net4Addr = IP4
type NetHost (NetAddr IP) Source #
Instance details Defined in Network.IP.Addr type NetHost (NetAddr IP) = IP

aNetAddr :: Proxy NetAddr Source #

NetAddr proxy value.

aNetAddrOf :: Proxy a -> Proxy (NetAddr a) Source #

NetAddr a proxy value.

aNet4Addr :: Proxy Net4Addr Source #

Net4Addr proxy value.

aNet6Addr :: Proxy Net6Addr Source #

Net6Addr proxy value.

aNetAddrIP :: Proxy (NetAddr IP) Source #

NetAddr IP proxy value.

net4Addr :: IP4 -> Word8 -> Net4Addr Source #

An alias for netAddr.

net6Addr :: IP6 -> Word8 -> Net6Addr Source #

An alias for netAddr.

toNetAddr46 :: NetAddr IP -> IP46 (NetAddr IP4) (NetAddr IP6) Source #

Pull IP46 from a NetAddr.

fromNetAddr46 :: IP46 (NetAddr IP4) (NetAddr IP6) -> NetAddr IP Source #

Push IP46 into a NetAddr.

printNetAddr :: (IsNetAddr n, Printable (NetHost n), Printer p) => n -> p Source #

Print network address (CIDR notation).

net4Parser :: (CharParsing μ, Monad μ, IsNetAddr n, NetHost n ~ IP4) => μ n Source #

IPv4 network address parser (CIDR notation).

net6Parser :: (CharParsing μ, Monad μ, IsNetAddr n, NetHost n ~ IP6) => μ n Source #

IPv6 network address parser (CIDR notation).

netParser :: (IsNetAddr n, NetHost n ~ IP, CharParsing μ, Monad μ) => μ n Source #

IP network address parser (CIDR notation).

putNetAddr :: (IsNetAddr n, Serializable (NetHost n), Serializer s) => n -> s Source #

Serialize a network address (host address followed by 8-bit prefix length).

getNetAddr :: (IsNetAddr n, Deserializable (NetHost n), Deserializer μ) => μ n Source #

Deserialize a network address (host address followed by 8-bit prefix length).

Port number

newtype InetPort Source #

Port number.

Constructors

InetPort
Fields unInetPort :: Word16

Instances

Instances details

Bounded InetPort Source #
Instance details Defined in Network.IP.Addr Methods minBound :: InetPort maxBound :: InetPort
Enum InetPort Source #
Instance details Defined in Network.IP.Addr Methods succ :: InetPort -> InetPort pred :: InetPort -> InetPort toEnum :: Int -> InetPort fromEnum :: InetPort -> Int enumFrom :: InetPort -> [InetPort] enumFromThen :: InetPort -> InetPort -> [InetPort] enumFromTo :: InetPort -> InetPort -> [InetPort] enumFromThenTo :: InetPort -> InetPort -> InetPort -> [InetPort]
Eq InetPort Source #
Instance details Defined in Network.IP.Addr Methods (==) :: InetPort -> InetPort -> Bool (/=) :: InetPort -> InetPort -> Bool
Integral InetPort Source #
Instance details Defined in Network.IP.Addr Methods quot :: InetPort -> InetPort -> InetPort rem :: InetPort -> InetPort -> InetPort div :: InetPort -> InetPort -> InetPort mod :: InetPort -> InetPort -> InetPort quotRem :: InetPort -> InetPort -> (InetPort, InetPort) divMod :: InetPort -> InetPort -> (InetPort, InetPort) toInteger :: InetPort -> Integer
Data InetPort Source #
Instance details Defined in Network.IP.Addr Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InetPort -> c InetPort gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InetPort toConstr :: InetPort -> Constr dataTypeOf :: InetPort -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InetPort) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InetPort) gmapT :: (forall b. Data b => b -> b) -> InetPort -> InetPort gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InetPort -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InetPort -> r gmapQ :: (forall d. Data d => d -> u) -> InetPort -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> InetPort -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> InetPort -> m InetPort gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InetPort -> m InetPort gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InetPort -> m InetPort
Num InetPort Source #
Instance details Defined in Network.IP.Addr Methods (+) :: InetPort -> InetPort -> InetPort (-) :: InetPort -> InetPort -> InetPort (*) :: InetPort -> InetPort -> InetPort negate :: InetPort -> InetPort abs :: InetPort -> InetPort signum :: InetPort -> InetPort fromInteger :: Integer -> InetPort
Ord InetPort Source #
Instance details Defined in Network.IP.Addr Methods compare :: InetPort -> InetPort -> Ordering (<) :: InetPort -> InetPort -> Bool (<=) :: InetPort -> InetPort -> Bool (>) :: InetPort -> InetPort -> Bool (>=) :: InetPort -> InetPort -> Bool max :: InetPort -> InetPort -> InetPort min :: InetPort -> InetPort -> InetPort
Read InetPort Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS InetPort readList :: ReadS [InetPort] readPrec :: ReadPrec InetPort readListPrec :: ReadPrec [InetPort]
Real InetPort Source #
Instance details Defined in Network.IP.Addr Methods toRational :: InetPort -> Rational
Show InetPort Source #
Instance details Defined in Network.IP.Addr Methods showsPrec :: Int -> InetPort -> ShowS show :: InetPort -> String showList :: [InetPort] -> ShowS
Ix InetPort Source #
Instance details Defined in Network.IP.Addr Methods range :: (InetPort, InetPort) -> [InetPort] index :: (InetPort, InetPort) -> InetPort -> Int unsafeIndex :: (InetPort, InetPort) -> InetPort -> Int inRange :: (InetPort, InetPort) -> InetPort -> Bool rangeSize :: (InetPort, InetPort) -> Int unsafeRangeSize :: (InetPort, InetPort) -> Int
Bits InetPort Source #
Instance details Defined in Network.IP.Addr Methods (.&.) :: InetPort -> InetPort -> InetPort (.\|.) :: InetPort -> InetPort -> InetPort xor :: InetPort -> InetPort -> InetPort complement :: InetPort -> InetPort shift :: InetPort -> Int -> InetPort rotate :: InetPort -> Int -> InetPort zeroBits :: InetPort bit :: Int -> InetPort setBit :: InetPort -> Int -> InetPort clearBit :: InetPort -> Int -> InetPort complementBit :: InetPort -> Int -> InetPort testBit :: InetPort -> Int -> Bool bitSizeMaybe :: InetPort -> Maybe Int bitSize :: InetPort -> Int isSigned :: InetPort -> Bool shiftL :: InetPort -> Int -> InetPort unsafeShiftL :: InetPort -> Int -> InetPort shiftR :: InetPort -> Int -> InetPort unsafeShiftR :: InetPort -> Int -> InetPort rotateL :: InetPort -> Int -> InetPort rotateR :: InetPort -> Int -> InetPort popCount :: InetPort -> Int
Hashable InetPort Source #
Instance details Defined in Network.IP.Addr Methods hashWithSalt :: Int -> InetPort -> Int hash :: InetPort -> Int
Serializable InetPort Source #
Instance details Defined in Network.IP.Addr Methods put :: Serializer s => InetPort -> s
SizedSerializable InetPort Source #
Instance details Defined in Network.IP.Addr Methods size :: Proxy InetPort -> Int
Deserializable InetPort Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ InetPort
Printable InetPort Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => InetPort -> p
Textual InetPort Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ InetPort
Storable InetPort Source #
Instance details Defined in Network.IP.Addr Methods sizeOf :: InetPort -> Int alignment :: InetPort -> Int peekElemOff :: Ptr InetPort -> Int -> IO InetPort pokeElemOff :: Ptr InetPort -> Int -> InetPort -> IO () peekByteOff :: Ptr b -> Int -> IO InetPort pokeByteOff :: Ptr b -> Int -> InetPort -> IO () peek :: Ptr InetPort -> IO InetPort poke :: Ptr InetPort -> InetPort -> IO ()

anInetPort :: Proxy InetPort Source #

InetPort proxy value.

Socket address

data InetAddr a Source #

Socket address: host address + port number.

Constructors

InetAddr
Fields inetHost :: a inetPort :: !InetPort

Instances

Instances details

Functor InetAddr Source #
Instance details Defined in Network.IP.Addr Methods fmap :: (a -> b) -> InetAddr a -> InetAddr b (<$) :: a -> InetAddr b -> InetAddr a
Printable Inet6Addr Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => Inet6Addr -> p
Printable Inet4Addr Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => Inet4Addr -> p
Textual Inet6Addr Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ Inet6Addr
Textual Inet4Addr Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ Inet4Addr
Eq a => Eq (InetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods (==) :: InetAddr a -> InetAddr a -> Bool (/=) :: InetAddr a -> InetAddr a -> Bool
Data a => Data (InetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InetAddr a -> c (InetAddr a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (InetAddr a) toConstr :: InetAddr a -> Constr dataTypeOf :: InetAddr a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (InetAddr a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (InetAddr a)) gmapT :: (forall b. Data b => b -> b) -> InetAddr a -> InetAddr a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InetAddr a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InetAddr a -> r gmapQ :: (forall d. Data d => d -> u) -> InetAddr a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> InetAddr a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> InetAddr a -> m (InetAddr a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InetAddr a -> m (InetAddr a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InetAddr a -> m (InetAddr a)
Ord a => Ord (InetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods compare :: InetAddr a -> InetAddr a -> Ordering (<) :: InetAddr a -> InetAddr a -> Bool (<=) :: InetAddr a -> InetAddr a -> Bool (>) :: InetAddr a -> InetAddr a -> Bool (>=) :: InetAddr a -> InetAddr a -> Bool max :: InetAddr a -> InetAddr a -> InetAddr a min :: InetAddr a -> InetAddr a -> InetAddr a
Read a => Read (InetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods readsPrec :: Int -> ReadS (InetAddr a) readList :: ReadS [InetAddr a] readPrec :: ReadPrec (InetAddr a) readListPrec :: ReadPrec [InetAddr a]
Show a => Show (InetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods showsPrec :: Int -> InetAddr a -> ShowS show :: InetAddr a -> String showList :: [InetAddr a] -> ShowS
Hashable a => Hashable (InetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods hashWithSalt :: Int -> InetAddr a -> Int hash :: InetAddr a -> Int
Serializable a => Serializable (InetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods put :: Serializer s => InetAddr a -> s
SizedSerializable a => SizedSerializable (InetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods size :: Proxy (InetAddr a) -> Int
Deserializable a => Deserializable (InetAddr a) Source #
Instance details Defined in Network.IP.Addr Methods get :: Deserializer μ => μ (InetAddr a)
Printable (InetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods print :: Printer p => InetAddr IP -> p
Textual (InetAddr IP) Source #
Instance details Defined in Network.IP.Addr Methods textual :: (Monad μ, CharParsing μ) => μ (InetAddr IP)