| randomDerivation | Ideas.Common.DerivationTree |
| randomExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| randomSeed | Ideas.Service.Request |
| randomTerm | Ideas.Common.Exercise, Ideas.Common.Library |
| randomTerms | Ideas.Common.Exercise, Ideas.Common.Library |
| ranges | Ideas.Text.Parsing |
| rangeSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| rare | Ideas.Common.Utils.QuickCheck |
| rate | Ideas.Common.Utils.TestSuite |
| rateOnError | Ideas.Common.Utils.TestSuite |
| Rating | Ideas.Common.Utils.TestSuite |
| rating | Ideas.Common.Utils.TestSuite |
| rationalSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| readDifficulty | Ideas.Common.Exercise, Ideas.Common.Library |
| readEncoding | Ideas.Service.Request |
| readInt | Ideas.Common.Utils |
| readM | Ideas.Common.Utils, Ideas.Common.Library |
| readPath | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| readPaths | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| readSchema | Ideas.Service.Request |
| ready | |
| 1 (Function) | Ideas.Common.Strategy.Sequence |
| 2 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| reason | Ideas.Common.Utils.QuickCheck |
| reasonerId | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| Recognizable | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| recognize | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| recognizeAll | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| recognized | Ideas.Service.FeedbackScript.Run |
| RecognizedIs | Ideas.Service.FeedbackScript.Syntax |
| Recognizer | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| recognizer | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| recognizeRule | Ideas.Service.BasicServices |
| recognizeTrans | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| Record | |
| 1 (Type/Class) | Ideas.Main.Logging |
| 2 (Data Constructor) | Ideas.Main.Logging |
| recursivelyShrink | Ideas.Common.Utils.QuickCheck |
| Ref | Ideas.Common.Environment, Ideas.Common.Library |
| Reference | |
| 1 (Data Constructor) | Ideas.Text.XML.Document |
| 2 (Type/Class) | Ideas.Text.XML.Document |
| 3 (Type/Class) | Ideas.Common.Environment, Ideas.Common.Library |
| Reinsert | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| relation | Ideas.Text.OpenMath.FMP |
| relation1List | Ideas.Text.OpenMath.Dictionary.Relation1 |
| Remove | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| remove | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| renumberRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| repeat | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| repeat1 | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| repeatS | Ideas.Common.Library |
| replace | Ideas.Common.Traversal.Utils |
| replaceAt | Ideas.Common.Utils |
| replaceInContext | Ideas.Common.Context, Ideas.Common.Library |
| replaceLabel | Ideas.Common.CyclicTree |
| replaceLeaf | Ideas.Common.CyclicTree |
| replaceNode | Ideas.Common.CyclicTree |
| replay | Ideas.Common.Utils.QuickCheck |
| replayPath | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| replayPaths | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| replayProcess | Ideas.Common.Strategy.Prefix |
| replayStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| replicate | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| replicateS | Ideas.Common.Library |
| Reply | Ideas.Service.ProblemDecomposition |
| Request | |
| 1 (Type/Class) | Ideas.Service.Request |
| 2 (Data Constructor) | Ideas.Service.Request |
| requestInfo | Ideas.Service.Request |
| requestinfo | Ideas.Main.Logging |
| Required | Ideas.Text.XML.Document |
| reservedNames | Ideas.Text.Parsing |
| reservedOpNames | Ideas.Text.Parsing |
| resize | Ideas.Common.Utils.QuickCheck |
| Response | Ideas.Text.JSON |
| responseError | Ideas.Text.JSON |
| responseId | Ideas.Text.JSON |
| responseResult | Ideas.Text.JSON |
| responsetime | Ideas.Main.Logging |
| restart | Ideas.Service.State |
| restrictHeight | Ideas.Common.DerivationTree |
| restrictWidth | Ideas.Common.DerivationTree |
| Result | |
| 1 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.TestSuite |
| 3 (Data Constructor) | Ideas.Service.Types |
| 4 (Type/Class) | Ideas.Service.Submit |
| returnA | Ideas.Encoding.Encoder |
| Reveal | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| rewrite | Ideas.Common.Utils.Uniplate |
| rewriteLaw | Ideas.Common.Algebra.Law |
| rewriteM | Ideas.Common.Utils.Uniplate |
| RewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| rewriteRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| rewriteRules | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| rewriteRuleToFMP | Ideas.Encoding.RulesInfo |
| right | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Function) | Ideas.Common.Traversal.Navigator |
| rightDistributive | Ideas.Common.Algebra.FieldLaws |
| rightDistributiveFor | Ideas.Common.Algebra.GroupLaws |
| rightHandSide | Ideas.Text.OpenMath.FMP |
| rightIdentity | Ideas.Common.Algebra.GroupLaws |
| rightInverse | Ideas.Common.Algebra.GroupLaws |
| rightInverseSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| rightMost | Ideas.Common.Traversal.Navigator |
| rightmost | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| rightMostAt | Ideas.Common.Traversal.Navigator |
| rightMostLeaf | Ideas.Common.Traversal.Navigator |
| rightNegateTimes | Ideas.Common.Algebra.FieldLaws |
| rightToLeft | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| rightZero | Ideas.Common.Algebra.GroupLaws |
| Ring | Ideas.Common.Algebra.Field |
| ringLaws | Ideas.Common.Algebra.FieldLaws |
| root | |
| 1 (Function) | Ideas.Text.XML.Document |
| 2 (Function) | Ideas.Common.DerivationTree |
| rootSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| RPCHandler | Ideas.Text.JSON |
| RPCResponse | Ideas.Text.JSON |
| Rule | |
| 1 (Type/Class) | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| RuleBuilder | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| ruleDown | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| ruleDownLast | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| ruleid | Ideas.Main.Logging |
| ruleLeft | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| ruleList | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| ruleMaybe | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| ruleOrdering | Ideas.Common.Exercise, Ideas.Common.Library |
| ruleOrderingWith | Ideas.Common.Exercise, Ideas.Common.Library |
| ruleRewrite | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| ruleRight | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| ruleset | Ideas.Common.Exercise, Ideas.Common.Library |
| ruleSiblings | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| rulesInfoXML | Ideas.Encoding.RulesInfo |
| rulesInStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| RuleSpec | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| ruleSpecTerm | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| ruleToHTML | Ideas.Encoding.RulePresenter |
| ruleToString | Ideas.Service.FeedbackScript.Run |
| ruleTrans | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| ruleUp | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| run | Ideas.Encoding.Encoder |
| runEnvMonad | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| runKleisli | Ideas.Encoding.Encoder |
| runParser | Ideas.Text.Parsing |
| runProcess | Ideas.Common.Strategy.Process |
| runTestSuite | Ideas.Common.Utils.TestSuite |
| runTestSuiteResult | Ideas.Common.Utils.TestSuite |