Copyright	(c) Lars Petersen 2015
License	MIT
Maintainer	info@lars-petersen.net
Stability	experimental
Safe Haskell	None
Language	Haskell2010

System.Socket.Family.Inet6

Contents

Inet6
Custom addresses
- inet6AddressFromTuple
- inet6AddressToTuple
Special addresses
- inet6Any
- inet6Loopback
Socket options
- V6Only

Description

Synopsis

Inet6

data Inet6 Source #

The Internet Protocol version 4.

Instances

Family Inet6 Source #
Methods familyNumber :: Inet6 -> CInt Source #
HasNameInfo Inet6 Source #
Methods getNameInfo :: SocketAddress Inet6 -> NameInfoFlags -> IO NameInfo Source #
HasAddressInfo Inet6 Source #
Methods getAddressInfo :: (Type t, Protocol p) => Maybe ByteString -> Maybe ByteString -> AddressInfoFlags -> IO [AddressInfo Inet6 t p] Source #
Eq (SocketAddress Inet6) Source #
Methods (==) :: SocketAddress Inet6 -> SocketAddress Inet6 -> Bool # (/=) :: SocketAddress Inet6 -> SocketAddress Inet6 -> Bool #
Show (SocketAddress Inet6) Source #
Methods showsPrec :: Int -> SocketAddress Inet6 -> ShowS # show :: SocketAddress Inet6 -> String # showList :: [SocketAddress Inet6] -> ShowS #
Storable (SocketAddress Inet6) Source #
Methods sizeOf :: SocketAddress Inet6 -> Int # alignment :: SocketAddress Inet6 -> Int # peekElemOff :: Ptr (SocketAddress Inet6) -> Int -> IO (SocketAddress Inet6) # pokeElemOff :: Ptr (SocketAddress Inet6) -> Int -> SocketAddress Inet6 -> IO () # peekByteOff :: Ptr b -> Int -> IO (SocketAddress Inet6) # pokeByteOff :: Ptr b -> Int -> SocketAddress Inet6 -> IO () # peek :: Ptr (SocketAddress Inet6) -> IO (SocketAddress Inet6) # poke :: Ptr (SocketAddress Inet6) -> SocketAddress Inet6 -> IO () #
data SocketAddress Inet6 Source #	An IPv6 socket address. The socket address contains a port number that may be used by transport protocols like TCP. SocketAddressInet6 inet6Loopback 8080 0 0
data SocketAddress Inet6 = SocketAddressInet6 { inet6Address :: Inet6Address inet6Port :: Inet6Port inet6FlowInfo :: Inet6FlowInfo inet6ScopeId :: Inet6ScopeId }

Inet6Address

data Inet6Address Source #

To avoid errors with endianess it was decided to keep this type abstract.

Use inet6AddressFromTuple and inet6AddressToTuple for constructing and deconstructing custom addresses.

Hint: Use the Storable instance. It exposes it exactly as found within an IP packet (big endian if you insist on interpreting it as a number).

Another hint: Use getAddressInfo for parsing and suppress nameserver lookups:

> getAddressInfo (Just "::1") Nothing aiNumericHost :: IO [AddressInfo SocketAddressInet6 Stream TCP]
[AddressInfo {
   addressInfoFlags = AddressInfoFlags 4,
   socketAddress    = SocketAddressInet6 {inet6Address = Inet6Address 0000:0000:0000:0000:0000:0000:0000:0001, inet6Port = Inet6Port 0, inet6FlowInfo = Inet6FlowInfo 0, inet6ScopeId = Inet6ScopeId 0},
   canonicalName    = Nothing }]

Instances

Eq Inet6Address Source #
Methods (==) :: Inet6Address -> Inet6Address -> Bool # (/=) :: Inet6Address -> Inet6Address -> Bool #
Show Inet6Address Source #
Methods showsPrec :: Int -> Inet6Address -> ShowS # show :: Inet6Address -> String # showList :: [Inet6Address] -> ShowS #
Storable Inet6Address Source #
Methods sizeOf :: Inet6Address -> Int # alignment :: Inet6Address -> Int # peekElemOff :: Ptr Inet6Address -> Int -> IO Inet6Address # pokeElemOff :: Ptr Inet6Address -> Int -> Inet6Address -> IO () # peekByteOff :: Ptr b -> Int -> IO Inet6Address # pokeByteOff :: Ptr b -> Int -> Inet6Address -> IO () # peek :: Ptr Inet6Address -> IO Inet6Address # poke :: Ptr Inet6Address -> Inet6Address -> IO () #

