The quickspec package

[Tags: bsd3, library]

QuickSpec automatically finds equational laws about your program.

Give it an API, i.e. a collection of functions, and it will spit out equations about those functions. For example, given reverse, ++ and [], QuickSpec finds six laws, which are exactly the ones you might write by hand:

 xs++[] == xs
 []++xs == xs
 (xs++ys)++zs == xs++(ys++zs)
 reverse [] == []
 reverse (reverse xs) == xs
 reverse xs++reverse ys == reverse (ys++xs)

The laws that QuickSpec generates are not proved correct, but have passed at least 200 QuickCheck tests.

For more information, see the README file at https:github.comnick8325quickspecblobmaster/README.asciidoc.


Properties

Versions0.9, 0.9.1, 0.9.2, 0.9.3, 0.9.4, 0.9.5, 0.9.6
Dependenciesarray, base (<5), containers, ghc-prim, QuickCheck (>=2.7), random, spoon (>=0.2), transformers
LicenseBSD3
Copyright2009-2013 Nick Smallbone
AuthorNick Smallbone
Maintainernicsma@chalmers.se
CategoryTesting
Home pagehttps://github.com/nick8325/quickspec
Source repositoryhead: git clone git://github.com/nick8325/quickspec.git -b master
UploadedTue Aug 26 11:35:30 UTC 2014 by NickSmallbone
Downloads707 total (45 in last 30 days)
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees