| Copyright | Will Thompson Iñaki García Etxebarria and Jonas Platte | 
|---|---|
| License | LGPL-2.1 | 
| Maintainer | Iñaki García Etxebarria | 
| Safe Haskell | None | 
| Language | Haskell2010 | 
GI.Gio.Objects.Socket
Contents
- Exported types
 - Methods
- Overloaded methods
 - accept
 - bind
 - checkConnectResult
 - close
 - conditionCheck
 - conditionTimedWait
 - conditionWait
 - connect
 - connectionFactoryCreateConnection
 - getAvailableBytes
 - getBlocking
 - getBroadcast
 - getCredentials
 - getFamily
 - getFd
 - getKeepalive
 - getListenBacklog
 - getLocalAddress
 - getMulticastLoopback
 - getMulticastTtl
 - getOption
 - getProtocol
 - getRemoteAddress
 - getSocketType
 - getTimeout
 - getTtl
 - isClosed
 - isConnected
 - joinMulticastGroup
 - joinMulticastGroupSsm
 - leaveMulticastGroup
 - leaveMulticastGroupSsm
 - listen
 - new
 - newFromFd
 - receive
 - receiveFrom
 - receiveMessage
 - receiveMessages
 - receiveWithBlocking
 - send
 - sendMessage
 - sendMessageWithTimeout
 - sendMessages
 - sendTo
 - sendWithBlocking
 - setBlocking
 - setBroadcast
 - setKeepalive
 - setListenBacklog
 - setMulticastLoopback
 - setMulticastTtl
 - setOption
 - setTimeout
 - setTtl
 - shutdown
 - speaksIpv4
 
 - Properties
 
Description
A Socket is a low-level networking primitive. It is a more or less
 direct mapping of the BSD socket API in a portable GObject based API.
 It supports both the UNIX socket implementations and winsock2 on Windows.
Socket is the platform independent base upon which the higher level
 network primitives are based. Applications are not typically meant to
 use it directly, but rather through classes like SocketClient,
 SocketService and SocketConnection. However there may be cases where
 direct use of Socket is useful.
Socket implements the Initable interface, so if it is manually constructed
 by e.g. g_object_new() you must call initableInit and check the
 results before using the object. This is done automatically in
 socketNew and socketNewFromFd, so these functions can return
 Nothing.
Sockets operate in two general modes, blocking or non-blocking. When
 in blocking mode all operations (which don’t take an explicit blocking
 parameter) block until the requested operation
 is finished or there is an error. In non-blocking mode all calls that
 would block return immediately with a IOErrorEnumWouldBlock error.
 To know when a call would successfully run you can call socketConditionCheck,
 or socketConditionWait. You can also use g_socket_create_source() and
 attach it to a MainContext to get callbacks when I/O is possible.
 Note that all sockets are always set to non blocking mode in the system, and
 blocking mode is emulated in GSocket.
When working in non-blocking mode applications should always be able to
 handle getting a IOErrorEnumWouldBlock error even when some other
 function said that I/O was possible. This can easily happen in case
 of a race condition in the application, but it can also happen for other
 reasons. For instance, on Windows a socket is always seen as writable
 until a write returns IOErrorEnumWouldBlock.
GSockets can be either connection oriented or datagram based.
 For connection oriented types you must first establish a connection by
 either connecting to an address or accepting a connection from another
 address. For connectionless socket types the target/source address is
 specified or received in each I/O operation.
All socket file descriptors are set to be close-on-exec.
Note that creating a Socket causes the signal SIGPIPE to be
 ignored for the remainder of the program. If you are writing a
 command-line utility that uses Socket, you may need to take into
 account the fact that your program will not automatically be killed
 if it tries to write to stdout after it has been closed.
Like most other APIs in GLib, Socket is not inherently thread safe. To use
 a Socket concurrently from multiple threads, you must implement your own
 locking.
