Merge pull request #8 from joneshf/master

Bunch of combinators and some string stuff.

Author: jdegoes

.travis.yml

@@ -1,12 +1,16 @@
 language: node_js
 node_js:
   - "0.10"
+env:
+  - PATH=$HOME/bin:$PATH purescript_datadir=$HOME/.local/share/purescript
+before_install:
+  - mkdir -p $HOME/bin
+  - mkdir -p $HOME/.local/share/purescript/prelude
 install:
-  - "sudo apt-get install cabal-install"
-  - "cabal update"
-  - "cabal install Cabal cabal-install"
-  - "export PATH=~/.cabal/bin:$PATH"
-  - "cabal install purescript --force-reinstalls"
+  - wget https://github.com/purescript/purescript/releases/download/v0.5.7.1/linux64.tar.gz
+  - tar zxvf linux64.tar.gz
+  - cp purescript/{docgen,psc,psci,psc-make} $HOME/bin
+  - cp purescript/prelude.purs $purescript_datadir/prelude/prelude.purs
   - "npm install bower grunt-cli -g"
   - "npm install"
   - "bower install"

docs/Module.md

@@ -57,6 +57,11 @@
 
 ## Module Text.Parsing.Parser.Combinators
 
+### Type Class Instances
+
+    instance showParseError :: Show ParseError
+
+
 ### Values
 
     (<?>) :: forall m s a. (Monad m) => ParserT s m a -> String -> ParserT s m a
@@ -81,11 +86,17 @@
 
     endBy1 :: forall m s a sep. (Monad m) => ParserT s m a -> ParserT s m sep -> ParserT s m [a]
 
+    lookAhead :: forall s a m. (Monad m) => ParserT s m a -> ParserT s m a
+
+    many1Till :: forall s a m e. (Monad m) => ParserT s m a -> ParserT s m e -> ParserT s m [a]
+
+    manyTill :: forall s a m e. (Monad m) => ParserT s m a -> ParserT s m e -> ParserT s m [a]
+
     option :: forall m s a. (Monad m) => a -> ParserT s m a -> ParserT s m a
 
     optionMaybe :: forall m s a. (Functor m, Monad m) => ParserT s m a -> ParserT s m (Maybe a)
 
-    optional :: forall m s a. (Monad m) => ParserT s m a -> ParserT s m {  }
+    optional :: forall m s a. (Monad m) => ParserT s m a -> ParserT s m Unit
 
     sepBy :: forall m s a sep. (Monad m) => ParserT s m a -> ParserT s m sep -> ParserT s m [a]
 
@@ -95,6 +106,10 @@
 
     sepEndBy1 :: forall m s a sep. (Monad m) => ParserT s m a -> ParserT s m sep -> ParserT s m [a]
 
+    skipMany :: forall s a m. (Monad m) => ParserT s m a -> ParserT s m Unit
+
+    skipMany1 :: forall s a m. (Monad m) => ParserT s m a -> ParserT s m Unit
+
     try :: forall m s a. (Functor m) => ParserT s m a -> ParserT s m a
 
 
@@ -142,10 +157,16 @@
 
     char :: forall m. (Monad m) => ParserT String m String
 
-    eof :: forall m. (Monad m) => ParserT String m {  }
+    eof :: forall m. (Monad m) => ParserT String m Unit
+
+    noneOf :: forall s m a. (Monad m) => [String] -> ParserT String m String
+
+    oneOf :: forall s m a. (Monad m) => [String] -> ParserT String m String
 
     satisfy :: forall m. (Monad m) => (String -> Boolean) -> ParserT String m String
 
+    skipSpaces :: forall m. (Monad m) => ParserT String m Unit
+
     string :: forall m. (Monad m) => String -> ParserT String m String
 
     whiteSpace :: forall m. (Monad m) => ParserT String m String

src/Text/Parsing/Parser.purs

@@ -27,6 +27,9 @@ instance errorParseError :: Error ParseError where
   noMsg = ParseError { message: "" }
   strMsg msg = ParseError { message: msg }
 
+instance showParseError :: Show ParseError where
+  show (ParseError msg) = "ParseError { message: " ++ msg.message ++ " }"
+
 newtype ParserT s m a = ParserT (s -> m { input :: s, result :: Either ParseError a, consumed :: Boolean })
 
 unParserT :: forall m s a. ParserT s m a -> s -> m { input :: s, result :: Either ParseError a, consumed :: Boolean }

src/Text/Parsing/Parser/Combinators.purs

@@ -29,9 +29,9 @@ between open close p = do
 option :: forall m s a. (Monad m) => a -> ParserT s m a -> ParserT s m a
 option a p = p <|> return a
 
-optional :: forall m s a. (Monad m) => ParserT s m a -> ParserT s m {}
+optional :: forall m s a. (Monad m) => ParserT s m a -> ParserT s m Unit
 optional p = (do p
-                 return {}) <|> return {}
+                 return unit) <|> return unit
 
 optionMaybe :: forall m s a. (Functor m, Monad m) => ParserT s m a -> ParserT s m (Maybe a)
 optionMaybe p = option Nothing (Just <$> p)
@@ -106,3 +106,34 @@ choice []   = fail "Nothing to parse"
 choice [x]  = x
 choice (x:xs) = x <|> choice xs
 
+skipMany :: forall s a m. (Monad m) => ParserT s m a -> ParserT s m Unit
+skipMany p = skipMany1 p <|> return unit
+
+skipMany1 :: forall s a m. (Monad m) => ParserT s m a -> ParserT s m Unit
+skipMany1 p = do
+  x <- p
+  xs <- skipMany p
+  return unit
+
+lookAhead :: forall s a m. (Monad m) => ParserT s m a -> ParserT s m a
+lookAhead (ParserT p) = ParserT \s -> do
+  state <- p s
+  return state{input = s, consumed = false}
+
+manyTill :: forall s a m e. (Monad m) => ParserT s m a -> ParserT s m e -> ParserT s m [a]
+manyTill p end = scan
+  where
+    scan = (do
+              end
+              return [])
+       <|> (do
+              x <- p
+              xs <- scan
+              return (x:xs))
+
+many1Till :: forall s a m e. (Monad m) => ParserT s m a -> ParserT s m e -> ParserT s m [a]
+many1Till p end = do
+  x <- p
+  xs <- manyTill p end
+  return (x:xs)
+

src/Text/Parsing/Parser/String.purs

@@ -16,10 +16,10 @@ import Control.Monad.State.Class
 import Text.Parsing.Parser
 import Text.Parsing.Parser.Combinators
 
-eof :: forall m. (Monad m) => ParserT String m {}
+eof :: forall m. (Monad m) => ParserT String m Unit
 eof = ParserT $ \s ->
   return $ case s of
-    "" -> { consumed: false, input: s, result: Right {} }
+    "" -> { consumed: false, input: s, result: Right unit }
     _ -> { consumed: false, input: s, result: Left (strMsg "Expected EOF") }
 
 string :: forall m. (Monad m) => String -> ParserT String m String
@@ -45,3 +45,13 @@ whiteSpace = do
   list <- many $ string "\n" <|> string "\r" <|> string " " <|> string "\t"
   return $ foldMap id list
 
+skipSpaces :: forall m. (Monad m) => ParserT String m Unit
+skipSpaces = do
+  whiteSpace
+  return unit
+
+oneOf :: forall s m a. (Monad m) => [String] -> ParserT String m String
+oneOf ss = satisfy (flip elem ss)
+
+noneOf :: forall s m a. (Monad m) => [String] -> ParserT String m String
+noneOf ss = satisfy (flip notElem ss)