System.Posix.Socket

POSIX sockets.

Documentation

data Socket f

Socket of a particular family.

Instances

Eq (Socket f)

Methods

(==) :: Socket f -> Socket f -> Bool

(/=) :: Socket f -> Socket f -> Bool

withSocketFd :: MonadBase IO μ => Socket f -> (Fd -> IO α) -> μ α

Lock the socket and pass the underlying file descriptor to the given action.

unsafeSocketFd :: MonadBase IO μ => Socket f -> μ Fd

Get the underlying file descriptor.

unsafeSocketFromFd :: MonadBase IO μ => Fd -> μ (Socket f)

Use file descriptor as a socket.

class SockAddr (SockFamilyAddr f) => SockFamily f where

Socket family.

Minimal complete definition

sockFamilyCode

Associated Types

type SockFamilyAddr f

Methods

sockFamilyCode :: f -> CInt

Socket family code.

Instances

SockFamily AF_INET6

Associated Types

type SockFamilyAddr AF_INET6 :: *

Methods

sockFamilyCode :: AF_INET6 -> CInt

SockFamily AF_INET

Associated Types

type SockFamilyAddr AF_INET :: *

Methods

sockFamilyCode :: AF_INET -> CInt

SockFamily AF_LOCAL

Associated Types

type SockFamilyAddr AF_LOCAL :: *

Methods

sockFamilyCode :: AF_LOCAL -> CInt

class SockAddr a where

Socket address.

Minimal complete definition

sockAddrMaxSize, sockAddrSize, peekSockAddr, pokeSockAddr

Methods

sockAddrMaxSize :: Proxy a -> Int

Maximum size of a socket address.

sockAddrSize :: a -> Int

Size of a particular socket address.

peekSockAddr :: Ptr a -> Int -> IO a

Read socket address from a memory buffer.

pokeSockAddr :: Ptr a -> a -> IO ()

Write socket address to a memory buffer.

Instances

SockAddr LocalAddr

Methods

sockAddrMaxSize :: Proxy * LocalAddr -> Int

sockAddrSize :: LocalAddr -> Int

peekSockAddr :: Ptr LocalAddr -> Int -> IO LocalAddr

pokeSockAddr :: Ptr LocalAddr -> LocalAddr -> IO ()

newtype SockType

Socket type.

Constructors

SockType CInt

Instances

Eq SockType

Methods

(==) :: SockType -> SockType -> Bool

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

Ord SockType

Methods

compare :: SockType -> SockType -> Ordering

(<) :: SockType -> SockType -> Bool

(<=) :: SockType -> SockType -> Bool

(>) :: SockType -> SockType -> Bool

(>=) :: SockType -> SockType -> Bool

max :: SockType -> SockType -> SockType

min :: SockType -> SockType -> SockType

Show SockType

Methods

showsPrec :: Int -> SockType -> ShowS

show :: SockType -> String

showList :: [SockType] -> ShowS

Storable SockType

Methods

sizeOf :: SockType -> Int

alignment :: SockType -> Int

peekElemOff :: Ptr SockType -> Int -> IO SockType

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

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

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

peek :: Ptr SockType -> IO SockType

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

streamSockType :: SockType

See SOCK_STREAM.

datagramSockType :: SockType

See SOCK_DGRAM.

rawSockType :: SockType

See SOCK_RAW.

seqPacketSockType :: SockType

See SOCK_SEQPACKET.

newtype SockProto

Socket protocol.

Constructors

SockProto CInt

Instances

Eq SockProto

Methods

(==) :: SockProto -> SockProto -> Bool

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

Ord SockProto

Methods

compare :: SockProto -> SockProto -> Ordering

(<) :: SockProto -> SockProto -> Bool

(<=) :: SockProto -> SockProto -> Bool

(>) :: SockProto -> SockProto -> Bool

(>=) :: SockProto -> SockProto -> Bool

max :: SockProto -> SockProto -> SockProto

min :: SockProto -> SockProto -> SockProto

Show SockProto

Methods

showsPrec :: Int -> SockProto -> ShowS

show :: SockProto -> String

