Move test to Prelude

Author: rnjtranjan

streamly.cabal

@@ -101,8 +101,7 @@ extra-source-files:
     test/Streamly/Test/Data/Array/Prim/Pinned.hs
     test/Streamly/Test/Data/Array/Foreign.hs
     test/Streamly/Test/Data/Array/Stream/Foreign.hs
-    test/Streamly/Test/Data/Parser/ParserD.hs
-    test/Streamly/Test/Data/Stream/Top.hs
+    test/Streamly/Test/Data/Parser/ParserD.hs    
     test/Streamly/Test/FileSystem/Event.hs
     test/Streamly/Test/FileSystem/Event/Common.hs
     test/Streamly/Test/FileSystem/Event/Darwin.hs

test/Streamly/Test/Data/Stream/Top.hs

@@ -1,6 +1,7 @@
-module Main (main) where
+module Main (main)
+    where
 
-import Data.List (sort)
+import Data.List (intersect, sort)
 import Test.QuickCheck
     ( Gen
     , Property
@@ -65,10 +66,26 @@ joinInnerMap =
                           ]
                 assert (v1 == v2)
 
--------------------------------------------------------------------------------
--- Main
--------------------------------------------------------------------------------
+intersectBySorted :: Property
+intersectBySorted =
+    forAll (listOf (chooseInt (min_value, max_value))) $ \ls0 ->
+        forAll (listOf (chooseInt (min_value, max_value))) $ \ls1 ->
+            monadicIO $ action (sort ls0) (sort ls1)
+
+            where
 
+            action ls0 ls1 = do
+                v1 <-
+                    run
+                    $ S.toList
+                    $ Top.intersectBySorted
+                        compare
+                        (S.fromList ls0)
+                        (S.fromList ls1)
+                let v2 = intersect ls0 ls1
+                assert (v1 == sort v2)
+
+-------------------------------------------------------------------------------
 moduleName :: String
 moduleName = "Prelude.Top"
 
@@ -79,3 +96,5 @@ main = hspec $ do
 
         prop "joinInner" Main.joinInner
         prop "joinInnerMap" Main.joinInnerMap
+        -- intersect
+        prop "intersectBySorted" Main.intersectBySorted

test/Streamly/Test/Prelude/Top.hs

@@ -434,8 +434,3 @@ test-suite version-bounds
   import: test-options
   type: exitcode-stdio-1.0
   main-is: version-bounds.hs
-
-test-suite Data.Stream.Top
-  import: test-options
-  type: exitcode-stdio-1.0
-  main-is: Streamly/Test/Data/Stream/Top.hs