extrapolate-0.2.4: generalize counter-examples of test properties (Index - C)

extrapolate-0.2.4: generalize counter-examples of test properties

A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
U
V
W
:
$
*
+
.
=
>
\
-
All

Index - C

candidateConditions	Test.Extrapolate.Core, Test.Extrapolate.Basic
canonicalize	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
canonicalizeWith	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
canonicalWith	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
char	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
check	Test.Extrapolate.IO, Test.Extrapolate
checkResult	Test.Extrapolate.IO, Test.Extrapolate
compareComplexity	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
compareComplexityThen	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
comparisonLE	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
comparisonLT	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
concatMapT	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
concatT	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
condEqual	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
condEqualM	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
conditionalComparisonLE	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
conditionalComparisonLT	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
conditionalEquation	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
conditionalGeneralization	Test.Extrapolate.Core, Test.Extrapolate.Basic
cons0	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons1	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons10	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons11	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons12	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons2	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons3	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons4	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons5	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons6	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons7	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons8	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
cons9	Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
Constant	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
constant	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
consts	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
counterExampleGen	Test.Extrapolate.Core, Test.Extrapolate.Basic
counterExampleGens	Test.Extrapolate.Core, Test.Extrapolate.Basic
counterExamples	Test.Extrapolate.Core, Test.Extrapolate.Basic
countVar	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
countVars	Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic