arbitrary instance for convenience

Author: athanclark

bower.json

@@ -11,10 +11,11 @@
   "dependencies": {
     "purescript-maybe": "^4.0.0",
     "purescript-math": "^2.1.1",
-    "purescript-generics-rep": "^6.1.1"
+    "purescript-generics-rep": "^6.1.1",
+    "purescript-quickcheck": "^6.1.0"
   },
   "devDependencies": {
-    "purescript-quickcheck-laws": "git://github.com/athanclark/purescript-quickcheck-laws.git#a19fbf646918fa201ddbeafe2653b2c1d83e6dd0",
+    "purescript-quickcheck-laws": "v5.0.1",
     "purescript-psci-support": "^4.0.0"
   },
   "license": "MIT",

src/Data/UInt.purs

@@ -38,6 +38,8 @@ import Data.Show (class Show)
 import Data.Function ((<<<))
 import Data.Semigroup ((<>))
 import Data.Generic.Rep (class Generic, Constructor (..), Argument (..))
+import Test.QuickCheck (class Arbitrary, arbitrary)
+import Prelude ((<$>))
 import Math as Math
 
 
@@ -50,6 +52,8 @@ instance genericUInt :: Generic UInt (Constructor "UInt" (Argument Number)) wher
   from x = Constructor (Argument (toNumber x))
   to (Constructor (Argument x)) = fromNumber x
 
+instance arbitraryUInt :: Arbitrary UInt where
+  arbitrary = fromInt <$> arbitrary
 
 
 -- | Cast an `Int` to an `UInt` turning negative `Int`s into `UInt`s

test/Main.purs

@@ -5,7 +5,7 @@ import Prelude
 import Effect (Effect)
 import Data.UInt (UInt, fromNumber)
 import Data.UInt.Gen (genUInt)
-import Test.QuickCheck.Arbitrary (class Arbitrary, arbitrary)
+import Test.QuickCheck.Arbitrary (class Arbitrary)
 import Test.QuickCheck.Laws.Data as Data
 import Type.Proxy (Proxy(..))
 
@@ -26,10 +26,10 @@ derive newtype instance euclideanRingTestUInt :: EuclideanRing TestUInt
 main :: Effect Unit
 main = do
   let prxUInt = Proxy ∷ Proxy TestUInt
-  Data.checkEqShow prxUInt
-  Data.checkOrdShow prxUInt
-  Data.checkSemiringShow prxUInt
-  Data.checkRingShow prxUInt
-  Data.checkEuclideanRingShow prxUInt
-  Data.checkBoundedShow prxUInt
-  Data.checkCommutativeRingShow prxUInt
+  Data.checkEq prxUInt
+  Data.checkOrd prxUInt
+  Data.checkSemiring prxUInt
+  Data.checkRing prxUInt
+  Data.checkEuclideanRing prxUInt
+  Data.checkBounded prxUInt
+  Data.checkCommutativeRing prxUInt