---------------------------------------------------------------
-- List all the tests to run for each type

bagTests bag = TestLabel ("Bag test "++(instanceName bag)) . TestList $
   [ qcTest $ prop_single bag
   , qcTest $ prop_fromSeq bag
   , qcTest $ prop_insert bag
   , qcTest $ prop_insertSeq bag
   , qcTest $ prop_union bag
   , qcTest $ prop_unionSeq bag
   , qcTest $ prop_delete bag
   , qcTest $ prop_deleteAll bag
   , qcTest $ prop_deleteSeq bag
   , qcTest $ prop_null_size bag         -- 10
   , qcTest $ prop_member_count bag
   , qcTest $ prop_toSeq bag
   , qcTest $ prop_lookup bag
   , qcTest $ prop_fold bag
   , qcTest $ prop_strict_fold bag
   , qcTest $ prop_filter_partition bag
   , qcTest $ prop_deleteMin_Max bag
   , qcTest $ prop_unsafeInsertMin_Max bag
   , qcTest $ prop_unsafeFromOrdSeq bag
   , qcTest $ prop_filter bag            -- 20
   , qcTest $ prop_partition bag
   , qcTest $ prop_minView_maxView bag
   , qcTest $ prop_minElem_maxElem bag
   , qcTest $ prop_foldr_foldl bag
   , qcTest $ prop_strict_foldr_foldl bag
   , qcTest $ prop_foldr1_foldl1 bag
   , qcTest $ prop_strict_foldr1_foldl1 bag
   , qcTest $ prop_toOrdSeq bag
   , qcTest $ prop_unsafeAppend bag
   , qcTest $ prop_unsafeMapMonotonic bag -- 30
   , qcTest $ prop_read_show bag
   , qcTest $ prop_strict bag
   ]
bagTests bag = TestLabel ("Bag test "++(instanceName bag)) . TestList $
   [ qcTest $ prop_single bag
   , qcTest $ prop_fromSeq bag
   , qcTest $ prop_insert bag
   , qcTest $ prop_insertSeq bag
   , qcTest $ prop_union bag
   , qcTest $ prop_unionSeq bag
   , qcTest $ prop_delete bag
   , qcTest $ prop_deleteAll bag
   , qcTest $ prop_deleteSeq bag
   , qcTest $ prop_null_size bag         -- 10
   , qcTest $ prop_member_count bag
   , qcTest $ prop_toSeq bag
   , qcTest $ prop_lookup bag
   , qcTest $ prop_fold bag
   , qcTest $ prop_strict_fold bag
   , qcTest $ prop_filter_partition bag
   , qcTest $ prop_deleteMin_Max bag
   , qcTest $ prop_unsafeInsertMin_Max bag
   , qcTest $ prop_unsafeFromOrdSeq bag
   , qcTest $ prop_filter bag            -- 20
   , qcTest $ prop_partition bag
   , qcTest $ prop_minView_maxView bag
   , qcTest $ prop_minElem_maxElem bag
   , qcTest $ prop_foldr_foldl bag
   , qcTest $ prop_strict_foldr_foldl bag
   , qcTest $ prop_foldr1_foldl1 bag
   , qcTest $ prop_strict_foldr1_foldl1 bag
   , qcTest $ prop_toOrdSeq bag
   , qcTest $ prop_unsafeAppend bag
   , qcTest $ prop_unsafeMapMonotonic bag -- 30
   , qcTest $ prop_read_show bag
   , qcTest $ prop_strict bag
   ]
bagTests bag = TestLabel ("Bag test "++(instanceName bag)) . TestList $
   [ qcTest $ prop_single bag
   , qcTest $ prop_fromSeq bag
   , qcTest $ prop_insert bag
   , qcTest $ prop_insertSeq bag
   , qcTest $ prop_union bag
   , qcTest $ prop_unionSeq bag
   , qcTest $ prop_delete bag
   , qcTest $ prop_deleteAll bag
   , qcTest $ prop_deleteSeq bag
   , qcTest $ prop_null_size bag         -- 10
   , qcTest $ prop_member_count bag
   , qcTest $ prop_toSeq bag
   , qcTest $ prop_lookup bag
   , qcTest $ prop_fold bag
   , qcTest $ prop_strict_fold bag
   , qcTest $ prop_filter_partition bag
   , qcTest $ prop_deleteMin_Max bag
   , qcTest $ prop_unsafeInsertMin_Max bag
   , qcTest $ prop_unsafeFromOrdSeq bag
   , qcTest $ prop_filter bag            -- 20
   , qcTest $ prop_partition bag
   , qcTest $ prop_minView_maxView bag
   , qcTest $ prop_minElem_maxElem bag
   , qcTest $ prop_foldr_foldl bag
   , qcTest $ prop_strict_foldr_foldl bag
   , qcTest $ prop_foldr1_foldl1 bag
   , qcTest $ prop_strict_foldr1_foldl1 bag
   , qcTest $ prop_toOrdSeq bag
   , qcTest $ prop_unsafeAppend bag
   , qcTest $ prop_unsafeMapMonotonic bag -- 30
   , qcTest $ prop_read_show bag
   , qcTest $ prop_strict bag
   ]