1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
{-# LANGUAGE RankNTypes #-}
module Main where
import Test.Tasty (defaultMain, testGroup)
------------------------------------------------------------------------------
import qualified Data.HashTable.Test.Common as Common
import qualified Data.HashTable.ST.Basic as B
import qualified Data.HashTable.ST.Cuckoo as C
import qualified Data.HashTable.ST.Linear as L
import qualified Data.HashTable.IO as IO
------------------------------------------------------------------------------
main :: IO ()
main = defaultMain $ testGroup "All" tests
where
dummyBasicTable = Common.dummyTable
:: forall k v . IO.IOHashTable (B.HashTable) k v
dummyCuckooTable = Common.dummyTable
:: forall k v . IO.IOHashTable (C.HashTable) k v
dummyLinearTable = Common.dummyTable
:: forall k v . IO.IOHashTable (L.HashTable) k v
basicTests = Common.tests "basic" dummyBasicTable
cuckooTests = Common.tests "cuckoo" dummyCuckooTable
linearTests = Common.tests "linear" dummyLinearTable
tests = [basicTests, linearTests, cuckooTests]
|
