Popularity
3.2
Growing
Activity
0.0
Stable
1
3
1
Monthly Downloads: 17
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags:
Testing
QuickCheck
Latest version: v0.0.1
quickcheck-combinators alternatives and similar packages
Based on the "quickcheck" category.
Alternatively, view quickcheck-combinators alternatives based on common mentions on social networks and blogs.
-
quickcheck-state-machine
Test monadic programs using state machine based models -
quickcheck-arbitrary-adt
Typeclass for generating a list of each instance of a sum type's constructors -
quickcheck-arbitrary-template
Arbitrary QuickCheck instance generation using template haskell -
quickcheck-instances
Instances for QuickCheck classes -
quickcheck-higherorder
QuickCheck extension for higher-order properties -
quickcheck-unicode
Unicode support for QuickCheck -
quickcheck-state-machine-distributed
Test monadic programs using state machine based models -
quickcheck-io
Use HUnit assertions as QuickCheck properties -
quickcheck-property-monad
A monad for building quickcheck properties -
quickcheck-with-counterexamples
Get counterexamples out of QuickCheck as Haskell values -
quickcheck-simple
Test properties and default-mains for QuickCheck -
quickcheck-report
Customizable reports for quickcheck properties -
tasty-quickcheck-laws
Tasty trees for your lawful class instances
Clean code begins in your IDE with SonarLint
Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
Promo
www.sonarlint.org
Do you think we are missing an alternative of quickcheck-combinators or a related project?
README
quickcheck-combinators
Simply wrap the type you want to generate (assuming it satisfies all the necessary constraints) to refine the terms generated:
{-# LANGUAGE DataKinds #-}
import Data.Set (Set)
import Test.QuickCheck
import Test.QuickCheck.Instances
import GHC.TypeLits
instance Arbitrary LinearEquation where
arbitrary = do
vars <- arbitrary :: Gen (AtLeast 3 Set String)
-- ...