1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
|
module Web.Utils (parseQs, parseHttp, getStatus) where
import Network.HTTP.Types.URI as URI
import qualified Data.ByteString as S
import Data.ByteString (ByteString)
import qualified Data.Text as T
import Data.Text.Encoding (encodeUtf8, decodeUtf8)
import Data.Text (Text)
import Web.Http
import Web.Request
-- Query string parser
decodeUrl :: Text -> Text
decodeUrl = decodeUtf8 . URI.urlDecode True . encodeUtf8
parseQs :: Text -> (Text, [QueryPair])
parseQs url =
let
decoded = decodeUrl url
path = T.takeWhile (\c -> c /= '?') decoded
rest = T.dropWhile (\c -> c /= '?') decoded
parsePair :: Text -> Maybe QueryPair
parsePair s
| T.any ((==) '=') s = Just (QueryPair a b)
| otherwise = Nothing
where a : b : _ = T.splitOn (T.pack "=") s
get (Just p : rest) = p : get rest
get (Nothing : rest) = get rest
get [] = []
pairs =
if T.null rest
then []
else get $ map parsePair $ T.splitOn (T.pack "&") $ T.tail rest
in (path, pairs)
-- HTTP Parser
rev :: [a] -> [a]
rev = foldl (flip (:)) []
parseMethod :: Text -> Method
parseMethod s
| s == (T.pack "POST") = POST
| s == (T.pack "PUT") = PUT
| otherwise = GET
parseFirstLine :: Text -> (Method, Text)
parseFirstLine l = (parseMethod methodT, url)
where [methodT, url, _] = T.words l
parseHeader :: Text -> Header
parseHeader line =
Header (T.takeWhile p line)
(T.strip $ T.tail $ T.dropWhile p line)
where p = (\c -> c /= ':')
parseHeaders :: [Text] -> [Header]
parseHeaders = map parseHeader
-- parseHttp :: Text -> ((Method, Text, [QueryPair]), [Header], [Text])
parseHttp :: Text -> (Request, [Header], [Text])
parseHttp text =
let
lines = T.splitOn (T.pack "\r\n") text
getFirstLine (l : rest) = (l, rest)
getHeaders (l : rest) acc
| T.null l = (rev acc, rest)
| otherwise = getHeaders rest (l : acc)
(fl, rest1) = getFirstLine lines
(headers, rest2) = getHeaders rest1 []
(method, url) = parseFirstLine fl
(path, query) = parseQs url
in
((Request query path method), parseHeaders headers, rest2)
-- HTTP Status Codes
statusCodes =
[ (100, "Continue"),
(101, "Switching Protocols"),
(102, "Processing"),
(200, "OK"),
(201, "Created"),
(202, "Accepted"),
(203, "Non Authoritative Information"),
(204, "No Content"),
(205, "Reset Content"),
(206, "Partial Content"),
(207, "Multi Status"),
(226, "IM Used"),
(300, "Multiple Choices"),
(301, "Moved Permanently"),
(302, "Found"),
(303, "See Other"),
(304, "Not Modified"),
(305, "Use Proxy"),
(307, "Temporary Redirect"),
(308, "Permanent Redirect"),
(400, "Bad Request"),
(401, "Unauthorized"),
(402, "Payment Required"),
(403, "Forbidden"),
(404, "Not Found"),
(405, "Method Not Allowed"),
(406, "Not Acceptable"),
(407, "Proxy Authentication Required"),
(408, "Request Timeout"),
(409, "Conflict"),
(410, "Gone"),
(411, "Length Required"),
(412, "Precondition Failed"),
(413, "Request Entity Too Large"),
(414, "Request URI Too Long"),
(415, "Unsupported Media Type"),
(416, "Requested Range Not Satisfiable"),
(417, "Expectation Failed"),
(418, "I'm a teapot"),
(421, "Misdirected Request"),
(422, "Unprocessable Entity"),
(423, "Locked"),
(424, "Failed Dependency"),
(426, "Upgrade Required"),
(428, "Precondition Required"),
(429, "Too Many Requests"),
(431, "Request Header Fields Too Large"),
(449, "Retry With"),
(451, "Unavailable For Legal Reasons"),
(500, "Internal Server Error"),
(501, "Not Implemented"),
(502, "Bad Gateway"),
(503, "Service Unavailable"),
(504, "Gateway Timeout"),
(505, "HTTP Version Not Supported"),
(507, "Insufficient Storage"),
(510, "Not Extended") ]
getStatus :: Int -> String
getStatus code = findStatus statusCodes
where
findStatus ((codeCheck, stat) : rest)
| codeCheck == code = show code ++ " " ++ stat
| otherwise = findStatus rest
findStatus [] = "500 Internal Server Error"
|
