Monadoc
The latest version of quickcheck-combinators is 0.0.6-0.

quickcheck-combinators

Version 0.0.1 revision 0 uploaded by athanclark.

Package meta

Synopsis
Simple type-level combinators for augmenting QuickCheck instances.
Description

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)
    -- ...
Author
Athan Clark <athan.clark@gmail.com>
Bug reports
n/a
Category
Testing
Copyright
n/a
Homepage
n/a
Maintainer
Athan Clark <athan.clark@gmail.com>
Package URL
n/a
Stability
n/a

Components