Rename type
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Wed, 18 Nov 2009 07:54:21 +0000 (07:54 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Wed, 18 Nov 2009 07:54:21 +0000 (07:54 +0000)
tests/Properties.hs
tests/Utilities.hs

index 90b63ea..024c516 100644 (file)
@@ -21,10 +21,10 @@ import System.Random       (Random)
  VANILLA_CONTEXT(a, v), VECTOR_CONTEXT(a, v)
 
 #define VANILLA_CONTEXT(a, v) \
-  Eq a,     Show a,     Arbitrary a,     CoArbitrary a,     TestData a,     Model a ~ a,        Pty a ~ Property
+  Eq a,     Show a,     Arbitrary a,     CoArbitrary a,     TestData a,     Model a ~ a,        EqTest a ~ Property
 
 #define VECTOR_CONTEXT(a, v) \
-  Eq (v a), Show (v a), Arbitrary (v a), CoArbitrary (v a), TestData (v a), Model (v a) ~ [a],  Pty (v a) ~ Property, V.Vector v a
+  Eq (v a), Show (v a), Arbitrary (v a), CoArbitrary (v a), TestData (v a), Model (v a) ~ [a],  EqTest (v a) ~ Property, V.Vector v a
 
 -- TODO: implement Vector equivalents of list functions for some of the commented out properties
 
index 72aef7c..3744992 100644 (file)
@@ -33,16 +33,16 @@ instance Arbitrary a => Arbitrary (S.Stream a) where
 instance CoArbitrary a => CoArbitrary (S.Stream a) where
     coarbitrary = coarbitrary . S.toList
 
-class (Testable (Pty a), Conclusion (Pty a)) => TestData a where
-  type Pty a
+class (Testable (EqTest a), Conclusion (EqTest a)) => TestData a where
+  type EqTest a
   type Model a
   model :: a -> Model a
   unmodel :: Model a -> a
 
-  equal :: a -> a -> Pty a
+  equal :: a -> a -> EqTest a
 
 instance Eq a => TestData (DV.Vector a) where
-  type Pty (DV.Vector a) = Property
+  type EqTest (DV.Vector a) = Property
   type Model (DV.Vector a) = [a]
   model = DV.toList
   unmodel = DV.fromList
@@ -50,7 +50,7 @@ instance Eq a => TestData (DV.Vector a) where
   equal x y = property (x == y)
 
 instance (Eq a, DVP.Prim a) => TestData (DVP.Vector a) where
-  type Pty (DVP.Vector a) = Property
+  type EqTest (DVP.Vector a) = Property
   type Model (DVP.Vector a) = [a]
   model = DVP.toList
   unmodel = DVP.fromList
@@ -58,7 +58,7 @@ instance (Eq a, DVP.Prim a) => TestData (DVP.Vector a) where
   equal x y = property (x == y)
 
 #define id_TestData(ty) \
-instance TestData ty where { type Pty ty = Property; type Model ty = ty; model = id; unmodel = id; equal x y = property (x == y) }
+instance TestData ty where { type EqTest ty = Property; type Model ty = ty; model = id; unmodel = id; equal x y = property (x == y) }
 
 id_TestData(Bool)
 id_TestData(Int)
@@ -69,7 +69,7 @@ id_TestData(Ordering)
 -- Functorish models
 -- All of these need UndecidableInstances although they are actually well founded. Oh well.
 instance (Eq a, TestData a) => TestData (Maybe a) where
-  type Pty (Maybe a) = Property
+  type EqTest (Maybe a) = Property
   type Model (Maybe a) = Maybe (Model a)
   model = fmap model
   unmodel = fmap unmodel
@@ -77,7 +77,7 @@ instance (Eq a, TestData a) => TestData (Maybe a) where
   equal x y = property (x == y)
 
 instance (Eq a, TestData a) => TestData [a] where
-  type Pty [a] = Property
+  type EqTest [a] = Property
   type Model [a] = [Model a]
   model = fmap model
   unmodel = fmap unmodel
@@ -85,7 +85,7 @@ instance (Eq a, TestData a) => TestData [a] where
   equal x y = property (x == y)
 
 instance (Eq a, Eq b, TestData a, TestData b) => TestData (a,b) where
-  type Pty (a,b) = Property
+  type EqTest (a,b) = Property
   type Model (a,b) = (Model a, Model b)
   model (a,b) = (model a, model b)
   unmodel (a,b) = (unmodel a, unmodel b)
@@ -93,7 +93,7 @@ instance (Eq a, Eq b, TestData a, TestData b) => TestData (a,b) where
   equal x y = property (x == y)
 
 instance (Eq a, Eq b, Eq c, TestData a, TestData b, TestData c) => TestData (a,b,c) where
-  type Pty (a,b,c) = Property
+  type EqTest (a,b,c) = Property
   type Model (a,b,c) = (Model a, Model b, Model c)
   model (a,b,c) = (model a, model b, model c)
   unmodel (a,b,c) = (unmodel a, unmodel b, unmodel c)
@@ -101,14 +101,14 @@ instance (Eq a, Eq b, Eq c, TestData a, TestData b, TestData c) => TestData (a,b
   equal x y = property (x == y)
 
 instance (Arbitrary a, Show a, TestData a, TestData b) => TestData (a -> b) where
-  type Pty (a -> b) = a -> Pty b
+  type EqTest (a -> b) = a -> EqTest b
   type Model (a -> b) = Model a -> Model b
   model f = model . f . unmodel
   unmodel f = unmodel . f . model
 
   equal f g x = equal (f x) (g x)
 
-newtype P a = P { unP :: Pty a }
+newtype P a = P { unP :: EqTest a }
 
 instance TestData a => Testable (P a) where
   property (P a) = property a
@@ -133,7 +133,7 @@ instance Conclusion p => Conclusion (a -> p) where
   predicate f p = \x -> predicate (f x) (p x)
 
 infixr 0 ===>
-(===>) :: TestData a => Predicate (Pty a) -> P a -> P a
+(===>) :: TestData a => Predicate (EqTest a) -> P a -> P a
 p ===> P a = P (predicate p a)
 
 notNull2 _ xs = not $ DVG.null xs