Switch tests to QuickCheck

Author: garyb

bower.json

@@ -23,7 +23,9 @@
     "purescript-newtype": "^2.0.0",
     "purescript-parsing": "^4.1.0",
     "purescript-precise": "^2.0.0",
-    "purescript-profunctor-lenses": "^3.2.0",
-    "purescript-strongcheck": "^3.1.0"
+    "purescript-profunctor-lenses": "^3.2.0"
+  },
+  "devDependencies": {
+    "purescript-quickcheck": "^4.4.0"
   }
 }

test/Main.purs

@@ -3,22 +3,19 @@ module Test.Main where
 import Prelude
 
 import Control.Monad.Eff (Eff)
+import Control.Monad.Eff.Console (CONSOLE)
 import Control.Monad.Eff.Exception (EXCEPTION)
 import Control.Monad.Eff.Random (RANDOM)
-import Control.Monad.Eff.Console (CONSOLE)
-
 import Data.Either as E
-import Data.Maybe (Maybe(..))
-import Data.StrMap as SM
-import Data.Tuple (Tuple(..))
 import Data.Json.Extended (EJson, arbitraryEJsonOfSize, renderEJson, parseEJson, decodeEJson, encodeEJson)
 import Data.Json.Extended as EJ
 import Data.Json.Extended.Cursor as EJC
-
-import Test.StrongCheck ((<?>))
-import Test.StrongCheck as SC
-import Test.StrongCheck.Arbitrary as SCA
-
+import Data.Maybe (Maybe(..))
+import Data.StrMap as SM
+import Data.Tuple (Tuple(..))
+import Test.QuickCheck ((<?>))
+import Test.QuickCheck as QC
+import Test.QuickCheck.Arbitrary as QCA
 import Text.Parsing.Parser as P
 
 type TestEffects =
@@ -29,25 +26,25 @@ type TestEffects =
 
 newtype ArbEJson = ArbEJson EJson
 
-instance arbitraryArbEJson ∷ SCA.Arbitrary ArbEJson where
+instance arbitraryArbEJson ∷ QCA.Arbitrary ArbEJson where
   arbitrary = map ArbEJson $ arbitraryEJsonOfSize 3
 
 testJsonSerialization ∷ Eff TestEffects Unit
 testJsonSerialization =
-  SC.quickCheck' 1000 \(ArbEJson x) → case decodeEJson (encodeEJson x) of
+  QC.quickCheck' 1000 \(ArbEJson x) → case decodeEJson (encodeEJson x) of
     E.Right y →
       x == y
       <?> "Mismatch:\n" <> renderEJson x <> "\n" <> renderEJson y
     E.Left err →
-      SC.Failed $ "Parse error: " <> err
+      QC.Failed $ "Parse error: " <> err
 
 testRenderParse ∷ Eff TestEffects Unit
 testRenderParse =
-  SC.quickCheck' 1000 \(ArbEJson x) → case P.runParser (renderEJson x) parseEJson of
+  QC.quickCheck' 1000 \(ArbEJson x) → case P.runParser (renderEJson x) parseEJson of
     E.Right y →
       x == y <?> "Mismatch:\n" <> renderEJson x <> "\n" <> renderEJson y
     E.Left err →
-      SC.Failed $ "Parse error: " <> show err <> " when parsing:\n\n " <> renderEJson x <> "\n\n"
+      QC.Failed $ "Parse error: " <> show err <> " when parsing:\n\n " <> renderEJson x <> "\n\n"
 
 testCursorExamples ∷ Eff TestEffects Unit
 testCursorExamples = do
@@ -104,16 +101,16 @@ testCursorExamples = do
     → Maybe (Tuple EJC.Cursor EJC.Cursor)
     → Eff TestEffects Unit
   assertMbTplEq x y =
-    SC.assert
-    $ SC.assertEq
+    QC.quickCheck' 1 $
+      QC.assertEquals
         (map (\(Tuple a b) → "Tuple " <> EJC.renderEJsonCursor a <> " " <> EJC.renderEJsonCursor b) x)
         (map (\(Tuple a b) → "Tuple " <> EJC.renderEJsonCursor a <> " " <> EJC.renderEJsonCursor b) y)
 
   assertMbEq ∷ Maybe EJson → Maybe EJson → Eff TestEffects Unit
-  assertMbEq x y = SC.assert $ SC.assertEq (map renderEJson x) (map renderEJson y)
+  assertMbEq x y = QC.quickCheck' 1 $ QC.assertEquals (map renderEJson x) (map renderEJson y)
 
   assertEq ∷ EJson → EJson → Eff TestEffects Unit
-  assertEq x y = SC.assert $ x == y <?> msg
+  assertEq x y = QC.quickCheck' 1 $ x == y <?> msg
     where
     msg = renderEJson x <> " /= " <> renderEJson y