GI.Gio.Objects.Socket

Exported types

newtype Socket

Constructors

Socket (ManagedPtr Socket)

Instances

GObject Socket

Methods

gobjectIsInitiallyUnowned :: Socket -> Bool

gobjectType :: Socket -> IO GType

IsObject Socket

IsSocket Socket

IsInitable Socket

IsDatagramBased 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 SignalList Socket

type SignalList Socket

type AttributeList Socket

type AttributeList 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

accept

data SocketAcceptMethodInfo

Instances

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

Methods

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

socketAccept :: (MonadIO m, IsSocket a, IsCancellable b) => a -> Maybe b -> m Socket

bind

data SocketBindMethodInfo

Instances

((~) * signature (b -> Bool -> m ()), MonadIO m, IsSocket a, IsSocketAddress b) => MethodInfo * SocketBindMethodInfo a signature

Methods

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

socketBind :: (MonadIO m, IsSocket a, IsSocketAddress b) => a -> b -> Bool -> m ()

checkConnectResult

data SocketCheckConnectResultMethodInfo

Instances

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

Methods

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

socketCheckConnectResult :: (MonadIO m, IsSocket a) => a -> m ()

close

data SocketCloseMethodInfo

Instances

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

Methods

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

socketClose :: (MonadIO m, IsSocket a) => a -> m ()

conditionCheck

data SocketConditionCheckMethodInfo

Instances

((~) * signature ([IOCondition] -> m [IOCondition]), MonadIO m, IsSocket a) => MethodInfo * SocketConditionCheckMethodInfo a signature

Methods

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

socketConditionCheck :: (MonadIO m, IsSocket a) => a -> [IOCondition] -> m [IOCondition]

conditionTimedWait

data SocketConditionTimedWaitMethodInfo

Instances

