wip

haskellari · Jul 29, 2024 · cb862d3 · cb862d3
1 parent b0fa22e
commit cb862d3
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/strict-containers/tests/Tests/Vector/Boxed.hs b/strict-containers/tests/Tests/Vector/Boxed.hs
@@ -1,15 +1,22 @@
 {-# LANGUAGE ConstraintKinds #-}
 module Tests.Vector.Boxed (tests) where
 
+import Test.QuickCheck.Property (Property)
 import Test.Tasty
 import qualified Data.Strict.Vector
 import Tests.Vector.Property
 
 import GHC.Exts (inline)
+import Utilities (EqTest, Model)
 
 
 testGeneralBoxedVector
-  :: forall a. (CommonContext a Data.Strict.Vector.Vector, Ord a, Data a)
+  :: forall a. (CommonContext a Data.Strict.Vector.Vector, Ord a, Data a
+        , Model (Data.Strict.Vector.Vector Int) ~ [Int]
+        , EqTest (Data.Strict.Vector.Vector Int) ~ Property
+        , Model (Data.Strict.Vector.Vector (a, a)) ~ [(a, a)]
+        , Model (Data.Strict.Vector.Vector (a, a, a)) ~ [(a, a, a)]
+        )
   => Data.Strict.Vector.Vector a -> [TestTree]
 testGeneralBoxedVector dummy = concatMap ($ dummy)
   [