A few additional fixes

Author: garyb

.travis.yml

@@ -1,7 +1,7 @@
 language: node_js
 dist: trusty
 sudo: required
-node_js: 6
+node_js: stable
 install:
   - npm install -g bower
   - npm install

bower.json

@@ -12,11 +12,11 @@
   "license": "MIT",
   "dependencies": {
     "purescript-argonaut-codecs": "^3.0.0",
-    "purescript-argonaut-core": "^3.0.0",
+    "purescript-argonaut-core": "^3.1.0",
     "purescript-argonaut-traversals": "^3.0.0"
   },
   "devDependencies": {
     "purescript-console": "^3.0.0",
-    "purescript-strongcheck": "^3.0.0"
+    "purescript-strongcheck": "^3.1.0"
   }
 }

package.json

@@ -8,7 +8,7 @@
   "devDependencies": {
     "pulp": "^11.0.0",
     "purescript-psa": "^0.5.0",
-    "purescript": "^0.11.0",
-    "rimraf": "^2.5.4"
+    "purescript": "^0.11.1",
+    "rimraf": "^2.6.1"
   }
 }

src/Data/Argonaut.purs

@@ -8,10 +8,10 @@ module Data.Argonaut
   , module Data.Argonaut.Traversals
   ) where
 
-import Data.Argonaut.Core (JArray, JAssoc, JBoolean, JNull, JNumber, JObject, JString, Json, foldJson, foldJsonArray, foldJsonBoolean, foldJsonNull, foldJsonNumber, foldJsonObject, foldJsonString, fromArray, fromBoolean, fromNull, fromNumber, fromObject, fromString, isArray, isBoolean, isNull, isNumber, isObject, isString, jsonEmptyArray, jsonEmptyObject, jsonFalse, jsonNull, jsonSingletonArray, jsonSingletonObject, jsonTrue, jsonZero, toArray, toBoolean, toNull, toNumber, toObject, toString)
+import Data.Argonaut.Core (JArray, JAssoc, JBoolean, JNull, JNumber, JObject, JString, Json, foldJson, foldJsonArray, foldJsonBoolean, foldJsonNull, foldJsonNumber, foldJsonObject, foldJsonString, fromArray, fromBoolean, fromNull, fromNumber, fromObject, fromString, isArray, isBoolean, isNull, isNumber, isObject, isString, jNull, jsonEmptyArray, jsonEmptyObject, jsonFalse, jsonNull, jsonSingletonArray, jsonSingletonObject, jsonTrue, jsonZero, toArray, toBoolean, toNull, toNumber, toObject, toString)
 import Data.Argonaut.Decode (class DecodeJson, decodeJson, getField, (.?))
 import Data.Argonaut.Encode (class EncodeJson, assoc, encodeJson, extend, (:=), (~>))
-import Data.Argonaut.JCursor (JCursor(..), JsonPrim(..), cursorGet, cursorSet, downField, downIndex, exactNull, fail, fromPrims, inferEmpty, insideOut, primBool, primNull, primNum, primStr, primToJson, runJsonPrim, toPrims)
+import Data.Argonaut.JCursor (JCursor(..), JsonPrim(..), cursorGet, cursorSet, downField, downIndex, fail, fromPrims, inferEmpty, insideOut, primBool, primNull, primNum, primStr, primToJson, runJsonPrim, toPrims)
 import Data.Argonaut.Parser (jsonParser)
 import Data.Argonaut.Prisms (_Array, _Boolean, _Null, _Number, _Object, _String)
 import Data.Argonaut.Traversals (_JsonArray, _JsonBoolean, _JsonNull, _JsonNumber, _JsonObject, _JsonString)

test/Test/Main.purs

@@ -4,58 +4,21 @@ import Prelude
 
 import Control.Monad.Eff.Console (log)
 
-import Data.Argonaut (Json, fromString, encodeJson, decodeJson, fromObject, fromArray, fromNumber, fromBoolean, jsonNull, (.?))
+import Data.Argonaut (Json, decodeJson, encodeJson, fromString, (.?))
 import Data.Argonaut.JCursor (JCursor(..), toPrims, fromPrims)
-import Data.Array (zipWith, nubBy, length)
+import Data.Argonaut.Gen (genJson)
 import Data.Either (Either(..))
-import Data.List (fromFoldable)
 import Data.Maybe (Maybe(..))
 import Data.StrMap as M
-import Data.Tuple (Tuple(..), fst)
 
 import Test.StrongCheck (SC, Result, assert, quickCheck', (<?>))
 import Test.StrongCheck.Arbitrary (class Arbitrary, arbitrary)
-import Test.StrongCheck.Data.AlphaNumString (AlphaNumString(..))
-import Test.StrongCheck.Gen (Gen, Size, showSample, chooseInt, sized, frequency, oneOf, vectorOf)
+import Test.StrongCheck.Gen (chooseInt, resize)
 
 newtype TestJson = TestJson Json
 
-genJNull :: Gen Json
-genJNull = pure jsonNull
-
-genJBool :: Gen Json
-genJBool = fromBoolean <$> arbitrary
-
-genJNumber :: Gen Json
-genJNumber = fromNumber <$> arbitrary
-
-genJString :: Gen Json
-genJString = fromString <$> arbitrary
-
-genJArray :: Size -> Gen Json
-genJArray sz = fromArray <$> vectorOf sz (genJson $ sz - 1)
-
-genJObject :: Size -> Gen Json
-genJObject sz = do
-  v <- vectorOf sz (genJson $ sz - 1)
-  k <- vectorOf (length v) (arbitrary :: Gen AlphaNumString)
-  let
-    f (AlphaNumString s) = s <> "x"
-    k' = f <$> k
-  pure $ fromObject <<< M.fromFoldable <<< nubBy (\a b -> (fst a) == (fst b)) $ zipWith Tuple k' v
-
-genJson :: Size -> Gen Json
-genJson 0 = oneOf genJNull [genJBool, genJNumber, genJString]
-genJson n = frequency (Tuple 1.0 genJNull) rest where
-  rest = fromFoldable [Tuple 2.0 genJBool,
-                 Tuple 2.0 genJNumber,
-                 Tuple 3.0 genJString,
-                 Tuple 1.0 (genJArray n),
-                 Tuple 1.0 (genJObject n)]
-
-
 instance arbitraryJson :: Arbitrary TestJson where
-  arbitrary = TestJson <$> sized genJson
+  arbitrary = TestJson <$> (resize 5 genJson)
 
 prop_encode_then_decode :: TestJson -> Boolean
 prop_encode_then_decode (TestJson json) =
@@ -89,9 +52,6 @@ prop_jcursor_serialization (TestJCursor c) =
 
 main :: SC () Unit
 main = do
-  log "Showing small sample of JSON"
-  showSample (genJson 10)
-
   log "Testing that any JSON can be encoded and then decoded"
   quickCheck' 20 prop_encode_then_decode