showList :: [SockProto] -> ShowS

Storable SockProto

Methods

sizeOf :: SockProto -> Int

alignment :: SockProto -> Int

peekElemOff :: Ptr SockProto -> Int -> IO SockProto

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

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

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

peek :: Ptr SockProto -> IO SockProto

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

Default SockProto

Methods

def :: SockProto

defaultSockProto :: SockProto

Default socket protocol (corresponds to 0).

class Storable (SockOptRaw o) => SockOpt o where

Socket option.

Minimal complete definition

sockOptRaw, sockOptValue, sockOptLevel, sockOptCode

Associated Types

type SockOptValue o

Option value type

type SockOptRaw o

FFI-level option value type

type SockOptReadable o :: Bool

Whether option is readable

type SockOptWritable o :: Bool

Whether option is writable

Methods

sockOptRaw :: o -> SockOptValue o -> SockOptRaw o

Convert to FFI-level value

sockOptValue :: o -> SockOptRaw o -> SockOptValue o

Convert from FFI-level value

sockOptLevel :: o -> CInt

Option protocol level

sockOptCode :: o -> CInt

Option code

Instances

SockOpt SO_REUSEADDR

Associated Types

type SockOptValue SO_REUSEADDR :: *

type SockOptRaw SO_REUSEADDR :: *

type SockOptReadable SO_REUSEADDR :: Bool

type SockOptWritable SO_REUSEADDR :: Bool

Methods

sockOptRaw :: SO_REUSEADDR -> SockOptValue SO_REUSEADDR -> SockOptRaw SO_REUSEADDR

sockOptValue :: SO_REUSEADDR -> SockOptRaw SO_REUSEADDR -> SockOptValue SO_REUSEADDR

sockOptLevel :: SO_REUSEADDR -> CInt

sockOptCode :: SO_REUSEADDR -> CInt

SockOpt SO_KEEPALIVE

Associated Types

type SockOptValue SO_KEEPALIVE :: *

type SockOptRaw SO_KEEPALIVE :: *

type SockOptReadable SO_KEEPALIVE :: Bool

type SockOptWritable SO_KEEPALIVE :: Bool

Methods

sockOptRaw :: SO_KEEPALIVE -> SockOptValue SO_KEEPALIVE -> SockOptRaw SO_KEEPALIVE

sockOptValue :: SO_KEEPALIVE -> SockOptRaw SO_KEEPALIVE -> SockOptValue SO_KEEPALIVE

sockOptLevel :: SO_KEEPALIVE -> CInt

sockOptCode :: SO_KEEPALIVE -> CInt

SockOpt SO_ERROR

Associated Types

type SockOptValue SO_ERROR :: *

type SockOptRaw SO_ERROR :: *

type SockOptReadable SO_ERROR :: Bool

type SockOptWritable SO_ERROR :: Bool

Methods

sockOptRaw :: SO_ERROR -> SockOptValue SO_ERROR -> SockOptRaw SO_ERROR

sockOptValue :: SO_ERROR -> SockOptRaw SO_ERROR -> SockOptValue SO_ERROR

sockOptLevel :: SO_ERROR -> CInt

sockOptCode :: SO_ERROR -> CInt

data SO_ERROR

Constructors

SO_ERROR

Instances

Eq SO_ERROR

Methods

(==) :: SO_ERROR -> SO_ERROR -> Bool

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

Show SO_ERROR

Methods

showsPrec :: Int -> SO_ERROR -> ShowS

show :: SO_ERROR -> String

showList :: [SO_ERROR] -> ShowS

SockOpt SO_ERROR

Associated Types

type SockOptValue SO_ERROR :: *

type SockOptRaw SO_ERROR :: *

type SockOptReadable SO_ERROR :: Bool

type SockOptWritable SO_ERROR :: Bool

Methods

sockOptRaw :: SO_ERROR -> SockOptValue SO_ERROR -> SockOptRaw SO_ERROR

sockOptValue :: SO_ERROR -> SockOptRaw SO_ERROR -> SockOptValue SO_ERROR

sockOptLevel :: SO_ERROR -> CInt

