快速检查任意模板

测试。快速检查。TH.发电机规范

包含一个例程：make任意

它构建了一个可用于创建任意实例的生成器。

它不会直接为您创建实例。

它支持创建总和类型和记录类型每个构造函数最多可以有7个参数。

安装

堆栈构建

用法

示例（来自测试）

｛-#语言模板Haskell#-｝模块测试。快速检查。TH.GeneratorsSpec（测试），其中导入测试。快速检查。TH.发电机导入测试。美味的导入测试。美味的。作为QC快速检查导入测试。美味的。HUnit公司导入数据。列表导入数据。订单--|这些示例类型应正确构建任意实例data ExampleSumTypes=ExampleSam0|示例Sum1 Int|示例Sum2 Int Int|示例Sum3 Int Int|示例Sum4 Int Int Int-Int|示例Sum5 Int Int Int Int|示例Sum6 Int Int Int-Int|示例Sum7 Int Int Int Int Int Int Int Int Int推导（Show、Ord、Eq）makeArbitrary“”示例SumTypes实例任意ExampleSumTypes，其中任意=任意ExampleSumTypes测试：：TestTreetests=testGroup“测试”[属性]属性：：TestTree属性=testGroup“属性”[qcProps]qcProps=testGroup“（由QuickCheck检查）”[QC.testProperty“sort==sort.revese”(\列表->排序（列表：：[ExampleSumTypes]）==排序（反向列表）]

如何运行测试

堆栈测试快速检查任意模板