diff options
author | Alberto Ruiz <aruiz@um.es> | 2007-09-08 09:46:33 +0000 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2007-09-08 09:46:33 +0000 |
commit | 34380f2b5d7b048a4d68197f16a8db0e53742030 (patch) | |
tree | 444aff88cda5c247d49bac0d294d8cfb9ef7bf23 /examples | |
parent | 0c38c1b0e122a56ea98c494e60ba90afe2688664 (diff) |
type classes
Diffstat (limited to 'examples')
-rw-r--r-- | examples/tests.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/examples/tests.hs b/examples/tests.hs index 5c7cd22..7eabf87 100644 --- a/examples/tests.hs +++ b/examples/tests.hs | |||
@@ -1,3 +1,5 @@ | |||
1 | {-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances #-} | ||
2 | |||
1 | -- | 3 | -- |
2 | -- QuickCheck tests | 4 | -- QuickCheck tests |
3 | -- | 5 | -- |
@@ -19,6 +21,7 @@ import Test.QuickCheck | |||
19 | import Test.HUnit hiding ((~:)) | 21 | import Test.HUnit hiding ((~:)) |
20 | import Complex | 22 | import Complex |
21 | import LinearAlgebra.Algorithms | 23 | import LinearAlgebra.Algorithms |
24 | import LinearAlgebra.Linear | ||
22 | import GSL.Matrix | 25 | import GSL.Matrix |
23 | import GSL.Compat hiding ((<>),constant) | 26 | import GSL.Compat hiding ((<>),constant) |
24 | 27 | ||
@@ -144,7 +147,7 @@ instance (Field a, Arbitrary a) => Arbitrary (SqM a) where | |||
144 | coarbitrary = undefined | 147 | coarbitrary = undefined |
145 | 148 | ||
146 | data Sym a = Sym (Matrix a) deriving Show | 149 | data Sym a = Sym (Matrix a) deriving Show |
147 | instance (Field a, Arbitrary a, Num a) => Arbitrary (Sym a) where | 150 | instance (Linear Vector a, Arbitrary a) => Arbitrary (Sym a) where |
148 | arbitrary = do | 151 | arbitrary = do |
149 | SqM m <- arbitrary | 152 | SqM m <- arbitrary |
150 | return $ Sym (m + trans m) | 153 | return $ Sym (m + trans m) |