Fix warnings generated by purescript-0.8.0

bower.json

@@ -24,14 +24,14 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-arrays": "^0.4.0",
-    "purescript-either": "^0.2.0",
-    "purescript-foldable-traversable": "^0.4.0",
-    "purescript-functions": "^0.1.0",
-    "purescript-integers": "^0.2.0",
+    "purescript-arrays": "^1.0.0-rc.1",
+    "purescript-either": "^1.0.0-rc.1",
+    "purescript-foldable-traversable": "^1.0.0-rc.1",
+    "purescript-functions": "^1.0.0-rc.1",
+    "purescript-integers": "^1.0.0-rc.1",
     "purescript-strings": "^0.7.0"
   },
   "devDependencies": {
-    "purescript-console": "^0.1.0"
+    "purescript-console": "^1.0.0-rc.1"
   }
 }

src/Data/Foreign.purs

@@ -22,13 +22,12 @@ module Data.Foreign
   , readArray
   ) where
 
-import Prelude
+import Prelude (class Eq, class Show, pure, ($), const, (<<<), (==), (&&), append, show)
 
 import Data.Either (Either(..), either)
 import Data.Maybe (maybe)
-import Data.Function (Fn3(), runFn3)
-import Data.Int ()
-import qualified Data.Int as Int
+import Data.Function.Uncurried (Fn3(), runFn3)
+import Data.Int as Int
 import Data.String (toChar)
 
 -- | A type for _foreign data_.
@@ -51,10 +50,10 @@ data ForeignError
   | JSONError String
 
 instance showForeignError :: Show ForeignError where
-  show (TypeMismatch exp act) = "Type mismatch: expected " ++ exp ++ ", found " ++ act
-  show (ErrorAtIndex i e) = "Error at array index " ++ show i ++ ": " ++ show e
-  show (ErrorAtProperty prop e) = "Error at property " ++ show prop ++ ": " ++ show e
-  show (JSONError s) = "JSON error: " ++ s
+  show (TypeMismatch exp act) = "Type mismatch: expected " `append` exp `append` ", found " `append` act
+  show (ErrorAtIndex i e) = "Error at array index " `append` show i `append` ": " `append` show e
+  show (ErrorAtProperty prop e) = "Error at property " `append` show prop `append` ": " `append` show e
+  show (JSONError s) = "JSON error: " `append` s
 
 instance eqForeignError :: Eq ForeignError where
   eq (TypeMismatch a b) (TypeMismatch a' b') = a == a' && b == b'

src/Data/Foreign/Class.purs

@@ -1,23 +1,22 @@
 -- | This module defines a type class for reading foreign values.
 
 module Data.Foreign.Class
-  ( IsForeign
+  ( class IsForeign
   , read
   , readJSON
   , readWith
   , readProp
   ) where
 
-import Prelude
+import Prelude ((>>=), (<<<), zero, pure)
 
 import Data.Array (range, zipWith, length)
 import Data.Either (Either(..), either)
-import Data.Foreign
-import Data.Foreign.Index
-import Data.Foreign.Null
-import Data.Foreign.NullOrUndefined
-import Data.Foreign.Undefined
-import Data.Int ()
+import Data.Foreign (F, Foreign, ForeignError(ErrorAtIndex), parseJSON, readArray, readInt, readNumber, readBoolean, readChar, readString)
+import Data.Foreign.Index (class Index, errorAt, (!))
+import Data.Foreign.Null (Null, readNull)
+import Data.Foreign.NullOrUndefined (NullOrUndefined, readNullOrUndefined)
+import Data.Foreign.Undefined (Undefined, readUndefined)
 import Data.Traversable (sequence)
 
 -- | A type class instance for this class can be written for a type if it
@@ -30,7 +29,7 @@ class IsForeign a where
   read :: Foreign -> F a
 
 instance foreignIsForeign :: IsForeign Foreign where
-  read f = return f
+  read f = pure f
 
 instance stringIsForeign :: IsForeign String where
   read = readString

src/Data/Foreign/Index.purs

@@ -2,7 +2,7 @@
 -- | _property indices_.
 
 module Data.Foreign.Index
-  ( Index
+  ( class Index
   , prop
   , index
   , ix, (!)
@@ -11,12 +11,11 @@ module Data.Foreign.Index
   , errorAt
   ) where
 
-import Prelude
+import Prelude (flip, (==), (||), pure)
 
 import Data.Either (Either(..))
-import Data.Foreign
-import Data.Function (Fn2(), runFn2, Fn4(), runFn4)
-import Data.Int ()
+import Data.Foreign (Foreign, F, ForeignError(ErrorAtIndex, ErrorAtProperty, TypeMismatch), typeOf, isUndefined, isNull)
+import Data.Function.Uncurried (Fn2(), runFn2, Fn4(), runFn4)
 
 -- | This type class identifies types wich act like _property indices_.
 -- |
@@ -27,11 +26,8 @@ class Index i where
   hasOwnProperty :: i -> Foreign -> Boolean
   errorAt :: i -> ForeignError -> ForeignError
 
-infixl 9 !
-
 -- | An infix alias for `ix`.
-(!) :: forall i. (Index i) => Foreign -> i -> F Foreign
-(!) = ix
+infixl 9 ix as !
 
 foreign import unsafeReadPropImpl :: forall r k. Fn4 r (Foreign -> r) k Foreign (F Foreign)
 

src/Data/Foreign/Keys.purs

@@ -5,10 +5,10 @@ module Data.Foreign.Keys
   ( keys
   ) where
 
-import Prelude
+import Prelude (($), (==))
 
 import Data.Either (Either(..))
-import Data.Foreign
+import Data.Foreign (F, Foreign, ForeignError(TypeMismatch), typeOf, isUndefined, isNull)
 
 foreign import unsafeKeys :: Foreign -> Array String
 

src/Data/Foreign/Null.purs

@@ -4,10 +4,10 @@ module Data.Foreign.Null
   , readNull
   ) where
 
-import Prelude
+import Prelude ((<$>), (<<<), pure)
 
 import Data.Maybe (Maybe(..))
-import Data.Foreign
+import Data.Foreign (F, Foreign, isNull)
 
 -- | A `newtype` wrapper whose `IsForeign` instance correctly handles
 -- | null values.

src/Data/Foreign/NullOrUndefined.purs

@@ -4,10 +4,10 @@ module Data.Foreign.NullOrUndefined
   , readNullOrUndefined
   ) where
 
-import Prelude
+import Prelude ((<$>), (<<<), pure, (||))
 
 import Data.Maybe (Maybe(..))
-import Data.Foreign
+import Data.Foreign (F, Foreign, isUndefined, isNull)
 
 -- | A `newtype` wrapper whose `IsForeign` instance correctly handles
 -- | null and undefined values.

src/Data/Foreign/Undefined.purs

@@ -4,10 +4,10 @@ module Data.Foreign.Undefined
   , readUndefined
   ) where
 
-import Prelude
+import Prelude ((<$>), (<<<), pure)
 
 import Data.Maybe (Maybe(..))
-import Data.Foreign
+import Data.Foreign (F, Foreign, isUndefined)
 
 -- | A `newtype` wrapper whose `IsForeign` instance correctly handles
 -- | undefined values.