sockOptCode :: SO_ERROR -> CInt

type SockOptValue SO_ERROR

type SockOptValue SO_ERROR = Errno

type SockOptRaw SO_ERROR

type SockOptRaw SO_ERROR = CInt

type SockOptReadable SO_ERROR

type SockOptReadable SO_ERROR = True

type SockOptWritable SO_ERROR

type SockOptWritable SO_ERROR = False

data SO_KEEPALIVE

Constructors

SO_KEEPALIVE

Instances

Eq SO_KEEPALIVE

Methods

(==) :: SO_KEEPALIVE -> SO_KEEPALIVE -> Bool

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

Show SO_KEEPALIVE

Methods

showsPrec :: Int -> SO_KEEPALIVE -> ShowS

show :: SO_KEEPALIVE -> String

showList :: [SO_KEEPALIVE] -> ShowS

SockOpt SO_KEEPALIVE

Associated Types

type SockOptValue SO_KEEPALIVE :: *

type SockOptRaw SO_KEEPALIVE :: *

type SockOptReadable SO_KEEPALIVE :: Bool

type SockOptWritable SO_KEEPALIVE :: Bool

Methods

sockOptRaw :: SO_KEEPALIVE -> SockOptValue SO_KEEPALIVE -> SockOptRaw SO_KEEPALIVE

sockOptValue :: SO_KEEPALIVE -> SockOptRaw SO_KEEPALIVE -> SockOptValue SO_KEEPALIVE

sockOptLevel :: SO_KEEPALIVE -> CInt

sockOptCode :: SO_KEEPALIVE -> CInt

type SockOptValue SO_KEEPALIVE

type SockOptValue SO_KEEPALIVE = Bool

type SockOptRaw SO_KEEPALIVE

type SockOptRaw SO_KEEPALIVE = CInt

type SockOptReadable SO_KEEPALIVE

type SockOptReadable SO_KEEPALIVE = True

type SockOptWritable SO_KEEPALIVE

type SockOptWritable SO_KEEPALIVE = True

data SO_REUSEADDR

Constructors

SO_REUSEADDR

Instances

Eq SO_REUSEADDR

Methods

(==) :: SO_REUSEADDR -> SO_REUSEADDR -> Bool

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

Show SO_REUSEADDR

Methods

showsPrec :: Int -> SO_REUSEADDR -> ShowS

show :: SO_REUSEADDR -> String

showList :: [SO_REUSEADDR] -> ShowS

SockOpt SO_REUSEADDR

Associated Types

type SockOptValue SO_REUSEADDR :: *

type SockOptRaw SO_REUSEADDR :: *

type SockOptReadable SO_REUSEADDR :: Bool

type SockOptWritable SO_REUSEADDR :: Bool

Methods

sockOptRaw :: SO_REUSEADDR -> SockOptValue SO_REUSEADDR -> SockOptRaw SO_REUSEADDR

sockOptValue :: SO_REUSEADDR -> SockOptRaw SO_REUSEADDR -> SockOptValue SO_REUSEADDR

sockOptLevel :: SO_REUSEADDR -> CInt

sockOptCode :: SO_REUSEADDR -> CInt

type SockOptValue SO_REUSEADDR

type SockOptValue SO_REUSEADDR = Bool

type SockOptRaw SO_REUSEADDR

type SockOptRaw SO_REUSEADDR = CInt

type SockOptReadable SO_REUSEADDR

type SockOptReadable SO_REUSEADDR = True

type SockOptWritable SO_REUSEADDR

type SockOptWritable SO_REUSEADDR = True

data SockOps

Socket operations. Used by shutdown.

Instances

Eq SockOps

Methods

(==) :: SockOps -> SockOps -> Bool

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

Show SockOps

Methods

showsPrec :: Int -> SockOps -> ShowS

show :: SockOps -> String

showList :: [SockOps] -> ShowS

Flags SockOps

Methods

noFlags :: SockOps

andFlags :: SockOps -> SockOps -> SockOps

butFlags :: SockOps -> SockOps -> SockOps

commonFlags :: SockOps -> SockOps -> SockOps