Inet6Port

data Inet6Port Source #

Instances

Eq Inet6Port Source #
Methods (==) :: Inet6Port -> Inet6Port -> Bool # (/=) :: Inet6Port -> Inet6Port -> Bool #
Num Inet6Port Source #
Methods (+) :: Inet6Port -> Inet6Port -> Inet6Port # (-) :: Inet6Port -> Inet6Port -> Inet6Port # (*) :: Inet6Port -> Inet6Port -> Inet6Port # negate :: Inet6Port -> Inet6Port # abs :: Inet6Port -> Inet6Port # signum :: Inet6Port -> Inet6Port # fromInteger :: Integer -> Inet6Port #
Ord Inet6Port Source #
Methods compare :: Inet6Port -> Inet6Port -> Ordering # (<) :: Inet6Port -> Inet6Port -> Bool # (<=) :: Inet6Port -> Inet6Port -> Bool # (>) :: Inet6Port -> Inet6Port -> Bool # (>=) :: Inet6Port -> Inet6Port -> Bool # max :: Inet6Port -> Inet6Port -> Inet6Port # min :: Inet6Port -> Inet6Port -> Inet6Port #
Show Inet6Port Source #
Methods showsPrec :: Int -> Inet6Port -> ShowS # show :: Inet6Port -> String # showList :: [Inet6Port] -> ShowS #
Storable Inet6Port Source #
Methods sizeOf :: Inet6Port -> Int # alignment :: Inet6Port -> Int # peekElemOff :: Ptr Inet6Port -> Int -> IO Inet6Port # pokeElemOff :: Ptr Inet6Port -> Int -> Inet6Port -> IO () # peekByteOff :: Ptr b -> Int -> IO Inet6Port # pokeByteOff :: Ptr b -> Int -> Inet6Port -> IO () # peek :: Ptr Inet6Port -> IO Inet6Port # poke :: Ptr Inet6Port -> Inet6Port -> IO () #

Inet6FlowInfo

data Inet6FlowInfo Source #

Instances

Eq Inet6FlowInfo Source #
Methods (==) :: Inet6FlowInfo -> Inet6FlowInfo -> Bool # (/=) :: Inet6FlowInfo -> Inet6FlowInfo -> Bool #
Num Inet6FlowInfo Source #
Methods (+) :: Inet6FlowInfo -> Inet6FlowInfo -> Inet6FlowInfo # (-) :: Inet6FlowInfo -> Inet6FlowInfo -> Inet6FlowInfo # (*) :: Inet6FlowInfo -> Inet6FlowInfo -> Inet6FlowInfo # negate :: Inet6FlowInfo -> Inet6FlowInfo # abs :: Inet6FlowInfo -> Inet6FlowInfo # signum :: Inet6FlowInfo -> Inet6FlowInfo # fromInteger :: Integer -> Inet6FlowInfo #
Ord Inet6FlowInfo Source #
Methods compare :: Inet6FlowInfo -> Inet6FlowInfo -> Ordering # (<) :: Inet6FlowInfo -> Inet6FlowInfo -> Bool # (<=) :: Inet6FlowInfo -> Inet6FlowInfo -> Bool # (>) :: Inet6FlowInfo -> Inet6FlowInfo -> Bool # (>=) :: Inet6FlowInfo -> Inet6FlowInfo -> Bool # max :: Inet6FlowInfo -> Inet6FlowInfo -> Inet6FlowInfo # min :: Inet6FlowInfo -> Inet6FlowInfo -> Inet6FlowInfo #
Show Inet6FlowInfo Source #
Methods showsPrec :: Int -> Inet6FlowInfo -> ShowS # show :: Inet6FlowInfo -> String # showList :: [Inet6FlowInfo] -> ShowS #
Storable Inet6FlowInfo Source #
Methods sizeOf :: Inet6FlowInfo -> Int # alignment :: Inet6FlowInfo -> Int # peekElemOff :: Ptr Inet6FlowInfo -> Int -> IO Inet6FlowInfo # pokeElemOff :: Ptr Inet6FlowInfo -> Int -> Inet6FlowInfo -> IO () # peekByteOff :: Ptr b -> Int -> IO Inet6FlowInfo # pokeByteOff :: Ptr b -> Int -> Inet6FlowInfo -> IO () # peek :: Ptr Inet6FlowInfo -> IO Inet6FlowInfo # poke :: Ptr Inet6FlowInfo -> Inet6FlowInfo -> IO () #

