git.iko.soy/typeable/attoparsec
on master help sign in
Simplify RFC2616
commit7c468624e41d08f2ccb60646c67cbf5e13fbcb84 authorBryan O'Sullivan <bos@serpentine.com> dateFri 30 May 2014, 21:07 (12 years ago) parentabecf98
1 file changed+18−18
examples/RFC2616.hs+18−18
examples/RFC2616.hs+18−18
@@ -11,55 +11,55 @@ module RFC2616
1111
1212import Control.Applicative
1313import Data.Attoparsec.ByteString as P
14−import qualified Data.Attoparsec.ByteString.Char8 as P8
1514import Data.Attoparsec.ByteString.Char8 (char8, endOfLine, isDigit_w8)
15+import Data.ByteString (ByteString)
1616import Data.Word (Word8)
17−import qualified Data.ByteString.Char8 as B
17+import Data.Attoparsec.ByteString.Char8 (isEndOfLine, isHorizontalSpace)
1818
1919isToken :: Word8 -> Bool
2020isToken w = w <= 127 && notInClass "\0-\31()<>@,;:\\\"/[]?={} \t" w
2121
2222skipSpaces :: Parser ()
23−skipSpaces = satisfy P8.isHorizontalSpace *> skipWhile P8.isHorizontalSpace
23+skipSpaces = satisfy isHorizontalSpace *> skipWhile isHorizontalSpace
2424
2525data Request = Request {
26− requestMethod :: B.ByteString
27− , requestUri :: B.ByteString
28− , requestVersion :: B.ByteString
26+ requestMethod :: ByteString
27+ , requestUri :: ByteString
28+ , requestVersion :: ByteString
2929 } deriving (Eq, Ord, Show)
3030
31−httpVersion :: Parser B.ByteString
31+httpVersion :: Parser ByteString
3232httpVersion = "HTTP/" *> P.takeWhile (\c -> isDigit_w8 c || c == 46)
3333
3434requestLine :: Parser Request
35−requestLine = Request <$> (P.takeWhile1 isToken <* char8 ' ')
36− <*> (P.takeWhile1 (/=32) <* char8 ' ')
35+requestLine = Request <$> (takeWhile1 isToken <* char8 ' ')
36+ <*> (takeWhile1 (/=32) <* char8 ' ')
3737 <*> (httpVersion <* endOfLine)
3838
3939data Header = Header {
40− headerName :: B.ByteString
41− , headerValue :: [B.ByteString]
40+ headerName :: ByteString
41+ , headerValue :: [ByteString]
4242 } deriving (Eq, Ord, Show)
4343
4444messageHeader :: Parser Header
4545messageHeader = Header
46− <$> (P.takeWhile isToken <* char8 ':' <* skipWhile P8.isHorizontalSpace)
47− <*> ((:) <$> (takeTill P8.isEndOfLine <* endOfLine)
48− <*> (many $ skipSpaces *> takeTill P8.isEndOfLine <* endOfLine))
46+ <$> (P.takeWhile isToken <* char8 ':' <* skipWhile isHorizontalSpace)
47+ <*> ((:) <$> (takeTill isEndOfLine <* endOfLine)
48+ <*> (many $ skipSpaces *> takeTill isEndOfLine <* endOfLine))
4949
5050request :: Parser (Request, [Header])
5151request = (,) <$> requestLine <*> many messageHeader <* endOfLine
5252
5353data Response = Response {
54− responseVersion :: B.ByteString
55− , responseCode :: B.ByteString
56− , responseMsg :: B.ByteString
54+ responseVersion :: ByteString
55+ , responseCode :: ByteString
56+ , responseMsg :: ByteString
5757 } deriving (Eq, Ord, Show)
5858
5959responseLine :: Parser Response
6060responseLine = Response <$> (httpVersion <* char8 ' ')
6161 <*> (P.takeWhile isDigit_w8 <* char8 ' ')
62− <*> (P.takeTill P8.isEndOfLine <* endOfLine)
62+ <*> (takeTill isEndOfLine <* endOfLine)
6363
6464response :: Parser (Response, [Header])
6565response = (,) <$> responseLine <*> many messageHeader <* endOfLine