BoundedFlags SockOps

Methods

allFlags :: SockOps

enumFlags :: SockOps -> [SockOps]

sendSockOp :: SockOps

recvSockOp :: SockOps

data MsgFlags

Message flags.

Instances

Eq MsgFlags

Methods

(==) :: MsgFlags -> MsgFlags -> Bool

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

Show MsgFlags

Methods

showsPrec :: Int -> MsgFlags -> ShowS

show :: MsgFlags -> String

showList :: [MsgFlags] -> ShowS

Storable MsgFlags

Methods

sizeOf :: MsgFlags -> Int

alignment :: MsgFlags -> Int

peekElemOff :: Ptr MsgFlags -> Int -> IO MsgFlags

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

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

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

peek :: Ptr MsgFlags -> IO MsgFlags

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

Flags MsgFlags

Methods

noFlags :: MsgFlags

andFlags :: MsgFlags -> MsgFlags -> MsgFlags

butFlags :: MsgFlags -> MsgFlags -> MsgFlags

commonFlags :: MsgFlags -> MsgFlags -> MsgFlags

peekMsgFlag :: MsgFlags

See MSG_PEEK.

truncMsgFlag :: MsgFlags

See MSG_TRUNC.

oobMsgFlag :: MsgFlags

See MSG_OOB.

dontRouteMsgFlag :: MsgFlags

See MSG_DONTROUTE.

socket :: (SockFamily f, MonadBase IO μ) => f -> SockType -> SockProto -> μ (Socket f)

Create a socket. See socket(3). The underlying file descriptor is non-blocking.

getSockOpt :: (SockOpt o, SockOptReadable o ~ True, MonadBase IO μ) => Socket f -> o -> μ (SockOptValue o)

Get socket option value. See getsockopt(3).

setSockOpt :: (SockOpt o, SockOptWritable o ~ True, MonadBase IO μ) => Socket f -> o -> SockOptValue o -> μ ()

Set socket option value. See setsockopt(3).

bind :: forall f μ. (SockFamily f, MonadBase IO μ) => Socket f -> SockFamilyAddr f -> μ ()

Bind socket to the specified address. See bind(3).

connect :: forall f μ. (SockFamily f, MonadBase IO μ) => Socket f -> SockFamilyAddr f -> μ ()

Connect socket to the specified address. This function blocks. See connect(3).

tryConnect :: forall f μ. (SockFamily f, MonadBase IO μ) => Socket f -> SockFamilyAddr f -> μ Bool

Try to connect socket without blocking. On success True is returned. If the connection did not succeed immediately, False is returned. See connect(3).

listen :: MonadBase IO μ => Socket f -> Int -> μ ()

Listen for connections on the given socket. See listen(2).

accept :: forall f μ. (SockFamily f, MonadBase IO μ) => Socket f -> μ (Socket f, SockFamilyAddr f)

Accept a connection on the given socket. This function blocks. See accept(2).

getLocalAddr :: forall f μ. (SockFamily f, MonadBase IO μ) => Socket f -> μ (SockFamilyAddr f)

Get the local address. See getsockname(3).

getRemoteAddr :: forall f μ. (SockFamily f, MonadBase IO μ) => Socket f -> μ (SockFamilyAddr f)

Get the remote address. See getpeername(3).

hasOobData :: MonadBase IO μ => Socket f -> μ Bool

Check if socket has out-of-band data. See sockatmark(3).

recvBufs

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> [(Ptr Word8, Int)]

Memory buffers

-> MsgFlags

Message flags

-> μ (Int, MsgFlags)

Received message length and flags

Receive a message from a connected socket, possibly utilizing multiple memory buffers. See recvmsg(3).

recvBuf

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> Ptr α

Buffer pointer

-> Int

Buffer length

-> MsgFlags

Message flags

-> μ (Int, MsgFlags)

Received message length and flags

Receive a message from a connected socket. See recvmsg(3).

recv'

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> Int

Maximum message length

-> MsgFlags

Message flags

-> μ (ByteString, MsgFlags)

Received message contents and flags

