GI.Soup.Objects.Socket

Exported types

newtype Socket

Constructors

Socket (ForeignPtr Socket)

Instances

GObject Socket

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

type ParentTypes Socket

type AttributeList Socket

type SignalList Socket

class GObject o => SocketK o

Instances

(GObject o, IsDescendantOf Socket o) => SocketK o

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

noSocket :: Maybe Socket

Methods

socketConnectAsync

data SocketConnectAsyncMethodInfo

Instances

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

socketConnectAsync :: (MonadIO m, SocketK a, CancellableK b) => a -> Maybe b -> SocketCallback -> m ()

socketConnectSync

data SocketConnectSyncMethodInfo

Instances

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

socketConnectSync :: (MonadIO m, SocketK a, CancellableK b) => a -> Maybe b -> m Word32

socketDisconnect

data SocketDisconnectMethodInfo

Instances

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

socketDisconnect :: (MonadIO m, SocketK a) => a -> m ()

socketGetFd

data SocketGetFdMethodInfo

Instances

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

socketGetFd :: (MonadIO m, SocketK a) => a -> m Int32

socketGetLocalAddress

data SocketGetLocalAddressMethodInfo

Instances

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

socketGetLocalAddress :: (MonadIO m, SocketK a) => a -> m Address

socketGetRemoteAddress

data SocketGetRemoteAddressMethodInfo

Instances

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

socketGetRemoteAddress :: (MonadIO m, SocketK a) => a -> m Address

socketIsConnected

data SocketIsConnectedMethodInfo

Instances

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

socketIsConnected :: (MonadIO m, SocketK a) => a -> m Bool

socketIsSsl

data SocketIsSslMethodInfo

Instances

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

socketIsSsl :: (MonadIO m, SocketK a) => a -> m Bool

socketListen

data SocketListenMethodInfo

Instances

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

socketListen :: (MonadIO m, SocketK a) => a -> m Bool

socketRead

data SocketReadMethodInfo

Instances

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

socketRead :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Maybe b -> m (SocketIOStatus, Word64)

socketReadUntil

data SocketReadUntilMethodInfo

Instances

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

socketReadUntil :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Ptr () -> Word64 -> Bool -> Maybe b -> m (SocketIOStatus, Word64)

socketStartProxySsl

data SocketStartProxySslMethodInfo

Instances

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

socketStartProxySsl :: (MonadIO m, SocketK a, CancellableK b) => a -> Text -> Maybe b -> m Bool

socketStartSsl

data SocketStartSslMethodInfo

Instances

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

socketStartSsl :: (MonadIO m, SocketK a, CancellableK b) => a -> Maybe b -> m Bool

socketWrite

data SocketWriteMethodInfo

Instances

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

socketWrite :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Maybe b -> m (SocketIOStatus, Word64)

Properties

AsyncContext

data SocketAsyncContextPropertyInfo

Instances

AttrInfo SocketAsyncContextPropertyInfo

type AttrLabel SocketAsyncContextPropertyInfo = "async-context"

type AttrGetType SocketAsyncContextPropertyInfo = Ptr ()

type AttrBaseTypeConstraint SocketAsyncContextPropertyInfo = SocketK

type AttrSetTypeConstraint SocketAsyncContextPropertyInfo = * ~ Ptr ()

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

constructSocketAsyncContext :: Ptr () -> IO ([Char], GValue)

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

socketAsyncContext :: AttrLabelProxy "asyncContext"

Fd

data SocketFdPropertyInfo

Instances

AttrInfo SocketFdPropertyInfo

type AttrLabel SocketFdPropertyInfo = "fd"

type AttrGetType SocketFdPropertyInfo = Int32

type AttrBaseTypeConstraint SocketFdPropertyInfo = SocketK

type AttrSetTypeConstraint SocketFdPropertyInfo = * ~ Int32

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

constructSocketFd :: Int32 -> IO ([Char], GValue)

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

