GI.Soup.Objects.Socket

Exported types

newtype Socket

Constructors

Socket (ManagedPtr Socket)

Instances

GObject Socket

Methods

gobjectType :: Socket -> IO GType

IsInitable Socket

IsObject Socket

IsSocket Socket

((~) * info (ResolveSocketMethod t Socket), MethodInfo * info Socket p) => IsLabel t (Socket -> p)

Methods

fromLabel :: Proxy# Symbol t -> Socket -> p

((~) * info (ResolveSocketMethod t Socket), MethodInfo * info Socket p) => IsLabelProxy t (Socket -> p)

Methods

fromLabelProxy :: Proxy Symbol t -> Socket -> p

HasAttributeList * Socket

type AttributeList Socket

type AttributeList Socket

type SignalList Socket

type SignalList Socket

class GObject o => IsSocket o

Instances

(GObject a, UnknownAncestorError Constraint Socket a) => IsSocket a

IsSocket Socket

toSocket :: IsSocket o => o -> IO Socket

noSocket :: Maybe Socket

Methods

connectAsync

data SocketConnectAsyncMethodInfo

Instances

((~) * signature (Maybe b -> SocketCallback -> m ()), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketConnectAsyncMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketConnectAsyncMethodInfo a -> signature -> s

socketConnectAsync

Arguments

:: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b)

=> a

sock: a client Socket (which must not already be connected)

-> Maybe b

cancellable: a Cancellable, or Nothing

-> SocketCallback

callback: callback to call after connecting

-> m ()

Begins asynchronously connecting to sock's remote address. The socket will call callback when it succeeds or fails (but not before returning from this function).

If cancellable is non-Nothing, it can be used to cancel the connection. callback will still be invoked in this case, with a status of StatusCancelled.

connectSync

data SocketConnectSyncMethodInfo

Instances

((~) * signature (Maybe b -> m Word32), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketConnectSyncMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketConnectSyncMethodInfo a -> signature -> s

socketConnectSync

Arguments

:: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b)

=> a

sock: a client Socket (which must not already be connected)

-> Maybe b

cancellable: a Cancellable, or Nothing

-> m Word32

Returns: a success or failure code.

Attempt to synchronously connect sock to its remote address.

If cancellable is non-Nothing, it can be used to cancel the connection, in which case socketConnectSync will return StatusCancelled.

disconnect

data SocketDisconnectMethodInfo

Instances

((~) * signature (m ()), MonadIO m, IsSocket a) => MethodInfo * SocketDisconnectMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketDisconnectMethodInfo a -> signature -> s

socketDisconnect

Arguments

:: (HasCallStack, MonadIO m, IsSocket a)

=> a

sock: a Socket

-> m ()

Disconnects sock. Any further read or write attempts on it will fail.

getFd

data SocketGetFdMethodInfo

Instances

((~) * signature (m Int32), MonadIO m, IsSocket a) => MethodInfo * SocketGetFdMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketGetFdMethodInfo a -> signature -> s

socketGetFd

Arguments

:: (HasCallStack, MonadIO m, IsSocket a)

=> a

sock: a Socket

-> m Int32

Returns: sock's file descriptor.

Gets sock's underlying file descriptor.

Note that fiddling with the file descriptor may break the Socket.

getLocalAddress

data SocketGetLocalAddressMethodInfo

Instances

((~) * signature (m Address), MonadIO m, IsSocket a) => MethodInfo * SocketGetLocalAddressMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketGetLocalAddressMethodInfo a -> signature -> s

socketGetLocalAddress

Arguments

:: (HasCallStack, MonadIO m, IsSocket a)

=> a

sock: a Socket

-> m Address

Returns: the Address

Returns the Address corresponding to the local end of sock.

Calling this method on an unconnected socket is considered to be an error, and produces undefined results.

getRemoteAddress

data SocketGetRemoteAddressMethodInfo

Instances

((~) * signature (m Address), MonadIO m, IsSocket a) => MethodInfo * SocketGetRemoteAddressMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketGetRemoteAddressMethodInfo a -> signature -> s

socketGetRemoteAddress

Arguments

:: (HasCallStack, MonadIO m, IsSocket a)

=> a

sock: a Socket

-> m Address

Returns: the Address

Returns the Address corresponding to the remote end of sock.

Calling this method on an unconnected socket is considered to be an error, and produces undefined results.

isConnected

data SocketIsConnectedMethodInfo

Instances

((~) * signature (m Bool), MonadIO m, IsSocket a) => MethodInfo * SocketIsConnectedMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketIsConnectedMethodInfo a -> signature -> s

socketIsConnected

Arguments

:: (HasCallStack, MonadIO m, IsSocket a)

=> a

sock: a Socket

-> m Bool

Returns: True or False.

Tests if sock is connected to another host

isSsl

data SocketIsSslMethodInfo

Instances

((~) * signature (m Bool), MonadIO m, IsSocket a) => MethodInfo * SocketIsSslMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketIsSslMethodInfo a -> signature -> s

socketIsSsl

Arguments

:: (HasCallStack, MonadIO m, IsSocket a)

=> a

sock: a Socket

-> m Bool

Returns: True if sock has SSL credentials set

Tests if sock is doing (or has attempted to do) SSL.

listen

data SocketListenMethodInfo

Instances

((~) * signature (m Bool), MonadIO m, IsSocket a) => MethodInfo * SocketListenMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketListenMethodInfo a -> signature -> s

socketListen

Arguments

:: (HasCallStack, MonadIO m, IsSocket a)

=> a

sock: a server Socket (which must not already be connected or listening)

-> m Bool

Returns: whether or not sock is now listening.

Makes sock start listening on its local address. When connections come in, sock will emit Socket::new_connection.

read

data SocketReadMethodInfo

Instances

((~) * signature (ByteString -> Maybe b -> m (SocketIOStatus, Word64)), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketReadMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketReadMethodInfo a -> signature -> s

socketRead

Arguments

:: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b)

=> a

sock: the socket

-> ByteString

buffer: buffer to read into

-> Maybe b

cancellable: a Cancellable, or Nothing

-> m (SocketIOStatus, Word64)

Returns: a SocketIOStatus, as described above (or SocketIOStatusEof if the socket is no longer connected, or SocketIOStatusError on any other error, in which case error will also be set). (Can throw GError)

Attempts to read up to len bytes from sock into buffer. If some data is successfully read, socketRead will return SocketIOStatusOk, and *nread will contain the number of bytes actually read (which may be less than len).

