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

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

S
1 (Type/Class)	Test.QuickSpec.Reasoning.UnionFind
2 (Type/Class)	Test.QuickSpec.Reasoning.CongruenceClosure
sampleList	Test.QuickSpec.Main
sampleTerms	Test.QuickSpec.Main, Test.QuickSpec
saturatedTypes	Test.QuickSpec.Signature
Several	Test.QuickSpec.Utils.Typed
several	Test.QuickSpec.Utils.Typed
showEquation	Test.QuickSpec.Equation
showOp	Test.QuickSpec.Term
showPEquation	Test.QuickSpec.Reasoning.PartialEquationalReasoning
showTypedEquation	Test.QuickSpec.Equation
Sig
1 (Type/Class)	Test.QuickSpec.Signature, Test.QuickSpec
2 (Data Constructor)	Test.QuickSpec.Signature
Signature	Test.QuickSpec.Signature, Test.QuickSpec
signature	Test.QuickSpec.Signature, Test.QuickSpec
sigToHaskell	Test.QuickSpec.Signature
silent	Test.QuickSpec.Term
singleton
1 (Function)	Test.QuickSpec.Utils.TypeMap
2 (Function)	Test.QuickSpec.Utils.TypeRel
size	Test.QuickSpec.Term
Some
1 (Type/Class)	Test.QuickSpec.Utils.Typed
2 (Data Constructor)	Test.QuickSpec.Utils.Typed
some	Test.QuickSpec.Utils.Typed
some2	Test.QuickSpec.Utils.Typed
someType	Test.QuickSpec.Utils.Typed
someWitness	Test.QuickSpec.Utils.Typed
splitArrow	Test.QuickSpec.Utils.Typed
splitTyConApp	Test.QuickSpec.Utils.Typeable
spoony	Test.QuickSpec.Utils
Strategy	Test.QuickSpec.Term
Subst	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
subst	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
substs	Test.QuickSpec.Reasoning.NaiveEquationalReasoning
summarise	Test.QuickSpec.Signature
Summary
1 (Type/Class)	Test.QuickSpec.Signature
2 (Data Constructor)	Test.QuickSpec.Signature
summaryBackground	Test.QuickSpec.Signature
summaryDepth	Test.QuickSpec.Signature
summaryFunctions	Test.QuickSpec.Signature
summaryNoVars	Test.QuickSpec.Signature
summaryObserved	Test.QuickSpec.Signature
summaryQuickCheckSize	Test.QuickSpec.Signature
summarySize	Test.QuickSpec.Signature
summaryTests	Test.QuickSpec.Signature
summaryUninhabited	Test.QuickSpec.Signature
summaryUntestable	Test.QuickSpec.Signature
summaryVariables	Test.QuickSpec.Signature
sym	Test.QuickSpec.Term
Symbol
1 (Type/Class)	Test.QuickSpec.Term
2 (Data Constructor)	Test.QuickSpec.Term
symbol	Test.QuickSpec.Term
symbolArity	Test.QuickSpec.Term
symbols
1 (Function)	Test.QuickSpec.Term
2 (Function)	Test.QuickSpec.Signature
symbolType	Test.QuickSpec.Term