socketFd :: AttrLabelProxy "fd"

Gsocket

data SocketGsocketPropertyInfo

Instances

AttrInfo SocketGsocketPropertyInfo

type AttrLabel SocketGsocketPropertyInfo = "gsocket"

type AttrGetType SocketGsocketPropertyInfo = ()

type AttrBaseTypeConstraint SocketGsocketPropertyInfo = SocketK

type AttrSetTypeConstraint SocketGsocketPropertyInfo = SocketK

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

constructSocketGsocket :: SocketK a => a -> IO ([Char], GValue)

socketGsocket :: AttrLabelProxy "gsocket"

Iostream

data SocketIostreamPropertyInfo

Instances

AttrInfo SocketIostreamPropertyInfo

type AttrLabel SocketIostreamPropertyInfo = "iostream"

type AttrGetType SocketIostreamPropertyInfo = ()

type AttrBaseTypeConstraint SocketIostreamPropertyInfo = SocketK

type AttrSetTypeConstraint SocketIostreamPropertyInfo = IOStreamK

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

constructSocketIostream :: IOStreamK a => a -> IO ([Char], GValue)

socketIostream :: AttrLabelProxy "iostream"

Ipv6Only

data SocketIpv6OnlyPropertyInfo

Instances

AttrInfo SocketIpv6OnlyPropertyInfo

type AttrLabel SocketIpv6OnlyPropertyInfo = "ipv6-only"

type AttrGetType SocketIpv6OnlyPropertyInfo = Bool

type AttrBaseTypeConstraint SocketIpv6OnlyPropertyInfo = SocketK

type AttrSetTypeConstraint SocketIpv6OnlyPropertyInfo = * ~ Bool

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

constructSocketIpv6Only :: Bool -> IO ([Char], GValue)

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

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

socketIpv6Only :: AttrLabelProxy "ipv6Only"

IsServer

data SocketIsServerPropertyInfo

Instances

AttrInfo SocketIsServerPropertyInfo

type AttrLabel SocketIsServerPropertyInfo = "is-server"

type AttrGetType SocketIsServerPropertyInfo = Bool

type AttrBaseTypeConstraint SocketIsServerPropertyInfo = SocketK

type AttrSetTypeConstraint SocketIsServerPropertyInfo = * ~ ()

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

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

socketIsServer :: AttrLabelProxy "isServer"

LocalAddress

data SocketLocalAddressPropertyInfo

Instances

AttrInfo SocketLocalAddressPropertyInfo

type AttrLabel SocketLocalAddressPropertyInfo = "local-address"

type AttrGetType SocketLocalAddressPropertyInfo = Address

type AttrBaseTypeConstraint SocketLocalAddressPropertyInfo = SocketK

type AttrSetTypeConstraint SocketLocalAddressPropertyInfo = AddressK

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

constructSocketLocalAddress :: AddressK a => a -> IO ([Char], GValue)

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

socketLocalAddress :: AttrLabelProxy "localAddress"

NonBlocking

data SocketNonBlockingPropertyInfo

Instances

AttrInfo SocketNonBlockingPropertyInfo

type AttrLabel SocketNonBlockingPropertyInfo = "non-blocking"

type AttrGetType SocketNonBlockingPropertyInfo = Bool

type AttrBaseTypeConstraint SocketNonBlockingPropertyInfo = SocketK

type AttrSetTypeConstraint SocketNonBlockingPropertyInfo = * ~ Bool

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

constructSocketNonBlocking :: Bool -> IO ([Char], GValue)

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

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

socketNonBlocking :: AttrLabelProxy "nonBlocking"

RemoteAddress

data SocketRemoteAddressPropertyInfo

Instances

AttrInfo SocketRemoteAddressPropertyInfo

type AttrLabel SocketRemoteAddressPropertyInfo = "remote-address"

type AttrGetType SocketRemoteAddressPropertyInfo = Address

