HTF-0.13.1.0: The Haskell Test Framework

Safe HaskellNone
LanguageHaskell2010

Test.Framework.QuickCheckWrapper

Contents

Description

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

Synopsis

Documentation

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

:: 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 #

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

setReplayFromString :: Args -> String -> Args #

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

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.

Auxiliary functions

Internal functions

qcAssertion :: QCAssertion 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.