声明属性

最简单的是,属性是一个返回 Bool 的函数。

prop_reverseDoesNotChangeLength xs = length (reverse xs) == length xs

属性声明程序的高级不变量。QuickCheck 测试运行器将使用 100 个随机输入评估该功能,并检查结果是否始终为 True

按照惯例,属性函数的名称以 prop_ 开头。