update dependencies and fix code for latest Data.String

Author: jdegoes

bower.json

@@ -18,11 +18,11 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-transformers": "~0.1.0",
-    "purescript-either": "*",
-    "purescript-maybe": "~0.2.0",
-    "purescript-arrays": "~0.2.0",
-    "purescript-strings": "*",
-    "purescript-foldable-traversable": "*"
+    "purescript-transformers":  "~0.2.1",
+    "purescript-either":        "~0.1.3",
+    "purescript-maybe":         "~0.2.1",
+    "purescript-arrays":        "~0.2.1",
+    "purescript-strings":       "~0.3.0",
+    "purescript-foldable-traversable": "~0.1.3"
   }
 }

docs/Module.md

@@ -10,7 +10,7 @@
     type Parser s a = ParserT s Identity a
 
     newtype ParserT s m a where
-      ParserT :: s -> m { consumed :: Boolean, result :: Either ParseError a, input :: s } -> ParserT s m a
+      ParserT :: (s -> m { consumed :: Boolean, result :: Either ParseError a, input :: s }) -> ParserT s m a
 
 
 ### Type Class Instances

src/Text/Parsing/Parser/String.purs

@@ -4,6 +4,8 @@ import Data.String
 import Data.Either
 import Data.Foldable
 import Data.Monoid
+import Data.Maybe
+import Data.Char
 
 import Control.Alt
 import Control.Alternative
@@ -28,9 +30,9 @@ string s = ParserT $ \s'  ->
 
 char :: forall m. (Monad m) => ParserT String m String
 char = ParserT $ \s' ->
-  return $ case s' of
-    "" -> { consumed: false, input: s', result: Left (strMsg "Unexpected EOF") }
-    _ -> { consumed: true, input: drop 1 s', result: Right (charAt 0 s') }
+  return $ case charAt 0 s' of
+    Nothing -> { consumed: false, input: s', result: Left (strMsg "Unexpected EOF") }
+    Just c  -> { consumed: true, input: drop 1 s', result: Right (charString c) }
 
 satisfy :: forall m. (Monad m) => (String -> Boolean) -> ParserT String m String
 satisfy f = try do