The quickcheck-combinators package

[Tags:bsd3, library]

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)
    -- ...


Versions 0.0.0, 0.0.1
Change log
Dependencies base (>=4.8 && <5), QuickCheck, unfoldable-restricted (>=0.0.1) [details]
License BSD3
Author Athan Clark <>
Maintainer Athan Clark <>
Stability Unknown
Category Testing
Source repository head: git clone
Uploaded Sat Jul 16 01:18:51 UTC 2016 by athanclark
Distributions NixOS:0.0.1
Downloads 95 total (6 in the last 30 days)
0 []
Status Docs available [build log]
Last success reported on 2016-07-16 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees