speculate-0.4.18: discovery of properties about Haskell functions

Index - R

rationalTest.Speculate
readLitCharTest.Speculate.Utils
reallyShowConditionsTest.Speculate.Args
reduceRootWithTest.Speculate.CondReason
reductions1Test.Speculate.Reason
reductions1WithTest.Speculate.CondReason
ReflTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reflexiveTest.Speculate
reifyEqTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reifyEqOrdTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reifyInstancesTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reifyInstances1Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
reifyListableTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reifyNameTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reifyOrdTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
RemapTest.Speculate.Args
remapTest.Speculate.Args
remap2Test.Speculate.Args
remapUpdateTest.Speculate.Args
renameVarsByTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
reportTest.Speculate.Report, Test.Speculate
reportCountsByTest.Speculate.Utils
representativesFromAtomsTest.Speculate.Engine
representativesFromAtomsKeepingTest.Speculate.Engine
resetTest.Speculate
resultsTest.Speculate
resultTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
rnfTyConTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
rnfTypeRepTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
rulesTest.Speculate.Reason