Partial | Test.QuickSpec.Approximate |
partitionBy | Test.QuickSpec.Utils |
Plug | |
1 (Type/Class) | Test.QuickSpec.Approximate |
2 (Data Constructor) | Test.QuickSpec.Approximate |
plug | Test.QuickSpec.Approximate |
pobserver | Test.QuickSpec.Approximate |
prelude | Test.QuickSpec.Prelude, Test.QuickSpec |
primCon0 | Test.QuickSpec.Signature |
primCon1 | Test.QuickSpec.Signature |
primCon2 | Test.QuickSpec.Signature |
primCon3 | Test.QuickSpec.Signature |
primCon4 | Test.QuickSpec.Signature |
prune | Test.QuickSpec.Main |
put | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
pvars | Test.QuickSpec.Approximate |