If sock is non-blocking, and no data is available, the return value will be SocketIOStatusWouldBlock. In this case, the caller can connect to the Socket::readable signal to know when there is more data to read. (NB: You MUST read all available data off the socket first. Socket::readable is only emitted after socketRead returns SocketIOStatusWouldBlock, and it is only emitted once. See the documentation for Socket:non-blocking.)

readUntil

data SocketReadUntilMethodInfo

Instances

((~) * signature (ByteString -> Ptr () -> Word64 -> Bool -> Maybe b -> m (SocketIOStatus, Word64)), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketReadUntilMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketReadUntilMethodInfo a -> signature -> s

socketReadUntil

Arguments

:: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b)

=> a

sock: the socket

-> ByteString

buffer: buffer to read into

-> Ptr ()

boundary: boundary to read until

-> Word64

boundaryLen: length of boundary in bytes

-> Bool

gotBoundary: on return, whether or not the data in buffer ends with the boundary string

-> Maybe b

cancellable: a Cancellable, or Nothing

-> m (SocketIOStatus, Word64)

Returns: as for socketRead (Can throw GError)

Like socketRead, but reads no further than the first occurrence of boundary. (If the boundary is found, it will be included in the returned data, and *gotBoundary will be set to True.) Any data after the boundary will returned in future reads.

socketReadUntil will almost always return fewer than len bytes: if the boundary is found, then it will only return the bytes up until the end of the boundary, and if the boundary is not found, then it will leave the last <literal>(boundary_len - 1)</literal> bytes in its internal buffer, in case they form the start of the boundary string. Thus, len normally needs to be at least 1 byte longer than boundaryLen if you want to make any progress at all.

startProxySsl

data SocketStartProxySslMethodInfo

Instances

((~) * signature (Text -> Maybe b -> m Bool), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketStartProxySslMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketStartProxySslMethodInfo a -> signature -> s

socketStartProxySsl

Arguments

:: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b)

=> a

sock: the socket

-> Text

sslHost: hostname of the SSL server

-> Maybe b

cancellable: a Cancellable

-> m Bool

Returns: success or failure

Starts using SSL on socket, expecting to find a host named sslHost.

startSsl

data SocketStartSslMethodInfo

Instances

((~) * signature (Maybe b -> m Bool), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketStartSslMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketStartSslMethodInfo a -> signature -> s

socketStartSsl

Arguments

:: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b)

=> a

sock: the socket

-> Maybe b

cancellable: a Cancellable

-> m Bool

Returns: success or failure

Starts using SSL on socket.

write

data SocketWriteMethodInfo

Instances

((~) * signature (ByteString -> Maybe b -> m (SocketIOStatus, Word64)), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketWriteMethodInfo a signature

Methods

overloadedMethod :: MethodProxy SocketWriteMethodInfo a -> signature -> s

socketWrite

Arguments

:: (HasCallStack, MonadIO m, IsSocket a, IsCancellable b)

=> a

sock: the socket

-> ByteString

buffer: data to write

-> Maybe b

cancellable: a Cancellable, or Nothing

-> m (SocketIOStatus, Word64)

Returns: a SocketIOStatus, as described above (or SocketIOStatusEof or SocketIOStatusError. error will be set if the return value is SocketIOStatusError.) (Can throw GError)

Attempts to write len bytes from buffer to sock. If some data is successfully written, the return status will be SocketIOStatusOk, and *nwrote will contain the number of bytes actually written (which may be less than len).

If sock is non-blocking, and no data could be written right away, the return value will be SocketIOStatusWouldBlock. In this case, the caller can connect to the Socket::writable signal to know when more data can be written. (NB: Socket::writable is only emitted after socketWrite returns SocketIOStatusWouldBlock, and it is only emitted once. See the documentation for Socket:non-blocking.)

Properties

asyncContext

data SocketAsyncContextPropertyInfo

Instances

AttrInfo SocketAsyncContextPropertyInfo

Associated Types

type AttrAllowedOps SocketAsyncContextPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketAsyncContextPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketAsyncContextPropertyInfo :: * -> Constraint

type AttrGetType SocketAsyncContextPropertyInfo :: *

type AttrLabel SocketAsyncContextPropertyInfo :: Symbol

type AttrOrigin SocketAsyncContextPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketAsyncContextPropertyInfo o => Proxy * SocketAsyncContextPropertyInfo -> o -> IO (AttrGetType SocketAsyncContextPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketAsyncContextPropertyInfo o, AttrSetTypeConstraint SocketAsyncContextPropertyInfo b) => Proxy * SocketAsyncContextPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketAsyncContextPropertyInfo o => Proxy * SocketAsyncContextPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketAsyncContextPropertyInfo o, AttrSetTypeConstraint SocketAsyncContextPropertyInfo b) => Proxy * SocketAsyncContextPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketAsyncContextPropertyInfo

type AttrOrigin SocketAsyncContextPropertyInfo = Socket

type AttrLabel SocketAsyncContextPropertyInfo

type AttrLabel SocketAsyncContextPropertyInfo = "async-context"

type AttrGetType SocketAsyncContextPropertyInfo

type AttrGetType SocketAsyncContextPropertyInfo = Ptr ()

type AttrBaseTypeConstraint SocketAsyncContextPropertyInfo

type AttrBaseTypeConstraint SocketAsyncContextPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketAsyncContextPropertyInfo

type AttrSetTypeConstraint SocketAsyncContextPropertyInfo = * ~ Ptr ()

type AttrAllowedOps SocketAsyncContextPropertyInfo

type AttrAllowedOps SocketAsyncContextPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))

constructSocketAsyncContext :: IsSocket o => Ptr () -> IO (GValueConstruct o)

getSocketAsyncContext :: (MonadIO m, IsSocket o) => o -> m (Ptr ())

socketAsyncContext :: AttrLabelProxy "asyncContext"

fd

data SocketFdPropertyInfo

Instances

AttrInfo SocketFdPropertyInfo

Associated Types

type AttrAllowedOps SocketFdPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketFdPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketFdPropertyInfo :: * -> Constraint

type AttrGetType SocketFdPropertyInfo :: *

type AttrLabel SocketFdPropertyInfo :: Symbol

type AttrOrigin SocketFdPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketFdPropertyInfo o => Proxy * SocketFdPropertyInfo -> o -> IO (AttrGetType SocketFdPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketFdPropertyInfo o, AttrSetTypeConstraint SocketFdPropertyInfo b) => Proxy * SocketFdPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketFdPropertyInfo o => Proxy * SocketFdPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketFdPropertyInfo o, AttrSetTypeConstraint SocketFdPropertyInfo b) => Proxy * SocketFdPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketFdPropertyInfo

type AttrOrigin SocketFdPropertyInfo = Socket

type AttrLabel SocketFdPropertyInfo

type AttrLabel SocketFdPropertyInfo = "fd"

type AttrGetType SocketFdPropertyInfo

type AttrGetType SocketFdPropertyInfo = Int32

type AttrBaseTypeConstraint SocketFdPropertyInfo

type AttrBaseTypeConstraint SocketFdPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketFdPropertyInfo

type AttrSetTypeConstraint SocketFdPropertyInfo = * ~ Int32

type AttrAllowedOps SocketFdPropertyInfo

type AttrAllowedOps SocketFdPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))

constructSocketFd :: IsSocket o => Int32 -> IO (GValueConstruct o)

getSocketFd :: (MonadIO m, IsSocket o) => o -> m Int32

socketFd :: AttrLabelProxy "fd"

gsocket

data SocketGsocketPropertyInfo

Instances

AttrInfo SocketGsocketPropertyInfo

Associated Types

type AttrAllowedOps SocketGsocketPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketGsocketPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketGsocketPropertyInfo :: * -> Constraint

type AttrGetType SocketGsocketPropertyInfo :: *

type AttrLabel SocketGsocketPropertyInfo :: Symbol

type AttrOrigin SocketGsocketPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketGsocketPropertyInfo o => Proxy * SocketGsocketPropertyInfo -> o -> IO (AttrGetType SocketGsocketPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketGsocketPropertyInfo o, AttrSetTypeConstraint SocketGsocketPropertyInfo b) => Proxy * SocketGsocketPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketGsocketPropertyInfo o => Proxy * SocketGsocketPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketGsocketPropertyInfo o, AttrSetTypeConstraint SocketGsocketPropertyInfo b) => Proxy * SocketGsocketPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketGsocketPropertyInfo

type AttrOrigin SocketGsocketPropertyInfo = Socket

type AttrLabel SocketGsocketPropertyInfo

type AttrLabel SocketGsocketPropertyInfo = "gsocket"

type AttrGetType SocketGsocketPropertyInfo

type AttrGetType SocketGsocketPropertyInfo = ()

type AttrBaseTypeConstraint SocketGsocketPropertyInfo

type AttrBaseTypeConstraint SocketGsocketPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketGsocketPropertyInfo

type AttrSetTypeConstraint SocketGsocketPropertyInfo = IsSocket

type AttrAllowedOps SocketGsocketPropertyInfo

type AttrAllowedOps SocketGsocketPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrClear ([] AttrOpTag))

constructSocketGsocket :: (IsSocket o, IsSocket a) => a -> IO (GValueConstruct o)

socketGsocket :: AttrLabelProxy "gsocket"

iostream

data SocketIostreamPropertyInfo

Instances

AttrInfo SocketIostreamPropertyInfo

Associated Types

type AttrAllowedOps SocketIostreamPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketIostreamPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketIostreamPropertyInfo :: * -> Constraint

type AttrGetType SocketIostreamPropertyInfo :: *

type AttrLabel SocketIostreamPropertyInfo :: Symbol

type AttrOrigin SocketIostreamPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketIostreamPropertyInfo o => Proxy * SocketIostreamPropertyInfo -> o -> IO (AttrGetType SocketIostreamPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketIostreamPropertyInfo o, AttrSetTypeConstraint SocketIostreamPropertyInfo b) => Proxy * SocketIostreamPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketIostreamPropertyInfo o => Proxy * SocketIostreamPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketIostreamPropertyInfo o, AttrSetTypeConstraint SocketIostreamPropertyInfo b) => Proxy * SocketIostreamPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketIostreamPropertyInfo

type AttrOrigin SocketIostreamPropertyInfo = Socket

type AttrLabel SocketIostreamPropertyInfo

type AttrLabel SocketIostreamPropertyInfo = "iostream"

type AttrGetType SocketIostreamPropertyInfo

type AttrGetType SocketIostreamPropertyInfo = ()

type AttrBaseTypeConstraint SocketIostreamPropertyInfo

type AttrBaseTypeConstraint SocketIostreamPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketIostreamPropertyInfo

type AttrSetTypeConstraint SocketIostreamPropertyInfo = IsIOStream

type AttrAllowedOps SocketIostreamPropertyInfo

type AttrAllowedOps SocketIostreamPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrClear ([] AttrOpTag))

constructSocketIostream :: (IsSocket o, IsIOStream a) => a -> IO (GValueConstruct o)

socketIostream :: AttrLabelProxy "iostream"

ipv6Only

data SocketIpv6OnlyPropertyInfo

Instances

AttrInfo SocketIpv6OnlyPropertyInfo

Associated Types

type AttrAllowedOps SocketIpv6OnlyPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketIpv6OnlyPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketIpv6OnlyPropertyInfo :: * -> Constraint

type AttrGetType SocketIpv6OnlyPropertyInfo :: *

type AttrLabel SocketIpv6OnlyPropertyInfo :: Symbol

type AttrOrigin SocketIpv6OnlyPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketIpv6OnlyPropertyInfo o => Proxy * SocketIpv6OnlyPropertyInfo -> o -> IO (AttrGetType SocketIpv6OnlyPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketIpv6OnlyPropertyInfo o, AttrSetTypeConstraint SocketIpv6OnlyPropertyInfo b) => Proxy * SocketIpv6OnlyPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketIpv6OnlyPropertyInfo o => Proxy * SocketIpv6OnlyPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketIpv6OnlyPropertyInfo o, AttrSetTypeConstraint SocketIpv6OnlyPropertyInfo b) => Proxy * SocketIpv6OnlyPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketIpv6OnlyPropertyInfo

type AttrOrigin SocketIpv6OnlyPropertyInfo = Socket

type AttrLabel SocketIpv6OnlyPropertyInfo

type AttrLabel SocketIpv6OnlyPropertyInfo = "ipv6-only"

type AttrGetType SocketIpv6OnlyPropertyInfo

type AttrGetType SocketIpv6OnlyPropertyInfo = Bool

type AttrBaseTypeConstraint SocketIpv6OnlyPropertyInfo

type AttrBaseTypeConstraint SocketIpv6OnlyPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketIpv6OnlyPropertyInfo

type AttrSetTypeConstraint SocketIpv6OnlyPropertyInfo = * ~ Bool

type AttrAllowedOps SocketIpv6OnlyPropertyInfo

