Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Framework.QuickCheckWrapper

Contents

Arguments for evaluating properties
Pending properties
Auxiliary functions
Internal functions

Description

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

Synopsis

module Test.QuickCheck
defaultArgs :: Args
getCurrentArgs :: IO Args
setDefaultArgs :: Args -> IO ()
withQCArgs :: Testable a => (Args -> Args) -> a -> WithQCArgs a
data WithQCArgs a
setReplayFromString :: Args -> String -> Args
class QCAssertion a
qcPending :: Testable t => String -> t -> t
assertionAsProperty :: IO () -> Property
qcAssertion :: QCAssertion t => t -> Assertion

Documentation

module Test.QuickCheck

Arguments for evaluating properties

defaultArgs :: Args Source #

The Args used if not explicitly changed.

getCurrentArgs :: IO Args Source #

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

setDefaultArgs :: Args -> IO () Source #

Change the default Args used to evaluate quick check properties.

withQCArgs Source #

Arguments

:: Testable a
=> (Args -> Args)	Modification function for the default `Args`
-> a	Property
-> WithQCArgs a

Run a QuickCheck property with modified quick check arguments Args.

data WithQCArgs a Source #

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

Instances

Instances details

Testable a => QCAssertion (WithQCArgs a) Source #
Instance details Defined in Test.Framework.QuickCheckWrapper Methods argsModifier :: WithQCArgs a -> Args -> Args testable :: WithQCArgs a -> AnyTestable

setReplayFromString :: Args -> String -> Args Source #

Sets the replay parameter of the Args datatype by parsing the given string.

class QCAssertion a Source #

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

Minimal complete definition

argsModifier, testable

Instances

Instances details

Testable a => QCAssertion a Source #
Instance details Defined in Test.Framework.QuickCheckWrapper Methods argsModifier :: a -> Args -> Args testable :: a -> AnyTestable
Testable a => QCAssertion (WithQCArgs a) Source #
Instance details Defined in Test.Framework.QuickCheckWrapper Methods argsModifier :: WithQCArgs a -> Args -> Args testable :: WithQCArgs a -> AnyTestable

Pending properties

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

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.

Auxiliary functions

assertionAsProperty :: IO () -> Property Source #

Internal functions

qcAssertion :: QCAssertion t => t -> Assertion Source #

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