Haskell检查文件中的所有属性
示例
quickCheckAll是Haskell模板帮助程序，可在当前文件中查找名称以其开头的所有定义prop_并进行测试。
{-# LANGUAGE TemplateHaskell #-}
importTest.QuickCheck(quickCheckAll)
importData.List(sort)
idempotent :: Eq a => (a -> a) -> a -> Bool
idempotent f x = f (f x) == f x
prop_sortIdempotent = idempotent sort
-- does not begin with prop_, will not be picked up by the test runner
sortDoesNotChangeLength xs = length (sort xs) == length xs
return []
main = $quickCheckAll请注意，该return[]行是必需的。它使文本在该行上方的定义对TemplateHaskell可见。
$ runhaskell QuickCheckAllExample.hs === prop_sortIdempotent from tree.hs:7 === +++ OK, passed 100 tests.
热门推荐
1 泰迪狗狗如何训练
3 狗狗训练图
5 狗狗训练方法
6 训练狗狗不咬人
8 敏捷训练狗狗
10 训练狗狗吃饭
11 泰迪狗狗训练
12 狗狗从多大开始训练
13 狗狗训练学校费用
14 怎么去训练狗狗
15 狗狗训练狗狗
16 狗狗训练教程
17 训练狗狗装死
18 泰迪狗狗的训练方法