PageMode | QuickSpec.Term |
pairValues | QuickSpec.Type |
parens | QuickSpec.Term |
Poly | QuickSpec.Type |
poly | QuickSpec.Type |
polyApply | QuickSpec.Type |
polyList | QuickSpec.Type |
polyMgu | QuickSpec.Type |
polyPair | QuickSpec.Type |
polyRename | QuickSpec.Type |
polyTyp | QuickSpec.Type |
postfix | QuickSpec.Term |
pPrint | QuickSpec.Term |
pPrintEmpty | QuickSpec.Term |
pPrintList | QuickSpec.Term |
pPrintPrec | QuickSpec.Term |
pPrintSet | QuickSpec.Term |
pPrintTerm | QuickSpec.Term |
pPrintTuple | QuickSpec.Term |
pPrintType | QuickSpec.Type |
predicate | QuickSpec |
prefix | QuickSpec.Term |
prelude | QuickSpec |
Pretty | QuickSpec.Term |
PrettyLevel | |
1 (Data Constructor) | QuickSpec.Term |
2 (Type/Class) | QuickSpec.Term |
prettyNormal | QuickSpec.Term |
prettyParen | QuickSpec.Term |
prettyPrint | QuickSpec.Term |
prettyShow | QuickSpec.Term |
PrettyTerm | QuickSpec.Term |
properSubterms | QuickSpec.Term |
Proxy | |
1 (Data Constructor) | QuickSpec |
2 (Type/Class) | QuickSpec |
PStr | QuickSpec.Term |
ptext | QuickSpec.Term |
punctuate | QuickSpec.Term |