Copyright	Will Thompson, Iñaki García Etxebarria and Jonas Platte
License	LGPL-2.1
Maintainer	Iñaki García Etxebarria (garetxe@gmail.com)
Safe Haskell	None
Language	Haskell2010

GI.Gio.Objects.Socket

Contents

Exported types
Methods
Properties

Description

Synopsis

Exported types

newtype Socket Source

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 Source

Instances

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

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

noSocket :: Maybe Socket Source

Methods

socketAccept

data SocketAcceptMethodInfo Source

Instances

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

socketAccept :: (MonadIO m, SocketK a, CancellableK b) => a -> Maybe b -> m Socket Source

socketBind

data SocketBindMethodInfo Source

Instances

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

socketBind :: (MonadIO m, SocketK a, SocketAddressK b) => a -> b -> Bool -> m () Source

socketCheckConnectResult

data SocketCheckConnectResultMethodInfo Source

Instances

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

socketCheckConnectResult :: (MonadIO m, SocketK a) => a -> m () Source

socketClose

data SocketCloseMethodInfo Source

Instances

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

socketClose :: (MonadIO m, SocketK a) => a -> m () Source

socketConditionCheck

data SocketConditionCheckMethodInfo Source

Instances

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

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

socketConditionTimedWait

data SocketConditionTimedWaitMethodInfo Source

Instances

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

socketConditionTimedWait :: (MonadIO m, SocketK a, CancellableK b) => a -> [IOCondition] -> Int64 -> Maybe b -> m () Source

socketConditionWait

data SocketConditionWaitMethodInfo Source

Instances

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

socketConditionWait :: (MonadIO m, SocketK a, CancellableK b) => a -> [IOCondition] -> Maybe b -> m () Source

socketConnect

data SocketConnectMethodInfo Source

Instances