type AttrAllowedOps SocketIpv6OnlyPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructSocketIpv6Only :: IsSocket o => Bool -> IO (GValueConstruct o)

getSocketIpv6Only :: (MonadIO m, IsSocket o) => o -> m Bool

setSocketIpv6Only :: (MonadIO m, IsSocket o) => o -> Bool -> m ()

socketIpv6Only :: AttrLabelProxy "ipv6Only"

isServer

data SocketIsServerPropertyInfo

Instances

AttrInfo SocketIsServerPropertyInfo

Associated Types

type AttrAllowedOps SocketIsServerPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketIsServerPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketIsServerPropertyInfo :: * -> Constraint

type AttrGetType SocketIsServerPropertyInfo :: *

type AttrLabel SocketIsServerPropertyInfo :: Symbol

type AttrOrigin SocketIsServerPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketIsServerPropertyInfo o => Proxy * SocketIsServerPropertyInfo -> o -> IO (AttrGetType SocketIsServerPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketIsServerPropertyInfo o, AttrSetTypeConstraint SocketIsServerPropertyInfo b) => Proxy * SocketIsServerPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketIsServerPropertyInfo o => Proxy * SocketIsServerPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketIsServerPropertyInfo o, AttrSetTypeConstraint SocketIsServerPropertyInfo b) => Proxy * SocketIsServerPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketIsServerPropertyInfo

type AttrOrigin SocketIsServerPropertyInfo = Socket

type AttrLabel SocketIsServerPropertyInfo

type AttrLabel SocketIsServerPropertyInfo = "is-server"

type AttrGetType SocketIsServerPropertyInfo

type AttrGetType SocketIsServerPropertyInfo = Bool

type AttrBaseTypeConstraint SocketIsServerPropertyInfo

type AttrBaseTypeConstraint SocketIsServerPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketIsServerPropertyInfo

type AttrSetTypeConstraint SocketIsServerPropertyInfo = * ~ ()

type AttrAllowedOps SocketIsServerPropertyInfo

type AttrAllowedOps SocketIsServerPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

getSocketIsServer :: (MonadIO m, IsSocket o) => o -> m Bool

socketIsServer :: AttrLabelProxy "isServer"

localAddress

data SocketLocalAddressPropertyInfo

Instances

AttrInfo SocketLocalAddressPropertyInfo

Associated Types

type AttrAllowedOps SocketLocalAddressPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketLocalAddressPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketLocalAddressPropertyInfo :: * -> Constraint

type AttrGetType SocketLocalAddressPropertyInfo :: *

type AttrLabel SocketLocalAddressPropertyInfo :: Symbol

type AttrOrigin SocketLocalAddressPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketLocalAddressPropertyInfo o => Proxy * SocketLocalAddressPropertyInfo -> o -> IO (AttrGetType SocketLocalAddressPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketLocalAddressPropertyInfo o, AttrSetTypeConstraint SocketLocalAddressPropertyInfo b) => Proxy * SocketLocalAddressPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketLocalAddressPropertyInfo o => Proxy * SocketLocalAddressPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketLocalAddressPropertyInfo o, AttrSetTypeConstraint SocketLocalAddressPropertyInfo b) => Proxy * SocketLocalAddressPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketLocalAddressPropertyInfo

type AttrOrigin SocketLocalAddressPropertyInfo = Socket

type AttrLabel SocketLocalAddressPropertyInfo

type AttrLabel SocketLocalAddressPropertyInfo = "local-address"

type AttrGetType SocketLocalAddressPropertyInfo

type AttrGetType SocketLocalAddressPropertyInfo = Address

type AttrBaseTypeConstraint SocketLocalAddressPropertyInfo

type AttrBaseTypeConstraint SocketLocalAddressPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketLocalAddressPropertyInfo

type AttrSetTypeConstraint SocketLocalAddressPropertyInfo = IsAddress

type AttrAllowedOps SocketLocalAddressPropertyInfo

type AttrAllowedOps SocketLocalAddressPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)))

constructSocketLocalAddress :: (IsSocket o, IsAddress a) => a -> IO (GValueConstruct o)

getSocketLocalAddress :: (MonadIO m, IsSocket o) => o -> m Address

socketLocalAddress :: AttrLabelProxy "localAddress"

nonBlocking

data SocketNonBlockingPropertyInfo

Instances

AttrInfo SocketNonBlockingPropertyInfo

Associated Types

type AttrAllowedOps SocketNonBlockingPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketNonBlockingPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketNonBlockingPropertyInfo :: * -> Constraint

type AttrGetType SocketNonBlockingPropertyInfo :: *

type AttrLabel SocketNonBlockingPropertyInfo :: Symbol

type AttrOrigin SocketNonBlockingPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketNonBlockingPropertyInfo o => Proxy * SocketNonBlockingPropertyInfo -> o -> IO (AttrGetType SocketNonBlockingPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketNonBlockingPropertyInfo o, AttrSetTypeConstraint SocketNonBlockingPropertyInfo b) => Proxy * SocketNonBlockingPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketNonBlockingPropertyInfo o => Proxy * SocketNonBlockingPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketNonBlockingPropertyInfo o, AttrSetTypeConstraint SocketNonBlockingPropertyInfo b) => Proxy * SocketNonBlockingPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketNonBlockingPropertyInfo

type AttrOrigin SocketNonBlockingPropertyInfo = Socket

type AttrLabel SocketNonBlockingPropertyInfo

type AttrLabel SocketNonBlockingPropertyInfo = "non-blocking"

type AttrGetType SocketNonBlockingPropertyInfo

type AttrGetType SocketNonBlockingPropertyInfo = Bool

type AttrBaseTypeConstraint SocketNonBlockingPropertyInfo

type AttrBaseTypeConstraint SocketNonBlockingPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketNonBlockingPropertyInfo

type AttrSetTypeConstraint SocketNonBlockingPropertyInfo = * ~ Bool

type AttrAllowedOps SocketNonBlockingPropertyInfo

type AttrAllowedOps SocketNonBlockingPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructSocketNonBlocking :: IsSocket o => Bool -> IO (GValueConstruct o)

getSocketNonBlocking :: (MonadIO m, IsSocket o) => o -> m Bool

setSocketNonBlocking :: (MonadIO m, IsSocket o) => o -> Bool -> m ()

socketNonBlocking :: AttrLabelProxy "nonBlocking"

remoteAddress

data SocketRemoteAddressPropertyInfo

Instances

AttrInfo SocketRemoteAddressPropertyInfo

