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 |
- Exported types
- Methods
- socketAccept
- socketBind
- socketCheckConnectResult
- socketClose
- socketConditionCheck
- socketConditionTimedWait
- socketConditionWait
- socketConnect
- socketConnectionFactoryCreateConnection
- socketGetAvailableBytes
- socketGetBlocking
- socketGetBroadcast
- socketGetCredentials
- socketGetFamily
- socketGetFd
- socketGetKeepalive
- socketGetListenBacklog
- socketGetLocalAddress
- socketGetMulticastLoopback
- socketGetMulticastTtl
- socketGetOption
- socketGetProtocol
- socketGetRemoteAddress
- socketGetSocketType
- socketGetTimeout
- socketGetTtl
- socketIsClosed
- socketIsConnected
- socketJoinMulticastGroup
- socketLeaveMulticastGroup
- socketListen
- socketNew
- socketNewFromFd
- socketReceive
- socketReceiveFrom
- socketReceiveMessage
- socketReceiveWithBlocking
- socketSend
- socketSendMessage
- socketSendMessages
- socketSendTo
- socketSendWithBlocking
- socketSetBlocking
- socketSetBroadcast
- socketSetKeepalive
- socketSetListenBacklog
- socketSetMulticastLoopback
- socketSetMulticastTtl
- socketSetOption
- socketSetTimeout
- socketSetTtl
- socketShutdown
- socketSpeaksIpv4
- Properties
- newtype Socket = Socket (ForeignPtr Socket)
- class GObject o => SocketK o
- toSocket :: SocketK o => o -> IO Socket
- noSocket :: Maybe Socket
- data SocketAcceptMethodInfo
- socketAccept :: (MonadIO m, SocketK a, CancellableK b) => a -> Maybe b -> m Socket
- data SocketBindMethodInfo
- socketBind :: (MonadIO m, SocketK a, SocketAddressK b) => a -> b -> Bool -> m ()
- data SocketCheckConnectResultMethodInfo
- socketCheckConnectResult :: (MonadIO m, SocketK a) => a -> m ()
- data SocketCloseMethodInfo
- socketClose :: (MonadIO m, SocketK a) => a -> m ()
- data SocketConditionCheckMethodInfo
- socketConditionCheck :: (MonadIO m, SocketK a) => a -> [IOCondition] -> m [IOCondition]
- data SocketConditionTimedWaitMethodInfo
- socketConditionTimedWait :: (MonadIO m, SocketK a, CancellableK b) => a -> [IOCondition] -> Int64 -> Maybe b -> m ()
- data SocketConditionWaitMethodInfo
- socketConditionWait :: (MonadIO m, SocketK a, CancellableK b) => a -> [IOCondition] -> Maybe b -> m ()
- data SocketConnectMethodInfo
- socketConnect :: (MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => a -> b -> Maybe c -> m ()
- data SocketConnectionFactoryCreateConnectionMethodInfo
- socketConnectionFactoryCreateConnection :: (MonadIO m, SocketK a) => a -> m SocketConnection
- data SocketGetAvailableBytesMethodInfo
- socketGetAvailableBytes :: (MonadIO m, SocketK a) => a -> m Int64
- data SocketGetBlockingMethodInfo
- socketGetBlocking :: (MonadIO m, SocketK a) => a -> m Bool
- data SocketGetBroadcastMethodInfo
- socketGetBroadcast :: (MonadIO m, SocketK a) => a -> m Bool
- data SocketGetCredentialsMethodInfo
- socketGetCredentials :: (MonadIO m, SocketK a) => a -> m Credentials
- data SocketGetFamilyMethodInfo
- socketGetFamily :: (MonadIO m, SocketK a) => a -> m SocketFamily
- data SocketGetFdMethodInfo
- socketGetFd :: (MonadIO m, SocketK a) => a -> m Int32
- data SocketGetKeepaliveMethodInfo
- socketGetKeepalive :: (MonadIO m, SocketK a) => a -> m Bool
- data SocketGetListenBacklogMethodInfo
- socketGetListenBacklog :: (MonadIO m, SocketK a) => a -> m Int32
- data SocketGetLocalAddressMethodInfo
- socketGetLocalAddress :: (MonadIO m, SocketK a) => a -> m SocketAddress
- data SocketGetMulticastLoopbackMethodInfo
- socketGetMulticastLoopback :: (MonadIO m, SocketK a) => a -> m Bool
- data SocketGetMulticastTtlMethodInfo
- socketGetMulticastTtl :: (MonadIO m, SocketK a) => a -> m Word32
- data SocketGetOptionMethodInfo
- socketGetOption :: (MonadIO m, SocketK a) => a -> Int32 -> Int32 -> m Int32
- data SocketGetProtocolMethodInfo
- socketGetProtocol :: (MonadIO m, SocketK a) => a -> m SocketProtocol
- data SocketGetRemoteAddressMethodInfo
- socketGetRemoteAddress :: (MonadIO m, SocketK a) => a -> m SocketAddress
- data SocketGetSocketTypeMethodInfo
- socketGetSocketType :: (MonadIO m, SocketK a) => a -> m SocketType
- data SocketGetTimeoutMethodInfo
- socketGetTimeout :: (MonadIO m, SocketK a) => a -> m Word32
- data SocketGetTtlMethodInfo
- socketGetTtl :: (MonadIO m, SocketK a) => a -> m Word32
- data SocketIsClosedMethodInfo
- socketIsClosed :: (MonadIO m, SocketK a) => a -> m Bool
- data SocketIsConnectedMethodInfo
- socketIsConnected :: (MonadIO m, SocketK a) => a -> m Bool
- data SocketJoinMulticastGroupMethodInfo
- socketJoinMulticastGroup :: (MonadIO m, SocketK a, InetAddressK b) => a -> b -> Bool -> Maybe Text -> m ()
- data SocketLeaveMulticastGroupMethodInfo
- socketLeaveMulticastGroup :: (MonadIO m, SocketK a, InetAddressK b) => a -> b -> Bool -> Maybe Text -> m ()
- data SocketListenMethodInfo
- socketListen :: (MonadIO m, SocketK a) => a -> m ()
- socketNew :: MonadIO m => SocketFamily -> SocketType -> SocketProtocol -> m Socket
- socketNewFromFd :: MonadIO m => Int32 -> m Socket
- data SocketReceiveMethodInfo
- socketReceive :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Maybe b -> m Int64
- data SocketReceiveFromMethodInfo
- socketReceiveFrom :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Maybe b -> m (Int64, SocketAddress)
- data SocketReceiveMessageMethodInfo
- socketReceiveMessage :: (MonadIO m, SocketK a, CancellableK b) => a -> [InputVector] -> Maybe [SocketControlMessage] -> Int32 -> Maybe b -> m (Int64, SocketAddress)
- data SocketReceiveWithBlockingMethodInfo
- socketReceiveWithBlocking :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Bool -> Maybe b -> m Int64
- data SocketSendMethodInfo
- socketSend :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Maybe b -> m Int64
- data SocketSendMessageMethodInfo
- socketSendMessage :: (MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => a -> Maybe b -> [OutputVector] -> Maybe [SocketControlMessage] -> Int32 -> Maybe c -> m Int64
- data SocketSendMessagesMethodInfo
- socketSendMessages :: (MonadIO m, SocketK a, CancellableK b) => a -> [OutputMessage] -> Int32 -> Maybe b -> m Int32
- data SocketSendToMethodInfo
- socketSendTo :: (MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => a -> Maybe b -> ByteString -> Maybe c -> m Int64
- data SocketSendWithBlockingMethodInfo
- socketSendWithBlocking :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Bool -> Maybe b -> m Int64
- data SocketSetBlockingMethodInfo
- socketSetBlocking :: (MonadIO m, SocketK a) => a -> Bool -> m ()
- data SocketSetBroadcastMethodInfo
- socketSetBroadcast :: (MonadIO m, SocketK a) => a -> Bool -> m ()
- data SocketSetKeepaliveMethodInfo
- socketSetKeepalive :: (MonadIO m, SocketK a) => a -> Bool -> m ()
- data SocketSetListenBacklogMethodInfo
- socketSetListenBacklog :: (MonadIO m, SocketK a) => a -> Int32 -> m ()
- data SocketSetMulticastLoopbackMethodInfo
- socketSetMulticastLoopback :: (MonadIO m, SocketK a) => a -> Bool -> m ()
- data SocketSetMulticastTtlMethodInfo
- socketSetMulticastTtl :: (MonadIO m, SocketK a) => a -> Word32 -> m ()
- data SocketSetOptionMethodInfo
- socketSetOption :: (MonadIO m, SocketK a) => a -> Int32 -> Int32 -> Int32 -> m ()
- data SocketSetTimeoutMethodInfo
- socketSetTimeout :: (MonadIO m, SocketK a) => a -> Word32 -> m ()
- data SocketSetTtlMethodInfo
- socketSetTtl :: (MonadIO m, SocketK a) => a -> Word32 -> m ()
- data SocketShutdownMethodInfo
- socketShutdown :: (MonadIO m, SocketK a) => a -> Bool -> Bool -> m ()
- data SocketSpeaksIpv4MethodInfo
- socketSpeaksIpv4 :: (MonadIO m, SocketK a) => a -> m Bool
- data SocketBlockingPropertyInfo
- constructSocketBlocking :: Bool -> IO ([Char], GValue)
- getSocketBlocking :: (MonadIO m, SocketK o) => o -> m Bool
- setSocketBlocking :: (MonadIO m, SocketK o) => o -> Bool -> m ()
- data SocketBroadcastPropertyInfo
- constructSocketBroadcast :: Bool -> IO ([Char], GValue)
- getSocketBroadcast :: (MonadIO m, SocketK o) => o -> m Bool
- setSocketBroadcast :: (MonadIO m, SocketK o) => o -> Bool -> m ()
- data SocketFamilyPropertyInfo
- constructSocketFamily :: SocketFamily -> IO ([Char], GValue)
- getSocketFamily :: (MonadIO m, SocketK o) => o -> m SocketFamily
- data SocketFdPropertyInfo
- constructSocketFd :: Int32 -> IO ([Char], GValue)
- getSocketFd :: (MonadIO m, SocketK o) => o -> m Int32
- data SocketKeepalivePropertyInfo
- constructSocketKeepalive :: Bool -> IO ([Char], GValue)
- getSocketKeepalive :: (MonadIO m, SocketK o) => o -> m Bool
- setSocketKeepalive :: (MonadIO m, SocketK o) => o -> Bool -> m ()
- data SocketListenBacklogPropertyInfo
- constructSocketListenBacklog :: Int32 -> IO ([Char], GValue)
- getSocketListenBacklog :: (MonadIO m, SocketK o) => o -> m Int32
- setSocketListenBacklog :: (MonadIO m, SocketK o) => o -> Int32 -> m ()
- data SocketLocalAddressPropertyInfo
- getSocketLocalAddress :: (MonadIO m, SocketK o) => o -> m SocketAddress
- data SocketMulticastLoopbackPropertyInfo
- constructSocketMulticastLoopback :: Bool -> IO ([Char], GValue)
- getSocketMulticastLoopback :: (MonadIO m, SocketK o) => o -> m Bool
- setSocketMulticastLoopback :: (MonadIO m, SocketK o) => o -> Bool -> m ()
- data SocketMulticastTtlPropertyInfo
- constructSocketMulticastTtl :: Word32 -> IO ([Char], GValue)
- getSocketMulticastTtl :: (MonadIO m, SocketK o) => o -> m Word32
- setSocketMulticastTtl :: (MonadIO m, SocketK o) => o -> Word32 -> m ()
- data SocketProtocolPropertyInfo
- constructSocketProtocol :: SocketProtocol -> IO ([Char], GValue)
- getSocketProtocol :: (MonadIO m, SocketK o) => o -> m SocketProtocol
- data SocketRemoteAddressPropertyInfo
- getSocketRemoteAddress :: (MonadIO m, SocketK o) => o -> m SocketAddress
- data SocketTimeoutPropertyInfo
- constructSocketTimeout :: Word32 -> IO ([Char], GValue)
- getSocketTimeout :: (MonadIO m, SocketK o) => o -> m Word32
- setSocketTimeout :: (MonadIO m, SocketK o) => o -> Word32 -> m ()
- data SocketTtlPropertyInfo
- constructSocketTtl :: Word32 -> IO ([Char], GValue)
- getSocketTtl :: (MonadIO m, SocketK o) => o -> m Word32
- setSocketTtl :: (MonadIO m, SocketK o) => o -> Word32 -> m ()
- data SocketTypePropertyInfo
- constructSocketType :: SocketType -> IO ([Char], GValue)
- getSocketType :: (MonadIO m, SocketK o) => o -> m SocketType
Exported types
GObject Socket Source | |
((~) * info (ResolveSocketMethod t Socket), MethodInfo * info Socket p) => IsLabel t (Socket -> p) Source | |
((~) * info (ResolveSocketMethod t Socket), MethodInfo * info Socket p) => IsLabelProxy t (Socket -> p) Source | |
type ParentTypes Socket Source | |
type AttributeList Socket Source | |
type SignalList Socket Source |
Methods
socketAccept
data SocketAcceptMethodInfo Source
((~) (TYPE Lifted) signature (Maybe b -> m Socket), MonadIO m, SocketK a, CancellableK b) => MethodInfo (TYPE Lifted) SocketAcceptMethodInfo a signature Source | |
socketAccept :: (MonadIO m, SocketK a, CancellableK b) => a -> Maybe b -> m Socket Source
socketBind
data SocketBindMethodInfo Source
((~) (TYPE Lifted) signature (b -> Bool -> m ()), MonadIO m, SocketK a, SocketAddressK b) => MethodInfo (TYPE Lifted) SocketBindMethodInfo a signature Source | |
socketBind :: (MonadIO m, SocketK a, SocketAddressK b) => a -> b -> Bool -> m () Source
socketCheckConnectResult
data SocketCheckConnectResultMethodInfo Source
((~) (TYPE Lifted) signature (m ()), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketCheckConnectResultMethodInfo a signature Source | |
socketCheckConnectResult :: (MonadIO m, SocketK a) => a -> m () Source
socketClose
data SocketCloseMethodInfo Source
((~) (TYPE Lifted) signature (m ()), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketCloseMethodInfo a signature Source | |
socketClose :: (MonadIO m, SocketK a) => a -> m () Source
socketConditionCheck
data SocketConditionCheckMethodInfo Source
((~) (TYPE Lifted) signature ([IOCondition] -> m [IOCondition]), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketConditionCheckMethodInfo a signature Source | |
socketConditionCheck :: (MonadIO m, SocketK a) => a -> [IOCondition] -> m [IOCondition] Source
socketConditionTimedWait
data SocketConditionTimedWaitMethodInfo Source
((~) (TYPE Lifted) signature ([IOCondition] -> Int64 -> Maybe b -> m ()), MonadIO m, SocketK a, CancellableK b) => MethodInfo (TYPE Lifted) SocketConditionTimedWaitMethodInfo a signature Source | |
socketConditionTimedWait :: (MonadIO m, SocketK a, CancellableK b) => a -> [IOCondition] -> Int64 -> Maybe b -> m () Source
socketConditionWait
data SocketConditionWaitMethodInfo Source
((~) (TYPE Lifted) signature ([IOCondition] -> Maybe b -> m ()), MonadIO m, SocketK a, CancellableK b) => MethodInfo (TYPE Lifted) SocketConditionWaitMethodInfo a signature Source | |
socketConditionWait :: (MonadIO m, SocketK a, CancellableK b) => a -> [IOCondition] -> Maybe b -> m () Source
socketConnect
data SocketConnectMethodInfo Source
((~) (TYPE Lifted) signature (b -> Maybe c -> m ()), MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => MethodInfo (TYPE Lifted) SocketConnectMethodInfo a signature Source | |
socketConnect :: (MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => a -> b -> Maybe c -> m () Source
socketConnectionFactoryCreateConnection
data SocketConnectionFactoryCreateConnectionMethodInfo Source
((~) (TYPE Lifted) signature (m SocketConnection), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketConnectionFactoryCreateConnectionMethodInfo a signature Source | |
socketConnectionFactoryCreateConnection :: (MonadIO m, SocketK a) => a -> m SocketConnection Source
socketGetAvailableBytes
data SocketGetAvailableBytesMethodInfo Source
((~) (TYPE Lifted) signature (m Int64), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetAvailableBytesMethodInfo a signature Source | |
socketGetAvailableBytes :: (MonadIO m, SocketK a) => a -> m Int64 Source
socketGetBlocking
data SocketGetBlockingMethodInfo Source
((~) (TYPE Lifted) signature (m Bool), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetBlockingMethodInfo a signature Source | |
socketGetBlocking :: (MonadIO m, SocketK a) => a -> m Bool Source
socketGetBroadcast
data SocketGetBroadcastMethodInfo Source
((~) (TYPE Lifted) signature (m Bool), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetBroadcastMethodInfo a signature Source | |
socketGetBroadcast :: (MonadIO m, SocketK a) => a -> m Bool Source
socketGetCredentials
data SocketGetCredentialsMethodInfo Source
((~) (TYPE Lifted) signature (m Credentials), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetCredentialsMethodInfo a signature Source | |
socketGetCredentials :: (MonadIO m, SocketK a) => a -> m Credentials Source
socketGetFamily
data SocketGetFamilyMethodInfo Source
((~) (TYPE Lifted) signature (m SocketFamily), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetFamilyMethodInfo a signature Source | |
socketGetFamily :: (MonadIO m, SocketK a) => a -> m SocketFamily Source
socketGetFd
data SocketGetFdMethodInfo Source
((~) (TYPE Lifted) signature (m Int32), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetFdMethodInfo a signature Source | |
socketGetFd :: (MonadIO m, SocketK a) => a -> m Int32 Source
socketGetKeepalive
data SocketGetKeepaliveMethodInfo Source
((~) (TYPE Lifted) signature (m Bool), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetKeepaliveMethodInfo a signature Source | |
socketGetKeepalive :: (MonadIO m, SocketK a) => a -> m Bool Source
socketGetListenBacklog
data SocketGetListenBacklogMethodInfo Source
((~) (TYPE Lifted) signature (m Int32), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetListenBacklogMethodInfo a signature Source | |
socketGetListenBacklog :: (MonadIO m, SocketK a) => a -> m Int32 Source
socketGetLocalAddress
data SocketGetLocalAddressMethodInfo Source
((~) (TYPE Lifted) signature (m SocketAddress), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetLocalAddressMethodInfo a signature Source | |
socketGetLocalAddress :: (MonadIO m, SocketK a) => a -> m SocketAddress Source
socketGetMulticastLoopback
data SocketGetMulticastLoopbackMethodInfo Source
((~) (TYPE Lifted) signature (m Bool), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetMulticastLoopbackMethodInfo a signature Source | |
socketGetMulticastLoopback :: (MonadIO m, SocketK a) => a -> m Bool Source
socketGetMulticastTtl
data SocketGetMulticastTtlMethodInfo Source
((~) (TYPE Lifted) signature (m Word32), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetMulticastTtlMethodInfo a signature Source | |
socketGetMulticastTtl :: (MonadIO m, SocketK a) => a -> m Word32 Source
socketGetOption
socketGetProtocol
data SocketGetProtocolMethodInfo Source
((~) (TYPE Lifted) signature (m SocketProtocol), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetProtocolMethodInfo a signature Source | |
socketGetProtocol :: (MonadIO m, SocketK a) => a -> m SocketProtocol Source
socketGetRemoteAddress
data SocketGetRemoteAddressMethodInfo Source
((~) (TYPE Lifted) signature (m SocketAddress), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetRemoteAddressMethodInfo a signature Source | |
socketGetRemoteAddress :: (MonadIO m, SocketK a) => a -> m SocketAddress Source
socketGetSocketType
data SocketGetSocketTypeMethodInfo Source
((~) (TYPE Lifted) signature (m SocketType), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetSocketTypeMethodInfo a signature Source | |
socketGetSocketType :: (MonadIO m, SocketK a) => a -> m SocketType Source
socketGetTimeout
data SocketGetTimeoutMethodInfo Source
((~) (TYPE Lifted) signature (m Word32), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetTimeoutMethodInfo a signature Source | |
socketGetTimeout :: (MonadIO m, SocketK a) => a -> m Word32 Source
socketGetTtl
data SocketGetTtlMethodInfo Source
((~) (TYPE Lifted) signature (m Word32), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketGetTtlMethodInfo a signature Source | |
socketGetTtl :: (MonadIO m, SocketK a) => a -> m Word32 Source
socketIsClosed
data SocketIsClosedMethodInfo Source
((~) (TYPE Lifted) signature (m Bool), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketIsClosedMethodInfo a signature Source | |
socketIsClosed :: (MonadIO m, SocketK a) => a -> m Bool Source
socketIsConnected
data SocketIsConnectedMethodInfo Source
((~) (TYPE Lifted) signature (m Bool), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketIsConnectedMethodInfo a signature Source | |
socketIsConnected :: (MonadIO m, SocketK a) => a -> m Bool Source
socketJoinMulticastGroup
data SocketJoinMulticastGroupMethodInfo Source
((~) (TYPE Lifted) signature (b -> Bool -> Maybe Text -> m ()), MonadIO m, SocketK a, InetAddressK b) => MethodInfo (TYPE Lifted) SocketJoinMulticastGroupMethodInfo a signature Source | |
socketJoinMulticastGroup :: (MonadIO m, SocketK a, InetAddressK b) => a -> b -> Bool -> Maybe Text -> m () Source
socketLeaveMulticastGroup
data SocketLeaveMulticastGroupMethodInfo Source
((~) (TYPE Lifted) signature (b -> Bool -> Maybe Text -> m ()), MonadIO m, SocketK a, InetAddressK b) => MethodInfo (TYPE Lifted) SocketLeaveMulticastGroupMethodInfo a signature Source | |
socketLeaveMulticastGroup :: (MonadIO m, SocketK a, InetAddressK b) => a -> b -> Bool -> Maybe Text -> m () Source
socketListen
data SocketListenMethodInfo Source
((~) (TYPE Lifted) signature (m ()), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketListenMethodInfo a signature Source | |
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
((~) (TYPE Lifted) signature (ByteString -> Maybe b -> m Int64), MonadIO m, SocketK a, CancellableK b) => MethodInfo (TYPE Lifted) SocketReceiveMethodInfo a signature Source | |
socketReceive :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Maybe b -> m Int64 Source
socketReceiveFrom
data SocketReceiveFromMethodInfo Source
((~) (TYPE Lifted) signature (ByteString -> Maybe b -> m (Int64, SocketAddress)), MonadIO m, SocketK a, CancellableK b) => MethodInfo (TYPE Lifted) SocketReceiveFromMethodInfo a signature Source | |
socketReceiveFrom :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Maybe b -> m (Int64, SocketAddress) Source
socketReceiveMessage
data SocketReceiveMessageMethodInfo Source
((~) (TYPE Lifted) signature ([InputVector] -> Maybe [SocketControlMessage] -> Int32 -> Maybe b -> m (Int64, SocketAddress)), MonadIO m, SocketK a, CancellableK b) => MethodInfo (TYPE Lifted) SocketReceiveMessageMethodInfo a signature Source | |
socketReceiveMessage :: (MonadIO m, SocketK a, CancellableK b) => a -> [InputVector] -> Maybe [SocketControlMessage] -> Int32 -> Maybe b -> m (Int64, SocketAddress) Source
socketReceiveWithBlocking
data SocketReceiveWithBlockingMethodInfo Source
((~) (TYPE Lifted) signature (ByteString -> Bool -> Maybe b -> m Int64), MonadIO m, SocketK a, CancellableK b) => MethodInfo (TYPE Lifted) SocketReceiveWithBlockingMethodInfo a signature Source | |
socketReceiveWithBlocking :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Bool -> Maybe b -> m Int64 Source
socketSend
data SocketSendMethodInfo Source
((~) (TYPE Lifted) signature (ByteString -> Maybe b -> m Int64), MonadIO m, SocketK a, CancellableK b) => MethodInfo (TYPE Lifted) SocketSendMethodInfo a signature Source | |
socketSend :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Maybe b -> m Int64 Source
socketSendMessage
data SocketSendMessageMethodInfo Source
((~) (TYPE Lifted) signature (Maybe b -> [OutputVector] -> Maybe [SocketControlMessage] -> Int32 -> Maybe c -> m Int64), MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => MethodInfo (TYPE Lifted) SocketSendMessageMethodInfo a signature Source | |
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
((~) (TYPE Lifted) signature ([OutputMessage] -> Int32 -> Maybe b -> m Int32), MonadIO m, SocketK a, CancellableK b) => MethodInfo (TYPE Lifted) SocketSendMessagesMethodInfo a signature Source | |
socketSendMessages :: (MonadIO m, SocketK a, CancellableK b) => a -> [OutputMessage] -> Int32 -> Maybe b -> m Int32 Source
socketSendTo
data SocketSendToMethodInfo Source
((~) (TYPE Lifted) signature (Maybe b -> ByteString -> Maybe c -> m Int64), MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => MethodInfo (TYPE Lifted) SocketSendToMethodInfo a signature Source | |
socketSendTo :: (MonadIO m, SocketK a, SocketAddressK b, CancellableK c) => a -> Maybe b -> ByteString -> Maybe c -> m Int64 Source
socketSendWithBlocking
data SocketSendWithBlockingMethodInfo Source
((~) (TYPE Lifted) signature (ByteString -> Bool -> Maybe b -> m Int64), MonadIO m, SocketK a, CancellableK b) => MethodInfo (TYPE Lifted) SocketSendWithBlockingMethodInfo a signature Source | |
socketSendWithBlocking :: (MonadIO m, SocketK a, CancellableK b) => a -> ByteString -> Bool -> Maybe b -> m Int64 Source
socketSetBlocking
data SocketSetBlockingMethodInfo Source
((~) (TYPE Lifted) signature (Bool -> m ()), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketSetBlockingMethodInfo a signature Source | |
socketSetBlocking :: (MonadIO m, SocketK a) => a -> Bool -> m () Source
socketSetBroadcast
data SocketSetBroadcastMethodInfo Source
((~) (TYPE Lifted) signature (Bool -> m ()), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketSetBroadcastMethodInfo a signature Source | |
socketSetBroadcast :: (MonadIO m, SocketK a) => a -> Bool -> m () Source
socketSetKeepalive
data SocketSetKeepaliveMethodInfo Source
((~) (TYPE Lifted) signature (Bool -> m ()), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketSetKeepaliveMethodInfo a signature Source | |
socketSetKeepalive :: (MonadIO m, SocketK a) => a -> Bool -> m () Source
socketSetListenBacklog
data SocketSetListenBacklogMethodInfo Source
((~) (TYPE Lifted) signature (Int32 -> m ()), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketSetListenBacklogMethodInfo a signature Source | |
socketSetListenBacklog :: (MonadIO m, SocketK a) => a -> Int32 -> m () Source
socketSetMulticastLoopback
data SocketSetMulticastLoopbackMethodInfo Source
((~) (TYPE Lifted) signature (Bool -> m ()), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketSetMulticastLoopbackMethodInfo a signature Source | |
socketSetMulticastLoopback :: (MonadIO m, SocketK a) => a -> Bool -> m () Source
socketSetMulticastTtl
data SocketSetMulticastTtlMethodInfo Source
((~) (TYPE Lifted) signature (Word32 -> m ()), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketSetMulticastTtlMethodInfo a signature Source | |
socketSetMulticastTtl :: (MonadIO m, SocketK a) => a -> Word32 -> m () Source
socketSetOption
socketSetTimeout
data SocketSetTimeoutMethodInfo Source
((~) (TYPE Lifted) signature (Word32 -> m ()), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketSetTimeoutMethodInfo a signature Source | |
socketSetTimeout :: (MonadIO m, SocketK a) => a -> Word32 -> m () Source
socketSetTtl
data SocketSetTtlMethodInfo Source
((~) (TYPE Lifted) signature (Word32 -> m ()), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketSetTtlMethodInfo a signature Source | |
socketSetTtl :: (MonadIO m, SocketK a) => a -> Word32 -> m () Source
socketShutdown
socketSpeaksIpv4
data SocketSpeaksIpv4MethodInfo Source
((~) (TYPE Lifted) signature (m Bool), MonadIO m, SocketK a) => MethodInfo (TYPE Lifted) SocketSpeaksIpv4MethodInfo a signature Source | |
socketSpeaksIpv4 :: (MonadIO m, SocketK a) => a -> m Bool Source
Properties
Blocking
data SocketBlockingPropertyInfo Source
AttrInfo SocketBlockingPropertyInfo Source | |
type AttrLabel SocketBlockingPropertyInfo = "blocking" Source | |
type AttrGetType SocketBlockingPropertyInfo = Bool Source | |
type AttrBaseTypeConstraint SocketBlockingPropertyInfo = SocketK Source | |
type AttrSetTypeConstraint SocketBlockingPropertyInfo = TYPE Lifted ~ Bool Source | |
type AttrAllowedOps SocketBlockingPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) Source |
getSocketBlocking :: (MonadIO m, SocketK o) => o -> m Bool Source
setSocketBlocking :: (MonadIO m, SocketK o) => o -> Bool -> m () Source
Broadcast
data SocketBroadcastPropertyInfo Source
AttrInfo SocketBroadcastPropertyInfo Source | |
type AttrLabel SocketBroadcastPropertyInfo = "broadcast" Source | |
type AttrGetType SocketBroadcastPropertyInfo = Bool Source | |
type AttrBaseTypeConstraint SocketBroadcastPropertyInfo = SocketK Source | |
type AttrSetTypeConstraint SocketBroadcastPropertyInfo = TYPE Lifted ~ Bool Source | |
type AttrAllowedOps SocketBroadcastPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) Source |
getSocketBroadcast :: (MonadIO m, SocketK o) => o -> m Bool Source
setSocketBroadcast :: (MonadIO m, SocketK o) => o -> Bool -> m () Source
Family
data SocketFamilyPropertyInfo Source
constructSocketFamily :: SocketFamily -> IO ([Char], GValue) Source
getSocketFamily :: (MonadIO m, SocketK o) => o -> m SocketFamily Source
Fd
data SocketFdPropertyInfo Source
AttrInfo SocketFdPropertyInfo Source | |
type AttrLabel SocketFdPropertyInfo = "fd" Source | |
type AttrGetType SocketFdPropertyInfo = Int32 Source | |
type AttrBaseTypeConstraint SocketFdPropertyInfo = SocketK Source | |
type AttrSetTypeConstraint SocketFdPropertyInfo = TYPE Lifted ~ Int32 Source | |
type AttrAllowedOps SocketFdPropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)) Source |
getSocketFd :: (MonadIO m, SocketK o) => o -> m Int32 Source
Keepalive
data SocketKeepalivePropertyInfo Source
AttrInfo SocketKeepalivePropertyInfo Source | |
type AttrLabel SocketKeepalivePropertyInfo = "keepalive" Source | |
type AttrGetType SocketKeepalivePropertyInfo = Bool Source | |
type AttrBaseTypeConstraint SocketKeepalivePropertyInfo = SocketK Source | |
type AttrSetTypeConstraint SocketKeepalivePropertyInfo = TYPE Lifted ~ Bool Source | |
type AttrAllowedOps SocketKeepalivePropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) Source |
getSocketKeepalive :: (MonadIO m, SocketK o) => o -> m Bool Source
setSocketKeepalive :: (MonadIO m, SocketK o) => o -> Bool -> m () Source
ListenBacklog
data SocketListenBacklogPropertyInfo Source
AttrInfo SocketListenBacklogPropertyInfo Source | |
type AttrLabel SocketListenBacklogPropertyInfo = "listen-backlog" Source | |
type AttrGetType SocketListenBacklogPropertyInfo = Int32 Source | |
type AttrBaseTypeConstraint SocketListenBacklogPropertyInfo = SocketK Source | |
type AttrSetTypeConstraint SocketListenBacklogPropertyInfo = TYPE Lifted ~ Int32 Source | |
type AttrAllowedOps SocketListenBacklogPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) Source |
getSocketListenBacklog :: (MonadIO m, SocketK o) => o -> m Int32 Source
setSocketListenBacklog :: (MonadIO m, SocketK o) => o -> Int32 -> m () Source
LocalAddress
data SocketLocalAddressPropertyInfo Source
AttrInfo SocketLocalAddressPropertyInfo Source | |
type AttrLabel SocketLocalAddressPropertyInfo = "local-address" Source | |
type AttrGetType SocketLocalAddressPropertyInfo = SocketAddress Source | |
type AttrBaseTypeConstraint SocketLocalAddressPropertyInfo = SocketK Source | |
type AttrSetTypeConstraint SocketLocalAddressPropertyInfo = TYPE Lifted ~ () Source | |
type AttrAllowedOps SocketLocalAddressPropertyInfo = (:) AttrOpTag AttrGet ([] AttrOpTag) Source |
getSocketLocalAddress :: (MonadIO m, SocketK o) => o -> m SocketAddress Source
MulticastLoopback
data SocketMulticastLoopbackPropertyInfo Source
AttrInfo SocketMulticastLoopbackPropertyInfo Source | |
type AttrLabel SocketMulticastLoopbackPropertyInfo = "multicast-loopback" Source | |
type AttrGetType SocketMulticastLoopbackPropertyInfo = Bool Source | |
type AttrBaseTypeConstraint SocketMulticastLoopbackPropertyInfo = SocketK Source | |
type AttrSetTypeConstraint SocketMulticastLoopbackPropertyInfo = TYPE Lifted ~ Bool Source | |
type AttrAllowedOps SocketMulticastLoopbackPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) Source |
getSocketMulticastLoopback :: (MonadIO m, SocketK o) => o -> m Bool Source
setSocketMulticastLoopback :: (MonadIO m, SocketK o) => o -> Bool -> m () Source
MulticastTtl
data SocketMulticastTtlPropertyInfo Source
AttrInfo SocketMulticastTtlPropertyInfo Source | |
type AttrLabel SocketMulticastTtlPropertyInfo = "multicast-ttl" Source | |
type AttrGetType SocketMulticastTtlPropertyInfo = Word32 Source | |
type AttrBaseTypeConstraint SocketMulticastTtlPropertyInfo = SocketK Source | |
type AttrSetTypeConstraint SocketMulticastTtlPropertyInfo = TYPE Lifted ~ Word32 Source | |
type AttrAllowedOps SocketMulticastTtlPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) Source |
getSocketMulticastTtl :: (MonadIO m, SocketK o) => o -> m Word32 Source
setSocketMulticastTtl :: (MonadIO m, SocketK o) => o -> Word32 -> m () Source
Protocol
data SocketProtocolPropertyInfo Source
constructSocketProtocol :: SocketProtocol -> IO ([Char], GValue) Source
getSocketProtocol :: (MonadIO m, SocketK o) => o -> m SocketProtocol Source
RemoteAddress
data SocketRemoteAddressPropertyInfo Source
getSocketRemoteAddress :: (MonadIO m, SocketK o) => o -> m SocketAddress Source
Timeout
data SocketTimeoutPropertyInfo Source
AttrInfo SocketTimeoutPropertyInfo Source | |
type AttrLabel SocketTimeoutPropertyInfo = "timeout" Source | |
type AttrGetType SocketTimeoutPropertyInfo = Word32 Source | |
type AttrBaseTypeConstraint SocketTimeoutPropertyInfo = SocketK Source | |
type AttrSetTypeConstraint SocketTimeoutPropertyInfo = TYPE Lifted ~ Word32 Source | |
type AttrAllowedOps SocketTimeoutPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) Source |
getSocketTimeout :: (MonadIO m, SocketK o) => o -> m Word32 Source
setSocketTimeout :: (MonadIO m, SocketK o) => o -> Word32 -> m () Source
Ttl
data SocketTtlPropertyInfo Source
AttrInfo SocketTtlPropertyInfo Source | |
type AttrLabel SocketTtlPropertyInfo = "ttl" Source | |
type AttrGetType SocketTtlPropertyInfo = Word32 Source | |
type AttrBaseTypeConstraint SocketTtlPropertyInfo = SocketK Source | |
type AttrSetTypeConstraint SocketTtlPropertyInfo = TYPE Lifted ~ Word32 Source | |
type AttrAllowedOps SocketTtlPropertyInfo = (:) AttrOpTag AttrSet ((:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag))) Source |
getSocketTtl :: (MonadIO m, SocketK o) => o -> m Word32 Source
setSocketTtl :: (MonadIO m, SocketK o) => o -> Word32 -> m () Source
Type
data SocketTypePropertyInfo Source
AttrInfo SocketTypePropertyInfo Source | |
type AttrLabel SocketTypePropertyInfo = "type" Source | |
type AttrGetType SocketTypePropertyInfo = SocketType Source | |
type AttrBaseTypeConstraint SocketTypePropertyInfo = SocketK Source | |
type AttrSetTypeConstraint SocketTypePropertyInfo = TYPE Lifted ~ SocketType Source | |
type AttrAllowedOps SocketTypePropertyInfo = (:) AttrOpTag AttrConstruct ((:) AttrOpTag AttrGet ([] AttrOpTag)) Source |
constructSocketType :: SocketType -> IO ([Char], GValue) Source
getSocketType :: (MonadIO m, SocketK o) => o -> m SocketType Source