quickspec-2: Equational laws for free!

Index

:-QuickSpec
AQuickSpec
ArbitraryQuickSpec
BQuickSpec
backgroundQuickSpec
CQuickSpec
conQuickSpec
DQuickSpec
defaultToQuickSpec
Dict 
1 (Data Constructor)QuickSpec
2 (Type/Class)QuickSpec
EQuickSpec
instQuickSpec
monoTypeQuickSpec
monoTypeWithVarsQuickSpec
ObserveQuickSpec
observeQuickSpec
predicateQuickSpec
Proxy 
1 (Data Constructor)QuickSpec
2 (Type/Class)QuickSpec
quickSpecQuickSpec
seriesQuickSpec
SigQuickSpec
SignatureQuickSpec
SubQuickSpec
toSigQuickSpec
TypeableQuickSpec
varsQuickSpec
withFixedSeedQuickSpec
withMaxTermSizeQuickSpec
withMaxTestsQuickSpec
withMaxTestSizeQuickSpec
withPruningDepthQuickSpec
withPruningTermSizeQuickSpec