Test.Framework.QuickCheckWrapper

Arguments for evaluating properties

defaultArgs

getCurrentArgs

setDefaultArgs

withQCArgs

data WithQCArgs a

setReplayFromString

Pending properties

qcPending

Auxiliary functions

assertionAsProperty

Internal functions

qcAssertion