X-Git-Url: https://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FTests%2FCardinal.hs;h=7d4cfde00df4a1df66c621739d920a688aae3bb7;hb=3d197ab1a23d654d60617db6559daed195f1e016;hp=17860218dec1811280cabd20af5d1fc03f1bc1e8;hpb=a2cc10f44d77965b97c21ba74aa2acb302cd8fe0;p=spline3.git

diff --git a/src/Tests/Cardinal.hs b/src/Tests/Cardinal.hs
index 1786021..7d4cfde 100644
--- a/src/Tests/Cardinal.hs
+++ b/src/Tests/Cardinal.hs
@@ -1,54 +1,12 @@
 module Tests.Cardinal
 where
 
-import Control.Monad (liftM, liftM2)
 import Prelude hiding (LT)
 import Test.HUnit
-import Test.QuickCheck
+import Test.QuickCheck (Property, (==>))
 
 import Cardinal
 
-
-
-instance Arbitrary Cardinal where
-    arbitrary = oneof [f,b,l,r,d,t,fl,fr,fd,ft,bl,br,bd,bt,ld,lt,
-                       rd,rt,fld,flt,frd,frt,bld,blt,brd,brt,i,
-                       scalar,csum,cdiff,cprod,cquot]
-        where
-          f = return F
-          b = return B
-          l = return L
-          r = return R
-          d = return D
-          t = return T
-          fl = return FL
-          fr = return FR
-          fd = return FD
-          ft = return FT
-          bl = return BL
-          br = return BR
-          bd = return BD
-          bt = return BT
-          ld = return LD
-          lt = return LT
-          rd = return RD
-          rt = return RT
-          fld = return FLD
-          flt = return FLT
-          frd = return FRD
-          frt = return FRT
-          bld = return BLD
-          blt = return BLT
-          brd = return BRD
-          brt = return BRT
-          i = return I
-          scalar = liftM Scalar arbitrary
-          csum = liftM2 Sum arbitrary arbitrary
-          cdiff = liftM2 Difference arbitrary arbitrary
-          cprod = liftM2 Product arbitrary arbitrary
-          cquot = liftM2 Quotient arbitrary arbitrary
-
-
 -- | We know what (c t6 2 1 0 0) should be from Sorokina and
 --   Zeilfelder, p. 87.  This test checks that the directions are
 --   rotated properly.  The order of the letters has to be just right