Since: 2.22
Synopsis
- newtype Socket = Socket (ManagedPtr Socket)
 - class (GObject o, IsDescendantOf Socket o) => IsSocket o
 - toSocket :: (MonadIO m, IsSocket o) => o -> m Socket
 - noSocket :: Maybe Socket
 - socketAccept :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) => a -> Maybe b -> m Socket
 - socketBind :: (HasCallStack, MonadIO m, IsSocket a, IsSocketAddress b) => a -> b -> Bool -> m ()
 - socketCheckConnectResult :: (HasCallStack, MonadIO m, IsSocket a) => a -> m ()
 - socketClose :: (HasCallStack, MonadIO m, IsSocket a) => a -> m ()
 - socketConditionCheck :: (HasCallStack, MonadIO m, IsSocket a) => a -> [IOCondition] -> m [IOCondition]
 - socketConditionTimedWait :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) => a -> [IOCondition] -> Int64 -> Maybe b -> m ()
 - socketConditionWait :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) => a -> [IOCondition] -> Maybe b -> m ()
 - socketConnect :: (HasCallStack, MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) => a -> b -> Maybe c -> m ()
 - socketConnectionFactoryCreateConnection :: (HasCallStack, MonadIO m, IsSocket a) => a -> m SocketConnection
 - socketGetAvailableBytes :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Int64
 - socketGetBlocking :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Bool
 - socketGetBroadcast :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Bool
 - socketGetCredentials :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Credentials
 - socketGetFamily :: (HasCallStack, MonadIO m, IsSocket a) => a -> m SocketFamily
 - socketGetFd :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Int32
 - socketGetKeepalive :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Bool
 - socketGetListenBacklog :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Int32
 - socketGetLocalAddress :: (HasCallStack, MonadIO m, IsSocket a) => a -> m SocketAddress
 - socketGetMulticastLoopback :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Bool
 - socketGetMulticastTtl :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Word32
 - socketGetOption :: (HasCallStack, MonadIO m, IsSocket a) => a -> Int32 -> Int32 -> m Int32
 - socketGetProtocol :: (HasCallStack, MonadIO m, IsSocket a) => a -> m SocketProtocol
 - socketGetRemoteAddress :: (HasCallStack, MonadIO m, IsSocket a) => a -> m SocketAddress
 - socketGetSocketType :: (HasCallStack, MonadIO m, IsSocket a) => a -> m SocketType
 - socketGetTimeout :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Word32
 - socketGetTtl :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Word32
 - socketIsClosed :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Bool
 - socketIsConnected :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Bool
 - socketJoinMulticastGroup :: (HasCallStack, MonadIO m, IsSocket a, IsInetAddress b) => a -> b -> Bool -> Maybe Text -> m ()
 - socketJoinMulticastGroupSsm :: (HasCallStack, MonadIO m, IsSocket a, IsInetAddress b, IsInetAddress c) => a -> b -> Maybe c -> Maybe Text -> m ()
 - socketLeaveMulticastGroup :: (HasCallStack, MonadIO m, IsSocket a, IsInetAddress b) => a -> b -> Bool -> Maybe Text -> m ()
 - socketLeaveMulticastGroupSsm :: (HasCallStack, MonadIO m, IsSocket a, IsInetAddress b, IsInetAddress c) => a -> b -> Maybe c -> Maybe Text -> m ()
 - socketListen :: (HasCallStack, MonadIO m, IsSocket a) => a -> m ()
 - socketNew :: (HasCallStack, MonadIO m) => SocketFamily -> SocketType -> SocketProtocol -> m Socket
 - socketNewFromFd :: (HasCallStack, MonadIO m) => Int32 -> m Socket
 - socketReceive :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) => a -> ByteString -> Maybe b -> m Int64
 - socketReceiveFrom :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) => a -> ByteString -> Maybe b -> m (Int64, SocketAddress)
 - socketReceiveMessage :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) => a -> [InputVector] -> Int32 -> Maybe b -> m (Int64, Maybe SocketAddress, Maybe [SocketControlMessage], Int32)
 - socketReceiveMessages :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) => a -> [InputMessage] -> Int32 -> Maybe b -> m Int32
 - socketReceiveWithBlocking :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) => a -> ByteString -> Bool -> Maybe b -> m Int64
 - socketSend :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) => a -> ByteString -> Maybe b -> m Int64
 - socketSendMessage :: (HasCallStack, MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) => a -> Maybe b -> [OutputVector] -> Maybe [SocketControlMessage] -> Int32 -> Maybe c -> m Int64
 - socketSendMessageWithTimeout :: (HasCallStack, MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) => a -> Maybe b -> [OutputVector] -> Maybe [SocketControlMessage] -> Int32 -> Int64 -> Maybe c -> m (PollableReturn, Word64)
 - socketSendMessages :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) => a -> [OutputMessage] -> Int32 -> Maybe b -> m Int32
 - socketSendTo :: (HasCallStack, MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) => a -> Maybe b -> ByteString -> Maybe c -> m Int64
 - socketSendWithBlocking :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) => a -> ByteString -> Bool -> Maybe b -> m Int64
 - socketSetBlocking :: (HasCallStack, MonadIO m, IsSocket a) => a -> Bool -> m ()
 - socketSetBroadcast :: (HasCallStack, MonadIO m, IsSocket a) => a -> Bool -> m ()
 - socketSetKeepalive :: (HasCallStack, MonadIO m, IsSocket a) => a -> Bool -> m ()
 - socketSetListenBacklog :: (HasCallStack, MonadIO m, IsSocket a) => a -> Int32 -> m ()
 - socketSetMulticastLoopback :: (HasCallStack, MonadIO m, IsSocket a) => a -> Bool -> m ()
 - socketSetMulticastTtl :: (HasCallStack, MonadIO m, IsSocket a) => a -> Word32 -> m ()
 - socketSetOption :: (HasCallStack, MonadIO m, IsSocket a) => a -> Int32 -> Int32 -> Int32 -> m ()
 - socketSetTimeout :: (HasCallStack, MonadIO m, IsSocket a) => a -> Word32 -> m ()
 - socketSetTtl :: (HasCallStack, MonadIO m, IsSocket a) => a -> Word32 -> m ()
 - socketShutdown :: (HasCallStack, MonadIO m, IsSocket a) => a -> Bool -> Bool -> m ()
 - socketSpeaksIpv4 :: (HasCallStack, MonadIO m, IsSocket a) => a -> m Bool
 - constructSocketBlocking :: (IsSocket o, MonadIO m) => Bool -> m (GValueConstruct o)
 - getSocketBlocking :: (MonadIO m, IsSocket o) => o -> m Bool
 - setSocketBlocking :: (MonadIO m, IsSocket o) => o -> Bool -> m ()
 - constructSocketBroadcast :: (IsSocket o, MonadIO m) => Bool -> m (GValueConstruct o)
 - getSocketBroadcast :: (MonadIO m, IsSocket o) => o -> m Bool
 - setSocketBroadcast :: (MonadIO m, IsSocket o) => o -> Bool -> m ()
 - constructSocketFamily :: (IsSocket o, MonadIO m) => SocketFamily -> m (GValueConstruct o)
 - getSocketFamily :: (MonadIO m, IsSocket o) => o -> m SocketFamily
 - constructSocketFd :: (IsSocket o, MonadIO m) => Int32 -> m (GValueConstruct o)
 - getSocketFd :: (MonadIO m, IsSocket o) => o -> m Int32
 - constructSocketKeepalive :: (IsSocket o, MonadIO m) => Bool -> m (GValueConstruct o)
 - getSocketKeepalive :: (MonadIO m, IsSocket o) => o -> m Bool
 - setSocketKeepalive :: (MonadIO m, IsSocket o) => o -> Bool -> m ()
 - constructSocketListenBacklog :: (IsSocket o, MonadIO m) => Int32 -> m (GValueConstruct o)
 - getSocketListenBacklog :: (MonadIO m, IsSocket o) => o -> m Int32
 - setSocketListenBacklog :: (MonadIO m, IsSocket o) => o -> Int32 -> m ()
 - getSocketLocalAddress :: (MonadIO m, IsSocket o) => o -> m (Maybe SocketAddress)
 - constructSocketMulticastLoopback :: (IsSocket o, MonadIO m) => Bool -> m (GValueConstruct o)
 - getSocketMulticastLoopback :: (MonadIO m, IsSocket o) => o -> m Bool
 - setSocketMulticastLoopback :: (MonadIO m, IsSocket o) => o -> Bool -> m ()
 - constructSocketMulticastTtl :: (IsSocket o, MonadIO m) => Word32 -> m (GValueConstruct o)
 - getSocketMulticastTtl :: (MonadIO m, IsSocket o) => o -> m Word32
 - setSocketMulticastTtl :: (MonadIO m, IsSocket o) => o -> Word32 -> m ()
 - constructSocketProtocol :: (IsSocket o, MonadIO m) => SocketProtocol -> m (GValueConstruct o)
 - getSocketProtocol :: (MonadIO m, IsSocket o) => o -> m SocketProtocol
 - getSocketRemoteAddress :: (MonadIO m, IsSocket o) => o -> m (Maybe SocketAddress)
 - constructSocketTimeout :: (IsSocket o, MonadIO m) => Word32 -> m (GValueConstruct o)
 - getSocketTimeout :: (MonadIO m, IsSocket o) => o -> m Word32
 - setSocketTimeout :: (MonadIO m, IsSocket o) => o -> Word32 -> m ()
 - constructSocketTtl :: (IsSocket o, MonadIO m) => Word32 -> m (GValueConstruct o)
 - getSocketTtl :: (MonadIO m, IsSocket o) => o -> m Word32
 - setSocketTtl :: (MonadIO m, IsSocket o) => o -> Word32 -> m ()
 - constructSocketType :: (IsSocket o, MonadIO m) => SocketType -> m (GValueConstruct o)
 - getSocketType :: (MonadIO m, IsSocket o) => o -> m SocketType
 
