Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : quickspec
QuickSpec takes your Haskell code and, as if by magic, discovers laws about it. You give QuickSpec a collection of Haskell functions; QuickSpec tests your functions with QuickCheck and prints out laws which seem to hold. For example, give QuickSpec the functions reverse, ++ and [], and it will find six laws: QuickSpec can find equational laws as well as conditional equations. All you need to supply are the functions to test, as well as Ord and Arbitrary instances for QuickSpec to use in testing; the rest is automatic. For information on how to use QuickSpec, see the documentation in the main module, QuickSpec. You can also look in the examples directory, for example at Lists.hs, IntSet.hs, or Parsing.hs. To read about how QuickSpec works, see our paper, Quick specifications for the busy programmer.
Registry
-
Source
- JSON
purl: pkg:hackage/quickspec
Keywords: bsd3, library, testing
License: BSD-3-Clause
Latest release: over 3 years ago
First release: about 11 years ago
Dependent repositories: 6
Downloads: 9,527 total
Stars: 247 on GitHub
Forks: 24 on GitHub
Total Commits: 1320
Committers: 12
Average commits per author: 110.0
Development Distribution Score (DDS): 0.398
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 18 days ago