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
33
34
35
36
|
import Test.Tasty
import Test.Tasty.Ingredients
import Test.Tasty.Runners.AntXML
import qualified Test.Context
import qualified Test.Fin
import qualified Test.FinMap
import qualified Test.List
import qualified Test.NatRepr
import qualified Test.Some
import qualified Test.SymbolRepr
import qualified Test.TH
import qualified Test.Vector
main :: IO ()
main = tests >>= defaultMainWithIngredients ingrs
ingrs :: [Ingredient]
ingrs =
[ antXMLRunner
]
++
defaultIngredients
tests :: IO TestTree
tests = testGroup "ParameterizedUtils" <$> sequence
[ Test.Context.contextTests
, pure Test.List.tests
, Test.Fin.finTests
, Test.FinMap.finMapTests
, Test.NatRepr.natTests
, Test.Some.someTests
, Test.SymbolRepr.symbolTests
, Test.TH.thTests
, Test.Vector.vecTests
]
|
