quickspec-0.9.6: Equational laws for free! (Index - P)

quickspec-0.9.6: Equational laws for free!

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
:
$
=
All

Index - P

Partial
1 (Type/Class)	Test.QuickSpec.Approximate
2 (Data Constructor)	Test.QuickSpec.Reasoning.PartialEquationalReasoning
partial
1 (Function)	Test.QuickSpec.Signature
2 (Function)	Test.QuickSpec.Reasoning.PartialEquationalReasoning
partialGen	Test.QuickSpec.Term
partialSig	Test.QuickSpec.Signature
partitionBy	Test.QuickSpec.Utils
PEQ	Test.QuickSpec.Reasoning.PartialEquationalReasoning
PEquation	Test.QuickSpec.Reasoning.PartialEquationalReasoning
PGen
1 (Type/Class)	Test.QuickSpec.Term
2 (Data Constructor)	Test.QuickSpec.Term
pgen	Test.QuickSpec.Term
Plug
1 (Type/Class)	Test.QuickSpec.Approximate
2 (Data Constructor)	Test.QuickSpec.Approximate
plug	Test.QuickSpec.Approximate
pobserver	Test.QuickSpec.Approximate
Precondition	Test.QuickSpec.Reasoning.PartialEquationalReasoning
precondition	Test.QuickSpec.Reasoning.PartialEquationalReasoning
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
primCon5	Test.QuickSpec.Signature
primVars0	Test.QuickSpec.Signature
primVars1	Test.QuickSpec.Signature
primVars2	Test.QuickSpec.Signature
promoteVal	Test.QuickSpec.Term
prune	Test.QuickSpec.Main
put
1 (Function)	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
2 (Function)	Test.QuickSpec.Reasoning.PartialEquationalReasoning
pvars	Test.QuickSpec.Approximate