((~) * signature (b -> Maybe c -> m ()), MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => MethodInfo * SocketConnectMethodInfo a signature

socketConnect :: (MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => a -> b -> Maybe c -> m () Source

socketConnectionFactoryCreateConnection

data SocketConnectionFactoryCreateConnectionMethodInfo Source

Instances

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

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

socketGetAvailableBytes

data SocketGetAvailableBytesMethodInfo Source

Instances

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

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

socketGetBlocking

data SocketGetBlockingMethodInfo Source

Instances

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

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

socketGetBroadcast

data SocketGetBroadcastMethodInfo Source

Instances

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

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

socketGetCredentials

data SocketGetCredentialsMethodInfo Source

Instances

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

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

socketGetFamily

data SocketGetFamilyMethodInfo Source

Instances

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

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

socketGetFd

data SocketGetFdMethodInfo Source

Instances

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

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

socketGetKeepalive

data SocketGetKeepaliveMethodInfo Source

Instances

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

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

socketGetListenBacklog

data SocketGetListenBacklogMethodInfo Source

Instances

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

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

socketGetLocalAddress

data SocketGetLocalAddressMethodInfo Source

Instances

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

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

socketGetMulticastLoopback

data SocketGetMulticastLoopbackMethodInfo Source

Instances

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

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

socketGetMulticastTtl

data SocketGetMulticastTtlMethodInfo Source

Instances

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

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

socketGetOption

data SocketGetOptionMethodInfo Source

Instances

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

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

socketGetProtocol

data SocketGetProtocolMethodInfo Source

Instances

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

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

socketGetRemoteAddress

data SocketGetRemoteAddressMethodInfo Source

Instances

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

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

socketGetSocketType

data SocketGetSocketTypeMethodInfo Source

Instances

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

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

socketGetTimeout

data SocketGetTimeoutMethodInfo Source

Instances

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

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

socketGetTtl

data SocketGetTtlMethodInfo Source

Instances

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

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

socketIsClosed

data SocketIsClosedMethodInfo Source

Instances

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

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

socketIsConnected

data SocketIsConnectedMethodInfo Source

Instances

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

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

socketJoinMulticastGroup

data SocketJoinMulticastGroupMethodInfo Source

Instances

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

socketJoinMulticastGroup :: (MonadIO m, SocketK a, InetAddressK b) => a -> b -> Bool -> Maybe Text -> m () Source

socketLeaveMulticastGroup

data SocketLeaveMulticastGroupMethodInfo Source

Instances

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

socketLeaveMulticastGroup :: (MonadIO m, SocketK a, InetAddressK b) => a -> b -> Bool -> Maybe Text -> m () Source

socketListen

data SocketListenMethodInfo Source

Instances

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

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

socketNew

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

socketNewFromFd

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

socketReceive

data SocketReceiveMethodInfo Source

Instances

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

socketReceive :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Maybe b -> m Int64 Source

socketReceiveFrom

data SocketReceiveFromMethodInfo Source

Instances

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

socketReceiveFrom :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Maybe b -> m (Int64, SocketAddress) Source

socketReceiveMessage

data SocketReceiveMessageMethodInfo Source

Instances

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

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

socketReceiveWithBlocking

data SocketReceiveWithBlockingMethodInfo Source

Instances

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

socketReceiveWithBlocking :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Bool -> Maybe b -> m Int64 Source

socketSend

data SocketSendMethodInfo Source

Instances

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

socketSend :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Maybe b -> m Int64 Source

socketSendMessage

data SocketSendMessageMethodInfo Source

Instances

((~) * signature (Maybe b -> [OutputVector] -> Maybe [SocketControlMessage] -> Int32 -> Maybe c -> m Int64), MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => MethodInfo * SocketSendMessageMethodInfo a signature

socketSendMessage :: (MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => a -> Maybe b -> [OutputVector] -> Maybe [SocketControlMessage] -> Int32 -> Maybe c -> m Int64 Source

socketSendMessages

data SocketSendMessagesMethodInfo Source

Instances

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

socketSendMessages :: (MonadIO m, SocketK a, CancellableK b) => a -> [OutputMessage] -> Int32 -> Maybe b -> m Int32 Source

socketSendTo

data SocketSendToMethodInfo Source

Instances

((~) * signature (Maybe b -> ByteString -> Maybe c -> m Int64), MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => MethodInfo * SocketSendToMethodInfo a signature

socketSendTo :: (MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => a -> Maybe b -> ByteString -> Maybe c -> m Int64 Source

socketSendWithBlocking

data SocketSendWithBlockingMethodInfo Source

Instances

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

socketSendWithBlocking :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Bool -> Maybe b -> m Int64 Source

socketSetBlocking

data SocketSetBlockingMethodInfo Source

Instances

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

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

socketSetBroadcast

data SocketSetBroadcastMethodInfo Source

Instances

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

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

socketSetKeepalive

data SocketSetKeepaliveMethodInfo Source

Instances

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

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

socketSetListenBacklog

data SocketSetListenBacklogMethodInfo Source

Instances

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

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

socketSetMulticastLoopback

data SocketSetMulticastLoopbackMethodInfo Source

Instances

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

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

socketSetMulticastTtl

data SocketSetMulticastTtlMethodInfo Source

Instances

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

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

socketSetOption

data SocketSetOptionMethodInfo Source

Instances

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

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

socketSetTimeout

data SocketSetTimeoutMethodInfo Source

Instances

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

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

socketSetTtl

data SocketSetTtlMethodInfo Source

Instances

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

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

socketShutdown

data SocketShutdownMethodInfo Source

Instances

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

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

socketSpeaksIpv4

data SocketSpeaksIpv4MethodInfo Source

Instances

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

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

Properties

Blocking

data SocketBlockingPropertyInfo Source

Instances

AttrInfo SocketBlockingPropertyInfo
type AttrLabel SocketBlockingPropertyInfo = "blocking"
type AttrGetType SocketBlockingPropertyInfo = Bool
type AttrBaseTypeConstraint SocketBlockingPropertyInfo = SocketK
type AttrSetTypeConstraint SocketBlockingPropertyInfo = * ~ Bool
type AttrAllowedOps SocketBlockingPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

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

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

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

socketBlocking :: AttrLabelProxy "blocking" Source

Broadcast

data SocketBroadcastPropertyInfo Source

Instances

AttrInfo SocketBroadcastPropertyInfo
type AttrLabel SocketBroadcastPropertyInfo = "broadcast"
type AttrGetType SocketBroadcastPropertyInfo = Bool
type AttrBaseTypeConstraint SocketBroadcastPropertyInfo = SocketK
type AttrSetTypeConstraint SocketBroadcastPropertyInfo = * ~ Bool
type AttrAllowedOps SocketBroadcastPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

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

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

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

socketBroadcast :: AttrLabelProxy "broadcast" Source

Family

data SocketFamilyPropertyInfo Source

Instances

AttrInfo SocketFamilyPropertyInfo
type AttrLabel SocketFamilyPropertyInfo = "family"
type AttrGetType SocketFamilyPropertyInfo = SocketFamily
type AttrBaseTypeConstraint SocketFamilyPropertyInfo = SocketK
type AttrSetTypeConstraint SocketFamilyPropertyInfo = * ~ SocketFamily
type AttrAllowedOps SocketFamilyPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))

constructSocketFamily :: SocketFamily -> IO ([Char], GValue) Source

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

socketFamily :: AttrLabelProxy "family" Source

Fd

data SocketFdPropertyInfo Source

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) Source

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

socketFd :: AttrLabelProxy "fd" Source

Keepalive

data SocketKeepalivePropertyInfo Source

Instances

AttrInfo SocketKeepalivePropertyInfo
type AttrLabel SocketKeepalivePropertyInfo = "keepalive"
type AttrGetType SocketKeepalivePropertyInfo = Bool
type AttrBaseTypeConstraint SocketKeepalivePropertyInfo = SocketK
type AttrSetTypeConstraint SocketKeepalivePropertyInfo = * ~ Bool
type AttrAllowedOps SocketKeepalivePropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

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

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

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

socketKeepalive :: AttrLabelProxy "keepalive" Source

ListenBacklog

data SocketListenBacklogPropertyInfo Source

Instances

AttrInfo SocketListenBacklogPropertyInfo
type AttrLabel SocketListenBacklogPropertyInfo = "listen-backlog"
type AttrGetType SocketListenBacklogPropertyInfo = Int32
type AttrBaseTypeConstraint SocketListenBacklogPropertyInfo = SocketK
type AttrSetTypeConstraint SocketListenBacklogPropertyInfo = * ~ Int32
type AttrAllowedOps SocketListenBacklogPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

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

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

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

socketListenBacklog :: AttrLabelProxy "listenBacklog" Source

LocalAddress

data SocketLocalAddressPropertyInfo Source

Instances

AttrInfo SocketLocalAddressPropertyInfo
type AttrLabel SocketLocalAddressPropertyInfo = "local-address"
type AttrGetType SocketLocalAddressPropertyInfo = Maybe SocketAddress
type AttrBaseTypeConstraint SocketLocalAddressPropertyInfo = SocketK
type AttrSetTypeConstraint SocketLocalAddressPropertyInfo = * ~ ()
type AttrAllowedOps SocketLocalAddressPropertyInfo = (:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag))

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

socketLocalAddress :: AttrLabelProxy "localAddress" Source

MulticastLoopback

data SocketMulticastLoopbackPropertyInfo Source

Instances

AttrInfo SocketMulticastLoopbackPropertyInfo
type AttrLabel SocketMulticastLoopbackPropertyInfo = "multicast-loopback"
type AttrGetType SocketMulticastLoopbackPropertyInfo = Bool
type AttrBaseTypeConstraint SocketMulticastLoopbackPropertyInfo = SocketK
type AttrSetTypeConstraint SocketMulticastLoopbackPropertyInfo = * ~ Bool
type AttrAllowedOps SocketMulticastLoopbackPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

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

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

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

socketMulticastLoopback :: AttrLabelProxy "multicastLoopback" Source

MulticastTtl

data SocketMulticastTtlPropertyInfo Source

Instances

AttrInfo SocketMulticastTtlPropertyInfo
type AttrLabel SocketMulticastTtlPropertyInfo = "multicast-ttl"
type AttrGetType SocketMulticastTtlPropertyInfo = Word32
type AttrBaseTypeConstraint SocketMulticastTtlPropertyInfo = SocketK
type AttrSetTypeConstraint SocketMulticastTtlPropertyInfo = * ~ Word32
type AttrAllowedOps SocketMulticastTtlPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

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

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

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

socketMulticastTtl :: AttrLabelProxy "multicastTtl" Source

Protocol

data SocketProtocolPropertyInfo Source

Instances

AttrInfo SocketProtocolPropertyInfo
type AttrLabel SocketProtocolPropertyInfo = "protocol"
type AttrGetType SocketProtocolPropertyInfo = SocketProtocol
type AttrBaseTypeConstraint SocketProtocolPropertyInfo = SocketK
type AttrSetTypeConstraint SocketProtocolPropertyInfo = * ~ SocketProtocol
type AttrAllowedOps SocketProtocolPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))

