Fix tests

Author: paf31

.gitignore

@@ -1,3 +1,4 @@
+/.*
 /bower_components/
 /node_modules/
 /output/

README.md

@@ -13,8 +13,12 @@
 
     scc :: forall v. (Eq v, Ord v) => Graph v -> [[v]]
 
+    scc' :: forall k v. (Eq k, Ord k) => (v -> k) -> Graph v -> [[v]]
+
     topSort :: forall v. (Eq v, Ord v) => Graph v -> [v]
 
+    topSort' :: forall k v. (Eq k, Ord k) => (v -> k) -> Graph v -> [v]
+
 
 ## Module Data.Map
 

bower.json

@@ -22,7 +22,8 @@
     "package.json"
   ],
   "devDependencies": {
-    "purescript-quickcheck": "*"
+    "purescript-quickcheck": "*",
+    "purescript-arb-instances": "*"
   },
   "dependencies": {
     "purescript-arrays": "*",

tests/Tests.purs

@@ -3,18 +3,20 @@ module Tests where
 import Prelude
 import Data.Maybe
 import Data.Array
-import Test.QuickCheck
 import Debug.Trace
 import Control.Monad.Eff
 import Data.Tuple
 
+import Test.QuickCheck
+import Test.QuickCheck.Tuple
+
 import qualified Data.Map as M
 import qualified Data.Set as S
 
 import Data.Graph
 
 instance arbMap :: (Eq k, Ord k, Arbitrary k, Arbitrary v) => Arbitrary (M.Map k v) where
-  arbitrary = M.fromList <$> arbitrary
+  arbitrary = M.fromList <<< map runTestTuple <$> arbitrary
 
 instance arbSet :: (Eq a, Ord a, Arbitrary a) => Arbitrary (S.Set a) where
   arbitrary = S.fromList <$> arbitrary
@@ -42,8 +44,9 @@ main = do
   quickCheck $ \k v -> M.toList (M.singleton k v :: M.Map Number Number) == [Tuple k v]
 
   trace "testToListFromList: toList . fromList = id"
-  quickCheck $ \arr -> let f x = M.toList (M.fromList x) in
-                           f (f arr) == f (arr :: [Tuple Number Number])
+  quickCheck $ \arr -> let f x = M.toList (M.fromList x) 
+                           arr' = map runTestTuple arr
+                       in f (f arr') == f (arr' :: [Tuple Number Number])
 
   trace "testFromListToList: fromList . toList = id"
   quickCheck $ \m -> let f m = M.fromList (M.toList m) in