Add a few more laws to be tested

IntersectMBO · Jan 23, 2024 · 80cfc23 · 80cfc23
1 parent 631456e
commit 80cfc23
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 5 deletions.
diff --git a/libs/cardano-data/cardano-data.cabal b/libs/cardano-data/cardano-data.cabal
@@ -91,5 +91,5 @@ test-suite cardano-data-tests
         cardano-ledger-binary:{cardano-ledger-binary, testlib},
         testlib,
         QuickCheck,
-        quickcheck-classes-base,
+        quickcheck-classes,
         microlens
diff --git a/libs/cardano-data/test/Test/Cardano/Data/OMap/StrictSpec.hs b/libs/cardano-data/test/Test/Cardano/Data/OMap/StrictSpec.hs
@@ -19,7 +19,7 @@ import Test.Hspec
 import Test.Hspec.QuickCheck
 import Test.QuickCheck (Arbitrary)
 import Test.QuickCheck.Arbitrary (Arbitrary (arbitrary))
-import Test.QuickCheck.Classes.Base
+import Test.QuickCheck.Classes
 import Prelude hiding (elem, filter, lookup, null)
 
 spec :: Spec
@@ -148,10 +148,12 @@ spec =
       it "Type" $
         lawsCheckOne
           (Proxy :: Proxy (OMap Int Int))
-          [ isListLaws
+          [ eqLaws
+          , isListLaws
           , semigroupLaws
           , monoidLaws
           , semigroupMonoidLaws
+          , commutativeMonoidLaws
           ]
 
 instance HasOKey Int Int where

diff --git a/libs/cardano-data/test/Test/Cardano/Data/OSet/StrictSpec.hs b/libs/cardano-data/test/Test/Cardano/Data/OSet/StrictSpec.hs
@@ -16,7 +16,7 @@ import Test.Cardano.Data.Arbitrary ()
 import Test.Cardano.Ledger.Binary.RoundTrip (cborTrip, embedTripSpec, roundTripCborSpec)
 import Test.Hspec
 import Test.Hspec.QuickCheck
-import Test.QuickCheck.Classes.Base
+import Test.QuickCheck.Classes
 
 spec :: Spec
 spec =
@@ -95,8 +95,11 @@ spec =
       it "Type" $
         lawsCheckOne
           (Proxy :: Proxy (OSet Int))
-          [ isListLaws
+          [ eqLaws
+          , ordLaws
+          , isListLaws
           , semigroupLaws
           , monoidLaws
           , semigroupMonoidLaws
+          , commutativeMonoidLaws
           ]