没有合适的资源?快使用搜索试试~ 我知道了~
checkers:检查标准类和数据结构的属性
共25个文件
hs:15个
md:1个
lhs:1个
需积分: 9 0 下载量 110 浏览量
2021-05-09
23:05:13
上传
评论
收藏 28KB ZIP 举报
温馨提示
checkers是一个可重用的QuickCheck属性的库,尤其是对于标准类型类(类定律和)。 Checkers还为随机生成数据值提供了很多支持(感谢Thomas Davie)。
资源推荐
资源详情
资源评论
收起资源包目录
checkers-master.zip (25个子文件)
checkers-master
.github
workflows
haskell-ci.yml 7KB
stack.yaml 246B
Setup.lhs 76B
src
Test
QuickCheck
Instances.hs 719B
Utils.hs 2KB
Classes.hs 30KB
Later.hs 3KB
Instances
Maybe.hs 181B
List.hs 2KB
Eq.hs 334B
Num.hs 719B
Ord.hs 253B
Tuple.hs 740B
Array.hs 602B
Char.hs 2KB
Bottoms.hs 1KB
Checkers.hs 18KB
Control
Monad
Extensions.hs 303B
.gitignore 232B
todo.txt 477B
Makefile 52B
README.md 279B
changes.tw 41B
checkers.cabal 2KB
COPYING 1KB
共 25 条
- 1
资源评论
普通网友
- 粉丝: 24
- 资源: 4570
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功