Inet6ScopeId

data Inet6ScopeId Source #

Instances

Eq Inet6ScopeId Source #
Methods (==) :: Inet6ScopeId -> Inet6ScopeId -> Bool # (/=) :: Inet6ScopeId -> Inet6ScopeId -> Bool #
Num Inet6ScopeId Source #
Methods (+) :: Inet6ScopeId -> Inet6ScopeId -> Inet6ScopeId # (-) :: Inet6ScopeId -> Inet6ScopeId -> Inet6ScopeId # (*) :: Inet6ScopeId -> Inet6ScopeId -> Inet6ScopeId # negate :: Inet6ScopeId -> Inet6ScopeId # abs :: Inet6ScopeId -> Inet6ScopeId # signum :: Inet6ScopeId -> Inet6ScopeId # fromInteger :: Integer -> Inet6ScopeId #
Ord Inet6ScopeId Source #
Methods compare :: Inet6ScopeId -> Inet6ScopeId -> Ordering # (<) :: Inet6ScopeId -> Inet6ScopeId -> Bool # (<=) :: Inet6ScopeId -> Inet6ScopeId -> Bool # (>) :: Inet6ScopeId -> Inet6ScopeId -> Bool # (>=) :: Inet6ScopeId -> Inet6ScopeId -> Bool # max :: Inet6ScopeId -> Inet6ScopeId -> Inet6ScopeId # min :: Inet6ScopeId -> Inet6ScopeId -> Inet6ScopeId #
Show Inet6ScopeId Source #
Methods showsPrec :: Int -> Inet6ScopeId -> ShowS # show :: Inet6ScopeId -> String # showList :: [Inet6ScopeId] -> ShowS #
Storable Inet6ScopeId Source #
Methods sizeOf :: Inet6ScopeId -> Int # alignment :: Inet6ScopeId -> Int # peekElemOff :: Ptr Inet6ScopeId -> Int -> IO Inet6ScopeId # pokeElemOff :: Ptr Inet6ScopeId -> Int -> Inet6ScopeId -> IO () # peekByteOff :: Ptr b -> Int -> IO Inet6ScopeId # pokeByteOff :: Ptr b -> Int -> Inet6ScopeId -> IO () # peek :: Ptr Inet6ScopeId -> IO Inet6ScopeId # poke :: Ptr Inet6ScopeId -> Inet6ScopeId -> IO () #

SocketAddress Inet6

data family SocketAddress f Source #

The SocketAddress type is a data family. This allows to provide different data constructors depending on the socket family wihtout knowing all of them in advance or the need to patch this core library.

SocketAddressInet  inetLoopback  8080     :: SocketAddress Inet
SocketAddressInet6 inet6Loopback 8080 0 0 :: SocketAddress Inet6

Instances

