Test.Framework.QuickCheckWrapper

This module integrates the QuickCheck library into HTF. It re-exports all functionality of QuickCheck and defines some additional functions.

Documentation

module Test.QuickCheck

Arguments for evaluating properties

defaultArgs :: Args

The Args used if not explicitly changed.

getCurrentArgs :: IO Args

Retrieve the Args currently used per default when evaluating quick check properties.

setDefaultArgs :: Args -> IO ()

Change the default Args used to evaluate quick check properties.

withQCArgs

Arguments

:: (WithQCArgs a, Testable a)

=> (Args -> Args)

Modification function for the default Args

-> a

Property

-> TestableWithQCArgs

Run a QuickCheck property with modified quick check arguments Args.

Pending properties

qcPending :: Testable t => String -> t -> t

Use qcPending msg prop to mark the given quick check property as pending without removing it from the test suite and without deleting or commenting out the property code.

Internal functions

testableAsAssertion :: (Testable t, WithQCArgs t) => t -> Assertion

Turns a QuickCheck property into an Assertion. This function is used internally in the code generated by htfpp, do not use it directly.

asTestableWithQCArgs :: (WithQCArgs a, Testable a) => a -> TestableWithQCArgs

Turns a QuickCheck property with custom Args into an Assertion. This function is used internally in the code generated by htfpp, do not use it directly.

data TestableWithQCArgs

Abstract type for representing quick check properties with custom Args. Used only internally.

Instances

Testable TestableWithQCArgs

WithQCArgs TestableWithQCArgs

class WithQCArgs a

Type class providing access to the custom Args of a quick check property. Used only internally.

Instances

WithQCArgs a

WithQCArgs TestableWithQCArgs