Index - R
| radio | Ideas.Text.HTML.W3CSS |
| randomDerivation | Ideas.Common.DerivationTree |
| randomExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| randomSeed | Ideas.Encoding.Request |
| randomTerm | Ideas.Common.Exercise, Ideas.Common.Library |
| randomTerms | Ideas.Common.Exercise, Ideas.Common.Library |
| ranges | Ideas.Utils.Parsing |
| rangeSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| rare | Ideas.Utils.QuickCheck |
| rate | Ideas.Utils.TestSuite |
| rateOnError | Ideas.Utils.TestSuite |
| Rating | Ideas.Utils.TestSuite |
| rating | Ideas.Utils.TestSuite |
| rationalSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| readDifficulty | Ideas.Common.Exercise, Ideas.Common.Library |
| readEncoding | Ideas.Encoding.Request |
| readInt | Ideas.Utils.Prelude |
| readM | Ideas.Utils.Prelude, 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 |
| readRef | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| readRef2 | Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library |
| readRef3 | Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library |
| readRefDefault | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| readRefMaybe | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| readSchema | Ideas.Encoding.Request |
| ready | |
| 1 (Function) | Ideas.Common.Strategy.Sequence |
| 2 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| reason | Ideas.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.Encoding.Logging |
| 2 (Data Constructor) | Ideas.Encoding.Logging |
| recursivelyShrink | Ideas.Utils.QuickCheck |
| Red | Ideas.Text.HTML.W3CSS |
| 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 |
| Refl | Ideas.Utils.Typeable |
| Reinsert | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| relation | Ideas.Text.OpenMath.FMP |
| relation1List | Ideas.Text.OpenMath.Dictionary.Relation1 |
| relevance | Ideas.Common.Constraint, Ideas.Common.Library |
| 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.Utils.Prelude |
| replaceInContext | Ideas.Common.Context, Ideas.Common.Library |
| replaceLabel | Ideas.Common.Strategy.CyclicTree |
| replaceLeaf | Ideas.Common.Strategy.CyclicTree |
| replaceNode | Ideas.Common.Strategy.CyclicTree |
| replay | Ideas.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.Encoding.Request |
| 2 (Data Constructor) | Ideas.Encoding.Request |
| request | Ideas.Encoding.Options |
| requestInfo | Ideas.Encoding.Request |
| requestinfo | Ideas.Encoding.Logging |
| Required | Ideas.Text.XML.Document |
| reservedNames | Ideas.Utils.Parsing |
| reservedOpNames | Ideas.Utils.Parsing |
| resize | Ideas.Utils.QuickCheck |
| Response | Ideas.Text.JSON |
| responseError | Ideas.Text.JSON |
| responseId | Ideas.Text.JSON |
| responseResult | Ideas.Text.JSON |
| responsetime | Ideas.Encoding.Logging |
| responsive | Ideas.Text.HTML.W3CSS |
| rest | Ideas.Text.HTML.W3CSS |
| restart | Ideas.Service.State |
| restrictHeight | Ideas.Common.DerivationTree |
| restrictWidth | Ideas.Common.DerivationTree |
| Result | |
| 1 (Type/Class) | Ideas.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Constraint |
| 3 (Type/Class) | Ideas.Utils.TestSuite |
| 4 (Data Constructor) | Ideas.Service.Types |
| 5 (Type/Class) | Ideas.Service.Submit |
| returnA | Ideas.Encoding.Encoder |
| Reveal | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| rewrite | Ideas.Utils.Uniplate |
| rewriteM | Ideas.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.Text.HTML.W3CSS |
| 3 (Function) | Ideas.Common.Traversal.Navigator |
| rightAlign | Ideas.Text.HTML.W3CSS |
| rightHandSide | Ideas.Text.OpenMath.FMP |
| 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 |
| rightToLeft | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| ripple | Ideas.Text.HTML.W3CSS |
| rnfTyCon | Ideas.Utils.Typeable |
| rnfTypeRep | Ideas.Utils.Typeable |
| root | |
| 1 (Function) | Ideas.Common.DerivationTree |
| 2 (Function) | Ideas.Text.XML.Document |
| rootSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| rounded | Ideas.Text.HTML.W3CSS |
| row | Ideas.Text.HTML.W3CSS |
| rowPadding | Ideas.Text.HTML.W3CSS |
| 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.Encoding.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 | |
| 1 (Function) | Ideas.Main.CGI |
| 2 (Function) | Ideas.Encoding.Encoder |
| runKleisli | Ideas.Encoding.Encoder |
| runParser | Ideas.Utils.Parsing |
| runProcess | Ideas.Common.Strategy.Process |
| runTestSuite | Ideas.Utils.TestSuite |
| runTestSuiteResult | Ideas.Utils.TestSuite |