Safe Haskell | None |
---|---|
Language | Haskell98 |
- data ServerSettings
- data ClientSettings
- data HostPreference
- data Message = Message {}
- data AppData
- data ServerSettingsUnix
- data ClientSettingsUnix
- data AppDataUnix
- serverSettingsTCP :: Int -> HostPreference -> ServerSettings
- serverSettingsTCPSocket :: Socket -> ServerSettings
- clientSettingsTCP :: Int -> ByteString -> ClientSettings
- serverSettingsUDP :: Int -> HostPreference -> ServerSettings
- clientSettingsUDP :: Int -> ByteString -> ClientSettings
- serverSettingsUnix :: FilePath -> ServerSettingsUnix
- clientSettingsUnix :: FilePath -> ClientSettingsUnix
- message :: ByteString -> SockAddr -> Message
- class HasPort a where
- class HasAfterBind a where
- afterBindLens :: Functor f => ((Socket -> IO ()) -> f (Socket -> IO ())) -> a -> f a
- class HasReadWrite a where
- class HasPath a where
- setPort :: HasPort a => Int -> a -> a
- setHost :: ByteString -> ClientSettings -> ClientSettings
- setAddrFamily :: Family -> ClientSettings -> ClientSettings
- setAfterBind :: HasAfterBind a => (Socket -> IO ()) -> a -> a
- setNeedLocalAddr :: Bool -> ServerSettings -> ServerSettings
- setPath :: HasPath a => FilePath -> a -> a
- getPort :: HasPort a => a -> Int
- getHost :: ClientSettings -> ByteString
- getAddrFamily :: ClientSettings -> Family
- getAfterBind :: HasAfterBind a => a -> Socket -> IO ()
- getNeedLocalAddr :: ServerSettings -> Bool
- getPath :: HasPath a => a -> FilePath
- appRead :: HasReadWrite a => a -> IO ByteString
- appWrite :: HasReadWrite a => a -> ByteString -> IO ()
- appSockAddr :: AppData -> SockAddr
- appLocalAddr :: AppData -> Maybe SockAddr
- appCloseConnection :: AppData -> IO ()
- bindPortGen :: SocketType -> Int -> HostPreference -> IO Socket
- bindRandomPortGen :: SocketType -> HostPreference -> IO (Int, Socket)
- getSocketGen :: SocketType -> String -> Int -> IO (Socket, AddrInfo)
- getSocketFamilyGen :: SocketType -> String -> Int -> Family -> IO (Socket, AddrInfo)
- acceptSafe :: Socket -> IO (Socket, SockAddr)
- unassignedPorts :: UArray Int Int
- getUnassignedPort :: IO Int
- bindPortTCP :: Int -> HostPreference -> IO Socket
- bindRandomPortTCP :: HostPreference -> IO (Int, Socket)
- getSocketTCP :: ByteString -> Int -> IO (Socket, SockAddr)
- getSocketFamilyTCP :: ByteString -> Int -> Family -> IO (Socket, SockAddr)
- safeRecv :: Socket -> Int -> IO ByteString
- runTCPServer :: ServerSettings -> (AppData -> IO ()) -> IO ()
- runTCPClient :: ClientSettings -> (AppData -> IO a) -> IO a
- type ConnectionHandle = Socket -> SockAddr -> Maybe SockAddr -> IO ()
- runTCPServerWithHandle :: ServerSettings -> ConnectionHandle -> IO ()
- bindPortUDP :: Int -> HostPreference -> IO Socket
- bindRandomPortUDP :: HostPreference -> IO (Int, Socket)
- getSocketUDP :: String -> Int -> IO (Socket, AddrInfo)
- bindPath :: FilePath -> IO Socket
- getSocketUnix :: FilePath -> IO Socket
- runUnixServer :: ServerSettingsUnix -> (AppDataUnix -> IO ()) -> IO ()
- runUnixClient :: ClientSettingsUnix -> (AppDataUnix -> IO a) -> IO a
Types
data ServerSettings Source
Settings for a TCP server. It takes a port to listen on, and an optional hostname to bind to.
data ClientSettings Source
Settings for a TCP client, specifying how to connect to the server.
data HostPreference Source
Which host to bind.
Note: The IsString
instance recognizes the following special values:
*
meansHostAny
*4
meansHostIPv4
!4
meansHostIPv4Only
*6
meansHostIPv6
!6
meansHostIPv6Only
Any other values is treated as a hostname. As an example, to bind to the IPv4 local host only, use "127.0.0.1".
Representation of a single UDP message
data ServerSettingsUnix Source
Settings for a Unix domain sockets server.
data AppDataUnix Source
The data passed to a Unix domain sockets Application
.
Smart constructors
:: Int | port to bind to |
-> HostPreference | host binding preferences |
-> ServerSettings |
Smart constructor.
serverSettingsTCPSocket :: Socket -> ServerSettings Source
Create a server settings that uses an already available listening socket. Any port and host modifications made to this value will be ignored.
Since 0.1.1
:: Int | port to connect to |
-> ByteString | host to connect to |
-> ClientSettings |
Smart constructor.
:: Int | port to bind to |
-> HostPreference | host binding preferences |
-> ServerSettings |
Smart constructor.
:: Int | port to connect to |
-> ByteString | host to connect to |
-> ClientSettings |
Smart constructor.
Classes
class HasAfterBind a where Source
afterBindLens :: Functor f => ((Socket -> IO ()) -> f (Socket -> IO ())) -> a -> f a Source
class HasReadWrite a where Source
Setters
setHost :: ByteString -> ClientSettings -> ClientSettings Source
setAddrFamily :: Family -> ClientSettings -> ClientSettings Source
Set the address family for the given settings.
Since 0.1.3
setAfterBind :: HasAfterBind a => (Socket -> IO ()) -> a -> a Source
Getters
getHost :: ClientSettings -> ByteString Source
getAddrFamily :: ClientSettings -> Family Source
Get the address family for the given settings.
Since 0.1.3
getAfterBind :: HasAfterBind a => a -> Socket -> IO () Source
appRead :: HasReadWrite a => a -> IO ByteString Source
appWrite :: HasReadWrite a => a -> ByteString -> IO () Source
appSockAddr :: AppData -> SockAddr Source
appLocalAddr :: AppData -> Maybe SockAddr Source
appCloseConnection :: AppData -> IO () Source
Close the underlying connection. One possible use case is simulating connection failures in a test suite.
Since 0.1.6
Functions
General
bindPortGen :: SocketType -> Int -> HostPreference -> IO Socket Source
Attempt to bind a listening Socket
on the given host/port using given
SocketType
. If no host is given, will use the first address available.
bindRandomPortGen :: SocketType -> HostPreference -> IO (Int, Socket) Source
Bind to a random port number. Especially useful for writing network tests.
This will attempt 30 different port numbers before giving up and throwing an exception.
Since 0.1.1
getSocketGen :: SocketType -> String -> Int -> IO (Socket, AddrInfo) Source
Attempt to connect to the given host/port using given SocketType
.
getSocketFamilyGen :: SocketType -> String -> Int -> Family -> IO (Socket, AddrInfo) Source
Attempt to connect to the given hostportaddress family using given SocketType
.
Since 0.1.3
acceptSafe :: Socket -> IO (Socket, SockAddr) Source
Try to accept a connection, recovering automatically from exceptions.
As reported by Kazu against Warp, "resource exhausted (Too many open files)" may be thrown by accept(). This function will catch that exception, wait a second, and then try again.
getUnassignedPort :: IO Int Source
Get a port from the IANA list of unassigned ports.
Internally, this function uses an IORef
to cycle through the list of ports
TCP
bindPortTCP :: Int -> HostPreference -> IO Socket Source
Attempt to bind a listening Socket
on the given host/port. If no host is
given, will use the first address available.
maxListenQueue
is topically 128 which is too short for
high performance servers. So, we specify 'max 2048 maxListenQueue' to
the listen queue.
bindRandomPortTCP :: HostPreference -> IO (Int, Socket) Source
getSocketTCP :: ByteString -> Int -> IO (Socket, SockAddr) Source
Attempt to connect to the given host/port.
getSocketFamilyTCP :: ByteString -> Int -> Family -> IO (Socket, SockAddr) Source
Attempt to connect to the given hostportaddress family.
Since 0.1.3
runTCPServer :: ServerSettings -> (AppData -> IO ()) -> IO () Source
Run an Application
with the given settings. This function will create a
new listening socket, accept connections on it, and spawn a new thread for
each connection.
runTCPClient :: ClientSettings -> (AppData -> IO a) -> IO a Source
Run an Application
by connecting to the specified server.
type ConnectionHandle = Socket -> SockAddr -> Maybe SockAddr -> IO () Source
runTCPServerWithHandle :: ServerSettings -> ConnectionHandle -> IO () Source
UDP
bindPortUDP :: Int -> HostPreference -> IO Socket Source
Attempt to bind a listening Socket
on the given host/port. If no host is
given, will use the first address available.
bindRandomPortUDP :: HostPreference -> IO (Int, Socket) Source
getSocketUDP :: String -> Int -> IO (Socket, AddrInfo) Source
Attempt to connect to the given host/port.
Unix
bindPath :: FilePath -> IO Socket Source
Attempt to bind a listening Unix domain socket at the given path.
getSocketUnix :: FilePath -> IO Socket Source
Attempt to connect to the given Unix domain socket path.
runUnixServer :: ServerSettingsUnix -> (AppDataUnix -> IO ()) -> IO () Source
Run an Application
with the given settings. This function will create a
new listening socket, accept connections on it, and spawn a new thread for
each connection.
runUnixClient :: ClientSettingsUnix -> (AppDataUnix -> IO a) -> IO a Source
Run an Application
by connecting to the specified server.