Exported types
Memory-managed wrapper type.
Constructors
| Socket (ManagedPtr Socket) | 
Instances
| Eq Socket Source # | |
| GObject Socket Source # | |
Defined in GI.Gio.Objects.Socket Methods gobjectType :: IO GType #  | |
| IsGValue Socket Source # | Convert   | 
| HasParentTypes Socket Source # | |
Defined in GI.Gio.Objects.Socket  | |
| type ParentTypes Socket Source # | |
Defined in GI.Gio.Objects.Socket  | |
class (GObject o, IsDescendantOf Socket o) => IsSocket o Source #
Instances
| (GObject o, IsDescendantOf Socket o) => IsSocket o Source # | |
Defined in GI.Gio.Objects.Socket  | |
Methods
Overloaded methods
accept
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) | |
| => a | 
  | 
| -> Maybe b | 
  | 
| -> m Socket | Returns: a new   | 
Accept incoming connections on a connection-based socket. This removes
 the first outstanding connection request from the listening socket and
 creates a Socket object for it.
The socket must be bound to a local address with socketBind and
 must be listening for incoming connections (socketListen).
If there are no outstanding connections then the operation will block
 or return IOErrorEnumWouldBlock if non-blocking I/O is enabled.
 To be notified of an incoming connection, wait for the IOConditionIn condition.
Since: 2.22
bind
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsSocketAddress b) | |
| => a | 
  | 
| -> b | 
  | 
| -> Bool | 
  | 
