logo
首页技术栈工具库讨论
checkers

checkers

'Checkers' wraps up the expected properties associated with various standard type classes as QuickCheck properties. Also some morphism properties. It also provides arbitrary instances and generator combinators for common data types. © 2008-2013 by Conal Elliott; BSD3 license. Contributions from: Thomas Davie.
由 
bruceshi2021-01-13 收录
--
推荐
不推荐
更多信息
HACKAGE
carbal install checkers
查看
标签
根据用户添加的标签生成
暂无标签