An easy HTTP interface enjoy.

• Changes by Robin Bate Boerop robin@bateboerop.name: - Made dependencies explicit in import statements. - Removed false dependencies in import statements. - Added missing type signatures. - Moved Header-related code to Network.HTTP.Headers module.
• Changes by Simon Foster: - Split module up into to sepearate Network.[Stream,TCP,HTTP] modules - Created functions receiveHTTP and responseHTTP to allow server side interactions (although 100-continue is unsupported and I haven't checked for standard compliancy). - Pulled the transfer functions from sendHTTP to global scope to allow access by above functions.
• Changes by Graham Klyne: - export httpVersion - use new URI module (similar to old, but uses revised URI datatype)
• Changes by Bjorn Bringert:
• handle URIs with a port number - added debugging toggle - disabled 100-continue transfers to get HTTP/1.0 compatibility - change ioError to throw - Added simpleHTTP_, which takes a stream argument.
• Changes from 0.1 - change openHTTP to openTCP, removed closeTCP - use close from Stream class. - added use of inet_addr to openHTTP, allowing use of IP dot notation addresses. - reworking of the use of Stream, including alterations to make sendHTTP generic and the addition of a debugging stream. - simplified error handling.
• TODO - request pipelining - https upgrade (includes full TLS, i.e. SSL, implementation) - use of Stream classes will pay off - consider C implementation of encryption/decryption - comm timeouts - MIME & entity stuff (happening in separate module) - support "*" uri-request-string for OPTIONS request method
• Header notes:

Host

Required by HTTP/1.1, if not supplied as part of a request a default Host value is extracted from the request-uri.

Connection

If this header is present in any request or response, and it's value is close, then the current request/response is the last to be allowed on that connection.

Expect

Should a request contain a body, an Expect header will be added to the request. The added header has the value "100-continue". After a 417 "Expectation Failed" response the request is attempted again without this added Expect header.

TransferEncoding,ContentLength,...

if request is inconsistent with any of these header values then you may not receive any response or will generate an error response (probably 4xx).

• Response code notes Some response codes induce special behaviour:

1xx

"100 Continue" will cause any unsent request body to be sent. "101 Upgrade" will be returned. Other 1xx responses are ignored.

417

The reason for this code is "Expectation failed", indicating that the server did not like the Expect "100-continue" header added to a request. Receipt of 417 will induce another request attempt (without Expect header), unless no Expect header had been added (in which case 417 response is returned).

module Network.Stream

module Network.TCP

httpVersion :: String Source

data Request Source

type RequestData = (RequestMethod, URI, [Header])Source

data Response Source

data RequestMethod Source

type ResponseCode = (Int, Int, Int)Source

simpleHTTP :: Request -> IO (Result Response)Source

simpleHTTP_ :: Stream s => s -> Request -> IO (Result Response)Source

sendHTTP :: Stream s => s -> Request -> IO (Result Response)Source

receiveHTTP :: Stream s => s -> IO (Result Request)Source

processRequest :: Stream s => s -> RequestData -> IO (Result Request)Source

getRequestHead :: Stream s => s -> IO (Result RequestData)Source

respondHTTP :: Stream s => s -> Response -> IO () Source

module Network.HTTP.Headers

urlEncode :: String -> String Source

urlDecode :: String -> String Source

urlEncodeVars :: [(String, String)] -> String Source

data URIAuthority Source

getAuth :: Monad m => Request -> m URIAuthority Source

parseURIAuthority :: String -> Maybe URIAuthority Source

 RFC 1738, section 3.1:
 //<user>:<password>@<host>:<port>/<url-path>
 Some or all of the parts "<user>:<password>@", ":<password>",
 ":<port>", and "/<url-path>" may be excluded.