type AttrBaseTypeConstraint SocketRemoteAddressPropertyInfo = SocketK

type AttrSetTypeConstraint SocketRemoteAddressPropertyInfo = AddressK

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

constructSocketRemoteAddress :: AddressK a => a -> IO ([Char], GValue)

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

socketRemoteAddress :: AttrLabelProxy "remoteAddress"

SslCreds

data SocketSslCredsPropertyInfo

Instances

AttrInfo SocketSslCredsPropertyInfo

type AttrLabel SocketSslCredsPropertyInfo = "ssl-creds"

type AttrGetType SocketSslCredsPropertyInfo = Ptr ()

type AttrBaseTypeConstraint SocketSslCredsPropertyInfo = SocketK

type AttrSetTypeConstraint SocketSslCredsPropertyInfo = * ~ Ptr ()

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

constructSocketSslCreds :: Ptr () -> IO ([Char], GValue)

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

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

socketSslCreds :: AttrLabelProxy "sslCreds"

SslFallback

data SocketSslFallbackPropertyInfo

Instances

AttrInfo SocketSslFallbackPropertyInfo

type AttrLabel SocketSslFallbackPropertyInfo = "ssl-fallback"

type AttrGetType SocketSslFallbackPropertyInfo = Bool

type AttrBaseTypeConstraint SocketSslFallbackPropertyInfo = SocketK

type AttrSetTypeConstraint SocketSslFallbackPropertyInfo = * ~ Bool

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

constructSocketSslFallback :: Bool -> IO ([Char], GValue)

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

socketSslFallback :: AttrLabelProxy "sslFallback"

SslStrict

data SocketSslStrictPropertyInfo

Instances

AttrInfo SocketSslStrictPropertyInfo

type AttrLabel SocketSslStrictPropertyInfo = "ssl-strict"

type AttrGetType SocketSslStrictPropertyInfo = Bool

type AttrBaseTypeConstraint SocketSslStrictPropertyInfo = SocketK

type AttrSetTypeConstraint SocketSslStrictPropertyInfo = * ~ Bool

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

constructSocketSslStrict :: Bool -> IO ([Char], GValue)

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

socketSslStrict :: AttrLabelProxy "sslStrict"

Timeout

data SocketTimeoutPropertyInfo

Instances

AttrInfo SocketTimeoutPropertyInfo

type AttrLabel SocketTimeoutPropertyInfo = "timeout"

type AttrGetType SocketTimeoutPropertyInfo = Word32

type AttrBaseTypeConstraint SocketTimeoutPropertyInfo = SocketK

type AttrSetTypeConstraint SocketTimeoutPropertyInfo = * ~ Word32

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

constructSocketTimeout :: Word32 -> IO ([Char], GValue)

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

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

socketTimeout :: AttrLabelProxy "timeout"

TlsCertificate

data SocketTlsCertificatePropertyInfo

Instances

AttrInfo SocketTlsCertificatePropertyInfo

type AttrLabel SocketTlsCertificatePropertyInfo = "tls-certificate"

type AttrGetType SocketTlsCertificatePropertyInfo = Maybe TlsCertificate

type AttrBaseTypeConstraint SocketTlsCertificatePropertyInfo = SocketK

type AttrSetTypeConstraint SocketTlsCertificatePropertyInfo = * ~ ()

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

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

socketTlsCertificate :: AttrLabelProxy "tlsCertificate"

TlsErrors

data SocketTlsErrorsPropertyInfo

Instances

AttrInfo SocketTlsErrorsPropertyInfo

type AttrLabel SocketTlsErrorsPropertyInfo = "tls-errors"

type AttrGetType SocketTlsErrorsPropertyInfo = [TlsCertificateFlags]

type AttrBaseTypeConstraint SocketTlsErrorsPropertyInfo = SocketK

type AttrSetTypeConstraint SocketTlsErrorsPropertyInfo = * ~ ()

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

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

socketTlsErrors :: AttrLabelProxy "tlsErrors"