| -> m () | (Can throw   | 
When a socket is created it is attached to an address family, but it
 doesn't have an address in this family. socketBind assigns the
 address (sometimes called name) of the socket.
It is generally required to bind to a local address before you can
 receive connections. (See socketListen and socketAccept ).
 In certain situations, you may also want to bind a socket that will be
 used to initiate connections, though this is not normally required.
If socket is a TCP socket, then allowReuse controls the setting
 of the SO_REUSEADDR socket option; normally it should be True for
 server sockets (sockets that you will eventually call
 socketAccept on), and False for client sockets. (Failing to
 set this flag on a server socket may cause socketBind to return
 IOErrorEnumAddressInUse if the server program is stopped and then
 immediately restarted.)
If socket is a UDP socket, then allowReuse determines whether or
 not other UDP sockets can be bound to the same address at the same
 time. In particular, you can have several UDP sockets bound to the
 same address, and they will all receive all of the multicast and
 broadcast packets sent to that address. (The behavior of unicast
 UDP packets to an address with multiple listeners is not defined.)
Since: 2.22
checkConnectResult
socketCheckConnectResult Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m () | (Can throw   | 
Checks and resets the pending connect error for the socket.
 This is used to check for errors when socketConnect is
 used in non-blocking mode.
Since: 2.22
close
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m () | (Can throw   | 
Closes the socket, shutting down any active connection.
Closing a socket does not wait for all outstanding I/O operations to finish, so the caller should not rely on them to be guaranteed to complete even if the close returns with no error.
Once the socket is closed, all other operations will return
 IOErrorEnumClosed. Closing a socket multiple times will not
 return an error.
Sockets will be automatically closed when the last reference is dropped, but you might want to call this function to make sure resources are released as early as possible.
Beware that due to the way that TCP works, it is possible for
 recently-sent data to be lost if either you close a socket while the
 IOConditionIn condition is set, or else if the remote connection tries to
 send something to you after you close the socket but before it has
 finished reading all of the data you sent. There is no easy generic
 way to avoid this problem; the easiest fix is to design the network
 protocol such that the client will never send data "out of turn".
 Another solution is for the server to half-close the connection by
 calling socketShutdown with only the shutdownWrite flag set,
 and then wait for the client to notice this and close its side of the
 connection, after which the server can safely call socketClose.
 (This is what TcpConnection does if you call
 tcpConnectionSetGracefulDisconnect. But of course, this
 only works if the client will close its connection after the server
 does.)
Since: 2.22
conditionCheck
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> [IOCondition] | 
  | 
| -> m [IOCondition] | Returns: the   | 
Checks on the readiness of socket to perform operations.
 The operations specified in condition are checked for and masked
 against the currently-satisfied conditions on socket. The result
 is returned.
Note that on Windows, it is possible for an operation to return
 IOErrorEnumWouldBlock even immediately after
 socketConditionCheck has claimed that the socket is ready for
 writing. Rather than calling socketConditionCheck and then
 writing to the socket if it succeeds, it is generally better to
 simply try writing to the socket right away, and try again later if
 the initial attempt returns IOErrorEnumWouldBlock.
It is meaningless to specify IOConditionErr or IOConditionHup in condition;
 these conditions will always be set in the output if they are true.
This call never blocks.
Since: 2.22
conditionTimedWait
socketConditionTimedWait Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) | |
| => a | 
  | 
| -> [IOCondition] | 
  | 
| -> Int64 | 
  | 
| -> Maybe b | 
  | 
| -> m () | (Can throw   | 
Waits for up to timeoutUs microseconds for condition to become true
 on socket. If the condition is met, True is returned.
If cancellable is cancelled before the condition is met, or if
 timeoutUs (or the socket's Socket:timeout) is reached before the
 condition is met, then False is returned and error, if non-Nothing,
 is set to the appropriate value (IOErrorEnumCancelled or
 IOErrorEnumTimedOut).
If you don't want a timeout, use socketConditionWait.
 (Alternatively, you can pass -1 for timeoutUs.)
Note that although timeoutUs is in microseconds for consistency with
 other GLib APIs, this function actually only has millisecond
 resolution, and the behavior is undefined if timeoutUs is not an
 exact number of milliseconds.
Since: 2.32
conditionWait
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) | |
| => a | 
  | 
| -> [IOCondition] | 
  | 
| -> Maybe b | 
  | 
| -> m () | (Can throw   | 
Waits for condition to become true on socket. When the condition
 is met, True is returned.
If cancellable is cancelled before the condition is met, or if the
 socket has a timeout set and it is reached before the condition is
 met, then False is returned and error, if non-Nothing, is set to
 the appropriate value (IOErrorEnumCancelled or
 IOErrorEnumTimedOut).
See also socketConditionTimedWait.
Since: 2.22
connect
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) | |
| => a | 
  | 
| -> b | 
  | 
| -> Maybe c | 
  | 
| -> m () | (Can throw   | 
Connect the socket to the specified remote address.
For connection oriented socket this generally means we attempt to make
 a connection to the address. For a connection-less socket it sets
 the default address for socketSend and discards all incoming datagrams
 from other sources.
Generally connection oriented sockets can only connect once, but connection-less sockets can connect multiple times to change the default address.
If the connect call needs to do network I/O it will block, unless
 non-blocking I/O is enabled. Then IOErrorEnumPending is returned
 and the user can be notified of the connection finishing by waiting
 for the G_IO_OUT condition. The result of the connection must then be
 checked with socketCheckConnectResult.
Since: 2.22
connectionFactoryCreateConnection
socketConnectionFactoryCreateConnection Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m SocketConnection | Returns: a   | 
Creates a SocketConnection subclass of the right type for
 socket.
Since: 2.22
getAvailableBytes
socketGetAvailableBytes Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Int64 | Returns: the number of bytes that can be read from the socket without blocking or truncating, or -1 on error.  | 
Get the amount of data pending in the OS input buffer, without blocking.
If socket is a UDP or SCTP socket, this will return the size of
 just the next packet, even if additional packets are buffered after
 that one.
Note that on Windows, this function is rather inefficient in the
 UDP case, and so if you know any plausible upper bound on the size
 of the incoming packet, it is better to just do a
 socketReceive with a buffer of that size, rather than calling
 socketGetAvailableBytes first and then doing a receive of
 exactly the right size.
Since: 2.32
getBlocking
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Bool | 
Gets the blocking mode of the socket. For details on blocking I/O,
 see socketSetBlocking.
Since: 2.22
getBroadcast
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Bool | Returns: the broadcast setting on   | 
Gets the broadcast setting on socket; if True,
 it is possible to send packets to broadcast
 addresses.
Since: 2.32
getCredentials
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Credentials | Returns:   | 
Returns the credentials of the foreign process connected to this
 socket, if any (e.g. it is only supported for SocketFamilyUnix
 sockets).
If this operation isn't supported on the OS, the method fails with
 the IOErrorEnumNotSupported error. On Linux this is implemented
 by reading the SO_PEERCRED option on the underlying socket.
This method can be expected to be available on the following platforms:
- Linux since GLib 2.26
 - OpenBSD since GLib 2.30
 - Solaris, Illumos and OpenSolaris since GLib 2.40
 - NetBSD since GLib 2.42
 
Other ways to obtain credentials from a foreign peer includes the
 UnixCredentialsMessage type and
 unixConnectionSendCredentials /
 unixConnectionReceiveCredentials functions.
Since: 2.26
getFamily
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m SocketFamily | Returns: a   | 
Gets the socket family of the socket.
Since: 2.22
getFd
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Int32 | Returns: the file descriptor of the socket.  | 
Returns the underlying OS socket object. On unix this is a socket file descriptor, and on Windows this is a Winsock2 SOCKET handle. This may be useful for doing platform specific or otherwise unusual operations on the socket.
Since: 2.22
getKeepalive
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Bool | 
Gets the keepalive mode of the socket. For details on this,
 see socketSetKeepalive.
Since: 2.22
getListenBacklog
socketGetListenBacklog Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Int32 | Returns: the maximum number of pending connections.  | 
Gets the listen backlog setting of the socket. For details on this,
 see socketSetListenBacklog.
Since: 2.22
getLocalAddress
socketGetLocalAddress Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m SocketAddress | Returns: a   | 
Try to get the local address of a bound socket. This is only useful if the socket has been bound to a local address, either explicitly or implicitly when connecting.
Since: 2.22
getMulticastLoopback
socketGetMulticastLoopback Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Bool | Returns: the multicast loopback setting on   | 
Gets the multicast loopback setting on socket; if True (the
 default), outgoing multicast packets will be looped back to
 multicast listeners on the same host.
Since: 2.32
getMulticastTtl
socketGetMulticastTtl Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Word32 | Returns: the multicast time-to-live setting on   | 
Gets the multicast time-to-live setting on socket; see
 socketSetMulticastTtl for more details.
Since: 2.32
getOption
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> Int32 | 
  | 
| -> Int32 | 
  | 
| -> m Int32 | (Can throw   | 
Gets the value of an integer-valued option on socket, as with
 getsockopt(). (If you need to fetch a  non-integer-valued option,
 you will need to call getsockopt() directly.)
The [<gio/gnetworking.h>][gio-gnetworking.h] header pulls in system headers that will define most of the standard/portable socket options. For unusual socket protocols or platform-dependent options, you may need to include additional headers.
Note that even for socket options that are a single byte in size,
 value is still a pointer to a gint variable, not a guchar;
 socketGetOption will handle the conversion internally.
Since: 2.36
getProtocol
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m SocketProtocol | Returns: a protocol id, or -1 if unknown  | 
Gets the socket protocol id the socket was created with. In case the protocol is unknown, -1 is returned.
Since: 2.22
getRemoteAddress
socketGetRemoteAddress Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m SocketAddress | Returns: a   | 
Try to get the remote address of a connected socket. This is only useful for connection oriented sockets that have been connected.
Since: 2.22
getSocketType
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m SocketType | Returns: a   | 
Gets the socket type of the socket.
Since: 2.22
getTimeout
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Word32 | Returns: the timeout in seconds  | 
Gets the timeout setting of the socket. For details on this, see
 socketSetTimeout.
Since: 2.26
getTtl
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Word32 | Returns: the time-to-live setting on   | 
Gets the unicast time-to-live setting on socket; see
 socketSetTtl for more details.
Since: 2.32
isClosed
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Bool | 
Checks whether a socket is closed.
Since: 2.22
isConnected
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Bool | 
Check whether the socket is connected. This is only useful for connection-oriented sockets.
If using socketShutdown, this function will return True until the
 socket has been shut down for reading and writing. If you do a non-blocking
 connect, this function will not return True until after you call
 socketCheckConnectResult.
Since: 2.22
joinMulticastGroup
socketJoinMulticastGroup Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsInetAddress b) | |
| => a | 
  | 
| -> b | 
  | 
| -> Bool | 
  | 
| -> Maybe Text | 
  | 
| -> m () | (Can throw   | 
Registers socket to receive multicast messages sent to group.
 socket must be a SocketTypeDatagram socket, and must have
 been bound to an appropriate interface and port with
 socketBind.
If iface is Nothing, the system will automatically pick an interface
 to bind to based on group.
If sourceSpecific is True, source-specific multicast as defined
 in RFC 4604 is used. Note that on older platforms this may fail
 with a IOErrorEnumNotSupported error.
To bind to a given source-specific multicast address, use
 socketJoinMulticastGroupSsm instead.
Since: 2.32
joinMulticastGroupSsm
socketJoinMulticastGroupSsm Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsInetAddress b, IsInetAddress c) | |
| => a | 
  | 
| -> b | 
  | 
| -> Maybe c | 
  | 
| -> Maybe Text | 
  | 
| -> m () | (Can throw   | 
Registers socket to receive multicast messages sent to group.
 socket must be a SocketTypeDatagram socket, and must have
 been bound to an appropriate interface and port with
 socketBind.
If iface is Nothing, the system will automatically pick an interface
 to bind to based on group.
If sourceSpecific is not Nothing, use source-specific multicast as
 defined in RFC 4604. Note that on older platforms this may fail
 with a IOErrorEnumNotSupported error.
Note that this function can be called multiple times for the same
 group with different sourceSpecific in order to receive multicast
 packets from more than one source.
Since: 2.56
leaveMulticastGroup
socketLeaveMulticastGroup Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsInetAddress b) | |
| => a | 
  | 
| -> b | 
  | 
| -> Bool | 
  | 
| -> Maybe Text | 
  | 
| -> m () | (Can throw   | 
Removes socket from the multicast group defined by group, iface,
 and sourceSpecific (which must all have the same values they had
 when you joined the group).
socket remains bound to its address and port, and can still receive
 unicast messages after calling this.
To unbind to a given source-specific multicast address, use
 socketLeaveMulticastGroupSsm instead.
Since: 2.32
leaveMulticastGroupSsm
socketLeaveMulticastGroupSsm Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsInetAddress b, IsInetAddress c) | |
| => a | 
  | 
| -> b | 
  | 
| -> Maybe c | 
  | 
| -> Maybe Text | 
  | 
| -> m () | (Can throw   | 
Removes socket from the multicast group defined by group, iface,
 and sourceSpecific (which must all have the same values they had
 when you joined the group).
socket remains bound to its address and port, and can still receive
 unicast messages after calling this.
Since: 2.56
listen
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m () | (Can throw   | 
Marks the socket as a server socket, i.e. a socket that is used
 to accept incoming requests using socketAccept.
Before calling this the socket must be bound to a local address using
 socketBind.
To set the maximum amount of outstanding clients, use
 socketSetListenBacklog.
Since: 2.22
new
Arguments
| :: (HasCallStack, MonadIO m) | |
| => SocketFamily | 
  | 
| -> SocketType | 
  | 
| -> SocketProtocol | 
  | 
| -> m Socket | Returns: a   | 
Creates a new Socket with the defined family, type and protocol.
 If protocol is 0 (SocketProtocolDefault) the default protocol type
 for the family and type is used.
The protocol is a family and type specific int that specifies what
 kind of protocol to use. SocketProtocol lists several common ones.
 Many families only support one protocol, and use 0 for this, others
 support several and using 0 means to use the default protocol for
 the family and type.
The protocol id is passed directly to the operating
 system, so you can use protocols not listed in SocketProtocol if you
 know the protocol number used for it.
Since: 2.22
newFromFd
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Int32 | 
  | 
| -> m Socket | Returns: a   | 
Creates a new Socket from a native file descriptor
 or winsock SOCKET handle.
This reads all the settings from the file descriptor so that
 all properties should work. Note that the file descriptor
 will be set to non-blocking mode, independent on the blocking
 mode of the Socket.
On success, the returned Socket takes ownership of fd. On failure, the
 caller must close fd themselves.
Since GLib 2.46, it is no longer a fatal error to call this on a non-socket
 descriptor.  Instead, a GError will be set with code IOErrorEnumFailed
Since: 2.22
receive
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) | |
| => a | 
  | 
| -> ByteString | 
  | 
| -> Maybe b | 
  | 
| -> m Int64 | Returns: Number of bytes read, or 0 if the connection was closed by
 the peer, or -1 on error (Can throw   | 
Receive data (up to size bytes) from a socket. This is mainly used by
 connection-oriented sockets; it is identical to socketReceiveFrom
 with address set to Nothing.
For SocketTypeDatagram and SocketTypeSeqpacket sockets,
 socketReceive will always read either 0 or 1 complete messages from
 the socket. If the received message is too large to fit in buffer, then
 the data beyond size bytes will be discarded, without any explicit
 indication that this has occurred.
For SocketTypeStream sockets, socketReceive can return any
 number of bytes, up to size. If more than size bytes have been
 received, the additional data will be returned in future calls to
 socketReceive.
If the socket is in blocking mode the call will block until there
 is some data to receive, the connection is closed, or there is an
 error. If there is no data available and the socket is in
 non-blocking mode, a IOErrorEnumWouldBlock error will be
 returned. To be notified when data is available, wait for the
 IOConditionIn condition.
On error -1 is returned and error is set accordingly.
Since: 2.22
receiveFrom
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) | |
| => a | 
  | 
| -> ByteString | 
  | 
| -> Maybe b | 
  | 
| -> m (Int64, SocketAddress) | Returns: Number of bytes read, or 0 if the connection was closed by
 the peer, or -1 on error (Can throw   | 
Receive data (up to size bytes) from a socket.
If address is non-Nothing then address will be set equal to the
 source address of the received packet.
 address is owned by the caller.
See socketReceive for additional information.
Since: 2.22
receiveMessage
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) | |
| => a | 
  | 
| -> [InputVector] | 
  | 
| -> Int32 | 
  | 
| -> Maybe b | 
  | 
| -> m (Int64, Maybe SocketAddress, Maybe [SocketControlMessage], Int32) | Returns: Number of bytes read, or 0 if the connection was closed by
 the peer, or -1 on error (Can throw   | 
Receive data from a socket.  For receiving multiple messages, see
 socketReceiveMessages; for easier use, see
 socketReceive and socketReceiveFrom.
If address is non-Nothing then address will be set equal to the
 source address of the received packet.
 address is owned by the caller.
vector must point to an array of InputVector structs and
 numVectors must be the length of this array.  These structs
 describe the buffers that received data will be scattered into.
 If numVectors is -1, then vectors is assumed to be terminated
 by a InputVector with a Nothing buffer pointer.
As a special case, if numVectors is 0 (in which case, vectors
 may of course be Nothing), then a single byte is received and
 discarded. This is to facilitate the common practice of sending a
 single '\0' byte for the purposes of transferring ancillary data.
messages, if non-Nothing, will be set to point to a newly-allocated
 array of SocketControlMessage instances or Nothing if no such
 messages was received. These correspond to the control messages
 received from the kernel, one SocketControlMessage per message
 from the kernel. This array is Nothing-terminated and must be freed
 by the caller using free after calling objectUnref on each
 element. If messages is Nothing, any control messages received will
 be discarded.
numMessages, if non-Nothing, will be set to the number of control
 messages received.
If both messages and numMessages are non-Nothing, then
 numMessages gives the number of SocketControlMessage instances
 in messages (ie: not including the Nothing terminator).
flags is an in/out parameter. The commonly available arguments
 for this are available in the SocketMsgFlags enum, but the
 values there are the same as the system values, and the flags
 are passed in as-is, so you can pass in system-specific flags too
 (and socketReceiveMessage may pass system-specific flags out).
 Flags passed in to the parameter affect the receive operation; flags returned
 out of it are relevant to the specific returned message.
As with socketReceive, data may be discarded if socket is
 SocketTypeDatagram or SocketTypeSeqpacket and you do not
 provide enough buffer space to read a complete message. You can pass
 SocketMsgFlagsPeek in flags to peek at the current message without
 removing it from the receive queue, but there is no portable way to find
 out the length of the message other than by reading it into a
 sufficiently-large buffer.
If the socket is in blocking mode the call will block until there
 is some data to receive, the connection is closed, or there is an
 error. If there is no data available and the socket is in
 non-blocking mode, a IOErrorEnumWouldBlock error will be
 returned. To be notified when data is available, wait for the
 IOConditionIn condition.
On error -1 is returned and error is set accordingly.
Since: 2.22
receiveMessages
socketReceiveMessages Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) | |
| => a | 
  | 
| -> [InputMessage] | 
  | 
| -> Int32 | 
  | 
| -> Maybe b | 
  | 
| -> m Int32 | Returns: number of messages received, or -1 on error. Note that the number
     of messages received may be smaller than   | 
Receive multiple data messages from socket in one go.  This is the most
 complicated and fully-featured version of this call. For easier use, see
 socketReceive, socketReceiveFrom, and socketReceiveMessage.
messages must point to an array of InputMessage structs and
 numMessages must be the length of this array. Each InputMessage
 contains a pointer to an array of InputVector structs describing the
 buffers that the data received in each message will be written to. Using
 multiple GInputVectors is more memory-efficient than manually copying data
 out of a single buffer to multiple sources, and more system-call-efficient
 than making multiple calls to socketReceive, such as in scenarios where
 a lot of data packets need to be received (e.g. high-bandwidth video
 streaming over RTP/UDP).
flags modify how all messages are received. The commonly available
 arguments for this are available in the SocketMsgFlags enum, but the
 values there are the same as the system values, and the flags
 are passed in as-is, so you can pass in system-specific flags too. These
 flags affect the overall receive operation. Flags affecting individual
 messages are returned in InputMessage.flags.
The other members of InputMessage are treated as described in its
 documentation.
If Socket:blocking is True the call will block until numMessages have
 been received, or the end of the stream is reached.
If Socket:blocking is False the call will return up to numMessages
 without blocking, or IOErrorEnumWouldBlock if no messages are queued in the
 operating system to be received.
In blocking mode, if Socket:timeout is positive and is reached before any
 messages are received, IOErrorEnumTimedOut is returned, otherwise up to
 numMessages are returned. (Note: This is effectively the
 behaviour of MSG_WAITFORONE with recvmmsg().)
To be notified when messages are available, wait for the
 IOConditionIn condition. Note though that you may still receive
 IOErrorEnumWouldBlock from socketReceiveMessages even if you were
 previously notified of a IOConditionIn condition.
If the remote peer closes the connection, any messages queued in the
 operating system will be returned, and subsequent calls to
 socketReceiveMessages will return 0 (with no error set).
On error -1 is returned and error is set accordingly. An error will only
 be returned if zero messages could be received; otherwise the number of
 messages successfully received before the error will be returned.
Since: 2.48
receiveWithBlocking
socketReceiveWithBlocking Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) | |
| => a | 
  | 
| -> ByteString | 
  | 
| -> Bool | 
  | 
| -> Maybe b | 
  | 
| -> m Int64 | Returns: Number of bytes read, or 0 if the connection was closed by
 the peer, or -1 on error (Can throw   | 
This behaves exactly the same as socketReceive, except that
 the choice of blocking or non-blocking behavior is determined by
 the blocking argument rather than by socket's properties.
Since: 2.26
send
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) | |
| => a | 
  | 
| -> ByteString | 
  | 
| -> Maybe b | 
  | 
| -> m Int64 | Returns: Number of bytes written (which may be less than   | 
Tries to send size bytes from buffer on the socket. This is
 mainly used by connection-oriented sockets; it is identical to
 socketSendTo with address set to Nothing.
If the socket is in blocking mode the call will block until there is
 space for the data in the socket queue. If there is no space available
 and the socket is in non-blocking mode a IOErrorEnumWouldBlock error
 will be returned. To be notified when space is available, wait for the
 IOConditionOut condition. Note though that you may still receive
 IOErrorEnumWouldBlock from socketSend even if you were previously
 notified of a IOConditionOut condition. (On Windows in particular, this is
 very common due to the way the underlying APIs work.)
On error -1 is returned and error is set accordingly.
Since: 2.22
sendMessage
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) | |
| => a | 
  | 
| -> Maybe b | 
  | 
| -> [OutputVector] | 
  | 
| -> Maybe [SocketControlMessage] | 
  | 
| -> Int32 | 
  | 
| -> Maybe c | 
  | 
| -> m Int64 | Returns: Number of bytes written (which may be less than   | 
Send data to address on socket.  For sending multiple messages see
 socketSendMessages; for easier use, see
 socketSend and socketSendTo.
If address is Nothing then the message is sent to the default receiver
 (set by socketConnect).
vectors must point to an array of OutputVector structs and
 numVectors must be the length of this array. (If numVectors is -1,
 then vectors is assumed to be terminated by a OutputVector with a
 Nothing buffer pointer.) The OutputVector structs describe the buffers
 that the sent data will be gathered from. Using multiple
 GOutputVectors is more memory-efficient than manually copying
 data from multiple sources into a single buffer, and more
 network-efficient than making multiple calls to socketSend.
messages, if non-Nothing, is taken to point to an array of numMessages
 SocketControlMessage instances. These correspond to the control
 messages to be sent on the socket.
 If numMessages is -1 then messages is treated as a Nothing-terminated
 array.
flags modify how the message is sent. The commonly available arguments
 for this are available in the SocketMsgFlags enum, but the
 values there are the same as the system values, and the flags
 are passed in as-is, so you can pass in system-specific flags too.
If the socket is in blocking mode the call will block until there is
 space for the data in the socket queue. If there is no space available
 and the socket is in non-blocking mode a IOErrorEnumWouldBlock error
 will be returned. To be notified when space is available, wait for the
 IOConditionOut condition. Note though that you may still receive
 IOErrorEnumWouldBlock from socketSend even if you were previously
 notified of a IOConditionOut condition. (On Windows in particular, this is
 very common due to the way the underlying APIs work.)
On error -1 is returned and error is set accordingly.
Since: 2.22
sendMessageWithTimeout
socketSendMessageWithTimeout Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) | |
| => a | 
  | 
| -> Maybe b | 
  | 
| -> [OutputVector] | 
  | 
| -> Maybe [SocketControlMessage] | 
  | 
| -> Int32 | 
  | 
| -> Int64 | 
  | 
| -> Maybe c | 
  | 
| -> m (PollableReturn, Word64) | Returns:   | 
This behaves exactly the same as socketSendMessage, except that
 the choice of timeout behavior is determined by the timeoutUs argument
 rather than by socket's properties.
On error PollableReturnFailed is returned and error is set accordingly, or
 if the socket is currently not writable PollableReturnWouldBlock is
 returned. bytesWritten will contain 0 in both cases.
Since: 2.60
sendMessages
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) | |
| => a | 
  | 
| -> [OutputMessage] | 
  | 
| -> Int32 | 
  | 
| -> Maybe b | 
  | 
| -> m Int32 | Returns: number of messages sent, or -1 on error. Note that the number of
     messages sent may be smaller than   | 
Send multiple data messages from socket in one go.  This is the most
 complicated and fully-featured version of this call. For easier use, see
 socketSend, socketSendTo, and socketSendMessage.
messages must point to an array of OutputMessage structs and
 numMessages must be the length of this array. Each OutputMessage
 contains an address to send the data to, and a pointer to an array of
 OutputVector structs to describe the buffers that the data to be sent
 for each message will be gathered from. Using multiple GOutputVectors is
 more memory-efficient than manually copying data from multiple sources
 into a single buffer, and more network-efficient than making multiple
 calls to socketSend. Sending multiple messages in one go avoids the
 overhead of making a lot of syscalls in scenarios where a lot of data
 packets need to be sent (e.g. high-bandwidth video streaming over RTP/UDP),
 or where the same data needs to be sent to multiple recipients.
flags modify how the message is sent. The commonly available arguments
 for this are available in the SocketMsgFlags enum, but the
 values there are the same as the system values, and the flags
 are passed in as-is, so you can pass in system-specific flags too.
If the socket is in blocking mode the call will block until there is
 space for all the data in the socket queue. If there is no space available
 and the socket is in non-blocking mode a IOErrorEnumWouldBlock error
 will be returned if no data was written at all, otherwise the number of
 messages sent will be returned. To be notified when space is available,
 wait for the IOConditionOut condition. Note though that you may still receive
 IOErrorEnumWouldBlock from socketSend even if you were previously
 notified of a IOConditionOut condition. (On Windows in particular, this is
 very common due to the way the underlying APIs work.)
On error -1 is returned and error is set accordingly. An error will only
 be returned if zero messages could be sent; otherwise the number of messages
 successfully sent before the error will be returned.
Since: 2.44
sendTo
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) | |
| => a | 
  | 
| -> Maybe b | 
  | 
| -> ByteString | 
  | 
| -> Maybe c | 
  | 
| -> m Int64 | Returns: Number of bytes written (which may be less than   | 
Tries to send size bytes from buffer to address. If address is
 Nothing then the message is sent to the default receiver (set by
 socketConnect).
See socketSend for additional information.
Since: 2.22
sendWithBlocking
socketSendWithBlocking Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b) | |
| => a | 
  | 
| -> ByteString | 
  | 
| -> Bool | 
  | 
| -> Maybe b | 
  | 
| -> m Int64 | Returns: Number of bytes written (which may be less than   | 
This behaves exactly the same as socketSend, except that
 the choice of blocking or non-blocking behavior is determined by
 the blocking argument rather than by socket's properties.
Since: 2.26
setBlocking
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> Bool | 
  | 
| -> m () | 
Sets the blocking mode of the socket. In blocking mode
 all operations (which don’t take an explicit blocking parameter) block until
 they succeed or there is an error. In
 non-blocking mode all functions return results immediately or
 with a IOErrorEnumWouldBlock error.
All sockets are created in blocking mode. However, note that the platform level socket is always non-blocking, and blocking mode is a GSocket level feature.
Since: 2.22
setBroadcast
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> Bool | 
  | 
| -> m () | 
Sets whether socket should allow sending to broadcast addresses.
 This is False by default.
Since: 2.32
setKeepalive
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> Bool | 
  | 
| -> m () | 
Sets or unsets the SO_KEEPALIVE flag on the underlying socket. When
 this flag is set on a socket, the system will attempt to verify that the
 remote socket endpoint is still present if a sufficiently long period of
 time passes with no data being exchanged. If the system is unable to
 verify the presence of the remote endpoint, it will automatically close
 the connection.
This option is only functional on certain kinds of sockets. (Notably,
 SocketProtocolTcp sockets.)
The exact time between pings is system- and protocol-dependent, but will normally be at least two hours. Most commonly, you would set this flag on a server socket if you want to allow clients to remain idle for long periods of time, but also want to ensure that connections are eventually garbage-collected if clients crash or become unreachable.
Since: 2.22
setListenBacklog
socketSetListenBacklog Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> Int32 | 
  | 
| -> m () | 
Sets the maximum number of outstanding connections allowed when listening on this socket. If more clients than this are connecting to the socket and the application is not handling them on time then the new connections will be refused.
Note that this must be called before socketListen and has no
 effect if called after that.
Since: 2.22
setMulticastLoopback
socketSetMulticastLoopback Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> Bool | 
  | 
| -> m () | 
Sets whether outgoing multicast packets will be received by sockets
 listening on that multicast address on the same host. This is True
 by default.
Since: 2.32
setMulticastTtl
socketSetMulticastTtl Source #
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> Word32 | 
  | 
| -> m () | 
Sets the time-to-live for outgoing multicast datagrams on socket.
 By default, this is 1, meaning that multicast packets will not leave
 the local network.
Since: 2.32
setOption
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> Int32 | 
  | 
| -> Int32 | 
  | 
| -> Int32 | 
  | 
| -> m () | (Can throw   | 
Sets the value of an integer-valued option on socket, as with
 setsockopt(). (If you need to set a non-integer-valued option,
 you will need to call setsockopt() directly.)
The [<gio/gnetworking.h>][gio-gnetworking.h] header pulls in system headers that will define most of the standard/portable socket options. For unusual socket protocols or platform-dependent options, you may need to include additional headers.
Since: 2.36
setTimeout
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> Word32 | 
  | 
| -> m () | 
Sets the time in seconds after which I/O operations on socket will
 time out if they have not yet completed.
On a blocking socket, this means that any blocking Socket
 operation will time out after timeout seconds of inactivity,
 returning IOErrorEnumTimedOut.
On a non-blocking socket, calls to socketConditionWait will
 also fail with IOErrorEnumTimedOut after the given time. Sources
 created with g_socket_create_source() will trigger after
 timeout seconds of inactivity, with the requested condition
 set, at which point calling socketReceive, socketSend,
 socketCheckConnectResult, etc, will fail with
 IOErrorEnumTimedOut.
If timeout is 0 (the default), operations will never time out
 on their own.
Note that if an I/O operation is interrupted by a signal, this may cause the timeout to be reset.
Since: 2.26
setTtl
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> Word32 | 
  | 
| -> m () | 
Sets the time-to-live for outgoing unicast packets on socket.
 By default the platform-specific default value is used.
Since: 2.32
shutdown
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> Bool | 
  | 
| -> Bool | 
  | 
| -> m () | (Can throw   | 
Shut down part or all of a full-duplex connection.
If shutdownRead is True then the receiving side of the connection
 is shut down, and further reading is disallowed.
If shutdownWrite is True then the sending side of the connection
 is shut down, and further writing is disallowed.
It is allowed for both shutdownRead and shutdownWrite to be True.
One example where it is useful to shut down only one side of a connection is graceful disconnect for TCP connections where you close the sending side, then wait for the other side to close the connection, thus ensuring that the other side saw all sent data.
Since: 2.22
speaksIpv4
Arguments
| :: (HasCallStack, MonadIO m, IsSocket a) | |
| => a | 
  | 
| -> m Bool | Returns:   | 
Checks if a socket is capable of speaking IPv4.
IPv4 sockets are capable of speaking IPv4. On some operating systems and under some combinations of circumstances IPv6 sockets are also capable of speaking IPv4. See RFC 3493 section 3.7 for more information.
No other types of sockets are currently considered as being capable of speaking IPv4.
Since: 2.22
Properties
blocking
No description available in the introspection data.
constructSocketBlocking :: (IsSocket o, MonadIO m) => Bool -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “blocking” property. This is rarely needed directly, but it is used by new.
getSocketBlocking :: (MonadIO m, IsSocket o) => o -> m Bool Source #
Get the value of the “blocking” property.
 When overloading is enabled, this is equivalent to
get socket #blocking
setSocketBlocking :: (MonadIO m, IsSocket o) => o -> Bool -> m () Source #
Set the value of the “blocking” property.
 When overloading is enabled, this is equivalent to
setsocket [ #blocking:=value ]
broadcast
Whether the socket should allow sending to broadcast addresses.
Since: 2.32
constructSocketBroadcast :: (IsSocket o, MonadIO m) => Bool -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “broadcast” property. This is rarely needed directly, but it is used by new.
getSocketBroadcast :: (MonadIO m, IsSocket o) => o -> m Bool Source #
Get the value of the “broadcast” property.
 When overloading is enabled, this is equivalent to
get socket #broadcast
setSocketBroadcast :: (MonadIO m, IsSocket o) => o -> Bool -> m () Source #
Set the value of the “broadcast” property.
 When overloading is enabled, this is equivalent to
setsocket [ #broadcast:=value ]
family
No description available in the introspection data.
constructSocketFamily :: (IsSocket o, MonadIO m) => SocketFamily -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “family” property. This is rarely needed directly, but it is used by new.
getSocketFamily :: (MonadIO m, IsSocket o) => o -> m SocketFamily Source #
Get the value of the “family” property.
 When overloading is enabled, this is equivalent to
get socket #family
fd
No description available in the introspection data.
constructSocketFd :: (IsSocket o, MonadIO m) => Int32 -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “fd” property. This is rarely needed directly, but it is used by new.
getSocketFd :: (MonadIO m, IsSocket o) => o -> m Int32 Source #
Get the value of the “fd” property.
 When overloading is enabled, this is equivalent to
get socket #fd
keepalive
No description available in the introspection data.
constructSocketKeepalive :: (IsSocket o, MonadIO m) => Bool -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “keepalive” property. This is rarely needed directly, but it is used by new.
getSocketKeepalive :: (MonadIO m, IsSocket o) => o -> m Bool Source #
Get the value of the “keepalive” property.
 When overloading is enabled, this is equivalent to
get socket #keepalive
setSocketKeepalive :: (MonadIO m, IsSocket o) => o -> Bool -> m () Source #
Set the value of the “keepalive” property.
 When overloading is enabled, this is equivalent to
setsocket [ #keepalive:=value ]
listenBacklog
No description available in the introspection data.
constructSocketListenBacklog :: (IsSocket o, MonadIO m) => Int32 -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “listen-backlog” property. This is rarely needed directly, but it is used by new.
getSocketListenBacklog :: (MonadIO m, IsSocket o) => o -> m Int32 Source #
Get the value of the “listen-backlog” property.
 When overloading is enabled, this is equivalent to
get socket #listenBacklog
setSocketListenBacklog :: (MonadIO m, IsSocket o) => o -> Int32 -> m () Source #
Set the value of the “listen-backlog” property.
 When overloading is enabled, this is equivalent to
setsocket [ #listenBacklog:=value ]
localAddress
No description available in the introspection data.
getSocketLocalAddress :: (MonadIO m, IsSocket o) => o -> m (Maybe SocketAddress) Source #
Get the value of the “local-address” property.
 When overloading is enabled, this is equivalent to
get socket #localAddress
multicastLoopback
Whether outgoing multicast packets loop back to the local host.
Since: 2.32
constructSocketMulticastLoopback :: (IsSocket o, MonadIO m) => Bool -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “multicast-loopback” property. This is rarely needed directly, but it is used by new.
getSocketMulticastLoopback :: (MonadIO m, IsSocket o) => o -> m Bool Source #
Get the value of the “multicast-loopback” property.
 When overloading is enabled, this is equivalent to
get socket #multicastLoopback
setSocketMulticastLoopback :: (MonadIO m, IsSocket o) => o -> Bool -> m () Source #
Set the value of the “multicast-loopback” property.
 When overloading is enabled, this is equivalent to
setsocket [ #multicastLoopback:=value ]
multicastTtl
Time-to-live out outgoing multicast packets
Since: 2.32
constructSocketMulticastTtl :: (IsSocket o, MonadIO m) => Word32 -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “multicast-ttl” property. This is rarely needed directly, but it is used by new.
getSocketMulticastTtl :: (MonadIO m, IsSocket o) => o -> m Word32 Source #
Get the value of the “multicast-ttl” property.
 When overloading is enabled, this is equivalent to
get socket #multicastTtl
setSocketMulticastTtl :: (MonadIO m, IsSocket o) => o -> Word32 -> m () Source #
Set the value of the “multicast-ttl” property.
 When overloading is enabled, this is equivalent to
setsocket [ #multicastTtl:=value ]
protocol
No description available in the introspection data.
constructSocketProtocol :: (IsSocket o, MonadIO m) => SocketProtocol -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “protocol” property. This is rarely needed directly, but it is used by new.
getSocketProtocol :: (MonadIO m, IsSocket o) => o -> m SocketProtocol Source #
Get the value of the “protocol” property.
 When overloading is enabled, this is equivalent to
get socket #protocol
remoteAddress
No description available in the introspection data.
getSocketRemoteAddress :: (MonadIO m, IsSocket o) => o -> m (Maybe SocketAddress) Source #
Get the value of the “remote-address” property.
 When overloading is enabled, this is equivalent to
get socket #remoteAddress
timeout
The timeout in seconds on socket I/O
Since: 2.26
constructSocketTimeout :: (IsSocket o, MonadIO m) => Word32 -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “timeout” property. This is rarely needed directly, but it is used by new.
getSocketTimeout :: (MonadIO m, IsSocket o) => o -> m Word32 Source #
Get the value of the “timeout” property.
 When overloading is enabled, this is equivalent to
get socket #timeout
setSocketTimeout :: (MonadIO m, IsSocket o) => o -> Word32 -> m () Source #
Set the value of the “timeout” property.
 When overloading is enabled, this is equivalent to
setsocket [ #timeout:=value ]
ttl
Time-to-live for outgoing unicast packets
Since: 2.32
constructSocketTtl :: (IsSocket o, MonadIO m) => Word32 -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “ttl” property. This is rarely needed directly, but it is used by new.
getSocketTtl :: (MonadIO m, IsSocket o) => o -> m Word32 Source #
Get the value of the “ttl” property.
 When overloading is enabled, this is equivalent to
get socket #ttl
setSocketTtl :: (MonadIO m, IsSocket o) => o -> Word32 -> m () Source #
Set the value of the “ttl” property.
 When overloading is enabled, this is equivalent to
setsocket [ #ttl:=value ]
type
No description available in the introspection data.
constructSocketType :: (IsSocket o, MonadIO m) => SocketType -> m (GValueConstruct o) Source #
Construct a GValueConstruct with valid value for the “type” property. This is rarely needed directly, but it is used by new.
getSocketType :: (MonadIO m, IsSocket o) => o -> m SocketType Source #
Get the value of the “type” property.
 When overloading is enabled, this is equivalent to
get socket #type