((~) * signature ([IOCondition] -> Int64 -> Maybe b -> m ()), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketConditionTimedWaitMethodInfo a signature

Methods

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

socketConditionTimedWait :: (MonadIO m, IsSocket a, IsCancellable b) => a -> [IOCondition] -> Int64 -> Maybe b -> m ()

conditionWait

data SocketConditionWaitMethodInfo

Instances

((~) * signature ([IOCondition] -> Maybe b -> m ()), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketConditionWaitMethodInfo a signature

Methods

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

socketConditionWait :: (MonadIO m, IsSocket a, IsCancellable b) => a -> [IOCondition] -> Maybe b -> m ()

connect

data SocketConnectMethodInfo

Instances

((~) * signature (b -> Maybe c -> m ()), MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) => MethodInfo * SocketConnectMethodInfo a signature

Methods

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

socketConnect :: (MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) => a -> b -> Maybe c -> m ()

connectionFactoryCreateConnection

data SocketConnectionFactoryCreateConnectionMethodInfo

Instances

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

Methods

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

socketConnectionFactoryCreateConnection :: (MonadIO m, IsSocket a) => a -> m SocketConnection

getAvailableBytes

data SocketGetAvailableBytesMethodInfo

Instances

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

Methods

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

socketGetAvailableBytes :: (MonadIO m, IsSocket a) => a -> m Int64

getBlocking

data SocketGetBlockingMethodInfo

Instances

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

Methods

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

socketGetBlocking :: (MonadIO m, IsSocket a) => a -> m Bool

getBroadcast

data SocketGetBroadcastMethodInfo

Instances

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

Methods

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

socketGetBroadcast :: (MonadIO m, IsSocket a) => a -> m Bool

getCredentials

data SocketGetCredentialsMethodInfo

Instances

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

Methods

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

socketGetCredentials :: (MonadIO m, IsSocket a) => a -> m Credentials

getFamily

data SocketGetFamilyMethodInfo

Instances

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

Methods

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

socketGetFamily :: (MonadIO m, IsSocket a) => a -> m SocketFamily

getFd

data SocketGetFdMethodInfo

Instances

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

Methods

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

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

getKeepalive

data SocketGetKeepaliveMethodInfo

Instances

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

Methods

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

socketGetKeepalive :: (MonadIO m, IsSocket a) => a -> m Bool

getListenBacklog

data SocketGetListenBacklogMethodInfo

Instances

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

Methods

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

socketGetListenBacklog :: (MonadIO m, IsSocket a) => a -> m Int32

getLocalAddress

data SocketGetLocalAddressMethodInfo

Instances

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

Methods

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

socketGetLocalAddress :: (MonadIO m, IsSocket a) => a -> m SocketAddress

getMulticastLoopback

data SocketGetMulticastLoopbackMethodInfo

Instances

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

Methods

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

socketGetMulticastLoopback :: (MonadIO m, IsSocket a) => a -> m Bool

getMulticastTtl

data SocketGetMulticastTtlMethodInfo

Instances

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

Methods

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

socketGetMulticastTtl :: (MonadIO m, IsSocket a) => a -> m Word32

getOption

data SocketGetOptionMethodInfo

Instances

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

Methods

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

socketGetOption :: (MonadIO m, IsSocket a) => a -> Int32 -> Int32 -> m Int32

getProtocol

data SocketGetProtocolMethodInfo

Instances

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

Methods

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

socketGetProtocol :: (MonadIO m, IsSocket a) => a -> m SocketProtocol

getRemoteAddress

data SocketGetRemoteAddressMethodInfo

Instances

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

Methods

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

socketGetRemoteAddress :: (MonadIO m, IsSocket a) => a -> m SocketAddress

getSocketType

data SocketGetSocketTypeMethodInfo

Instances

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

Methods

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

socketGetSocketType :: (MonadIO m, IsSocket a) => a -> m SocketType

getTimeout

data SocketGetTimeoutMethodInfo

Instances

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

Methods

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

socketGetTimeout :: (MonadIO m, IsSocket a) => a -> m Word32

getTtl

data SocketGetTtlMethodInfo

Instances

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

Methods

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

socketGetTtl :: (MonadIO m, IsSocket a) => a -> m Word32

isClosed

data SocketIsClosedMethodInfo

Instances

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

Methods

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

socketIsClosed :: (MonadIO m, IsSocket a) => a -> m Bool

isConnected

data SocketIsConnectedMethodInfo

Instances

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

Methods

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

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

joinMulticastGroup

data SocketJoinMulticastGroupMethodInfo

Instances

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

Methods

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

socketJoinMulticastGroup :: (MonadIO m, IsSocket a, IsInetAddress b) => a -> b -> Bool -> Maybe Text -> m ()

leaveMulticastGroup

data SocketLeaveMulticastGroupMethodInfo

Instances

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

Methods

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

socketLeaveMulticastGroup :: (MonadIO m, IsSocket a, IsInetAddress b) => a -> b -> Bool -> Maybe Text -> m ()

listen

data SocketListenMethodInfo

Instances

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

Methods

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

socketListen :: (MonadIO m, IsSocket a) => a -> m ()

new

socketNew :: MonadIO m => SocketFamily -> SocketType -> SocketProtocol -> m Socket

newFromFd

socketNewFromFd :: MonadIO m => Int32 -> m Socket

receive

data SocketReceiveMethodInfo

Instances

((~) * signature (ByteString -> Maybe b -> m Int64), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketReceiveMethodInfo a signature

Methods

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

socketReceive :: (MonadIO m, IsSocket a, IsCancellable b) => a -> ByteString -> Maybe b -> m Int64

receiveFrom

data SocketReceiveFromMethodInfo

Instances

((~) * signature (ByteString -> Maybe b -> m (Int64, SocketAddress)), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketReceiveFromMethodInfo a signature

Methods

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

socketReceiveFrom :: (MonadIO m, IsSocket a, IsCancellable b) => a -> ByteString -> Maybe b -> m (Int64, SocketAddress)

receiveMessage

data SocketReceiveMessageMethodInfo

Instances

((~) * signature ([InputVector] -> Int32 -> Maybe b -> m (Int64, Maybe SocketAddress, Maybe [SocketControlMessage], Int32)), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketReceiveMessageMethodInfo a signature

Methods

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

socketReceiveMessage :: (MonadIO m, IsSocket a, IsCancellable b) => a -> [InputVector] -> Int32 -> Maybe b -> m (Int64, Maybe SocketAddress, Maybe [SocketControlMessage], Int32)

receiveMessages

data SocketReceiveMessagesMethodInfo

Instances

((~) * signature ([InputMessage] -> Int32 -> Maybe b -> m Int32), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketReceiveMessagesMethodInfo a signature

Methods

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

socketReceiveMessages :: (MonadIO m, IsSocket a, IsCancellable b) => a -> [InputMessage] -> Int32 -> Maybe b -> m Int32

receiveWithBlocking

data SocketReceiveWithBlockingMethodInfo

Instances

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

Methods

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

socketReceiveWithBlocking :: (MonadIO m, IsSocket a, IsCancellable b) => a -> ByteString -> Bool -> Maybe b -> m Int64

send

data SocketSendMethodInfo

Instances

((~) * signature (ByteString -> Maybe b -> m Int64), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketSendMethodInfo a signature

Methods

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

socketSend :: (MonadIO m, IsSocket a, IsCancellable b) => a -> ByteString -> Maybe b -> m Int64

sendMessage

data SocketSendMessageMethodInfo

Instances

((~) * signature (Maybe b -> [OutputVector] -> Maybe [SocketControlMessage] -> Int32 -> Maybe c -> m Int64), MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) => MethodInfo * SocketSendMessageMethodInfo a signature

Methods

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

socketSendMessage :: (MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) => a -> Maybe b -> [OutputVector] -> Maybe [SocketControlMessage] -> Int32 -> Maybe c -> m Int64

sendMessages

data SocketSendMessagesMethodInfo

Instances

((~) * signature ([OutputMessage] -> Int32 -> Maybe b -> m Int32), MonadIO m, IsSocket a, IsCancellable b) => MethodInfo * SocketSendMessagesMethodInfo a signature

Methods

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

socketSendMessages :: (MonadIO m, IsSocket a, IsCancellable b) => a -> [OutputMessage] -> Int32 -> Maybe b -> m Int32

sendTo

data SocketSendToMethodInfo

Instances

((~) * signature (Maybe b -> ByteString -> Maybe c -> m Int64), MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) => MethodInfo * SocketSendToMethodInfo a signature

Methods

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

socketSendTo :: (MonadIO m, IsSocket a, IsSocketAddress b, IsCancellable c) => a -> Maybe b -> ByteString -> Maybe c -> m Int64

sendWithBlocking

data SocketSendWithBlockingMethodInfo

Instances

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

Methods

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

socketSendWithBlocking :: (MonadIO m, IsSocket a, IsCancellable b) => a -> ByteString -> Bool -> Maybe b -> m Int64

setBlocking

data SocketSetBlockingMethodInfo

Instances

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

Methods

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

socketSetBlocking :: (MonadIO m, IsSocket a) => a -> Bool -> m ()

setBroadcast

data SocketSetBroadcastMethodInfo

Instances

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

Methods

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

socketSetBroadcast :: (MonadIO m, IsSocket a) => a -> Bool -> m ()

setKeepalive

data SocketSetKeepaliveMethodInfo

Instances

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

Methods

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

socketSetKeepalive :: (MonadIO m, IsSocket a) => a -> Bool -> m ()

setListenBacklog

data SocketSetListenBacklogMethodInfo

Instances

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

Methods

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

socketSetListenBacklog :: (MonadIO m, IsSocket a) => a -> Int32 -> m ()

setMulticastLoopback

data SocketSetMulticastLoopbackMethodInfo

Instances

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

Methods

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

socketSetMulticastLoopback :: (MonadIO m, IsSocket a) => a -> Bool -> m ()

setMulticastTtl

data SocketSetMulticastTtlMethodInfo

Instances

((~) * signature (Word32 -> m ()), MonadIO m, IsSocket a) => MethodInfo * SocketSetMulticastTtlMethodInfo a signature

Methods

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

socketSetMulticastTtl :: (MonadIO m, IsSocket a) => a -> Word32 -> m ()

setOption

data SocketSetOptionMethodInfo

Instances

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

Methods

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

socketSetOption :: (MonadIO m, IsSocket a) => a -> Int32 -> Int32 -> Int32 -> m ()

setTimeout

data SocketSetTimeoutMethodInfo

Instances

((~) * signature (Word32 -> m ()), MonadIO m, IsSocket a) => MethodInfo * SocketSetTimeoutMethodInfo a signature

Methods

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

socketSetTimeout :: (MonadIO m, IsSocket a) => a -> Word32 -> m ()

setTtl

data SocketSetTtlMethodInfo

Instances

((~) * signature (Word32 -> m ()), MonadIO m, IsSocket a) => MethodInfo * SocketSetTtlMethodInfo a signature

Methods

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

socketSetTtl :: (MonadIO m, IsSocket a) => a -> Word32 -> m ()

shutdown

data SocketShutdownMethodInfo

Instances

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

Methods

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

socketShutdown :: (MonadIO m, IsSocket a) => a -> Bool -> Bool -> m ()

speaksIpv4

data SocketSpeaksIpv4MethodInfo

Instances

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

Methods

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

socketSpeaksIpv4 :: (MonadIO m, IsSocket a) => a -> m Bool

Properties

blocking

data SocketBlockingPropertyInfo

Instances

AttrInfo SocketBlockingPropertyInfo

Associated Types

type AttrAllowedOps SocketBlockingPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketBlockingPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketBlockingPropertyInfo :: * -> Constraint

type AttrGetType SocketBlockingPropertyInfo :: *

type AttrLabel SocketBlockingPropertyInfo :: Symbol

type AttrOrigin SocketBlockingPropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint SocketBlockingPropertyInfo

type AttrSetTypeConstraint SocketBlockingPropertyInfo = * ~ Bool

type AttrOrigin SocketBlockingPropertyInfo

type AttrOrigin SocketBlockingPropertyInfo = Socket

type AttrLabel SocketBlockingPropertyInfo

type AttrLabel SocketBlockingPropertyInfo = "blocking"

type AttrGetType SocketBlockingPropertyInfo

type AttrGetType SocketBlockingPropertyInfo = Bool

type AttrBaseTypeConstraint SocketBlockingPropertyInfo

type AttrBaseTypeConstraint SocketBlockingPropertyInfo = IsSocket

type AttrAllowedOps SocketBlockingPropertyInfo

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

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

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

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

socketBlocking :: AttrLabelProxy "blocking"

broadcast

data SocketBroadcastPropertyInfo

Instances

AttrInfo SocketBroadcastPropertyInfo

Associated Types

type AttrAllowedOps SocketBroadcastPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketBroadcastPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketBroadcastPropertyInfo :: * -> Constraint

type AttrGetType SocketBroadcastPropertyInfo :: *

type AttrLabel SocketBroadcastPropertyInfo :: Symbol

type AttrOrigin SocketBroadcastPropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint SocketBroadcastPropertyInfo

type AttrSetTypeConstraint SocketBroadcastPropertyInfo = * ~ Bool

type AttrOrigin SocketBroadcastPropertyInfo

type AttrOrigin SocketBroadcastPropertyInfo = Socket

type AttrLabel SocketBroadcastPropertyInfo

type AttrLabel SocketBroadcastPropertyInfo = "broadcast"

type AttrGetType SocketBroadcastPropertyInfo

type AttrGetType SocketBroadcastPropertyInfo = Bool

type AttrBaseTypeConstraint SocketBroadcastPropertyInfo

type AttrBaseTypeConstraint SocketBroadcastPropertyInfo = IsSocket

type AttrAllowedOps SocketBroadcastPropertyInfo

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

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

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

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

socketBroadcast :: AttrLabelProxy "broadcast"

family

data SocketFamilyPropertyInfo

Instances

AttrInfo SocketFamilyPropertyInfo

Associated Types

type AttrAllowedOps SocketFamilyPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketFamilyPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketFamilyPropertyInfo :: * -> Constraint

type AttrGetType SocketFamilyPropertyInfo :: *

type AttrLabel SocketFamilyPropertyInfo :: Symbol

type AttrOrigin SocketFamilyPropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint SocketFamilyPropertyInfo

type AttrSetTypeConstraint SocketFamilyPropertyInfo = * ~ SocketFamily

type AttrOrigin SocketFamilyPropertyInfo

type AttrOrigin SocketFamilyPropertyInfo = Socket

type AttrLabel SocketFamilyPropertyInfo

type AttrLabel SocketFamilyPropertyInfo = "family"

type AttrGetType SocketFamilyPropertyInfo

type AttrGetType SocketFamilyPropertyInfo = SocketFamily

type AttrBaseTypeConstraint SocketFamilyPropertyInfo

type AttrBaseTypeConstraint SocketFamilyPropertyInfo = IsSocket

type AttrAllowedOps SocketFamilyPropertyInfo

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

constructSocketFamily :: IsSocket o => SocketFamily -> IO (GValueConstruct o)

getSocketFamily :: (MonadIO m, IsSocket o) => o -> m SocketFamily

socketFamily :: AttrLabelProxy "family"

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 AttrSetTypeConstraint SocketFdPropertyInfo

type AttrSetTypeConstraint SocketFdPropertyInfo = * ~ Int32

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 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"

keepalive

data SocketKeepalivePropertyInfo

Instances

AttrInfo SocketKeepalivePropertyInfo

Associated Types

type AttrAllowedOps SocketKeepalivePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketKeepalivePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketKeepalivePropertyInfo :: * -> Constraint

type AttrGetType SocketKeepalivePropertyInfo :: *

type AttrLabel SocketKeepalivePropertyInfo :: Symbol

type AttrOrigin SocketKeepalivePropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint SocketKeepalivePropertyInfo

type AttrSetTypeConstraint SocketKeepalivePropertyInfo = * ~ Bool

type AttrOrigin SocketKeepalivePropertyInfo

type AttrOrigin SocketKeepalivePropertyInfo = Socket

type AttrLabel SocketKeepalivePropertyInfo

type AttrLabel SocketKeepalivePropertyInfo = "keepalive"

type AttrGetType SocketKeepalivePropertyInfo

type AttrGetType SocketKeepalivePropertyInfo = Bool

type AttrBaseTypeConstraint SocketKeepalivePropertyInfo

type AttrBaseTypeConstraint SocketKeepalivePropertyInfo = IsSocket

type AttrAllowedOps SocketKeepalivePropertyInfo

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

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

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

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

socketKeepalive :: AttrLabelProxy "keepalive"

listenBacklog

data SocketListenBacklogPropertyInfo

Instances

AttrInfo SocketListenBacklogPropertyInfo

Associated Types

type AttrAllowedOps SocketListenBacklogPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketListenBacklogPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketListenBacklogPropertyInfo :: * -> Constraint

type AttrGetType SocketListenBacklogPropertyInfo :: *

type AttrLabel SocketListenBacklogPropertyInfo :: Symbol

type AttrOrigin SocketListenBacklogPropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint SocketListenBacklogPropertyInfo

type AttrSetTypeConstraint SocketListenBacklogPropertyInfo = * ~ Int32

type AttrOrigin SocketListenBacklogPropertyInfo

type AttrOrigin SocketListenBacklogPropertyInfo = Socket

type AttrLabel SocketListenBacklogPropertyInfo

type AttrLabel SocketListenBacklogPropertyInfo = "listen-backlog"

type AttrGetType SocketListenBacklogPropertyInfo

type AttrGetType SocketListenBacklogPropertyInfo = Int32

type AttrBaseTypeConstraint SocketListenBacklogPropertyInfo

type AttrBaseTypeConstraint SocketListenBacklogPropertyInfo = IsSocket

type AttrAllowedOps SocketListenBacklogPropertyInfo

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

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

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

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

socketListenBacklog :: AttrLabelProxy "listenBacklog"

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 AttrSetTypeConstraint SocketLocalAddressPropertyInfo

type AttrSetTypeConstraint SocketLocalAddressPropertyInfo = * ~ ()

type AttrOrigin SocketLocalAddressPropertyInfo

type AttrOrigin SocketLocalAddressPropertyInfo = Socket

type AttrLabel SocketLocalAddressPropertyInfo

type AttrLabel SocketLocalAddressPropertyInfo = "local-address"

type AttrGetType SocketLocalAddressPropertyInfo

type AttrGetType SocketLocalAddressPropertyInfo = Maybe SocketAddress

type AttrBaseTypeConstraint SocketLocalAddressPropertyInfo

type AttrBaseTypeConstraint SocketLocalAddressPropertyInfo = IsSocket

type AttrAllowedOps SocketLocalAddressPropertyInfo

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

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

socketLocalAddress :: AttrLabelProxy "localAddress"

multicastLoopback

data SocketMulticastLoopbackPropertyInfo

Instances

AttrInfo SocketMulticastLoopbackPropertyInfo

Associated Types

type AttrAllowedOps SocketMulticastLoopbackPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketMulticastLoopbackPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketMulticastLoopbackPropertyInfo :: * -> Constraint

type AttrGetType SocketMulticastLoopbackPropertyInfo :: *

type AttrLabel SocketMulticastLoopbackPropertyInfo :: Symbol

type AttrOrigin SocketMulticastLoopbackPropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint SocketMulticastLoopbackPropertyInfo

type AttrSetTypeConstraint SocketMulticastLoopbackPropertyInfo = * ~ Bool

type AttrOrigin SocketMulticastLoopbackPropertyInfo

type AttrOrigin SocketMulticastLoopbackPropertyInfo = Socket

type AttrLabel SocketMulticastLoopbackPropertyInfo

type AttrLabel SocketMulticastLoopbackPropertyInfo = "multicast-loopback"

type AttrGetType SocketMulticastLoopbackPropertyInfo

type AttrGetType SocketMulticastLoopbackPropertyInfo = Bool

type AttrBaseTypeConstraint SocketMulticastLoopbackPropertyInfo

type AttrBaseTypeConstraint SocketMulticastLoopbackPropertyInfo = IsSocket

type AttrAllowedOps SocketMulticastLoopbackPropertyInfo

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

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

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

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

socketMulticastLoopback :: AttrLabelProxy "multicastLoopback"

multicastTtl

data SocketMulticastTtlPropertyInfo

Instances

AttrInfo SocketMulticastTtlPropertyInfo

Associated Types

type AttrAllowedOps SocketMulticastTtlPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketMulticastTtlPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketMulticastTtlPropertyInfo :: * -> Constraint

type AttrGetType SocketMulticastTtlPropertyInfo :: *

type AttrLabel SocketMulticastTtlPropertyInfo :: Symbol

type AttrOrigin SocketMulticastTtlPropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint SocketMulticastTtlPropertyInfo

type AttrSetTypeConstraint SocketMulticastTtlPropertyInfo = * ~ Word32

type AttrOrigin SocketMulticastTtlPropertyInfo

type AttrOrigin SocketMulticastTtlPropertyInfo = Socket

type AttrLabel SocketMulticastTtlPropertyInfo

type AttrLabel SocketMulticastTtlPropertyInfo = "multicast-ttl"

type AttrGetType SocketMulticastTtlPropertyInfo

type AttrGetType SocketMulticastTtlPropertyInfo = Word32

type AttrBaseTypeConstraint SocketMulticastTtlPropertyInfo

type AttrBaseTypeConstraint SocketMulticastTtlPropertyInfo = IsSocket

type AttrAllowedOps SocketMulticastTtlPropertyInfo

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

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

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

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

socketMulticastTtl :: AttrLabelProxy "multicastTtl"

protocol

data SocketProtocolPropertyInfo

Instances

AttrInfo SocketProtocolPropertyInfo

Associated Types

type AttrAllowedOps SocketProtocolPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketProtocolPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketProtocolPropertyInfo :: * -> Constraint

type AttrGetType SocketProtocolPropertyInfo :: *

type AttrLabel SocketProtocolPropertyInfo :: Symbol

type AttrOrigin SocketProtocolPropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint SocketProtocolPropertyInfo

type AttrSetTypeConstraint SocketProtocolPropertyInfo = * ~ SocketProtocol

type AttrOrigin SocketProtocolPropertyInfo

type AttrOrigin SocketProtocolPropertyInfo = Socket

type AttrLabel SocketProtocolPropertyInfo

type AttrLabel SocketProtocolPropertyInfo = "protocol"

type AttrGetType SocketProtocolPropertyInfo

type AttrGetType SocketProtocolPropertyInfo = SocketProtocol

type AttrBaseTypeConstraint SocketProtocolPropertyInfo

type AttrBaseTypeConstraint SocketProtocolPropertyInfo = IsSocket

type AttrAllowedOps SocketProtocolPropertyInfo

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

constructSocketProtocol :: IsSocket o => SocketProtocol -> IO (GValueConstruct o)

getSocketProtocol :: (MonadIO m, IsSocket o) => o -> m SocketProtocol

socketProtocol :: AttrLabelProxy "protocol"

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 AttrSetTypeConstraint SocketRemoteAddressPropertyInfo

type AttrSetTypeConstraint SocketRemoteAddressPropertyInfo = * ~ ()

type AttrOrigin SocketRemoteAddressPropertyInfo

type AttrOrigin SocketRemoteAddressPropertyInfo = Socket

type AttrLabel SocketRemoteAddressPropertyInfo

type AttrLabel SocketRemoteAddressPropertyInfo = "remote-address"

type AttrGetType SocketRemoteAddressPropertyInfo

type AttrGetType SocketRemoteAddressPropertyInfo = Maybe SocketAddress

type AttrBaseTypeConstraint SocketRemoteAddressPropertyInfo

type AttrBaseTypeConstraint SocketRemoteAddressPropertyInfo = IsSocket

type AttrAllowedOps SocketRemoteAddressPropertyInfo

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

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

socketRemoteAddress :: AttrLabelProxy "remoteAddress"

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 AttrSetTypeConstraint SocketTimeoutPropertyInfo

type AttrSetTypeConstraint SocketTimeoutPropertyInfo = * ~ Word32

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 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"

ttl

data SocketTtlPropertyInfo

Instances

AttrInfo SocketTtlPropertyInfo

Associated Types

type AttrAllowedOps SocketTtlPropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketTtlPropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketTtlPropertyInfo :: * -> Constraint

type AttrGetType SocketTtlPropertyInfo :: *

type AttrLabel SocketTtlPropertyInfo :: Symbol

type AttrOrigin SocketTtlPropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint SocketTtlPropertyInfo

type AttrSetTypeConstraint SocketTtlPropertyInfo = * ~ Word32

type AttrOrigin SocketTtlPropertyInfo

type AttrOrigin SocketTtlPropertyInfo = Socket

type AttrLabel SocketTtlPropertyInfo

type AttrLabel SocketTtlPropertyInfo = "ttl"

type AttrGetType SocketTtlPropertyInfo

type AttrGetType SocketTtlPropertyInfo = Word32

type AttrBaseTypeConstraint SocketTtlPropertyInfo

type AttrBaseTypeConstraint SocketTtlPropertyInfo = IsSocket

type AttrAllowedOps SocketTtlPropertyInfo

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

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

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

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

socketTtl :: AttrLabelProxy "ttl"

type

data SocketTypePropertyInfo

Instances

AttrInfo SocketTypePropertyInfo

Associated Types

type AttrAllowedOps SocketTypePropertyInfo :: [AttrOpTag]

type AttrSetTypeConstraint SocketTypePropertyInfo :: * -> Constraint

type AttrBaseTypeConstraint SocketTypePropertyInfo :: * -> Constraint

type AttrGetType SocketTypePropertyInfo :: *

type AttrLabel SocketTypePropertyInfo :: Symbol

type AttrOrigin SocketTypePropertyInfo :: *

Methods

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

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

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

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

type AttrSetTypeConstraint SocketTypePropertyInfo

type AttrSetTypeConstraint SocketTypePropertyInfo = * ~ SocketType

type AttrOrigin SocketTypePropertyInfo

type AttrOrigin SocketTypePropertyInfo = Socket

type AttrLabel SocketTypePropertyInfo

type AttrLabel SocketTypePropertyInfo = "type"

type AttrGetType SocketTypePropertyInfo

type AttrGetType SocketTypePropertyInfo = SocketType

type AttrBaseTypeConstraint SocketTypePropertyInfo

type AttrBaseTypeConstraint SocketTypePropertyInfo = IsSocket

type AttrAllowedOps SocketTypePropertyInfo

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

constructSocketType :: IsSocket o => SocketType -> IO (GValueConstruct o)

getSocketType :: (MonadIO m, IsSocket o) => o -> m SocketType

socketType :: AttrLabelProxy "type"