测试框架-th包含两个有趣的函数：默认主发电机和测试组生成器.
默认主发电机将提取模块中以case_、prop_或test_in开头的所有函数，并将它们放在testGroup中。
--文件SomeModule.hs（-#LANGUAGE模板Haskell#-）模块SomeModule，其中导入测试。框架.TH导入测试。框架导入测试。HUnit公司导入测试。框架提供商。HUnit公司导入测试。框架.提供者。快速检查2--注意这条线！main=$（默认MainGenerator）case_1=做1@=？1案例2=做2@=？2prop_reverse xs=反向（反向xs）==xs其中types=xs:：[Int]
与
--文件SomeModule.hs（-#LANGUAGE模板Haskell#-）模块SomeModule，其中导入测试。框架.TH导入测试。框架导入测试。HUnit公司导入测试。框架.提供者。HUnit公司导入测试。框架.提供者。快速检查2--注意这条线！主要=默认Main[testGroup“SomeModule”[testCase“1”case_1，testCase“2”case_，testProperty“reverse”prop_reverse]]case_1=做1@=？1案例2=做2@=？2prop_reverse xs=反向（反向xs）==xs其中types=xs:：[Int]
测试组生成器就像是默认主发电机但没有默认Main。如果您需要用于测试组的函数，它很有用（例如，如果您希望能够从另一个模块调用测试组）。
