Update for purescript-generics-0.7

- bumped dependencies
- use Type.Proxy
- use type constructor from SigProd in error messages
- remove some imports to prevent warnings

Closes #6

Author: zudov

bower.json

@@ -23,11 +23,10 @@
   "license": "MIT",
   "dependencies": {
     "purescript-argonaut-core": "^0.2.0",
-    "purescript-integers": "^0.2.1",
-    "purescript-generics": "^0.6.1"
+    "purescript-generics": "^0.7.0",
+    "purescript-integers": "^0.2.1"
   },
   "devDependencies": {
-    "purescript-strongcheck": "^0.14.1",
-    "purescript-strongcheck-generics": "^0.2.0"
+    "purescript-strongcheck-generics": "^0.3.0"
   }
 }

src/Data/Argonaut/Decode.purs

@@ -14,7 +14,7 @@ import Data.Argonaut.Core (Json(), foldJsonNull, foldJsonBoolean, foldJsonNumber
 import Data.Array (zipWithA)
 import Data.Either (either, Either(..))
 import Data.Foldable (find)
-import Data.Generic (Generic, GenericSpine(..), GenericSignature(..), Proxy(..), fromSpine, toSignature)
+import Data.Generic (Generic, GenericSpine(..), GenericSignature(..), fromSpine, toSignature)
 import Data.Int (fromNumber)
 import Data.List (List(..), toList)
 import Data.Map as Map
@@ -23,6 +23,7 @@ import Data.String (charAt, toChar)
 import Data.StrMap as M
 import Data.Traversable (traverse, for)
 import Data.Tuple (Tuple(..))
+import Type.Proxy (Proxy(..))
 
 class DecodeJson a where
   decodeJson :: Json -> Either String a
@@ -49,9 +50,10 @@ gDecodeJson' signature json = case signature of
       pf <- mFail ("'" <> lbl <> "' property missing") (M.lookup lbl jObj)
       sp <- gDecodeJson' (val unit) pf
       pure { recLabel: lbl, recValue: const sp }
-  SigProd alts -> do
-    jObj <- mFail "Expected an object" $ toObject json
-    tag  <- mFail "'tag' string property is missing" (toString =<< M.lookup "tag" jObj)
+  SigProd typeConstr alts -> do
+    let decodingErr msg = "When decoding " ++ typeConstr ++ " " ++ msg
+    jObj <- mFail (decodingErr "expected an object") (toObject json)
+    tag  <- mFail (decodingErr "'tag' string property is missing") (toString =<< M.lookup "tag" jObj)
     case find ((tag ==) <<< _.sigConstructor) alts of
       Nothing -> Left ("'" <> tag <> "' isn't a valid constructor")
       Just { sigValues: sigValues } -> do

src/Data/Argonaut/Encode.purs

@@ -12,7 +12,7 @@ import Data.Either (Either(..))
 import Data.Foldable (foldr)
 import Data.Generic (Generic, GenericSpine(..), toSpine)
 import Data.Int (toNumber)
-import Data.List (List(..), fromList)
+import Data.List (List(), fromList)
 import Data.Map as M
 import Data.Maybe (Maybe(..))
 import Data.String (fromChar)