Associated Types

type AttrAllowedOps SocketRemoteAddressPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketRemoteAddressPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketRemoteAddressPropertyInfo :: * -> Constraint

type AttrGetType SocketRemoteAddressPropertyInfo :: *

type AttrLabel SocketRemoteAddressPropertyInfo :: Symbol

type AttrOrigin SocketRemoteAddressPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketRemoteAddressPropertyInfo o => Proxy * SocketRemoteAddressPropertyInfo -> o -> IO (AttrGetType SocketRemoteAddressPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketRemoteAddressPropertyInfo o, AttrSetTypeConstraint SocketRemoteAddressPropertyInfo b) => Proxy * SocketRemoteAddressPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketRemoteAddressPropertyInfo o => Proxy * SocketRemoteAddressPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketRemoteAddressPropertyInfo o, AttrSetTypeConstraint SocketRemoteAddressPropertyInfo b) => Proxy * SocketRemoteAddressPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketRemoteAddressPropertyInfo

type AttrOrigin SocketRemoteAddressPropertyInfo = Socket

type AttrLabel SocketRemoteAddressPropertyInfo

type AttrLabel SocketRemoteAddressPropertyInfo = "remote-address"

type AttrGetType SocketRemoteAddressPropertyInfo

type AttrGetType SocketRemoteAddressPropertyInfo = Address

type AttrBaseTypeConstraint SocketRemoteAddressPropertyInfo

type AttrBaseTypeConstraint SocketRemoteAddressPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketRemoteAddressPropertyInfo

type AttrSetTypeConstraint SocketRemoteAddressPropertyInfo = IsAddress

type AttrAllowedOps SocketRemoteAddressPropertyInfo

type AttrAllowedOps SocketRemoteAddressPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag)))

constructSocketRemoteAddress :: (IsSocket o, IsAddress a) => a -> IO (GValueConstruct o)

getSocketRemoteAddress :: (MonadIO m, IsSocket o) => o -> m Address

socketRemoteAddress :: AttrLabelProxy "remoteAddress"

sslCreds

data SocketSslCredsPropertyInfo

Instances

AttrInfo SocketSslCredsPropertyInfo

Associated Types

type AttrAllowedOps SocketSslCredsPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketSslCredsPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketSslCredsPropertyInfo :: * -> Constraint

type AttrGetType SocketSslCredsPropertyInfo :: *

type AttrLabel SocketSslCredsPropertyInfo :: Symbol

type AttrOrigin SocketSslCredsPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketSslCredsPropertyInfo o => Proxy * SocketSslCredsPropertyInfo -> o -> IO (AttrGetType SocketSslCredsPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketSslCredsPropertyInfo o, AttrSetTypeConstraint SocketSslCredsPropertyInfo b) => Proxy * SocketSslCredsPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketSslCredsPropertyInfo o => Proxy * SocketSslCredsPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketSslCredsPropertyInfo o, AttrSetTypeConstraint SocketSslCredsPropertyInfo b) => Proxy * SocketSslCredsPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketSslCredsPropertyInfo

type AttrOrigin SocketSslCredsPropertyInfo = Socket

type AttrLabel SocketSslCredsPropertyInfo

type AttrLabel SocketSslCredsPropertyInfo = "ssl-creds"

type AttrGetType SocketSslCredsPropertyInfo

type AttrGetType SocketSslCredsPropertyInfo = Ptr ()

type AttrBaseTypeConstraint SocketSslCredsPropertyInfo

type AttrBaseTypeConstraint SocketSslCredsPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketSslCredsPropertyInfo

type AttrSetTypeConstraint SocketSslCredsPropertyInfo = * ~ Ptr ()

type AttrAllowedOps SocketSslCredsPropertyInfo

type AttrAllowedOps SocketSslCredsPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructSocketSslCreds :: IsSocket o => Ptr () -> IO (GValueConstruct o)

getSocketSslCreds :: (MonadIO m, IsSocket o) => o -> m (Ptr ())

setSocketSslCreds :: (MonadIO m, IsSocket o) => o -> Ptr () -> m ()

socketSslCreds :: AttrLabelProxy "sslCreds"

sslFallback

data SocketSslFallbackPropertyInfo

Instances

AttrInfo SocketSslFallbackPropertyInfo

Associated Types

type AttrAllowedOps SocketSslFallbackPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketSslFallbackPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketSslFallbackPropertyInfo :: * -> Constraint

type AttrGetType SocketSslFallbackPropertyInfo :: *

type AttrLabel SocketSslFallbackPropertyInfo :: Symbol

type AttrOrigin SocketSslFallbackPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketSslFallbackPropertyInfo o => Proxy * SocketSslFallbackPropertyInfo -> o -> IO (AttrGetType SocketSslFallbackPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketSslFallbackPropertyInfo o, AttrSetTypeConstraint SocketSslFallbackPropertyInfo b) => Proxy * SocketSslFallbackPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketSslFallbackPropertyInfo o => Proxy * SocketSslFallbackPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketSslFallbackPropertyInfo o, AttrSetTypeConstraint SocketSslFallbackPropertyInfo b) => Proxy * SocketSslFallbackPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketSslFallbackPropertyInfo

type AttrOrigin SocketSslFallbackPropertyInfo = Socket

type AttrLabel SocketSslFallbackPropertyInfo

type AttrLabel SocketSslFallbackPropertyInfo = "ssl-fallback"

type AttrGetType SocketSslFallbackPropertyInfo

type AttrGetType SocketSslFallbackPropertyInfo = Bool

type AttrBaseTypeConstraint SocketSslFallbackPropertyInfo

type AttrBaseTypeConstraint SocketSslFallbackPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketSslFallbackPropertyInfo

type AttrSetTypeConstraint SocketSslFallbackPropertyInfo = * ~ Bool

type AttrAllowedOps SocketSslFallbackPropertyInfo

type AttrAllowedOps SocketSslFallbackPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))

constructSocketSslFallback :: IsSocket o => Bool -> IO (GValueConstruct o)

getSocketSslFallback :: (MonadIO m, IsSocket o) => o -> m Bool

socketSslFallback :: AttrLabelProxy "sslFallback"

sslStrict

data SocketSslStrictPropertyInfo

Instances

AttrInfo SocketSslStrictPropertyInfo

Associated Types

type AttrAllowedOps SocketSslStrictPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketSslStrictPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketSslStrictPropertyInfo :: * -> Constraint

type AttrGetType SocketSslStrictPropertyInfo :: *

