quickspec alternatives and similar packages
Based on the "Testing" category.
Alternatively, view quickspec alternatives based on common mentions on social networks and blogs.
-
hedgehog
Release with confidence, state-of-the-art property testing for Haskell. -
-
quickcheck-state-machine
Test monadic programs using state machine based models -
curl-runnings
A declarative test framework for quickly and easily writing integration tests against JSON API's. -
smallcheck
Test your Haskell code by exhaustively checking its properties -
-
ghc-prof-flamegraph
Generates data to be used with flamegraph.pl from .prof files. -
-
-
monad-mock
A Haskell package that provides a monad transformer for mocking mtl-style typeclasses -
fuzzcheck
A library for testing monadic code in the spirit of QuickCheck -
test-framework
Framework for running and organising QuickCheck test properties and HUnit test cases -
-
-
-
tasty-hedgehog
Tasty integration for the Hedgehog property testing library -
hspec-expectations-json
Hspec expectations on JSON Values -
should-not-typecheck
A HUnit/hspec assertion to verify that an expression does not typecheck -
quickcheck-arbitrary-adt
Typeclass for generating a list of each instance of a sum type's constructors -
hspec-golden-aeson
Use tests to monitor changes in Aeson serialization -
-
-
test-framework-th
Automagically (using Template Haskell) generates the Haskell-code you need when using HUnit -
-
tasty-rerun
Rerun previous test suite runs to run only failing tests -
tasty-expected-failure
Mark test cases as expected-failure -
markov-chain-usage-model
Computations for Markov chain usage models -
test-framework-sandbox
test-sandbox support for the test-framework package
Static code analysis for 29 languages.
Do you think we are missing an alternative of quickspec or a related project?
|
Access the most powerful time series database as a service
sponsored
www.influxdata.com
|
Popular Comparisons
-
quickspecvsQuickCheck
-
quickspecvstasty
-
quickspecvshspec
-
quickspecvssunlight
-
quickspecvsspeculate
|
SaaSHub - Software Alternatives and Reviews
sponsored
www.saashub.com
|
README
QuickSpec: equational laws for free!
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:
reverse [] == []
xs ++ [] == xs
[] ++ xs == xs
reverse (reverse xs) == xs
(xs ++ ys) ++ zs == xs ++ (ys ++ zs)
reverse xs ++ reverse ys == reverse (ys ++ xs)
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.
You can also look in the examples directory, for example at
List.hs, IntSet.hs, or Parsing.hs. To read about how QuickSpec works, see
our paper, Quick specifications for the busy programmer.