Update docs

Author: paf31

bower.json

@@ -30,7 +30,6 @@
     "purescript-lists": "^1.0.0"
   },
   "devDependencies": {
-    "purescript-math": "^2.0.0",
-    "purescript-quickcheck": "^1.0.0"
+    "purescript-math": "^2.0.0"
   }
 }

docs/Text/Parsing/StringParser.md

@@ -36,37 +36,39 @@ The type of parsing errors.
 
 ##### Instances
 ``` purescript
-instance showParseError :: Show ParseError
-instance eqParseError :: Eq ParseError
+Show ParseError
+Eq ParseError
 ```
 
 #### `Parser`
 
 ``` purescript
 data Parser a
-  = Parser (forall r. PosString -> (Pos -> ParseError -> r) -> (a -> PosString -> r) -> r)
+  = Parser (PosString -> Either { pos :: Pos, error :: ParseError } { result :: a, suffix :: PosString })
 ```
 
 A parser is represented as a function which takes a pair of
 continuations for failure and success.
 
 ##### Instances
 ``` purescript
-instance functorParser :: Functor Parser
-instance applyParser :: Apply Parser
-instance applicativeParser :: Applicative Parser
-instance altParser :: Alt Parser
-instance plusParser :: Plus Parser
-instance alternativeParser :: Alternative Parser
-instance bindParser :: Bind Parser
-instance monadParser :: Monad Parser
-instance monadPlusParser :: MonadPlus Parser
+Functor Parser
+Apply Parser
+Applicative Parser
+Alt Parser
+Plus Parser
+Alternative Parser
+Bind Parser
+Monad Parser
+MonadZero Parser
+MonadPlus Parser
+MonadRec Parser
 ```
 
 #### `unParser`
 
 ``` purescript
-unParser :: forall a r. Parser a -> PosString -> (Pos -> ParseError -> r) -> (a -> PosString -> r) -> r
+unParser :: forall a. Parser a -> PosString -> Either { pos :: Pos, error :: ParseError } { result :: a, suffix :: PosString }
 ```
 
 Run a parser by providing success and failure continuations.

docs/Text/Parsing/StringParser/Combinators.md

@@ -26,16 +26,20 @@ many1 :: forall a. Parser a -> Parser (List a)
 
 Match one or more times.
 
-#### `(<?>)`
+#### `withError`
 
 ``` purescript
-(<?>) :: forall a. Parser a -> String -> Parser a
+withError :: forall a. Parser a -> String -> Parser a
 ```
 
-_left-associative / precedence -1_
-
 Provide an error message in case of failure.
 
+#### `(<?>)`
+
+``` purescript
+infixl 3 withError as <?>
+```
+
 #### `fix`
 
 ``` purescript
@@ -74,7 +78,7 @@ Attempt to parse a value.
 optionMaybe :: forall a. Parser a -> Parser (Maybe a)
 ```
 
-Attempt to parse a value, returning `Nothing` in case of failure.
+Attempt to parse a value, pureing `Nothing` in case of failure.
 
 #### `sepBy`
 
@@ -175,7 +179,7 @@ Parse one or more values separated by a right-associative operator.
 #### `choice`
 
 ``` purescript
-choice :: forall f a. (Foldable f) => f (Parser a) -> Parser a
+choice :: forall f a. Foldable f => f (Parser a) -> Parser a
 ```
 
 Parse using any of a collection of parsers.

docs/Text/Parsing/StringParser/String.md

@@ -69,15 +69,15 @@ Skip many whitespace characters.
 #### `oneOf`
 
 ``` purescript
-oneOf :: forall f. (Foldable f) => f Char -> Parser Char
+oneOf :: forall f. Foldable f => f Char -> Parser Char
 ```
 
 Match one of the characters in the foldable structure.
 
 #### `noneOf`
 
 ``` purescript
-noneOf :: forall f. (Foldable f) => f Char -> Parser Char
+noneOf :: forall f. Foldable f => f Char -> Parser Char
 ```
 
 Match any character not in the foldable structure.