type AttrLabel SocketSslStrictPropertyInfo :: Symbol

type AttrOrigin SocketSslStrictPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketSslStrictPropertyInfo o => Proxy * SocketSslStrictPropertyInfo -> o -> IO (AttrGetType SocketSslStrictPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketSslStrictPropertyInfo o, AttrSetTypeConstraint SocketSslStrictPropertyInfo b) => Proxy * SocketSslStrictPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketSslStrictPropertyInfo o => Proxy * SocketSslStrictPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketSslStrictPropertyInfo o, AttrSetTypeConstraint SocketSslStrictPropertyInfo b) => Proxy * SocketSslStrictPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketSslStrictPropertyInfo

type AttrOrigin SocketSslStrictPropertyInfo = Socket

type AttrLabel SocketSslStrictPropertyInfo

type AttrLabel SocketSslStrictPropertyInfo = "ssl-strict"

type AttrGetType SocketSslStrictPropertyInfo

type AttrGetType SocketSslStrictPropertyInfo = Bool

type AttrBaseTypeConstraint SocketSslStrictPropertyInfo

type AttrBaseTypeConstraint SocketSslStrictPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketSslStrictPropertyInfo

type AttrSetTypeConstraint SocketSslStrictPropertyInfo = * ~ Bool

type AttrAllowedOps SocketSslStrictPropertyInfo

type AttrAllowedOps SocketSslStrictPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))

constructSocketSslStrict :: IsSocket o => Bool -> IO (GValueConstruct o)

getSocketSslStrict :: (MonadIO m, IsSocket o) => o -> m Bool

socketSslStrict :: AttrLabelProxy "sslStrict"

timeout

data SocketTimeoutPropertyInfo

Instances

AttrInfo SocketTimeoutPropertyInfo

Associated Types

type AttrAllowedOps SocketTimeoutPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketTimeoutPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketTimeoutPropertyInfo :: * -> Constraint

type AttrGetType SocketTimeoutPropertyInfo :: *

type AttrLabel SocketTimeoutPropertyInfo :: Symbol

type AttrOrigin SocketTimeoutPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketTimeoutPropertyInfo o => Proxy * SocketTimeoutPropertyInfo -> o -> IO (AttrGetType SocketTimeoutPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketTimeoutPropertyInfo o, AttrSetTypeConstraint SocketTimeoutPropertyInfo b) => Proxy * SocketTimeoutPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketTimeoutPropertyInfo o => Proxy * SocketTimeoutPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketTimeoutPropertyInfo o, AttrSetTypeConstraint SocketTimeoutPropertyInfo b) => Proxy * SocketTimeoutPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketTimeoutPropertyInfo

type AttrOrigin SocketTimeoutPropertyInfo = Socket

type AttrLabel SocketTimeoutPropertyInfo

type AttrLabel SocketTimeoutPropertyInfo = "timeout"

type AttrGetType SocketTimeoutPropertyInfo

type AttrGetType SocketTimeoutPropertyInfo = Word32

type AttrBaseTypeConstraint SocketTimeoutPropertyInfo

type AttrBaseTypeConstraint SocketTimeoutPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketTimeoutPropertyInfo

type AttrSetTypeConstraint SocketTimeoutPropertyInfo = * ~ Word32

type AttrAllowedOps SocketTimeoutPropertyInfo

type AttrAllowedOps SocketTimeoutPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

constructSocketTimeout :: IsSocket o => Word32 -> IO (GValueConstruct o)

getSocketTimeout :: (MonadIO m, IsSocket o) => o -> m Word32

setSocketTimeout :: (MonadIO m, IsSocket o) => o -> Word32 -> m ()

socketTimeout :: AttrLabelProxy "timeout"

tlsCertificate

data SocketTlsCertificatePropertyInfo

Instances

AttrInfo SocketTlsCertificatePropertyInfo

Associated Types

type AttrAllowedOps SocketTlsCertificatePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketTlsCertificatePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketTlsCertificatePropertyInfo :: * -> Constraint

type AttrGetType SocketTlsCertificatePropertyInfo :: *

type AttrLabel SocketTlsCertificatePropertyInfo :: Symbol

type AttrOrigin SocketTlsCertificatePropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketTlsCertificatePropertyInfo o => Proxy * SocketTlsCertificatePropertyInfo -> o -> IO (AttrGetType SocketTlsCertificatePropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketTlsCertificatePropertyInfo o, AttrSetTypeConstraint SocketTlsCertificatePropertyInfo b) => Proxy * SocketTlsCertificatePropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketTlsCertificatePropertyInfo o => Proxy * SocketTlsCertificatePropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketTlsCertificatePropertyInfo o, AttrSetTypeConstraint SocketTlsCertificatePropertyInfo b) => Proxy * SocketTlsCertificatePropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketTlsCertificatePropertyInfo

type AttrOrigin SocketTlsCertificatePropertyInfo = Socket

type AttrLabel SocketTlsCertificatePropertyInfo

type AttrLabel SocketTlsCertificatePropertyInfo = "tls-certificate"

type AttrGetType SocketTlsCertificatePropertyInfo

type AttrGetType SocketTlsCertificatePropertyInfo = Maybe TlsCertificate

type AttrBaseTypeConstraint SocketTlsCertificatePropertyInfo

type AttrBaseTypeConstraint SocketTlsCertificatePropertyInfo = IsSocket

type AttrSetTypeConstraint SocketTlsCertificatePropertyInfo

type AttrSetTypeConstraint SocketTlsCertificatePropertyInfo = * ~ ()

type AttrAllowedOps SocketTlsCertificatePropertyInfo

type AttrAllowedOps SocketTlsCertificatePropertyInfo = (:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag))

getSocketTlsCertificate :: (MonadIO m, IsSocket o) => o -> m (Maybe TlsCertificate)

socketTlsCertificate :: AttrLabelProxy "tlsCertificate"

tlsErrors

data SocketTlsErrorsPropertyInfo

Instances

AttrInfo SocketTlsErrorsPropertyInfo

Associated Types

type AttrAllowedOps SocketTlsErrorsPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketTlsErrorsPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketTlsErrorsPropertyInfo :: * -> Constraint

type AttrGetType SocketTlsErrorsPropertyInfo :: *

type AttrLabel SocketTlsErrorsPropertyInfo :: Symbol

