BSD3 licensed by Athan Clark
Maintained by athan.clark@localcooking.com

Module documentation for 0.0.1

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

Changes

Revision history for dnf

0.0.0 – 2016-04-08

  • First version. Released on an unsuspecting world.

0.0.1 – 2016-06-18

  • Added changelog (which you are now reading).
  • Added instances of AtLeast, AtMost, and Between for OrderedList.
  • Removed some redundant constraints.
Depends on 3 packages:
Used by 1 package:
comments powered byDisqus