Receive a message from a connected socket. See recvmsg(3).

recv

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> Int

Maximum message length

-> μ ByteString

Received message contents

Receive a message from a connected socket. See recvmsg(3).

recvBufsFrom

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> [(Ptr Word8, Int)]

Memory buffers

-> MsgFlags

Message flags

-> μ (SockFamilyAddr f, Int, MsgFlags)

Received message source address, length, and flags

Receive a message from an unconnected socket, possibly utilizing multiple memory buffers. See recvmsg(3).

recvBufFrom

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> Ptr α

Buffer pointer

-> Int

Buffer length

-> MsgFlags

Message flags

-> μ (SockFamilyAddr f, Int, MsgFlags)

Received message source address, length, and flags

Receive a message from an unconnected socket. See recvmsg(3).

recvFrom'

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> Int

Maximum message length

-> MsgFlags

Message flags

-> μ (SockFamilyAddr f, ByteString, MsgFlags)

Received message source address, contents, and flags

Receive a message from an unconnected socket. See recvmsg(3).

recvFrom

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> Int

Maximum message length

-> μ (SockFamilyAddr f, ByteString)

Received message source address and contents

Receive a message from an unconnected socket. See recvmsg(3).

sendBufs

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> [(Ptr Word8, Int)]

Memory buffers

-> MsgFlags

Message flags

-> μ Int

The number of bytes sent

Send a message split into several memory buffers on a connected socket. See sendmsg(3).

sendMany'

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> [ByteString]

Message contents

-> MsgFlags

Message flags

-> μ Int

The number of bytes sent

Send a message split into several ByteStrings on a connected socket. See sendmsg(3).

sendMany

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> [ByteString]

Message contents

-> μ Int

The number of bytes sent

Send a message split into several ByteStrings on a connected socket. See sendmsg(3).

sendBuf

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> Ptr α

Buffer pointer

-> Int

Buffer length

-> MsgFlags

Message flags

-> μ Int

The number of bytes sent

Send a message on a connected socket. See sendmsg(3).

send'

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> ByteString

Message contents

-> MsgFlags

Message flags

-> μ Int

The number of bytes sent

Send a message on a connected socket. See sendmsg(3).

send

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> ByteString

Message contents

-> μ Int

The number of bytes sent

Send a message on a connected socket. See sendmsg(3).

sendBufsTo

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> [(Ptr Word8, Int)]

Memory buffers

-> MsgFlags

Message flags

-> SockFamilyAddr f

Message destination address

-> μ Int

The number of bytes sent

Send a message split into several memory buffers on an unconnected socket. See sendmsg(3).

sendManyTo'

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> [ByteString]

Message contents

-> MsgFlags

Message flags

-> SockFamilyAddr f

Message destination address

-> μ Int

The number of bytes sent

Send a message split into several ByteStrings on an unconnected socket. See sendmsg(3).

sendManyTo

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> [ByteString]

Message contents

-> SockFamilyAddr f

Message destination address

-> μ Int

The number of bytes sent

Send a message split into several ByteStrings on an unconnected socket. See sendmsg(3).

sendBufTo

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> Ptr α

Buffer pointer

-> Int

Buffer length

-> MsgFlags

Message flags

-> SockFamilyAddr f

Message destination address

-> μ Int

The number of bytes sent

Send a message on an unconnected socket. See sendmsg(3).

sendTo'

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> ByteString

Message contents

-> MsgFlags

Message flags

-> SockFamilyAddr f

Message destination address

-> μ Int

The number of bytes sent

Send a message on an unconnected socket. See sendmsg(3).

sendTo

Arguments

:: (SockFamily f, MonadBase IO μ)

=> Socket f

The socket

-> ByteString

Message contents

-> SockFamilyAddr f

Message destination address

-> μ Int

The number of bytes sent

Send a message on an unconnected socket. See sendmsg(3).

shutdown :: MonadBase IO μ => Socket f -> SockOps -> μ ()

Shut down a part of a full-duplex connection. See shutdown(3).

close :: MonadBase IO μ => Socket f -> μ ()

Close the socket. See close(3).