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 |
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 |
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 |
restart | Ideas.Service.State |
restrictHeight | Ideas.Common.DerivationTree |
restrictWidth | Ideas.Common.DerivationTree |
Result | |
1 (Type/Class) | Ideas.Utils.QuickCheck |
2 (Type/Class) | Ideas.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.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.Common.Traversal.Navigator |
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 |
rnfTyCon | Ideas.Utils.Typeable |
rnfTypeRep | Ideas.Utils.Typeable |
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.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 | Ideas.Encoding.Encoder |
runKleisli | Ideas.Encoding.Encoder |
runParser | Ideas.Utils.Parsing |
runProcess | Ideas.Common.Strategy.Process |
runTestSuite | Ideas.Utils.TestSuite |
runTestSuiteResult | Ideas.Utils.TestSuite |