type AttrOrigin SocketTlsErrorsPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketTlsErrorsPropertyInfo o => Proxy * SocketTlsErrorsPropertyInfo -> o -> IO (AttrGetType SocketTlsErrorsPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketTlsErrorsPropertyInfo o, AttrSetTypeConstraint SocketTlsErrorsPropertyInfo b) => Proxy * SocketTlsErrorsPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketTlsErrorsPropertyInfo o => Proxy * SocketTlsErrorsPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketTlsErrorsPropertyInfo o, AttrSetTypeConstraint SocketTlsErrorsPropertyInfo b) => Proxy * SocketTlsErrorsPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketTlsErrorsPropertyInfo

type AttrOrigin SocketTlsErrorsPropertyInfo = Socket

type AttrLabel SocketTlsErrorsPropertyInfo

type AttrLabel SocketTlsErrorsPropertyInfo = "tls-errors"

type AttrGetType SocketTlsErrorsPropertyInfo

type AttrGetType SocketTlsErrorsPropertyInfo = [TlsCertificateFlags]

type AttrBaseTypeConstraint SocketTlsErrorsPropertyInfo

type AttrBaseTypeConstraint SocketTlsErrorsPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketTlsErrorsPropertyInfo

type AttrSetTypeConstraint SocketTlsErrorsPropertyInfo = * ~ ()

type AttrAllowedOps SocketTlsErrorsPropertyInfo

type AttrAllowedOps SocketTlsErrorsPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

getSocketTlsErrors :: (MonadIO m, IsSocket o) => o -> m [TlsCertificateFlags]

socketTlsErrors :: AttrLabelProxy "tlsErrors"

trustedCertificate

data SocketTrustedCertificatePropertyInfo

Instances

AttrInfo SocketTrustedCertificatePropertyInfo

Associated Types

type AttrAllowedOps SocketTrustedCertificatePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketTrustedCertificatePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketTrustedCertificatePropertyInfo :: * -> Constraint

type AttrGetType SocketTrustedCertificatePropertyInfo :: *

type AttrLabel SocketTrustedCertificatePropertyInfo :: Symbol

type AttrOrigin SocketTrustedCertificatePropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketTrustedCertificatePropertyInfo o => Proxy * SocketTrustedCertificatePropertyInfo -> o -> IO (AttrGetType SocketTrustedCertificatePropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketTrustedCertificatePropertyInfo o, AttrSetTypeConstraint SocketTrustedCertificatePropertyInfo b) => Proxy * SocketTrustedCertificatePropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketTrustedCertificatePropertyInfo o => Proxy * SocketTrustedCertificatePropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketTrustedCertificatePropertyInfo o, AttrSetTypeConstraint SocketTrustedCertificatePropertyInfo b) => Proxy * SocketTrustedCertificatePropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketTrustedCertificatePropertyInfo

type AttrOrigin SocketTrustedCertificatePropertyInfo = Socket

type AttrLabel SocketTrustedCertificatePropertyInfo

type AttrLabel SocketTrustedCertificatePropertyInfo = "trusted-certificate"

type AttrGetType SocketTrustedCertificatePropertyInfo

type AttrGetType SocketTrustedCertificatePropertyInfo = Bool

type AttrBaseTypeConstraint SocketTrustedCertificatePropertyInfo

type AttrBaseTypeConstraint SocketTrustedCertificatePropertyInfo = IsSocket

type AttrSetTypeConstraint SocketTrustedCertificatePropertyInfo

type AttrSetTypeConstraint SocketTrustedCertificatePropertyInfo = * ~ ()

type AttrAllowedOps SocketTrustedCertificatePropertyInfo

type AttrAllowedOps SocketTrustedCertificatePropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag)

getSocketTrustedCertificate :: (MonadIO m, IsSocket o) => o -> m Bool

socketTrustedCertificate :: AttrLabelProxy "trustedCertificate"

useThreadContext

data SocketUseThreadContextPropertyInfo

Instances

AttrInfo SocketUseThreadContextPropertyInfo

Associated Types

type AttrAllowedOps SocketUseThreadContextPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketUseThreadContextPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketUseThreadContextPropertyInfo :: * -> Constraint

type AttrGetType SocketUseThreadContextPropertyInfo :: *

type AttrLabel SocketUseThreadContextPropertyInfo :: Symbol

type AttrOrigin SocketUseThreadContextPropertyInfo :: *

Methods

attrGet :: AttrBaseTypeConstraint SocketUseThreadContextPropertyInfo o => Proxy * SocketUseThreadContextPropertyInfo -> o -> IO (AttrGetType SocketUseThreadContextPropertyInfo)

attrSet :: (AttrBaseTypeConstraint SocketUseThreadContextPropertyInfo o, AttrSetTypeConstraint SocketUseThreadContextPropertyInfo b) => Proxy * SocketUseThreadContextPropertyInfo -> o -> b -> IO ()

attrClear :: AttrBaseTypeConstraint SocketUseThreadContextPropertyInfo o => Proxy * SocketUseThreadContextPropertyInfo -> o -> IO ()

attrConstruct :: (AttrBaseTypeConstraint SocketUseThreadContextPropertyInfo o, AttrSetTypeConstraint SocketUseThreadContextPropertyInfo b) => Proxy * SocketUseThreadContextPropertyInfo -> b -> IO (GValueConstruct o)

type AttrOrigin SocketUseThreadContextPropertyInfo

type AttrOrigin SocketUseThreadContextPropertyInfo = Socket

type AttrLabel SocketUseThreadContextPropertyInfo

type AttrLabel SocketUseThreadContextPropertyInfo = "use-thread-context"

type AttrGetType SocketUseThreadContextPropertyInfo

type AttrGetType SocketUseThreadContextPropertyInfo = Bool

type AttrBaseTypeConstraint SocketUseThreadContextPropertyInfo

type AttrBaseTypeConstraint SocketUseThreadContextPropertyInfo = IsSocket

type AttrSetTypeConstraint SocketUseThreadContextPropertyInfo

type AttrSetTypeConstraint SocketUseThreadContextPropertyInfo = * ~ Bool

type AttrAllowedOps SocketUseThreadContextPropertyInfo

type AttrAllowedOps SocketUseThreadContextPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))

constructSocketUseThreadContext :: IsSocket o => Bool -> IO (GValueConstruct o)

getSocketUseThreadContext :: (MonadIO m, IsSocket o) => o -> m Bool

socketUseThreadContext :: AttrLabelProxy "useThreadContext"

Signals

disconnected

type C_SocketDisconnectedCallback = Ptr () -> Ptr () -> IO ()

type SocketDisconnectedCallback = IO ()

data SocketDisconnectedSignalInfo

Instances

