The quickspec package

[Tags: bsd3, library]

QuickSpec automatically finds equational properties of 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:

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

All you have to provide is:

Consider this a pre-release. Everything is complete but undocumented :) The best place to start is the examples at There is also a paper at Everything you need should be in the module Test.QuickSpec.

If you want help, email me!

[Skip to ReadMe]


Versions0.9, 0.9.1, 0.9.2, 0.9.3, 0.9.4, 0.9.5, 0.9.6
Change logNone available
Dependenciesarray, base (<5), containers, ghc-prim, mtl, QuickCheck, random, spoon (>=0.2), transformers [details]
Copyright2009-2013 Nick Smallbone
AuthorNick Smallbone
Home page
Source repositoryhead: git clone git:// -b master
UploadedMon Sep 23 20:45:13 UTC 2013 by NickSmallbone
Downloads1421 total (15 in last 30 days)
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees

Readme for quickspec-0.9.2

cabal install and look at the examples directory.