Adapt tests to new library structure
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Tue, 17 Nov 2009 23:22:47 +0000 (23:22 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Tue, 17 Nov 2009 23:22:47 +0000 (23:22 +0000)
tests/Properties.hs
tests/Utilities.hs

index fa123aa..75cf2db 100644 (file)
@@ -3,9 +3,9 @@ module Properties (tests) where
 import Boilerplater
 import Utilities
 
 import Boilerplater
 import Utilities
 
-import qualified Data.Vector.IVector as V
+import qualified Data.Vector.Generic as V
 import qualified Data.Vector
 import qualified Data.Vector
-import qualified Data.Vector.Unboxed
+import qualified Data.Vector.Primitive
 import qualified Data.Vector.Fusion.Stream as S
 
 import Test.QuickCheck
 import qualified Data.Vector.Fusion.Stream as S
 
 import Test.QuickCheck
@@ -23,7 +23,7 @@ import Data.List           (foldl', foldl1', unfoldr, find, findIndex)
   Eq a,     Show a,     Arbitrary a,     Model a a
 
 #define VECTOR_CONTEXT(a, v) \
   Eq a,     Show a,     Arbitrary a,     Model a a
 
 #define VECTOR_CONTEXT(a, v) \
-  Eq (v a), Show (v a), Arbitrary (v a), Model (v a) [a], V.IVector v a
+  Eq (v a), Show (v a), Arbitrary (v a), Model (v a) [a], V.Vector v a
 
 
 -- TODO: implement Vector equivalents of list functions for some of the commented out properties
 
 
 -- TODO: implement Vector equivalents of list functions for some of the commented out properties
@@ -215,21 +215,20 @@ testGeneralBoxedVector dummy = concatMap ($ dummy) [
 testBoolBoxedVector dummy = testGeneralBoxedVector dummy ++ testBoolFunctions dummy
 testNumericBoxedVector dummy = testGeneralBoxedVector dummy ++ testNumFunctions dummy
 
 testBoolBoxedVector dummy = testGeneralBoxedVector dummy ++ testBoolFunctions dummy
 testNumericBoxedVector dummy = testGeneralBoxedVector dummy ++ testNumFunctions dummy
 
-testGeneralUnboxedVector dummy = concatMap ($ dummy) [
+testGeneralPrimitiveVector dummy = concatMap ($ dummy) [
         testSanity,
         testPolymorphicFunctions,
         testOrdFunctions,
         testEnumFunctions
     ]
 
         testSanity,
         testPolymorphicFunctions,
         testOrdFunctions,
         testEnumFunctions
     ]
 
-testBoolUnboxedVector dummy = testGeneralUnboxedVector dummy ++ testBoolFunctions dummy
-testNumericUnboxedVector dummy = testGeneralUnboxedVector dummy ++ testNumFunctions dummy
+testBoolPrimitiveVector dummy = testGeneralPrimitiveVector dummy ++ testBoolFunctions dummy
+testNumericPrimitiveVector dummy = testGeneralPrimitiveVector dummy ++ testNumFunctions dummy
 
 tests = [
         testGroup "Data.Vector.Vector (Bool)"           (testBoolBoxedVector      (undefined :: Data.Vector.Vector Bool)),
         testGroup "Data.Vector.Vector (Int)"            (testNumericBoxedVector   (undefined :: Data.Vector.Vector Int)),
 
 tests = [
         testGroup "Data.Vector.Vector (Bool)"           (testBoolBoxedVector      (undefined :: Data.Vector.Vector Bool)),
         testGroup "Data.Vector.Vector (Int)"            (testNumericBoxedVector   (undefined :: Data.Vector.Vector Int)),
-        testGroup "Data.Vector.Unboxed.Vector (Bool)"   (testBoolUnboxedVector    (undefined :: Data.Vector.Unboxed.Vector Bool)),
-        testGroup "Data.Vector.Unboxed.Vector (Int)"    (testNumericUnboxedVector (undefined :: Data.Vector.Unboxed.Vector Int)),
-        testGroup "Data.Vector.Unboxed.Vector (Float)"  (testNumericUnboxedVector (undefined :: Data.Vector.Unboxed.Vector Float)),
-        testGroup "Data.Vector.Unboxed.Vector (Double)" (testNumericUnboxedVector (undefined :: Data.Vector.Unboxed.Vector Double))
-    ]
\ No newline at end of file
+        testGroup "Data.Vector.Primitive.Vector (Int)"    (testNumericPrimitiveVector (undefined :: Data.Vector.Primitive.Vector Int)),
+        testGroup "Data.Vector.Primitive.Vector (Float)"  (testNumericPrimitiveVector (undefined :: Data.Vector.Primitive.Vector Float)),
+        testGroup "Data.Vector.Primitive.Vector (Double)" (testNumericPrimitiveVector (undefined :: Data.Vector.Primitive.Vector Double))
+    ]
index bdccf19..cec38da 100644 (file)
@@ -3,9 +3,8 @@ module Utilities where
 import Test.QuickCheck
 
 import qualified Data.Vector as DV
 import Test.QuickCheck
 
 import qualified Data.Vector as DV
-import qualified Data.Vector.IVector as DVI
-import qualified Data.Vector.Unboxed as DVU
-import qualified Data.Vector.Unboxed.Unbox as DVUU
+import qualified Data.Vector.Generic as DVG
+import qualified Data.Vector.Primitive as DVP
 import qualified Data.Vector.Fusion.Stream as S
 
 
 import qualified Data.Vector.Fusion.Stream as S
 
 
@@ -17,9 +16,9 @@ instance Arbitrary a => Arbitrary (DV.Vector a) where
     arbitrary = fmap DV.fromList arbitrary
     coarbitrary = coarbitrary . DV.toList
 
     arbitrary = fmap DV.fromList arbitrary
     coarbitrary = coarbitrary . DV.toList
 
-instance (Arbitrary a, DVUU.Unbox a) => Arbitrary (DVU.Vector a) where
-    arbitrary = fmap DVU.fromList arbitrary
-    coarbitrary = coarbitrary . DVU.toList
+instance (Arbitrary a, DVP.Prim a) => Arbitrary (DVP.Vector a) where
+    arbitrary = fmap DVP.fromList arbitrary
+    coarbitrary = coarbitrary . DVP.toList
 
 instance Arbitrary a => Arbitrary (S.Stream a) where
     arbitrary = fmap S.fromList arbitrary
 
 instance Arbitrary a => Arbitrary (S.Stream a) where
     arbitrary = fmap S.fromList arbitrary
@@ -31,8 +30,8 @@ class Model a b | a -> b where
   model :: a -> b
 
 -- The meat of the models
   model :: a -> b
 
 -- The meat of the models
-instance                 Model (DV.Vector a)  [a] where model = DV.toList
-instance DVUU.Unbox a => Model (DVU.Vector a) [a] where model = DVU.toList
+instance               Model (DV.Vector a)  [a] where model = DV.toList
+instance DVP.Prim a => Model (DVP.Vector a) [a] where model = DVP.toList
 
 -- Identity models
 instance Model Bool     Bool     where model = id
 
 -- Identity models
 instance Model Bool     Bool     where model = id
@@ -55,7 +54,7 @@ eq2 f g = \a b     -> model (f a b)     == g (model a) (model b)
 eq3 f g = \a b c   -> model (f a b c)   == g (model a) (model b) (model c)
 eq4 f g = \a b c d -> model (f a b c d) == g (model a) (model b) (model c) (model d)
 
 eq3 f g = \a b c   -> model (f a b c)   == g (model a) (model b) (model c)
 eq4 f g = \a b c d -> model (f a b c d) == g (model a) (model b) (model c) (model d)
 
-eqNotNull1 f g = \a       -> (not (DVI.null a)) ==> eq1 f g a
-eqNotNull2 f g = \a b     -> (not (DVI.null b)) ==> eq2 f g a b
-eqNotNull3 f g = \a b c   -> (not (DVI.null c)) ==> eq3 f g a b c
-eqNotNull4 f g = \a b c d -> (not (DVI.null d)) ==> eq4 f g a b c d
+eqNotNull1 f g = \a       -> (not (DVG.null a)) ==> eq1 f g a
+eqNotNull2 f g = \a b     -> (not (DVG.null b)) ==> eq2 f g a b
+eqNotNull3 f g = \a b c   -> (not (DVG.null c)) ==> eq3 f g a b c
+eqNotNull4 f g = \a b c d -> (not (DVG.null d)) ==> eq4 f g a b c d