Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: 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.
14 versions
Latest release: over 3 years ago
9,282 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/quickspec
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/nick8325%2Fquickspec
Dependent Repos 6
sdiehl/wiwinwlh
What I Wish I Knew When Learning Haskell- ==2.1.* src/15-testing/example.cabal
Size: 9.62 MB - Last synced: 3 months ago - Pushed: about 2 years ago
gusbicalho/haskell-musings
- * AlgebraDrivenDesign/algebra-driven-design.cabal
Size: 338 KB - Last synced: 9 days ago - Pushed: 9 days ago
tip-org/tools
- >=2 tip-spec/tip-spec.cabal
- * tip-spec/tip-spec.cabal
Size: 1.09 MB - Last synced: 4 months ago - Pushed: 4 months ago
danr/hipspec
A hip inductive theorem prover!- ==0.9.6 hipspec.cabal
Size: 7.41 MB - Last synced: 9 months ago - Pushed: over 2 years ago
taktoa/wai-middleware-preprocessor
WAI middleware for static file preprocessors- * wai-middleware-preprocessor.cabal
Size: 120 KB - Last synced: 12 days ago - Pushed: almost 9 years ago
isovector/algebra-driven-design
Source material for Algebra-Driven Design- * algebra-driven-design.cabal
Size: 102 MB - Last synced: 12 days ago - Pushed: 6 months ago
Warbo/ml4hsfe
Mirror of http://chriswarbo.net/git/ml4hsfe- <2 ML4HSFE.cabal
Size: 748 KB - Last synced: about 1 year ago - Pushed: over 5 years ago
Warbo/quickspec-measure
Mirror of http://chriswarbo.net/git/quickspec-measure- * QuickSpecMeasure.cabal
Size: 3.91 KB - Last synced: about 1 year ago - Pushed: about 8 years ago
Warbo/writing
Mirror of http://chriswarbo.net/git/writing- * Bucketing/haskell_example/haskell-example.cabal
- <2 PhDSymposium2018/QuickSpec/quickspec-example.cabal
- * TransferReport/haskell_example/haskell-example.cabal
Size: 33.2 MB - Last synced: about 1 year ago - Pushed: about 4 years ago
Innf107/fshell
- * fshell.cabal
- * fshell.cabal
Size: 396 KB - Last synced: about 1 year ago - Pushed: over 3 years ago
FranklinChen/hipspec Fork of danr/hipspec
A hip inductive theorem prover!- ==0.9.6 hipspec.cabal
Size: 8.46 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
NorfairKing/easyspec
Signature inference for Functional Property Discovery in Haskell- ==2.* easyspec/easyspec.cabal
Size: 1.18 MB - Last synced: 14 days ago - Pushed: over 6 years ago
NorfairKing/thesis
Thesis- >=2 thesis.cabal
Size: 7.15 MB - Last synced: 14 days ago - Pushed: about 6 years ago
vico7/quickspec Fork of nick8325/quickspec
Equational laws for free- * quickspec.cabal
Size: 852 KB - Last synced: about 1 year ago - Pushed: about 9 years ago