SignalInfo SocketDisconnectedSignalInfo

Associated Types

type HaskellCallbackType SocketDisconnectedSignalInfo :: *

Methods

connectSignal :: GObject o => SignalProxy o SocketDisconnectedSignalInfo -> o -> HaskellCallbackType SocketDisconnectedSignalInfo -> SignalConnectMode -> IO SignalHandlerId

type HaskellCallbackType SocketDisconnectedSignalInfo

type HaskellCallbackType SocketDisconnectedSignalInfo = SocketDisconnectedCallback

afterSocketDisconnected :: (GObject a, MonadIO m) => a -> SocketDisconnectedCallback -> m SignalHandlerId

genClosure_SocketDisconnected :: SocketDisconnectedCallback -> IO Closure

mk_SocketDisconnectedCallback :: C_SocketDisconnectedCallback -> IO (FunPtr C_SocketDisconnectedCallback)

noSocketDisconnectedCallback :: Maybe SocketDisconnectedCallback

onSocketDisconnected :: (GObject a, MonadIO m) => a -> SocketDisconnectedCallback -> m SignalHandlerId

wrap_SocketDisconnectedCallback :: SocketDisconnectedCallback -> Ptr () -> Ptr () -> IO ()

event

type C_SocketEventCallback = Ptr () -> CUInt -> Ptr IOStream -> Ptr () -> IO ()

type SocketEventCallback = SocketClientEvent -> IOStream -> IO ()

data SocketEventSignalInfo

Instances

SignalInfo SocketEventSignalInfo

Associated Types

type HaskellCallbackType SocketEventSignalInfo :: *

Methods

connectSignal :: GObject o => SignalProxy o SocketEventSignalInfo -> o -> HaskellCallbackType SocketEventSignalInfo -> SignalConnectMode -> IO SignalHandlerId

type HaskellCallbackType SocketEventSignalInfo

type HaskellCallbackType SocketEventSignalInfo = SocketEventCallback

afterSocketEvent :: (GObject a, MonadIO m) => a -> SocketEventCallback -> m SignalHandlerId

genClosure_SocketEvent :: SocketEventCallback -> IO Closure

mk_SocketEventCallback :: C_SocketEventCallback -> IO (FunPtr C_SocketEventCallback)

noSocketEventCallback :: Maybe SocketEventCallback

onSocketEvent :: (GObject a, MonadIO m) => a -> SocketEventCallback -> m SignalHandlerId

wrap_SocketEventCallback :: SocketEventCallback -> Ptr () -> CUInt -> Ptr IOStream -> Ptr () -> IO ()

newConnection

type C_SocketNewConnectionCallback = Ptr () -> Ptr Socket -> Ptr () -> IO ()

type SocketNewConnectionCallback = Socket -> IO ()

data SocketNewConnectionSignalInfo

Instances

SignalInfo SocketNewConnectionSignalInfo

Associated Types

type HaskellCallbackType SocketNewConnectionSignalInfo :: *

Methods

connectSignal :: GObject o => SignalProxy o SocketNewConnectionSignalInfo -> o -> HaskellCallbackType SocketNewConnectionSignalInfo -> SignalConnectMode -> IO SignalHandlerId

type HaskellCallbackType SocketNewConnectionSignalInfo

type HaskellCallbackType SocketNewConnectionSignalInfo = SocketNewConnectionCallback

afterSocketNewConnection :: (GObject a, MonadIO m) => a -> SocketNewConnectionCallback -> m SignalHandlerId

genClosure_SocketNewConnection :: SocketNewConnectionCallback -> IO Closure

mk_SocketNewConnectionCallback :: C_SocketNewConnectionCallback -> IO (FunPtr C_SocketNewConnectionCallback)

noSocketNewConnectionCallback :: Maybe SocketNewConnectionCallback

onSocketNewConnection :: (GObject a, MonadIO m) => a -> SocketNewConnectionCallback -> m SignalHandlerId

wrap_SocketNewConnectionCallback :: SocketNewConnectionCallback -> Ptr () -> Ptr Socket -> Ptr () -> IO ()

readable

type C_SocketReadableCallback = Ptr () -> Ptr () -> IO ()

type SocketReadableCallback = IO ()

data SocketReadableSignalInfo

Instances

SignalInfo SocketReadableSignalInfo

Associated Types

type HaskellCallbackType SocketReadableSignalInfo :: *

Methods

connectSignal :: GObject o => SignalProxy o SocketReadableSignalInfo -> o -> HaskellCallbackType SocketReadableSignalInfo -> SignalConnectMode -> IO SignalHandlerId

type HaskellCallbackType SocketReadableSignalInfo

type HaskellCallbackType SocketReadableSignalInfo = SocketReadableCallback

afterSocketReadable :: (GObject a, MonadIO m) => a -> SocketReadableCallback -> m SignalHandlerId

genClosure_SocketReadable :: SocketReadableCallback -> IO Closure

mk_SocketReadableCallback :: C_SocketReadableCallback -> IO (FunPtr C_SocketReadableCallback)

noSocketReadableCallback :: Maybe SocketReadableCallback

onSocketReadable :: (GObject a, MonadIO m) => a -> SocketReadableCallback -> m SignalHandlerId

wrap_SocketReadableCallback :: SocketReadableCallback -> Ptr () -> Ptr () -> IO ()

writable

type C_SocketWritableCallback = Ptr () -> Ptr () -> IO ()

type SocketWritableCallback = IO ()

data SocketWritableSignalInfo

Instances

SignalInfo SocketWritableSignalInfo

Associated Types

type HaskellCallbackType SocketWritableSignalInfo :: *

Methods

connectSignal :: GObject o => SignalProxy o SocketWritableSignalInfo -> o -> HaskellCallbackType SocketWritableSignalInfo -> SignalConnectMode -> IO SignalHandlerId

type HaskellCallbackType SocketWritableSignalInfo

type HaskellCallbackType SocketWritableSignalInfo = SocketWritableCallback

afterSocketWritable :: (GObject a, MonadIO m) => a -> SocketWritableCallback -> m SignalHandlerId

genClosure_SocketWritable :: SocketWritableCallback -> IO Closure

mk_SocketWritableCallback :: C_SocketWritableCallback -> IO (FunPtr C_SocketWritableCallback)

noSocketWritableCallback :: Maybe SocketWritableCallback

onSocketWritable :: (GObject a, MonadIO m) => a -> SocketWritableCallback -> m SignalHandlerId

wrap_SocketWritableCallback :: SocketWritableCallback -> Ptr () -> Ptr () -> IO ()