:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
ModuleHTTP-4000.4.1Haskell98
Some utility functions for working with the Haskell network package. Mostly
for internal use by the Network.HTTP code.
The Connection newtype is a wrapper that allows us to make connections an instance of the Stream class, without GHC extensions. While this looks sort of like a generic reference to the transport layer it is actually TCP specific, which can be seen in the implementation of the 'Stream Connection' instance.
Stream ConnectionDefined in HTTP-4000.4.1 · Network.TCPopenTCPPort uri port establishes a connection to a remote
host, using getHostByName which possibly queries the DNS system, hence
may trigger a network connection.
Checks both that the underlying Socket is connected and that the connection peer matches the given host name (which is recorded locally).
socketConnection, like openConnection but using a pre-existing Socket.
HStream overloads the use of HandleStreams, letting you
overload the handle operations over the type that is communicated
across the handle. It comes in handy for Network.HTTP Request
and Responses as the payload representation isn't fixed, but overloaded.
The library comes with instances for ByteStrings and String, but
should you want to plug in your own payload representation, defining
your own HStream instance _should_ be all that it takes.
openStream :: String -> Int -> IO (HandleStream bufType)openSocketStream :: String -> Int -> Socket -> IO (HandleStream bufType)readLine :: HandleStream bufType -> IO (Result bufType)readBlock :: HandleStream bufType -> Int -> IO (Result bufType)writeBlock :: HandleStream bufType -> bufType -> IO (Result ())close :: HandleStream bufType -> IO ()closeQuick :: HandleStream bufType -> IO ()closeOnEnd :: HandleStream bufType -> Bool -> IO ()HStream ByteStringDefined in HTTP-4000.4.1 · Network.TCPHStream ByteStringDefined in HTTP-4000.4.1 · Network.TCPHStream StringDefined in HTTP-4000.4.1 · Network.TCPStreamHookshook_readLine :: (ty -> String) -> Result ty -> IO ()hook_readBlock :: (ty -> String) -> Int -> Result ty -> IO ()hook_writeBlock :: (ty -> String) -> ty -> Result () -> IO ()hook_close :: IO ()hook_name :: StringEq ty => Eq (StreamHooks ty)Defined in HTTP-4000.4.1 · Network.TCP