speculate-0.4.18: discovery of properties about Haskell functions

Index - M

Map 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
mapConsTest.Speculate
mapConstsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mapSemiEquationsTest.Speculate.SemiReason
mapSubexprsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mapTTest.Speculate
mapTMaybeTest.Speculate.Utils
mapValuesTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mapVarsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
matchTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
matchWithTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
MathSymbolTest.Speculate.Utils
maxTest.Speculate.Utils
maxCondSizeTest.Speculate.Args, Test.Speculate
maxConstantsTest.Speculate.Args, Test.Speculate
maxDepthTest.Speculate.Args, Test.Speculate
maxSemiSizeTest.Speculate.Args, Test.Speculate
maxSizeTest.Speculate.Args, Test.Speculate
maxTestsTest.Speculate.Args, Test.Speculate
maxVarsTest.Speculate.Args, Test.Speculate
maybTest.Speculate
maybe2Test.Speculate.Utils
maybeHoleOfTyTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
maybesToMaybeTest.Speculate.Utils
medianateTest.Speculate.Utils
memoryTest.Speculate.Utils
memory2Test.Speculate.Utils
memory2ForTest.Speculate.Utils
memoryForTest.Speculate.Utils
minTest.Speculate.Utils
minTestsTest.Speculate.Args, Test.Speculate
mkCompareTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mkComparisonTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
mkComparisonLETest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
mkComparisonLTTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
mkComparisonTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mkConditionalEquationTest.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine
mkEqTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
mkEquationTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
mkFunTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
mkListableTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
mkNameTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
mkNameWithTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
mkOrdTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
mkOrdLessEqualTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
Mode 
1 (Type/Class)Test.Speculate.Args
2 (Data Constructor)Test.Speculate.Args
modeTest.Speculate.Args
modeArgsTest.Speculate.Args
modeCheckTest.Speculate.Args
modeEmptyTest.Speculate.Args
modeExpandAtTest.Speculate.Args
modeFlagsTest.Speculate.Args
modeGroupFlagsTest.Speculate.Args
modeGroupModesTest.Speculate.Args
modeHelpTest.Speculate.Args
modeHelpSuffixTest.Speculate.Args
modeModesTest.Speculate.Args
modeNamesTest.Speculate.Args
modeReformTest.Speculate.Args
modesTest.Speculate.Args
modeValueTest.Speculate.Args
ModifierLetterTest.Speculate.Utils
ModifierSymbolTest.Speculate.Utils
mostGeneralCanonicalVariationTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mostSpecificCanonicalVariationTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mtypTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine