M-x delete-trailing-whitespace
authorHerbert Valerio Riedel <hvr@gnu.org>
Tue, 18 Jul 2017 21:59:01 +0000 (23:59 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Tue, 18 Jul 2017 21:59:01 +0000 (23:59 +0200)
21 files changed:
Text/Parsec/ByteString.hs
Text/Parsec/Char.hs
Text/Parsec/Combinator.hs
Text/Parsec/Error.hs
Text/Parsec/Expr.hs
Text/Parsec/Perm.hs
Text/Parsec/Pos.hs
Text/Parsec/Prim.hs
Text/Parsec/String.hs
Text/Parsec/Text.hs
Text/Parsec/Text/Lazy.hs
Text/Parsec/Token.hs
Text/ParserCombinators/Parsec/Char.hs
Text/ParserCombinators/Parsec/Combinator.hs
Text/ParserCombinators/Parsec/Error.hs
Text/ParserCombinators/Parsec/Expr.hs
Text/ParserCombinators/Parsec/Language.hs
Text/ParserCombinators/Parsec/Perm.hs
Text/ParserCombinators/Parsec/Pos.hs
Text/ParserCombinators/Parsec/Prim.hs
Text/ParserCombinators/Parsec/Token.hs

index 93ba890..962e1a1 100644 (file)
@@ -3,11 +3,11 @@
 -- Module      :  Text.Parsec.ByteString
 -- Copyright   :  (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Convinience definitions for working with 'C.ByteString's.
 --
 -----------------------------------------------------------------------------
index 425cf09..a7f57c3 100644 (file)
@@ -5,13 +5,13 @@
 -- Module      :  Text.Parsec.Char
 -- Copyright   :  (c) Daan Leijen 1999-2001, (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Commonly used character parsers.
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.Parsec.Char where
@@ -26,7 +26,7 @@ import Control.Applicative ((*>))
 -- | @oneOf cs@ succeeds if the current character is in the supplied
 -- list of characters @cs@. Returns the parsed character. See also
 -- 'satisfy'.
--- 
+--
 -- >   vowel  = oneOf "aeiou"
 
 oneOf :: (Stream s m Char) => [Char] -> ParsecT s u m Char
@@ -47,18 +47,18 @@ spaces :: (Stream s m Char) => ParsecT s u m ()
 spaces              = skipMany space        <?> "white space"
 
 -- | Parses a white space character (any character which satisfies 'isSpace')
--- Returns the parsed character. 
+-- Returns the parsed character.
 
 space :: (Stream s m Char) => ParsecT s u m Char
 space               = satisfy isSpace       <?> "space"
 
--- | Parses a newline character (\'\\n\'). Returns a newline character. 
+-- | Parses a newline character (\'\\n\'). Returns a newline character.
 
 newline :: (Stream s m Char) => ParsecT s u m Char
 newline             = char '\n'             <?> "lf new-line"
 
 -- | Parses a carriage return character (\'\\r\') followed by a newline character (\'\\n\').
--- Returns a newline character. 
+-- Returns a newline character.
 
 crlf :: (Stream s m Char) => ParsecT s u m Char
 crlf                = char '\r' *> char '\n' <?> "crlf new-line"
@@ -72,48 +72,48 @@ crlf                = char '\r' *> char '\n' <?> "crlf new-line"
 endOfLine :: (Stream s m Char) => ParsecT s u m Char
 endOfLine           = newline <|> crlf       <?> "new-line"
 
--- | Parses a tab character (\'\\t\'). Returns a tab character. 
+-- | Parses a tab character (\'\\t\'). Returns a tab character.
 
 tab :: (Stream s m Char) => ParsecT s u m Char
 tab                 = char '\t'             <?> "tab"
 
 -- | Parses an upper case letter (a character between \'A\' and \'Z\').
--- Returns the parsed character. 
+-- Returns the parsed character.
 
 upper :: (Stream s m Char) => ParsecT s u m Char
 upper               = satisfy isUpper       <?> "uppercase letter"
 
 -- | Parses a lower case character (a character between \'a\' and \'z\').
--- Returns the parsed character. 
+-- Returns the parsed character.
 
 lower :: (Stream s m Char) => ParsecT s u m Char
 lower               = satisfy isLower       <?> "lowercase letter"
 
 -- | Parses a letter or digit (a character between \'0\' and \'9\').
--- Returns the parsed character. 
+-- Returns the parsed character.
 
 alphaNum :: (Stream s m Char => ParsecT s u m Char)
 alphaNum            = satisfy isAlphaNum    <?> "letter or digit"
 
 -- | Parses a letter (an upper case or lower case character). Returns the
--- parsed character. 
+-- parsed character.
 
 letter :: (Stream s m Char) => ParsecT s u m Char
 letter              = satisfy isAlpha       <?> "letter"
 
--- | Parses a digit. Returns the parsed character. 
+-- | Parses a digit. Returns the parsed character.
 
 digit :: (Stream s m Char) => ParsecT s u m Char
 digit               = satisfy isDigit       <?> "digit"
 
 -- | Parses a hexadecimal digit (a digit or a letter between \'a\' and
--- \'f\' or \'A\' and \'F\'). Returns the parsed character. 
+-- \'f\' or \'A\' and \'F\'). Returns the parsed character.
 
 hexDigit :: (Stream s m Char) => ParsecT s u m Char
 hexDigit            = satisfy isHexDigit    <?> "hexadecimal digit"
 
 -- | Parses an octal digit (a character between \'0\' and \'7\'). Returns
--- the parsed character. 
+-- the parsed character.
 
 octDigit :: (Stream s m Char) => ParsecT s u m Char
 octDigit            = satisfy isOctDigit    <?> "octal digit"
@@ -126,7 +126,7 @@ octDigit            = satisfy isOctDigit    <?> "octal digit"
 char :: (Stream s m Char) => Char -> ParsecT s u m Char
 char c              = satisfy (==c)  <?> show [c]
 
--- | This parser succeeds for any character. Returns the parsed character. 
+-- | This parser succeeds for any character. Returns the parsed character.
 
 anyChar :: (Stream s m Char) => ParsecT s u m Char
 anyChar             = satisfy (const True)
@@ -146,7 +146,7 @@ satisfy f           = tokenPrim (\c -> show [c])
 -- | @string s@ parses a sequence of characters given by @s@. Returns
 -- the parsed string (i.e. @s@).
 --
--- >  divOrMod    =   string "div" 
+-- >  divOrMod    =   string "div"
 -- >              <|> string "mod"
 
 string :: (Stream s m Char) => String -> ParsecT s u m String
index 24e85ce..af5ec32 100644 (file)
@@ -3,13 +3,13 @@
 -- Module      :  Text.Parsec.Combinator
 -- Copyright   :  (c) Daan Leijen 1999-2001, (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Commonly used generic combinators
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.Parsec.Combinator
@@ -44,7 +44,7 @@ choice ps           = foldr (<|>) mzero ps
 -- returned by @p@.
 --
 -- >  priority  = option 0 (do{ d <- digit
--- >                          ; return (digitToInt d) 
+-- >                          ; return (digitToInt d)
 -- >                          })
 
 option :: (Stream s m t) => a -> ParsecT s u m a -> ParsecT s u m a
@@ -75,7 +75,7 @@ between open close p
                     = do{ _ <- open; x <- p; _ <- close; return x }
 
 -- | @skipMany1 p@ applies the parser @p@ /one/ or more times, skipping
--- its result. 
+-- its result.
 
 skipMany1 :: (Stream s m t) => ParsecT s u m a -> ParsecT s u m ()
 skipMany1 p         = do{ _ <- p; skipMany p }
@@ -111,7 +111,7 @@ sepBy :: (Stream s m t) => ParsecT s u m a -> ParsecT s u m sep -> ParsecT s u m
 sepBy p sep         = sepBy1 p sep <|> return []
 
 -- | @sepBy1 p sep@ parses /one/ or more occurrences of @p@, separated
--- by @sep@. Returns a list of values returned by @p@. 
+-- by @sep@. Returns a list of values returned by @p@.
 
 sepBy1 :: (Stream s m t) => ParsecT s u m a -> ParsecT s u m sep -> ParsecT s u m [a]
 sepBy1 p sep        = do{ x <- p
@@ -122,7 +122,7 @@ sepBy1 p sep        = do{ x <- p
 
 -- | @sepEndBy1 p sep@ parses /one/ or more occurrences of @p@,
 -- separated and optionally ended by @sep@. Returns a list of values
--- returned by @p@. 
+-- returned by @p@.
 
 sepEndBy1 :: (Stream s m t) => ParsecT s u m a -> ParsecT s u m sep -> ParsecT s u m [a]
 sepEndBy1 p sep     = do{ x <- p
@@ -144,7 +144,7 @@ sepEndBy p sep      = sepEndBy1 p sep <|> return []
 
 
 -- | @endBy1 p sep@ parses /one/ or more occurrences of @p@, separated
--- and ended by @sep@. Returns a list of values returned by @p@. 
+-- and ended by @sep@. Returns a list of values returned by @p@.
 
 endBy1 :: (Stream s m t) => ParsecT s u m a -> ParsecT s u m sep -> ParsecT s u m [a]
 endBy1 p sep        = many1 (do{ x <- p; _ <- sep; return x })
@@ -159,7 +159,7 @@ endBy p sep         = many (do{ x <- p; _ <- sep; return x })
 
 -- | @count n p@ parses @n@ occurrences of @p@. If @n@ is smaller or
 -- equal to zero, the parser equals to @return []@. Returns a list of
--- @n@ values returned by @p@. 
+-- @n@ values returned by @p@.
 
 count :: (Stream s m t) => Int -> ParsecT s u m a -> ParsecT s u m [a]
 count n p           | n <= 0    = return []
@@ -228,7 +228,7 @@ chainr1 p op        = scan
 -- Tricky combinators
 -----------------------------------------------------------
 -- | The parser @anyToken@ accepts any kind of token. It is for example
--- used to implement 'eof'. Returns the accepted token. 
+-- used to implement 'eof'. Returns the accepted token.
 
 anyToken :: (Stream s m t, Show t) => ParsecT s u m t
 anyToken            = tokenPrim show (\pos _tok _toks -> pos) Just
index ef04241..d1618f5 100644 (file)
@@ -5,13 +5,13 @@
 -- Module      :  Text.Parsec.Error
 -- Copyright   :  (c) Daan Leijen 1999-2001, (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Parse errors
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.Parsec.Error
@@ -36,7 +36,7 @@ import Text.Parsec.Pos
 -- >               | UnExpect String
 -- >               | Expect String
 -- >               | Message String
--- 
+--
 -- The fine distinction between different kinds of parse errors allows
 -- the system to generate quite good error messages for the user. It
 -- also allows error messages that are formatted in different
@@ -54,7 +54,7 @@ import Text.Parsec.Pos
 --       combinator. The argument describes the expected item.
 --
 --     * A 'Message' message is generated by the 'fail'
---       combinator. The argument is some general parser message. 
+--       combinator. The argument is some general parser message.
 
 data Message = SysUnExpect !String -- @ library generated unexpect
              | UnExpect    !String -- @ unexpected something
@@ -77,13 +77,13 @@ instance Eq Message where
 
 -- < Compares two error messages without looking at their content. Only
 -- the constructors are compared where:
--- 
+--
 -- > 'SysUnExpect' < 'UnExpect' < 'Expect' < 'Message'
 
 instance Ord Message where
     compare msg1 msg2 = compare (fromEnum msg1) (fromEnum msg2)
 
--- | Extract the message string from an error message 
+-- | Extract the message string from an error message
 
 messageString :: Message -> String
 messageString (SysUnExpect s) = s
index 7a73936..4f73517 100644 (file)
@@ -6,14 +6,14 @@
 -- Module      :  Text.Parsec.Expr
 -- Copyright   :  (c) Daan Leijen 1999-2001, (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  non-portable
--- 
+--
 -- A helper module to parse \"expressions\".
 -- Builds a parser given a table of operators and associativities.
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.Parsec.Expr
@@ -77,7 +77,7 @@ type OperatorTable s u m a = [[Operator s u m a]]
 -- >  expr    = buildExpressionParser table term
 -- >          <?> "expression"
 -- >
--- >  term    =  parens expr 
+-- >  term    =  parens expr
 -- >          <|> natural
 -- >          <?> "simple expression"
 -- >
@@ -86,7 +86,7 @@ type OperatorTable s u m a = [[Operator s u m a]]
 -- >            , [binary "*" (*) AssocLeft, binary "/" (div) AssocLeft ]
 -- >            , [binary "+" (+) AssocLeft, binary "-" (-)   AssocLeft ]
 -- >            ]
--- >          
+-- >
 -- >  binary  name fun assoc = Infix (do{ reservedOp name; return fun }) assoc
 -- >  prefix  name fun       = Prefix (do{ reservedOp name; return fun })
 -- >  postfix name fun       = Postfix (do{ reservedOp name; return fun })
index 91c7f93..be3361d 100644 (file)
@@ -9,19 +9,19 @@
 -- Module      :  Text.Parsec.Perm
 -- Copyright   :  (c) Daan Leijen 1999-2001, (c) Paolo Martini 2007
 -- License     :  BSD-style (see the file libraries/parsec/LICENSE)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  non-portable (uses existentially quantified data constructors)
--- 
+--
 -- This module implements permutation parsers. The algorithm used
 -- is fairly complex since we push the type system to its limits :-)
 -- The algorithm is described in:
--- 
+--
 -- /Parsing Permutation Phrases,/
 -- by Arthur Baars, Andres Loh and Doaitse Swierstra.
 -- Published as a functional pearl at the Haskell Workshop 2001.
--- 
+--
 -----------------------------------------------------------------------------
 
 
@@ -73,7 +73,7 @@ ptest
 -- | The expression @perm \<||> p@ adds parser @p@ to the permutation
 -- parser @perm@. The parser @p@ is not allowed to accept empty input -
 -- use the optional combinator ('<|?>') instead. Returns a
--- new permutation parser that includes @p@. 
+-- new permutation parser that includes @p@.
 
 (<||>) :: (Stream s Identity tok) => StreamPermParser s st (a -> b) -> Parsec s st a -> StreamPermParser s st b
 (<||>) perm p     = add perm p
@@ -98,7 +98,7 @@ ptest
 -- | The expression @perm \<||> (x,p)@ adds parser @p@ to the
 -- permutation parser @perm@. The parser @p@ is optional - if it can
 -- not be applied, the default value @x@ will be used instead. Returns
--- a new permutation parser that includes the optional parser @p@. 
+-- a new permutation parser that includes the optional parser @p@.
 
 (<|?>) :: (Stream s Identity tok) => StreamPermParser s st (a -> b) -> (a, Parsec s st a) -> StreamPermParser s st b
 (<|?>) perm (x,p) = addopt perm x p
@@ -107,7 +107,7 @@ ptest
 -- consisting of parser @p@. The the final result of the permutation
 -- parser is the function @f@ applied to the return value of @p@. The
 -- parser @p@ is optional - if it can not be applied, the default value
--- @x@ will be used instead. 
+-- @x@ will be used instead.
 
 (<$?>) :: (Stream s Identity tok) => (a -> b) -> (a, Parsec s st a) -> StreamPermParser s st b
 (<$?>) f (x,p)    = newperm f <|?> (x,p)
@@ -121,7 +121,7 @@ ptest
 type PermParser tok st a = StreamPermParser String st a
 
 -- | The type @StreamPermParser s st a@ denotes a permutation parser that,
--- when converted by the 'permute' function, parses 
+-- when converted by the 'permute' function, parses
 -- @s@ streams with user state @st@ and returns a value of
 -- type @a@ on success.
 --
@@ -151,7 +151,7 @@ deriving instance Typeable3 StreamBranch
 -- This can be described by:
 --
 -- >  test  = permute (tuple <$?> ("",many1 (char 'a'))
--- >                         <||> char 'b' 
+-- >                         <||> char 'b'
 -- >                         <|?> ('_',char 'c'))
 -- >        where
 -- >          tuple a b c  = (a,b,c)
index ede18b1..7d71068 100644 (file)
@@ -5,13 +5,13 @@
 -- Module      :  Text.Parsec.Pos
 -- Copyright   :  (c) Daan Leijen 1999-2001, (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Textual source positions.
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.Parsec.Pos
@@ -37,7 +37,7 @@ type Column     = Int
 -- | The abstract data type @SourcePos@ represents source positions. It
 -- contains the name of the source (i.e. file name), a line number and
 -- a column number. @SourcePos@ is an instance of the 'Show', 'Eq' and
--- 'Ord' class. 
+-- 'Ord' class.
 
 data SourcePos  = SourcePos SourceName !Line !Column
     deriving ( Eq, Ord, Data, Typeable)
@@ -56,27 +56,27 @@ initialPos :: SourceName -> SourcePos
 initialPos name
     = newPos name 1 1
 
--- | Extracts the name of the source from a source position. 
+-- | Extracts the name of the source from a source position.
 
 sourceName :: SourcePos -> SourceName
 sourceName (SourcePos name _line _column) = name
 
--- | Extracts the line number from a source position. 
+-- | Extracts the line number from a source position.
 
 sourceLine :: SourcePos -> Line
 sourceLine (SourcePos _name line _column) = line
 
--- | Extracts the column number from a source position. 
+-- | Extracts the column number from a source position.
 
 sourceColumn :: SourcePos -> Column
 sourceColumn (SourcePos _name _line column) = column
 
--- | Increments the line number of a source position. 
+-- | Increments the line number of a source position.
 
 incSourceLine :: SourcePos -> Line -> SourcePos
 incSourceLine (SourcePos name line column) n = SourcePos name (line+n) column
 
--- | Increments the column number of a source position. 
+-- | Increments the column number of a source position.
 
 incSourceColumn :: SourcePos -> Column -> SourcePos
 incSourceColumn (SourcePos name line column) n = SourcePos name line (column+n)
@@ -86,19 +86,19 @@ incSourceColumn (SourcePos name line column) n = SourcePos name line (column+n)
 setSourceName :: SourcePos -> SourceName -> SourcePos
 setSourceName (SourcePos _name line column) n = SourcePos n line column
 
--- | Set the line number of a source position. 
+-- | Set the line number of a source position.
 
 setSourceLine :: SourcePos -> Line -> SourcePos
 setSourceLine (SourcePos name _line column) n = SourcePos name n column
 
--- | Set the column number of a source position. 
+-- | Set the column number of a source position.
 
 setSourceColumn :: SourcePos -> Column -> SourcePos
 setSourceColumn (SourcePos name line _column) n = SourcePos name line n
 
 -- | The expression @updatePosString pos s@ updates the source position
 -- @pos@ by calling 'updatePosChar' on every character in @s@, ie.
--- @foldl updatePosChar pos string@. 
+-- @foldl updatePosChar pos string@.
 
 updatePosString :: SourcePos -> String -> SourcePos
 updatePosString pos string
@@ -109,7 +109,7 @@ updatePosString pos string
 -- incremented by 1. If the character is a tab (\'\t\') the column
 -- number is incremented to the nearest 8'th column, ie. @column + 8 -
 -- ((column-1) \`mod\` 8)@. In all other cases, the column is
--- incremented by 1. 
+-- incremented by 1.
 
 updatePosChar   :: SourcePos -> Char -> SourcePos
 updatePosChar (SourcePos name line column) c
index 604067f..dab0f58 100644 (file)
 -- Module      :  Text.Parsec.Prim
 -- Copyright   :  (c) Daan Leijen 1999-2001, (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- The primitive parser combinators.
--- 
------------------------------------------------------------------------------   
+--
+-----------------------------------------------------------------------------
 
 {-# OPTIONS_HADDOCK not-home #-}
 
@@ -259,7 +259,7 @@ parserBind m k
                  -- if (k x) consumes, those go straigt up
                  pcok = cok
                  pcerr = cerr
-                                               
+
                  -- if (k x) doesn't consume input, but is okay,
                  -- we still return in the consumed continuation
                  peok x s err' = cok x s (mergeError err err')
@@ -268,7 +268,7 @@ parserBind m k
                  -- we return the error in the 'consumed-error'
                  -- continuation
                  peerr err' = cerr (mergeError err err')
-            in  unParser (k x) s pcok pcerr peok peerr                      
+            in  unParser (k x) s pcok pcerr peok peerr
 
         -- empty-ok case for m
         meok x s err =
@@ -277,7 +277,7 @@ parserBind m k
                 pcok = cok
                 peok x s err' = eok x s (mergeError err err')
                 pcerr = cerr
-                peerr err' = eerr (mergeError err err') 
+                peerr err' = eerr (mergeError err err')
             in  unParser (k x) s pcok pcerr peok peerr
         -- consumed-error case for m
         mcerr = cerr
@@ -304,7 +304,7 @@ instance MonadPlus (ParsecT s u m) where
     mplus p1 p2 = parserPlus p1 p2
 
 -- | @parserZero@ always fails without consuming any input. @parserZero@ is defined
--- equal to the 'mzero' member of the 'MonadPlus' class and to the 'Control.Applicative.empty' member 
+-- equal to the 'mzero' member of the 'MonadPlus' class and to the 'Control.Applicative.empty' member
 -- of the 'Control.Applicative.Alternative' class.
 
 parserZero :: ParsecT s u m a
@@ -387,7 +387,7 @@ labels p msgs =
 -- TODO: There should be a stronger statement that can be made about this
 
 -- | An instance of @Stream@ has stream type @s@, underlying monad @m@ and token type @t@ determined by the stream
--- 
+--
 -- Some rough guidelines for a \"correct\" instance of Stream:
 --
 --    * unfoldM uncons gives the [t] corresponding to the stream
@@ -428,7 +428,7 @@ tokens _ _ []
     = ParsecT $ \s _ _ eok _ ->
       eok [] s $ unknownError s
 tokens showTokens nextposs tts@(tok:toks)
-    = ParsecT $ \(State input pos u) cok cerr _eok eerr -> 
+    = ParsecT $ \(State input pos u) cok cerr _eok eerr ->
     let
         errEof = (setErrorMessage (Expect (showTokens tts))
                   (newErrorMessage (SysUnExpect "") pos))
@@ -454,7 +454,7 @@ tokens showTokens nextposs tts@(tok:toks)
             Just (x,xs)
                 | tok == x  -> walk toks xs
                 | otherwise -> eerr $ errExpect x
-        
+
 -- | The parser @try p@ behaves like parser @p@, except that it
 -- pretends that it hasn't consumed any input when an error occurs.
 --
@@ -556,10 +556,10 @@ tokenPrim :: (Stream s m t)
 tokenPrim showToken nextpos test = tokenPrimEx showToken nextpos Nothing test
 
 tokenPrimEx :: (Stream s m t)
-            => (t -> String)      
+            => (t -> String)
             -> (SourcePos -> t -> s -> SourcePos)
             -> Maybe (SourcePos -> t -> s -> u -> u)
-            -> (t -> Maybe a)     
+            -> (t -> Maybe a)
             -> ParsecT s u m a
 {-# INLINE tokenPrimEx #-}
 tokenPrimEx showToken nextpos Nothing test
@@ -714,13 +714,13 @@ getPosition :: (Monad m) => ParsecT s u m SourcePos
 getPosition = do state <- getParserState
                  return (statePos state)
 
--- | Returns the current input 
+-- | Returns the current input
 
 getInput :: (Monad m) => ParsecT s u m s
 getInput = do state <- getParserState
               return (stateInput state)
 
--- | @setPosition pos@ sets the current source position to @pos@. 
+-- | @setPosition pos@ sets the current source position to @pos@.
 
 setPosition :: (Monad m) => SourcePos -> ParsecT s u m ()
 setPosition pos
@@ -729,7 +729,7 @@ setPosition pos
 
 -- | @setInput input@ continues parsing with @input@. The 'getInput' and
 -- @setInput@ functions can for example be used to deal with #include
--- files. 
+-- files.
 
 setInput :: (Monad m) => s -> ParsecT s u m ()
 setInput input
@@ -741,7 +741,7 @@ setInput input
 getParserState :: (Monad m) => ParsecT s u m (State s u)
 getParserState = updateParserState id
 
--- | @setParserState st@ set the full parser state to @st@. 
+-- | @setParserState st@ set the full parser state to @st@.
 
 setParserState :: (Monad m) => State s u -> ParsecT s u m (State s u)
 setParserState st = updateParserState (const st)
@@ -751,17 +751,17 @@ setParserState st = updateParserState (const st)
 updateParserState :: (State s u -> State s u) -> ParsecT s u m (State s u)
 updateParserState f =
     ParsecT $ \s _ _ eok _ ->
-    let s' = f s 
-    in eok s' s' $ unknownError s' 
+    let s' = f s
+    in eok s' s' $ unknownError s'
 
 -- < User state combinators
 
--- | Returns the current user state. 
+-- | Returns the current user state.
 
 getState :: (Monad m) => ParsecT s u m u
 getState = stateUser `liftM` getParserState
 
--- | @putState st@ set the user state to @st@. 
+-- | @putState st@ set the user state to @st@.
 
 putState :: (Monad m) => u -> ParsecT s u m ()
 putState u = do _ <- updateParserState $ \s -> s { stateUser = u }
index 49a244e..8f2ffa6 100644 (file)
@@ -3,11 +3,11 @@
 -- Module      :  Text.Parsec.String
 -- Copyright   :  (c) Paolo Martini 2007
 -- License     :  BSD-style (see the file libraries/parsec/LICENSE)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Make Strings an instance of 'Stream' with 'Char' token type.
 --
 -----------------------------------------------------------------------------
index ffc21d1..9904b8f 100644 (file)
@@ -3,11 +3,11 @@
 -- Module      :  Text.Parsec.String
 -- Copyright   :  (c) Antoine Latter 2011
 -- License     :  BSD-style (see the file libraries/parsec/LICENSE)
--- 
+--
 -- Maintainer  :  aslatter@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Convinience definitions for working with 'Text.Text'.
 --
 -----------------------------------------------------------------------------
index 26a3452..9db8a91 100644 (file)
@@ -3,11 +3,11 @@
 -- Module      :  Text.Parsec.String
 -- Copyright   :  (c) Antoine Latter 2011
 -- License     :  BSD-style (see the file libraries/parsec/LICENSE)
--- 
+--
 -- Maintainer  :  aslatter@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Convenience definitions for working with lazy 'Text.Text'.
 --
 -----------------------------------------------------------------------------
index ef3dfe9..6865e05 100644 (file)
@@ -8,14 +8,14 @@
 -- Module      :  Text.Parsec.Token
 -- Copyright   :  (c) Daan Leijen 1999-2001, (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  non-portable (uses local universal quantification: PolymorphicComponents)
--- 
+--
 -- A helper module to parse lexical elements (tokens). See 'makeTokenParser'
 -- for a description of how to use it.
--- 
+--
 -----------------------------------------------------------------------------
 
 {-# OPTIONS_GHC -fno-warn-name-shadowing #-}
@@ -49,58 +49,58 @@ type LanguageDef st = GenLanguageDef String st Identity
 -- contains some default definitions.
 
 data GenLanguageDef s u m
-    = LanguageDef { 
-    
+    = LanguageDef {
+
     -- | Describes the start of a block comment. Use the empty string if the
-    -- language doesn't support block comments. For example \"\/*\". 
+    -- language doesn't support block comments. For example \"\/*\".
 
     commentStart   :: String,
 
     -- | Describes the end of a block comment. Use the empty string if the
-    -- language doesn't support block comments. For example \"*\/\". 
+    -- language doesn't support block comments. For example \"*\/\".
 
     commentEnd     :: String,
 
     -- | Describes the start of a line comment. Use the empty string if the
-    -- language doesn't support line comments. For example \"\/\/\". 
+    -- language doesn't support line comments. For example \"\/\/\".
 
     commentLine    :: String,
 
-    -- | Set to 'True' if the language supports nested block comments. 
+    -- | Set to 'True' if the language supports nested block comments.
 
     nestedComments :: Bool,
 
     -- | This parser should accept any start characters of identifiers. For
-    -- example @letter \<|> char \'_\'@. 
+    -- example @letter \<|> char \'_\'@.
 
     identStart     :: ParsecT s u m Char,
 
     -- | This parser should accept any legal tail characters of identifiers.
-    -- For example @alphaNum \<|> char \'_\'@. 
+    -- For example @alphaNum \<|> char \'_\'@.
 
     identLetter    :: ParsecT s u m Char,
 
     -- | This parser should accept any start characters of operators. For
-    -- example @oneOf \":!#$%&*+.\/\<=>?\@\\\\^|-~\"@ 
+    -- example @oneOf \":!#$%&*+.\/\<=>?\@\\\\^|-~\"@
 
     opStart        :: ParsecT s u m Char,
 
     -- | This parser should accept any legal tail characters of operators.
     -- Note that this parser should even be defined if the language doesn't
     -- support user-defined operators, or otherwise the 'reservedOp'
-    -- parser won't work correctly. 
+    -- parser won't work correctly.
 
     opLetter       :: ParsecT s u m Char,
 
-    -- | The list of reserved identifiers. 
+    -- | The list of reserved identifiers.
 
     reservedNames  :: [String],
 
-    -- | The list of reserved operators. 
+    -- | The list of reserved operators.
 
     reservedOpNames:: [String],
 
-    -- | Set to 'True' if the language is case sensitive. 
+    -- | Set to 'True' if the language is case sensitive.
 
     caseSensitive  :: Bool
 
@@ -129,11 +129,11 @@ data GenTokenParser s u m
         -- a single token using 'try'.
 
         identifier       :: ParsecT s u m String,
-        
-        -- | The lexeme parser @reserved name@ parses @symbol 
+
+        -- | The lexeme parser @reserved name@ parses @symbol
         -- name@, but it also checks that the @name@ is not a prefix of a
         -- valid identifier. A @reserved@ word is treated as a single token
-        -- using 'try'. 
+        -- using 'try'.
 
         reserved         :: String -> ParsecT s u m (),
 
@@ -142,14 +142,14 @@ data GenTokenParser s u m
         -- operators. Legal operator (start) characters and reserved operators
         -- are defined in the 'LanguageDef' that is passed to
         -- 'makeTokenParser'. An @operator@ is treated as a
-        -- single token using 'try'. 
+        -- single token using 'try'.
 
         operator         :: ParsecT s u m String,
 
         -- |The lexeme parser @reservedOp name@ parses @symbol
         -- name@, but it also checks that the @name@ is not a prefix of a
         -- valid operator. A @reservedOp@ is treated as a single token using
-        -- 'try'. 
+        -- 'try'.
 
         reservedOp       :: String -> ParsecT s u m (),
 
@@ -158,7 +158,7 @@ data GenTokenParser s u m
         -- literal character value. This parsers deals correctly with escape
         -- sequences. The literal character is parsed according to the grammar
         -- rules defined in the Haskell report (which matches most programming
-        -- languages quite closely). 
+        -- languages quite closely).
 
         charLiteral      :: ParsecT s u m Char,
 
@@ -166,7 +166,7 @@ data GenTokenParser s u m
         -- string value. This parsers deals correctly with escape sequences and
         -- gaps. The literal string is parsed according to the grammar rules
         -- defined in the Haskell report (which matches most programming
-        -- languages quite closely). 
+        -- languages quite closely).
 
         stringLiteral    :: ParsecT s u m String,
 
@@ -174,7 +174,7 @@ data GenTokenParser s u m
         -- number). Returns the value of the number. The number can be
         -- specified in 'decimal', 'hexadecimal' or
         -- 'octal'. The number is parsed according to the grammar
-        -- rules in the Haskell report. 
+        -- rules in the Haskell report.
 
         natural          :: ParsecT s u m Integer,
 
@@ -183,42 +183,42 @@ data GenTokenParser s u m
         -- sign (i.e. \'-\' or \'+\'). Returns the value of the number. The
         -- number can be specified in 'decimal', 'hexadecimal'
         -- or 'octal'. The number is parsed according
-        -- to the grammar rules in the Haskell report. 
-        
+        -- to the grammar rules in the Haskell report.
+
         integer          :: ParsecT s u m Integer,
 
         -- | This lexeme parser parses a floating point value. Returns the value
         -- of the number. The number is parsed according to the grammar rules
-        -- defined in the Haskell report. 
+        -- defined in the Haskell report.
 
         float            :: ParsecT s u m Double,
 
         -- | This lexeme parser parses either 'natural' or a 'float'.
         -- Returns the value of the number. This parsers deals with
         -- any overlap in the grammar rules for naturals and floats. The number
-        -- is parsed according to the grammar rules defined in the Haskell report. 
+        -- is parsed according to the grammar rules defined in the Haskell report.
 
         naturalOrFloat   :: ParsecT s u m (Either Integer Double),
 
         -- | Parses a positive whole number in the decimal system. Returns the
-        -- value of the number. 
+        -- value of the number.
 
         decimal          :: ParsecT s u m Integer,
 
         -- | Parses a positive whole number in the hexadecimal system. The number
         -- should be prefixed with \"0x\" or \"0X\". Returns the value of the
-        -- number. 
+        -- number.
 
         hexadecimal      :: ParsecT s u m Integer,
 
         -- | Parses a positive whole number in the octal system. The number
         -- should be prefixed with \"0o\" or \"0O\". Returns the value of the
-        -- number. 
+        -- number.
 
         octal            :: ParsecT s u m Integer,
 
         -- | Lexeme parser @symbol s@ parses 'string' @s@ and skips
-        -- trailing white space. 
+        -- trailing white space.
 
         symbol           :: String -> ParsecT s u m String,
 
@@ -227,7 +227,7 @@ data GenTokenParser s u m
         -- token (lexeme) is defined using @lexeme@, this way every parse
         -- starts at a point without white space. Parsers that use @lexeme@ are
         -- called /lexeme/ parsers in this document.
-        -- 
+        --
         -- The only point where the 'whiteSpace' parser should be
         -- called explicitly is the start of the main parser in order to skip
         -- any leading white space.
@@ -244,7 +244,7 @@ data GenTokenParser s u m
         -- occurrences of a 'space', a line comment or a block (multi
         -- line) comment. Block comments may be nested. How comments are
         -- started and ended is defined in the 'LanguageDef'
-        -- that is passed to 'makeTokenParser'. 
+        -- that is passed to 'makeTokenParser'.
 
         whiteSpace       :: ParsecT s u m (),
 
@@ -254,17 +254,17 @@ data GenTokenParser s u m
         parens           :: forall a. ParsecT s u m a -> ParsecT s u m a,
 
         -- | Lexeme parser @braces p@ parses @p@ enclosed in braces (\'{\' and
-        -- \'}\'), returning the value of @p@. 
+        -- \'}\'), returning the value of @p@.
 
         braces           :: forall a. ParsecT s u m a -> ParsecT s u m a,
 
         -- | Lexeme parser @angles p@ parses @p@ enclosed in angle brackets (\'\<\'
-        -- and \'>\'), returning the value of @p@. 
+        -- and \'>\'), returning the value of @p@.
 
         angles           :: forall a. ParsecT s u m a -> ParsecT s u m a,
 
         -- | Lexeme parser @brackets p@ parses @p@ enclosed in brackets (\'[\'
-        -- and \']\'), returning the value of @p@. 
+        -- and \']\'), returning the value of @p@.
 
         brackets         :: forall a. ParsecT s u m a -> ParsecT s u m a,
 
@@ -273,22 +273,22 @@ data GenTokenParser s u m
         squares          :: forall a. ParsecT s u m a -> ParsecT s u m a,
 
         -- | Lexeme parser |semi| parses the character \';\' and skips any
-        -- trailing white space. Returns the string \";\". 
+        -- trailing white space. Returns the string \";\".
 
         semi             :: ParsecT s u m String,
 
         -- | Lexeme parser @comma@ parses the character \',\' and skips any
-        -- trailing white space. Returns the string \",\". 
+        -- trailing white space. Returns the string \",\".
 
         comma            :: ParsecT s u m String,
 
         -- | Lexeme parser @colon@ parses the character \':\' and skips any
-        -- trailing white space. Returns the string \":\". 
+        -- trailing white space. Returns the string \":\".
 
         colon            :: ParsecT s u m String,
 
         -- | Lexeme parser @dot@ parses the character \'.\' and skips any
-        -- trailing white space. Returns the string \".\". 
+        -- trailing white space. Returns the string \".\".
 
         dot              :: ParsecT s u m String,
 
@@ -299,19 +299,19 @@ data GenTokenParser s u m
         semiSep          :: forall a . ParsecT s u m a -> ParsecT s u m [a],
 
         -- | Lexeme parser @semiSep1 p@ parses /one/ or more occurrences of @p@
-        -- separated by 'semi'. Returns a list of values returned by @p@. 
+        -- separated by 'semi'. Returns a list of values returned by @p@.
 
         semiSep1         :: forall a . ParsecT s u m a -> ParsecT s u m [a],
 
         -- | Lexeme parser @commaSep p@ parses /zero/ or more occurrences of
         -- @p@ separated by 'comma'. Returns a list of values returned
-        -- by @p@. 
+        -- by @p@.
 
         commaSep         :: forall a . ParsecT s u m a -> ParsecT s u m [a],
 
         -- | Lexeme parser @commaSep1 p@ parses /one/ or more occurrences of
         -- @p@ separated by 'comma'. Returns a list of values returned
-        -- by @p@. 
+        -- by @p@.
 
         commaSep1        :: forall a . ParsecT s u m a -> ParsecT s u m [a]
     }
@@ -343,11 +343,11 @@ data GenTokenParser s u m
 -- >  expr  =   parens expr
 -- >        <|> identifier
 -- >        <|> ...
--- >       
+-- >
 -- >
 -- >  -- The lexer
--- >  lexer       = P.makeTokenParser haskellDef    
--- >      
+-- >  lexer       = P.makeTokenParser haskellDef
+-- >
 -- >  parens      = P.parens lexer
 -- >  braces      = P.braces lexer
 -- >  identifier  = P.identifier lexer
index 13027c2..0ced93c 100644 (file)
@@ -3,13 +3,13 @@
 -- Module      :  Text.ParserCombinators.Parsec.Char
 -- Copyright   :  (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Parsec compatibility module
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.ParserCombinators.Parsec.Char
index dd2521d..3b6dfae 100644 (file)
@@ -3,13 +3,13 @@
 -- Module      :  Text.ParserCombinators.Parsec.Combinator
 -- Copyright   :  (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Parsec compatibility module
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.ParserCombinators.Parsec.Combinator
index 4b60518..dc63cb5 100644 (file)
@@ -3,13 +3,13 @@
 -- Module      :  Text.ParserCombinators.Parsec.Error
 -- Copyright   :  (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Parsec compatibility module
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.ParserCombinators.Parsec.Error
index a15cc6c..33d550f 100644 (file)
@@ -3,13 +3,13 @@
 -- Module      :  Text.ParserCombinators.Parsec.Expr
 -- Copyright   :  (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Parsec compatibility module
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.ParserCombinators.Parsec.Expr
index 329e173..a64f307 100644 (file)
@@ -3,13 +3,13 @@
 -- Module      :  Text.ParserCombinators.Parsec.Language
 -- Copyright   :  (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Parsec compatibility module
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.ParserCombinators.Parsec.Language
index 0a6f13a..987d507 100644 (file)
@@ -3,13 +3,13 @@
 -- Module      :  Text.ParserCombinators.Parsec.Perm
 -- Copyright   :  (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Parsec compatibility module
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.ParserCombinators.Parsec.Perm
index 544476e..7870e48 100644 (file)
@@ -3,13 +3,13 @@
 -- Module      :  Text.ParserCombinators.Parsec.Pos
 -- Copyright   :  (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Parsec compatibility module
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.ParserCombinators.Parsec.Pos
@@ -30,6 +30,6 @@ module Text.ParserCombinators.Parsec.Pos
       updatePosChar,
       updatePosString
     ) where
-      
+
 
 import Text.Parsec.Pos
index 2b87d98..21a2717 100644 (file)
@@ -3,13 +3,13 @@
 -- Module      :  Text.ParserCombinators.Parsec.Prim
 -- Copyright   :  (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Parsec compatibility module
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.ParserCombinators.Parsec.Prim
index 1feb6b0..a8cce12 100644 (file)
@@ -3,13 +3,13 @@
 -- Module      :  Text.ParserCombinators.Parsec.Token
 -- Copyright   :  (c) Paolo Martini 2007
 -- License     :  BSD-style (see the LICENSE file)
--- 
+--
 -- Maintainer  :  derek.a.elkins@gmail.com
 -- Stability   :  provisional
 -- Portability :  portable
--- 
+--
 -- Parsec compatibility module
--- 
+--
 -----------------------------------------------------------------------------
 
 module Text.ParserCombinators.Parsec.Token