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

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 - T

tag	Test.QuickSpec.Utils.Typed
Tagged
1 (Type/Class)	Test.QuickSpec.Utils.Typed
2 (Data Constructor)	Test.QuickSpec.Utils.Typed
tagged	Test.QuickSpec.Utils.Typed
Target
1 (Type/Class)	Test.QuickSpec.Main
2 (Data Constructor)	Test.QuickSpec.Main
target	Test.QuickSpec.Main
Term	Test.QuickSpec.Term
term	Test.QuickSpec.Term
terms
1 (Function)	Test.QuickSpec.TestTree
2 (Function)	Test.QuickSpec.Generate
terms'	Test.QuickSpec.Generate
termsSatisfying	Test.QuickSpec.Generate
test
1 (Function)	Test.QuickSpec.TestTree
2 (Function)	Test.QuickSpec.Generate
test'	Test.QuickSpec.Generate
testable	Test.QuickSpec.Signature
testEquation	Test.QuickSpec.TestTotality
TestResults	Test.QuickSpec.TestTree
testTotality	Test.QuickSpec.TestTotality
TestTree	Test.QuickSpec.TestTree
toList
1 (Function)	Test.QuickSpec.Utils.TypeMap
2 (Function)	Test.QuickSpec.Utils.TypeRel
Total	Test.QuickSpec.Reasoning.PartialEquationalReasoning
total
1 (Function)	Test.QuickSpec.Signature
2 (Function)	Test.QuickSpec.Reasoning.PartialEquationalReasoning
totalGen	Test.QuickSpec.Term
Totality	Test.QuickSpec.Reasoning.PartialEquationalReasoning
totalSig	Test.QuickSpec.Signature
toValuation	Test.QuickSpec.Generate
Two
1 (Type/Class)	Test.QuickSpec.Prelude, Test.QuickSpec
2 (Data Constructor)	Test.QuickSpec.Prelude
Typeable	Test.QuickSpec.Utils.Typeable
Typeable1	Test.QuickSpec.Utils.Typeable
Typeable2	Test.QuickSpec.Utils.Typeable
TypedEquation	Test.QuickSpec.Equation
TypeMap	Test.QuickSpec.Utils.TypeMap
typeOf	Test.QuickSpec.Utils.Typeable
typeOf1	Test.QuickSpec.Utils.Typeable
TypeRel	Test.QuickSpec.Utils.TypeRel
TypeRep	Test.QuickSpec.Utils.Typeable
typeRepTyCon	Test.QuickSpec.Utils.Typeable
typeRepTyCons	Test.QuickSpec.Utils.Typed
typeSig	Test.QuickSpec.Signature