Eq (SocketAddress Inet6) #
Methods (==) :: SocketAddress Inet6 -> SocketAddress Inet6 -> Bool # (/=) :: SocketAddress Inet6 -> SocketAddress Inet6 -> Bool #
Eq (SocketAddress Inet) #
Methods (==) :: SocketAddress Inet -> SocketAddress Inet -> Bool # (/=) :: SocketAddress Inet -> SocketAddress Inet -> Bool #
Show (SocketAddress Inet6) #
Methods showsPrec :: Int -> SocketAddress Inet6 -> ShowS # show :: SocketAddress Inet6 -> String # showList :: [SocketAddress Inet6] -> ShowS #
Show (SocketAddress Inet) #
Methods showsPrec :: Int -> SocketAddress Inet -> ShowS # show :: SocketAddress Inet -> String # showList :: [SocketAddress Inet] -> ShowS #
Storable (SocketAddress Inet6) #
Methods sizeOf :: SocketAddress Inet6 -> Int # alignment :: SocketAddress Inet6 -> Int # peekElemOff :: Ptr (SocketAddress Inet6) -> Int -> IO (SocketAddress Inet6) # pokeElemOff :: Ptr (SocketAddress Inet6) -> Int -> SocketAddress Inet6 -> IO () # peekByteOff :: Ptr b -> Int -> IO (SocketAddress Inet6) # pokeByteOff :: Ptr b -> Int -> SocketAddress Inet6 -> IO () # peek :: Ptr (SocketAddress Inet6) -> IO (SocketAddress Inet6) # poke :: Ptr (SocketAddress Inet6) -> SocketAddress Inet6 -> IO () #
Storable (SocketAddress Inet) #
Methods sizeOf :: SocketAddress Inet -> Int # alignment :: SocketAddress Inet -> Int # peekElemOff :: Ptr (SocketAddress Inet) -> Int -> IO (SocketAddress Inet) # pokeElemOff :: Ptr (SocketAddress Inet) -> Int -> SocketAddress Inet -> IO () # peekByteOff :: Ptr b -> Int -> IO (SocketAddress Inet) # pokeByteOff :: Ptr b -> Int -> SocketAddress Inet -> IO () # peek :: Ptr (SocketAddress Inet) -> IO (SocketAddress Inet) # poke :: Ptr (SocketAddress Inet) -> SocketAddress Inet -> IO () #
data SocketAddress Inet6 Source #	An IPv6 socket address. The socket address contains a port number that may be used by transport protocols like TCP. SocketAddressInet6 inet6Loopback 8080 0 0
data SocketAddress Inet6 = SocketAddressInet6 { inet6Address :: Inet6Address inet6Port :: Inet6Port inet6FlowInfo :: Inet6FlowInfo inet6ScopeId :: Inet6ScopeId }
data SocketAddress Inet Source #	An IPv4 socket address. The socket address contains a port number that may be used by transport protocols like TCP. SocketAddressInet inetLoopback 8080
data SocketAddress Inet = SocketAddressInet { inetAddress :: InetAddress inetPort :: InetPort }

Custom addresses

inet6AddressFromTuple

inet6AddressFromTuple :: (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) -> Inet6Address Source #

Constructs a custom Inet6Address.

inet6AddressFromTuple (0,0,0,0,0,0,0,1) == inet6Loopback

inet6AddressToTuple

inet6AddressToTuple :: Inet6Address -> (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16) Source #

Deconstructs an Inet6Address.

Special addresses

inet6Any

inet6Any :: Inet6Address Source #

::

inet6Loopback

inet6Loopback :: Inet6Address Source #

::1

Socket options

V6Only

data V6Only Source #

IPV6_V6ONLY

Constructors

V6Only Bool

Instances

Eq V6Only Source #
Methods (==) :: V6Only -> V6Only -> Bool # (/=) :: V6Only -> V6Only -> Bool #
Ord V6Only Source #
Methods compare :: V6Only -> V6Only -> Ordering # (<) :: V6Only -> V6Only -> Bool # (<=) :: V6Only -> V6Only -> Bool # (>) :: V6Only -> V6Only -> Bool # (>=) :: V6Only -> V6Only -> Bool # max :: V6Only -> V6Only -> V6Only # min :: V6Only -> V6Only -> V6Only #
Show V6Only Source #
Methods showsPrec :: Int -> V6Only -> ShowS # show :: V6Only -> String # showList :: [V6Only] -> ShowS #
SocketOption V6Only Source #
Methods getSocketOption :: Socket f t p -> IO V6Only Source # setSocketOption :: Socket f t p -> V6Only -> IO () Source #