没有合适的资源?快使用搜索试试~ 我知道了~
doctest-prop:允许在 doctest 中进行 QuickCheck 风格的属性测试
共6个文件
hs:2个
license:1个
md:1个
需积分: 9 0 下载量 171 浏览量
2021-06-08
07:31:48
上传
评论
收藏 4KB ZIP 举报
温馨提示
doctest-prop 现在上游包已经集成了对支持,这个包已经完成了它的角色并且被弃用了。 请使用 doctest 中的。 这个包曾经是什么 这个包允许你在 doctest 中编写 QuickCheck 属性,使用在测试成功时保持沉默的函数,否则打印出测试输出。 要享受 Haskell 中的行为驱动开发,首先导入Test.DocTest.Prop ,并使用prop 、 propWith和unit编写就地测试,如下所示。 import Test.DocTest.Prop prop $ \x -> x*2 == x+x prop ((<2> Bool) propWith (quietArgs{maxSize=3}) $ (<10).length assert $ 1+1==2
资源推荐
资源详情
资源评论
收起资源包目录
doctest-prop-master.zip (6个子文件)
doctest-prop-master
src
Test
DocTest
Prop.hs 1KB
doctest-prop.cabal 2KB
LICENSE 1KB
test
main.hs 64B
README.md 895B
.gitignore 38B
共 6 条
- 1
资源评论
JinTommy
- 粉丝: 41
- 资源: 4550
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 【企业文化分析模型-1】克拉克洪—斯托特柏克构架.docx
- 【企业文化分析模型-7】郑伯埙的VOCS量表.docx
- 【企业文化分析模型-3】弗恩斯·特朗皮纳斯的组织文化模型.docx
- 【企业文化分析模型-2】霍夫斯泰德的组织文化模型.docx
- 【范文】企业文化管理制度2.docx
- 【学习】如何创建学习型组织2.ppt
- 《华为的企业文化》-27页.ppt
- 【案例分析】惠普—康柏企业文化整合方案-29页 英文.ppt
- 【案例分析】沃尔玛的企业文化.ppt
- 【培训课件】华夏基石—企业文化落地与传播-68页.ppt
- 【培训课件】联想核心价值观培训(2006年)-75页.ppt
- 惠普-文化尽职调查研究-29页 英文版本.PPT
- 【培训课件】企業文化---培訓教材.ppt
- 前端技术实现圣诞树与飘雪花特效
- 【培训课件】中兴通讯-企业文化建设方案-42页.ppt
- 《白沙企业文化大纲》-21页.doc
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功