Handle comments in whitespace

Data/GraphQL/Parser.hs

@@ -1,8 +1,10 @@
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE LambdaCase #-}
 module Data.GraphQL.Parser where
 
 import Prelude hiding (takeWhile)
 import Control.Applicative (Alternative, (<|>), empty, many, optional)
+import Control.Monad (when)
 import Data.Char
 
 import Data.Text (Text, pack)
@@ -18,6 +20,7 @@ import Data.Attoparsec.Text
   , many1
   , manyTill
   , option
+  , peekChar
   , satisfy
   , sepBy
   , sepBy1
@@ -45,8 +48,8 @@ name = tok $ pack <$> many1 (satisfy isAlphaNum)
 -- * Document
 
 document :: Parser Document
-document = whiteSpace *>
+document = whiteSpace
-       (Document <$> many1 definition)
+     *> (Document <$> many1 definition)
     -- Try SelectionSet when no definition
     <|> (Document . pure
                   . DefinitionOperation
@@ -322,11 +325,8 @@ optempty = option mempty
 -- ** WhiteSpace
 --
 whiteSpace :: Parser ()
-whiteSpace =
+whiteSpace = peekChar >>= \case
-    skipMany (satisfy (\c -> isSpace c || ',' == c || isEndOfLine c))
+    Just c -> if isSpace c || c == ','
-
+              then anyChar *> whiteSpace
-skipComments :: Parser ()
+              else when (c == '#') $ manyTill anyChar endOfLine *> whiteSpace
-skipComments = skipMany comment
+    _ -> return ()
-
-comment :: Parser Text
-comment = "#" *> (pack <$> manyTill anyChar endOfLine)

TODO

@@ -5,9 +5,8 @@
 - Deal with Location
 
 ## Parser
-- Handle comments
 - Secure Names
-- Optimize `name`: `take...`, `T.fold`, ...
+- Optimize `name` and `whiteSpace`: `take...`, `T.fold`, ...
 - Handle escape characters in string literals
 - Guard for `on` in `FragmentSpread`
 - Tests!