Test.Framework.QuickCheckWrapper
defaultArgs
getCurrentArgs
setDefaultArgs
withQCArgs
data WithQCArgs a
setReplayFromString
qcPending
assertionAsProperty
qcAssertion