Popularity
7.1
Growing
Activity
0.3
Growing
5
5
7
Monthly Downloads: 52
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags:
Testing
QuickCheck
Latest version: v0.2.1.0
quickcheck-arbitrary-template alternatives and similar packages
Based on the "quickcheck" category
-
quickcheck-state-machine
Test monadic programs using state machine based models -
quickcheck-instances
Common quickcheck instances -
quickcheck-arbitrary-adt
Generic typeclasses for generating arbitrary ADTs -
quickcheck-higherorder
QuickCheck extension for higher-order properties -
quickcheck-state-machine-distributed
Test monadic programs using state machine based models -
quickcheck-unicode
Generator and shrink functions for testing Unicode-related software. -
quickcheck-property-monad
A monad for generating QuickCheck properties without Arbitrary instances. -
quickcheck-io
Use HUnit assertions as QuickCheck properties -
quickcheck-with-counterexamples
Get counterexamples from QuickCheck as Haskell values -
quickcheck-combinators
Simple type-level combinators for augmenting QuickCheck instances. -
quickcheck-simple
Test properties and default-mains for QuickCheck -
quickcheck-report
Customizable reports for quickcheck properties -
tasty-quickcheck-laws
Pre-built tasty trees for checking lawful class properties using QuickCheck
Do you think we are missing an alternative of quickcheck-arbitrary-template or a related project?
README
quickcheck-arbitrary-template
Test.QuickCheck.TH.GeneratorsSpec
contains one routine:
makeArbitrary
Which builds, a generator that can be used to create an arbitrary instance.
It does not create the instance directly for you.
It supports creating sum types and record types each constructor may have at most 7 arguments.
Installation
stack build
Usage
An example (from the tests)
{-# LANGUAGE TemplateHaskell #-}
module Test.QuickCheck.TH.GeneratorsSpec (tests) where
import Test.QuickCheck.TH.Generators
import Test.Tasty
import Test.Tasty.QuickCheck as QC
import Test.Tasty.HUnit
import Data.List
import Data.Ord
-- | These example types should build arbitrary instances correctly
data ExampleSumTypes = ExampleSum0
| ExampleSum1 Int
| ExampleSum2 Int Int
| ExampleSum3 Int Int Int
| ExampleSum4 Int Int Int Int
| ExampleSum5 Int Int Int Int Int
| ExampleSum6 Int Int Int Int Int Int
| ExampleSum7 Int Int Int Int Int Int
deriving (Show,Ord,Eq)
makeArbitrary ''ExampleSumTypes
instance Arbitrary ExampleSumTypes where
arbitrary = arbitraryExampleSumTypes
tests :: TestTree
tests = testGroup "Tests" [properties]
properties :: TestTree
properties = testGroup "Properties" [qcProps]
qcProps = testGroup "(checked by QuickCheck)"
[ QC.testProperty "sort == sort . reverse" (
\list -> sort (list :: [ExampleSumTypes]) == sort (reverse list)) ]
How to run tests
stack test quickcheck-arbitrary-template