bloomfilter / tests / QC.hs

The default branch has multiple heads

Diff from to

File tests/QC.hs

 module Main where
 import Control.Monad (forM_)
-import Data.BloomFilter.Easy (easyList, elemB)
+import qualified Data.BloomFilter.Easy as B
 import Data.BloomFilter.Hash (Hashable(..), hash64)
 import qualified Data.ByteString.Char8 as SB
 import qualified Data.ByteString.Lazy.Char8 as LB
 import QCSupport (P(..))
 prop_pai :: (Hashable a) => a -> a -> P -> Bool
-prop_pai _ xs (P q) = let bf = easyList q [xs] in xs `elemB` bf
+prop_pai _ xs (P q) = let bf = B.easyList q [xs] in xs `B.elem` bf
 tests :: [Test]
 tests = [