quickspec-2.1: Equational laws for free!

Index - P

PageModeQuickSpec.Term
pairValuesQuickSpec.Type
parensQuickSpec.Term
PolyQuickSpec.Type
polyQuickSpec.Type
polyApplyQuickSpec.Type
polyListQuickSpec.Type
polyMguQuickSpec.Type
polyPairQuickSpec.Type
polyRenameQuickSpec.Type
polyTypQuickSpec.Type
postfixQuickSpec.Term
pPrintQuickSpec.Term
pPrintEmptyQuickSpec.Term
pPrintListQuickSpec.Term
pPrintPrecQuickSpec.Term
pPrintSetQuickSpec.Term
pPrintTermQuickSpec.Term
pPrintTupleQuickSpec.Term
pPrintTypeQuickSpec.Type
predicateQuickSpec
prefixQuickSpec.Term
preludeQuickSpec
PrettyQuickSpec.Term
PrettyLevel 
1 (Data Constructor)QuickSpec.Term
2 (Type/Class)QuickSpec.Term
prettyNormalQuickSpec.Term
prettyParenQuickSpec.Term
prettyPrintQuickSpec.Term
prettyShowQuickSpec.Term
PrettyTermQuickSpec.Term
properSubtermsQuickSpec.Term
Proxy 
1 (Data Constructor)QuickSpec
2 (Type/Class)QuickSpec
PStrQuickSpec.Term
ptextQuickSpec.Term
punctuateQuickSpec.Term