Test properties for all types of unboxed vector
authorMax Bolingbroke <batterseapower@hotmail.com>
Sun, 8 Feb 2009 23:16:35 +0000 (23:16 +0000)
committerMax Bolingbroke <batterseapower@hotmail.com>
Sun, 8 Feb 2009 23:16:35 +0000 (23:16 +0000)
tests/Properties.hs
tests/Utilities.hs

index f4e1faa..4edffc9 100644 (file)
@@ -211,7 +211,9 @@ testExtraFunctions _ =  [
 
 -- TODO: test non-IVector stuff?
 tests = [
-        testGroup "Data.Vector.Vector"                (testVectorType (undefined :: Data.Vector.Vector Int)),
-        testGroup "Data.Vector.Unboxed.Vector (Int)"  (testVectorType (undefined :: Data.Vector.Unboxed.Vector Int)),
-        testGroup "Data.Vector.Unboxed.Vector (Bool)" (testVectorType (undefined :: Data.Vector.Unboxed.Vector Bool))
+        testGroup "Data.Vector.Vector"                  (testVectorType (undefined :: Data.Vector.Vector Int)),
+        testGroup "Data.Vector.Unboxed.Vector (Bool)"   (testVectorType (undefined :: Data.Vector.Unboxed.Vector Bool)),
+        testGroup "Data.Vector.Unboxed.Vector (Int)"    (testVectorType (undefined :: Data.Vector.Unboxed.Vector Int)),
+        testGroup "Data.Vector.Unboxed.Vector (Float)"  (testVectorType (undefined :: Data.Vector.Unboxed.Vector Float)),
+        testGroup "Data.Vector.Unboxed.Vector (Double)" (testVectorType (undefined :: Data.Vector.Unboxed.Vector Double))
     ]
\ No newline at end of file
index 83490db..31c2f93 100644 (file)
@@ -39,6 +39,8 @@ instance DVUU.Unbox a => Model (DVU.Vector a) [a] where model = DVU.toList
 -- Identity models
 instance Model Bool     Bool     where model = id
 instance Model Int      Int      where model = id
+instance Model Float    Float    where model = id
+instance Model Double   Double   where model = id
 instance Model Ordering Ordering where model = id
 
 -- Functorish models