constructSocketProtocol :: SocketProtocol -> IO ([Char], GValue) Source

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

socketProtocol :: AttrLabelProxy "protocol" Source

RemoteAddress

data SocketRemoteAddressPropertyInfo Source

Instances

AttrInfo SocketRemoteAddressPropertyInfo
type AttrLabel SocketRemoteAddressPropertyInfo = "remote-address"
type AttrGetType SocketRemoteAddressPropertyInfo = Maybe SocketAddress
type AttrBaseTypeConstraint SocketRemoteAddressPropertyInfo = SocketK
type AttrSetTypeConstraint SocketRemoteAddressPropertyInfo = * ~ ()
type AttrAllowedOps SocketRemoteAddressPropertyInfo = (:) AttrOpTag AttrGet ((:) AttrOpTag AttrClear ([] AttrOpTag))

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

socketRemoteAddress :: AttrLabelProxy "remoteAddress" Source

Timeout

data SocketTimeoutPropertyInfo Source

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) Source

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

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

socketTimeout :: AttrLabelProxy "timeout" Source

Ttl

data SocketTtlPropertyInfo Source

Instances

AttrInfo SocketTtlPropertyInfo
type AttrLabel SocketTtlPropertyInfo = "ttl"
type AttrGetType SocketTtlPropertyInfo = Word32
type AttrBaseTypeConstraint SocketTtlPropertyInfo = SocketK
type AttrSetTypeConstraint SocketTtlPropertyInfo = * ~ Word32
type AttrAllowedOps SocketTtlPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)))

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

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

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

socketTtl :: AttrLabelProxy "ttl" Source

Type

data SocketTypePropertyInfo Source

Instances

AttrInfo SocketTypePropertyInfo
type AttrLabel SocketTypePropertyInfo = "type"
type AttrGetType SocketTypePropertyInfo = SocketType
type AttrBaseTypeConstraint SocketTypePropertyInfo = SocketK
type AttrSetTypeConstraint SocketTypePropertyInfo = * ~ SocketType
type AttrAllowedOps SocketTypePropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))

constructSocketType :: SocketType -> IO ([Char], GValue) Source

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

socketType :: AttrLabelProxy "type" Source