TrustedCertificate

data SocketTrustedCertificatePropertyInfo

Instances

AttrInfo SocketTrustedCertificatePropertyInfo

type AttrLabel SocketTrustedCertificatePropertyInfo = "trusted-certificate"

type AttrGetType SocketTrustedCertificatePropertyInfo = Bool

type AttrBaseTypeConstraint SocketTrustedCertificatePropertyInfo = SocketK

type AttrSetTypeConstraint SocketTrustedCertificatePropertyInfo = * ~ ()

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

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

socketTrustedCertificate :: AttrLabelProxy "trustedCertificate"

UseThreadContext

data SocketUseThreadContextPropertyInfo

Instances

AttrInfo SocketUseThreadContextPropertyInfo

type AttrLabel SocketUseThreadContextPropertyInfo = "use-thread-context"

type AttrGetType SocketUseThreadContextPropertyInfo = Bool

type AttrBaseTypeConstraint SocketUseThreadContextPropertyInfo = SocketK

type AttrSetTypeConstraint SocketUseThreadContextPropertyInfo = * ~ Bool

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

constructSocketUseThreadContext :: Bool -> IO ([Char], GValue)

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

socketUseThreadContext :: AttrLabelProxy "useThreadContext"

Signals

Disconnected

type SocketDisconnectedCallback = IO ()

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

data SocketDisconnectedSignalInfo

Instances

SignalInfo SocketDisconnectedSignalInfo

type HaskellCallbackType SocketDisconnectedSignalInfo = SocketDisconnectedCallback

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

mkSocketDisconnectedCallback :: SocketDisconnectedCallbackC -> IO (FunPtr SocketDisconnectedCallbackC)

noSocketDisconnectedCallback :: Maybe SocketDisconnectedCallback

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

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

socketDisconnectedClosure :: SocketDisconnectedCallback -> IO Closure

Event

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

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

data SocketEventSignalInfo

Instances

SignalInfo SocketEventSignalInfo

type HaskellCallbackType SocketEventSignalInfo = SocketEventCallback

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

mkSocketEventCallback :: SocketEventCallbackC -> IO (FunPtr SocketEventCallbackC)

noSocketEventCallback :: Maybe SocketEventCallback

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

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

socketEventClosure :: SocketEventCallback -> IO Closure

NewConnection

type SocketNewConnectionCallback = Socket -> IO ()

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

data SocketNewConnectionSignalInfo

Instances

SignalInfo SocketNewConnectionSignalInfo

type HaskellCallbackType SocketNewConnectionSignalInfo = SocketNewConnectionCallback

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

mkSocketNewConnectionCallback :: SocketNewConnectionCallbackC -> IO (FunPtr SocketNewConnectionCallbackC)

noSocketNewConnectionCallback :: Maybe SocketNewConnectionCallback

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

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

socketNewConnectionClosure :: SocketNewConnectionCallback -> IO Closure

Readable

type SocketReadableCallback = IO ()

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

data SocketReadableSignalInfo

Instances

SignalInfo SocketReadableSignalInfo

type HaskellCallbackType SocketReadableSignalInfo = SocketReadableCallback

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

mkSocketReadableCallback :: SocketReadableCallbackC -> IO (FunPtr SocketReadableCallbackC)

noSocketReadableCallback :: Maybe SocketReadableCallback

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

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

socketReadableClosure :: SocketReadableCallback -> IO Closure

Writable

type SocketWritableCallback = IO ()

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

data SocketWritableSignalInfo

Instances

SignalInfo SocketWritableSignalInfo

type HaskellCallbackType SocketWritableSignalInfo = SocketWritableCallback

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

mkSocketWritableCallback :: SocketWritableCallbackC -> IO (FunPtr SocketWritableCallbackC)

noSocketWritableCallback :: Maybe SocketWritableCallback

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

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

socketWritableClosure :: SocketWritableCallback -> IO Closure