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
|
module Test.TestUtil where
import Test.QuickCheck.Property
import Test.Tasty
import Test.Tasty.HUnit
import Test.Tasty.QuickCheck
assertFailure' :: String -> IO a
assertFailure' s = do
_ <- assertFailure s -- returns () in some versions
return undefined
assertJust :: Maybe a -> IO a
assertJust (Just a) = return a
assertJust Nothing = assertFailure' "Nothing"
class NameTest a where
nameTest :: String -> a -> TestTree
instance NameTest [TestTree] where
nameTest = testGroup
instance NameTest Assertion where
nameTest = Test.Tasty.HUnit.testCase
instance NameTest Property where
nameTest = testProperty
instance NameTest Result where
nameTest name = nameTest name . property
instance (Arbitrary a, Show a, Testable b) => NameTest (a -> b) where
nameTest name = nameTest name . property
tgroup :: (Show a, NameTest t) => [a] -> (a -> t) -> [TestTree]
tgroup aa f = fmap (\a -> nameTest (show a) $ f a) aa
|
