quickspec-0.9: Equational laws for free

Index - P

PartialTest.QuickSpec.Approximate
partitionByTest.QuickSpec.Utils
Plug 
1 (Type/Class)Test.QuickSpec.Approximate
2 (Data Constructor)Test.QuickSpec.Approximate
plugTest.QuickSpec.Approximate
pobserverTest.QuickSpec.Approximate
preludeTest.QuickSpec.Prelude, Test.QuickSpec
primCon0Test.QuickSpec.Signature
primCon1Test.QuickSpec.Signature
primCon2Test.QuickSpec.Signature
primCon3Test.QuickSpec.Signature
primCon4Test.QuickSpec.Signature
pruneTest.QuickSpec.Main
putTest.QuickSpec.Reasoning.NaiveEquationalReasoning
pvarsTest.QuickSpec.Approximate