mapSemiEquations | Test.Speculate.SemiReason |
mapT | Test.Speculate |
match | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
match2 | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
matchWith | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
maxCondSize | Test.Speculate.Args, Test.Speculate |
maxConstants | Test.Speculate.Args, Test.Speculate |
maxDepth | Test.Speculate.Args, Test.Speculate |
maxSemiSize | Test.Speculate.Args, Test.Speculate |
maxSize | Test.Speculate.Args, Test.Speculate |
maxTests | Test.Speculate.Args, Test.Speculate |
maxVars | Test.Speculate.Args, Test.Speculate |
mayb | Test.Speculate |
minTests | Test.Speculate.Args, Test.Speculate |
mkAppTy | Test.Speculate |
mkEqnTy | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
mkFunTy | Test.Speculate |
mkTyCon3 | Test.Speculate |
mkTyConApp | Test.Speculate |
Mode | |
1 (Data Constructor) | Test.Speculate.Args |
2 (Type/Class) | Test.Speculate.Args |
mode | Test.Speculate.Args |
modeArgs | Test.Speculate.Args |
modeCheck | Test.Speculate.Args |
modeEmpty | Test.Speculate.Args |
modeExpandAt | Test.Speculate.Args |
modeFlags | Test.Speculate.Args |
modeGroupFlags | Test.Speculate.Args |
modeGroupModes | Test.Speculate.Args |
modeHelp | Test.Speculate.Args |
modeHelpSuffix | Test.Speculate.Args |
modeModes | Test.Speculate.Args |
modeNames | Test.Speculate.Args |
modeReform | Test.Speculate.Args |
modes | Test.Speculate.Args |
modeValue | Test.Speculate.Args |
mostGeneral | Test.Speculate.Engine |
mostSpecific | Test.Speculate.Engine |