| !-> | Ideas.Common.Classes, Ideas.Common.Library |
| # | Ideas.Common.Id, Ideas.Common.Library |
| $< | Ideas.Common.View, Ideas.Common.Library |
| &&& | Ideas.Common.View, Ideas.Common.Library |
| *** | Ideas.Common.View, Ideas.Common.Library |
| *> | Ideas.Text.Parsing |
| +++ | Ideas.Common.View, Ideas.Common.Library |
| .%. | Ideas.Common.Strategy.Core |
| .&&. | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Common.Algebra.SmartGroup |
| .&. | Ideas.Common.Utils.QuickCheck |
| .*. | |
| 1 (Function) | Ideas.Common.Strategy.Core |
| 2 (Function) | Ideas.Common.Algebra.SmartGroup |
| .+. | Ideas.Common.Algebra.SmartGroup |
| .-. | Ideas.Common.Algebra.SmartGroup |
| ./. | Ideas.Common.Algebra.SmartGroup |
| .=. | Ideas.Text.XML |
| .|. | Ideas.Common.Strategy.Core |
| .||. | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Common.Algebra.SmartGroup |
| // | Ideas.Encoding.Evaluator |
| :!%: | Ideas.Common.Strategy.Core |
| :%: | Ideas.Common.Strategy.Core |
| :*: | Ideas.Common.Strategy.Core |
| :-> | Ideas.Service.Types |
| ::: | Ideas.Service.Types |
| :<>: | Ideas.Service.FeedbackScript.Syntax |
| := | |
| 1 (Data Constructor) | Ideas.Text.XML.Document |
| 2 (Data Constructor) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| 3 (Data Constructor) | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| :==: | Ideas.Common.Algebra.Law |
| :? | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| :|: | |
| 1 (Data Constructor) | Ideas.Common.Strategy.Core |
| 2 (Data Constructor) | Ideas.Service.Types |
| :|>: | Ideas.Common.Strategy.Core |
| :~ | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| :~> | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| <$ | Ideas.Text.Parsing |
| <$> | Ideas.Text.Parsing, Ideas.Encoding.Evaluator |
| <%> | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| <&&> | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| <* | Ideas.Text.Parsing |
| <**> | Ideas.Text.Parsing, Ideas.Encoding.Evaluator |
| <*> | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Common.Algebra.Field |
| 3 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| <+> | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Algebra.Field |
| <-! | Ideas.Common.Classes, Ideas.Common.Library |
| <-> | |
| 1 (Function) | Ideas.Common.Classes, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Algebra.Field |
| <..> | Ideas.Text.Parsing |
| </> | |
| 1 (Function) | Ideas.Common.Algebra.Field |
| 2 (Function) | Ideas.Encoding.LinkManager |
| <<< | Ideas.Common.View, Ideas.Common.Library |
| <> | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Algebra.Group, Ideas.Encoding.Evaluator |
| <>- | Ideas.Common.Algebra.Group |
| <?> | Ideas.Text.Parsing |
| <|> | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| <||> | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| ==> | Ideas.Common.Utils.QuickCheck |
| >< | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Common.Algebra.Boolean |
| >=> | Ideas.Common.Traversal.Utils |
| >>> | Ideas.Common.View, Ideas.Common.Library |
| >|< | Ideas.Common.Traversal.Utils |
| ? | Ideas.Common.Environment, Ideas.Common.Library |
| @+@ | Ideas.Common.Rewriting.Substitution |
| @> | Ideas.Common.Id, Ideas.Common.Library |
| @@ | Ideas.Common.Rewriting.Substitution |
| abelianGroupLaws | Ideas.Common.Algebra.GroupLaws |
| absorptionAndLaws | Ideas.Common.Algebra.BooleanLaws |
| absorptionOrLaws | Ideas.Common.Algebra.BooleanLaws |
| absSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| accept | Ideas.Service.FeedbackText |
| activeLabels | Ideas.Common.Strategy.Prefix |
| actives | Ideas.Service.FeedbackScript.Run |
| addBranches | Ideas.Common.DerivationTree, Ideas.Common.Library |
| addCSS | Ideas.Text.HTML |
| Additive | |
| 1 (Type/Class) | Ideas.Common.Algebra.Field |
| 2 (Data Constructor) | Ideas.Common.Algebra.Field |
| addProperty | Ideas.Common.Utils.TestSuite |
| addPropertyWith | Ideas.Common.Utils.TestSuite |
| addRecognizer | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| addRecognizerBool | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| addRecognizerEnvMonad | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| addScript | Ideas.Text.HTML |
| addTransRecognizer | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| after | Ideas.Service.FeedbackScript.Run |
| afterText | Ideas.Service.FeedbackScript.Run |
| aliases | Ideas.Service.DomainReasoner |
| All | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| allapplications | Ideas.Service.BasicServices |
| allBytes | Ideas.Text.UTF8 |
| allfirsts | Ideas.Service.BasicServices |
| allRefs | Ideas.Common.Environment, Ideas.Common.Library |
| allsame | Ideas.Common.Utils |
| Alpha | Ideas.Common.Exercise, Ideas.Common.Library |
| alphaNum | Ideas.Text.Parsing |
| alternatives | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| AnalyzeScript | Ideas.Main.Options |
| analyzeScript | Ideas.Service.FeedbackScript.Analysis |
| And | |
| 1 (Type/Class) | Ideas.Common.Algebra.Boolean |
| 2 (Data Constructor) | Ideas.Common.Algebra.Boolean |
| andOverOrLaws | Ideas.Common.Algebra.BooleanLaws |
| ands | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| andSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| Any | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| 3 (Data Constructor) | Ideas.Text.XML.Document |
| anyChar | Ideas.Text.Parsing |
| anyToken | Ideas.Text.Parsing |
| appendInv | Ideas.Common.Algebra.Group |
| appendInverseLaws | Ideas.Common.Algebra.GroupLaws |
| appEndo | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| applicable | |
| 1 (Function) | Ideas.Common.Classes, Ideas.Common.Library |
| 2 (Function) | Ideas.Service.BasicServices |
| Apply | Ideas.Common.Classes, Ideas.Common.Library |
| apply | |
| 1 (Function) | Ideas.Common.Classes, Ideas.Common.Library |
| 2 (Function) | Ideas.Service.BasicServices |
| applyAll | Ideas.Common.Classes, Ideas.Common.Library |
| applyD | Ideas.Common.Classes, Ideas.Common.Library |
| applyList | Ideas.Common.Classes, Ideas.Common.Library |
| applyM | Ideas.Common.Classes, Ideas.Common.Library |
| applyTop | Ideas.Common.Context, Ideas.Common.Library |
| approxSymbol | Ideas.Text.OpenMath.Dictionary.Relation1 |
| ArbGen | Ideas.Common.Utils.QuickCheck |
| arbGen | Ideas.Common.Utils.QuickCheck |
| Arbitrary | Ideas.Common.Utils.QuickCheck |
| arbitrary | Ideas.Common.Utils.QuickCheck |
| arbitraryBoundedEnum | Ideas.Common.Utils.QuickCheck |
| arbitraryBoundedIntegral | Ideas.Common.Utils.QuickCheck |
| arbitraryBoundedRandom | Ideas.Common.Utils.QuickCheck |
| arbitrarySizedBoundedIntegral | Ideas.Common.Utils.QuickCheck |
| arbitrarySizedFractional | Ideas.Common.Utils.QuickCheck |
| arbitrarySizedIntegral | Ideas.Common.Utils.QuickCheck |
| arccoshSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| arccosSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| arccothSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| arccotSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| arccschSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| arccscSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| arcsechSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| arcsecSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| arcsinhSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| arcsinSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| arctanhSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| arctanSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| Args | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| arith1List | Ideas.Text.OpenMath.Dictionary.Arith1 |
| arity | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| arr | Ideas.Common.View, Ideas.Common.Library |
| Array | Ideas.Text.JSON |
| Arrow | Ideas.Common.View, Ideas.Common.Library |
| ArrowChoice | Ideas.Common.View, Ideas.Common.Library |
| ArrowPlus | Ideas.Common.View, Ideas.Common.Library |
| ArrowZero | Ideas.Common.View, Ideas.Common.Library |
| assertEquals | Ideas.Common.Utils.TestSuite |
| assertIO | Ideas.Common.Utils.TestSuite |
| assertNull | Ideas.Common.Utils.TestSuite |
| assertTrue | Ideas.Common.Utils.TestSuite |
| Assoc | Ideas.Text.Parsing |
| associative | Ideas.Common.Algebra.GroupLaws |
| associativeFor | Ideas.Common.Algebra.GroupLaws |
| associativeList | Ideas.Common.Algebra.Group |
| AssocLeft | Ideas.Text.Parsing |
| AssocNone | Ideas.Text.Parsing |
| AssocRight | Ideas.Text.Parsing |
| Atomic | Ideas.Common.Strategy.Core |
| atomic | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| AttDef | Ideas.Text.XML.Document |
| AttListDecl | Ideas.Text.XML.Document |
| Attr | Ideas.Text.XML |
| Attribute | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Type/Class) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| attributeIds | Ideas.Service.FeedbackScript.Run |
| Attributes | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Type/Class) | Ideas.Text.XML.Interface |
| attributes | |
| 1 (Function) | Ideas.Text.XML.Document |
| 2 (Function) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| AttrList | Ideas.Text.XML |
| AttType | Ideas.Text.XML.Document |
| AttValue | Ideas.Text.XML.Document |
| balanced | Ideas.Text.Parsing |
| basedIntegerSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| before | Ideas.Service.FeedbackScript.Run |
| belongsTo | Ideas.Common.View, Ideas.Common.Library |
| between | Ideas.Text.Parsing |
| BiArrow | Ideas.Common.Classes, Ideas.Common.Library |
| BiFunctor | Ideas.Common.Classes, Ideas.Common.Library |
| big | Ideas.Text.HTML |
| biMap | Ideas.Common.Classes, Ideas.Common.Library |
| binary | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| binaryGen | Ideas.Common.Utils.QuickCheck |
| binaryGens | Ideas.Common.Utils.QuickCheck |
| Binding | Ideas.Common.Environment, Ideas.Common.Library |
| bindings | Ideas.Common.Environment, Ideas.Common.Library |
| blackBoxTests | Ideas.Main.BlackBoxTests |
| Blind | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| bold | Ideas.Text.HTML |
| Bool | Ideas.Service.Types |
| Boolean | |
| 1 (Data Constructor) | Ideas.Text.JSON |
| 2 (Type/Class) | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| booleanLaws | Ideas.Common.Algebra.BooleanLaws |
| BoolValue | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| bottomup | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| br | Ideas.Text.HTML |
| branches | Ideas.Common.DerivationTree, Ideas.Common.Library |
| Buggy | |
| 1 (Type/Class) | Ideas.Common.Classes, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Diagnose |
| 3 (Data Constructor) | Ideas.Service.Submit |
| buggy | Ideas.Common.Classes, Ideas.Common.Library |
| buggyFMP | Ideas.Text.OpenMath.FMP |
| buggyRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| build | Ideas.Common.View, Ideas.Common.Library |
| builder | Ideas.Text.XML |
| buildExpressionParser | Ideas.Text.Parsing |
| buildRuleSpec | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| BuildXML | Ideas.Text.XML |
| bullet | Ideas.Text.HTML |
| byGroup | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| byName | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| calculus1List | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| canBeRestarted | Ideas.Common.Exercise, Ideas.Common.Library |
| canonical | Ideas.Common.View, Ideas.Common.Library |
| canonicalWith | Ideas.Common.View, Ideas.Common.Library |
| canonicalWithM | Ideas.Common.View, Ideas.Common.Library |
| cartesian | Ideas.Common.Utils |
| caseSensitive | Ideas.Text.Parsing |
| castFrom | Ideas.Common.Exercise, Ideas.Common.Library |
| castTo | Ideas.Common.Exercise, Ideas.Common.Library |
| CDATA | Ideas.Text.XML.Document |
| chainl | Ideas.Text.Parsing |
| chainl1 | Ideas.Text.Parsing |
| chainr | Ideas.Text.Parsing |
| chainr1 | Ideas.Text.Parsing |
| change | Ideas.Common.Traversal.Utils |
| changeAt | Ideas.Common.Utils |
| changeFrequency | Ideas.Common.Utils.QuickCheck |
| changeG | Ideas.Common.Traversal.Utils |
| changeId | Ideas.Common.Id, Ideas.Common.Library |
| changeInContext | Ideas.Common.Context, Ideas.Common.Library |
| changeInfo | Ideas.Common.Strategy.Abstract |
| changeM | Ideas.Common.Traversal.Utils |
| changeRef | Ideas.Common.Environment, Ideas.Common.Library |
| changeTerm | Ideas.Common.Context, Ideas.Common.Library |
| char | Ideas.Text.Parsing |
| CharData | Ideas.Text.XML.Document |
| CharParser | Ideas.Text.Parsing |
| CharRef | Ideas.Text.XML.Document |
| chatty | Ideas.Common.Utils.QuickCheck |
| check | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| checkConfluence | Ideas.Common.Rewriting.Confluence |
| checkConfluenceWith | Ideas.Common.Rewriting.Confluence |
| checkExamples | Ideas.Common.Exercise, Ideas.Common.Library |
| checkExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| checkParserPretty | Ideas.Common.Exercise, Ideas.Common.Library |
| checkReferences | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| checkRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| childnr | Ideas.Common.Traversal.Navigator |
| Children | Ideas.Text.XML.Document |
| children | |
| 1 (Function) | Ideas.Common.Utils.Uniplate |
| 2 (Function) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| Choice | Ideas.Text.XML.Document |
| choice | Ideas.Text.Parsing |
| choices | Ideas.Common.Strategy.Parsing |
| choose | Ideas.Common.Utils.QuickCheck |
| classA | Ideas.Text.HTML |
| classify | Ideas.Common.Utils.QuickCheck |
| cleanUpStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| cleanUpStrategyAfter | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| CoArbitrary | Ideas.Common.Utils.QuickCheck |
| coarbitrary | Ideas.Common.Utils.QuickCheck |
| coarbitraryEnum | Ideas.Common.Utils.QuickCheck |
| coarbitraryIntegral | Ideas.Common.Utils.QuickCheck |
| coarbitraryReal | Ideas.Common.Utils.QuickCheck |
| coarbitraryShow | Ideas.Common.Utils.QuickCheck |
| CoBoolean | Ideas.Common.Algebra.Boolean |
| CoField | Ideas.Common.Algebra.Field |
| CoGroup | Ideas.Common.Algebra.Group |
| Collapse | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| collapse | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| collapsed | Ideas.Common.Strategy.Abstract |
| collect | Ideas.Common.Utils.QuickCheck |
| collectExamples | Ideas.Encoding.RulesInfo |
| Column | Ideas.Text.Parsing |
| combiningCharMap | Ideas.Text.XML.Unicode |
| commentEnd | Ideas.Text.Parsing |
| commentLine | Ideas.Text.Parsing |
| commentStart | Ideas.Text.Parsing |
| common | Ideas.Common.Utils.QuickCheck |
| commutative | Ideas.Common.Algebra.GroupLaws |
| commutativeFor | Ideas.Common.Algebra.GroupLaws |
| commutativeMonoidLaws | Ideas.Common.Algebra.GroupLaws |
| commutativeRingLaws | Ideas.Common.Algebra.FieldLaws |
| CoMonoid | Ideas.Common.Algebra.Group |
| CoMonoidZero | Ideas.Common.Algebra.Group |
| compactXML | Ideas.Text.XML |
| compareId | Ideas.Common.Id, Ideas.Common.Library |
| complement | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| complementAndLaws | Ideas.Common.Algebra.BooleanLaws |
| complementFalse | Ideas.Common.Algebra.BooleanLaws |
| complementOrLaws | Ideas.Common.Algebra.BooleanLaws |
| complementTrue | Ideas.Common.Algebra.BooleanLaws |
| complete | Ideas.Text.Parsing |
| complexity | Ideas.Common.Rewriting.Confluence |
| composable | Ideas.Common.Rewriting.Substitution |
| concatId | Ideas.Common.Id, Ideas.Common.Library |
| CondConst | Ideas.Service.FeedbackScript.Syntax |
| Condition | Ideas.Service.FeedbackScript.Syntax |
| Conditional | Ideas.Text.XML.Document |
| conditionIds | Ideas.Service.FeedbackScript.Run |
| CondNot | Ideas.Service.FeedbackScript.Syntax |
| CondRef | Ideas.Service.FeedbackScript.Syntax |
| Config | Ideas.Common.Rewriting.Confluence |
| ConfigAction | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| configActions | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| ConfigItem | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| ConfigLocation | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| configure | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| configureNow | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| conjoin | Ideas.Common.Utils.QuickCheck |
| conjunctions | Ideas.Common.Algebra.Boolean |
| Const | |
| 1 (Type/Class) | Ideas.Service.Types |
| 2 (Data Constructor) | Ideas.Service.Types |
| constGen | Ideas.Common.Utils.QuickCheck |
| constGens | Ideas.Common.Utils.QuickCheck |
| Container | Ideas.Common.Classes, Ideas.Common.Library |
| Content | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Type/Class) | Ideas.Text.XML.Interface |
| content | |
| 1 (Function) | Ideas.Text.XML.Document |
| 2 (Function) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| ContentSpec | Ideas.Text.XML.Document |
| Context | |
| 1 (Type/Class) | Ideas.Common.Context, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| ContextNavigator | Ideas.Common.Context, Ideas.Common.Library |
| contexts | Ideas.Common.Utils.Uniplate |
| contextView | Ideas.Common.Context, Ideas.Common.Library |
| Core | Ideas.Common.Strategy.Core |
| coreFix | Ideas.Common.Strategy.Core |
| coreMany | Ideas.Common.Strategy.Core |
| coreOrElse | Ideas.Common.Strategy.Core |
| coreRepeat | Ideas.Common.Strategy.Core |
| CoRing | Ideas.Common.Algebra.Field |
| Correct | Ideas.Service.Diagnose |
| CoSemiRing | Ideas.Common.Algebra.Field |
| coshSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| cosSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| cothSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| cotSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| count | Ideas.Text.Parsing |
| cover | Ideas.Common.Utils.QuickCheck |
| CP | Ideas.Text.XML.Document |
| CPName | Ideas.Text.XML.Document |
| cschSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| cscSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| current | Ideas.Common.Traversal.Utils |
| currentInContext | Ideas.Common.Context, Ideas.Common.Library |
| currentTerm | Ideas.Common.Context, Ideas.Common.Library |
| cutOnStep | Ideas.Common.DerivationTree, Ideas.Common.Library |
| cutOnTerm | Ideas.Common.DerivationTree, Ideas.Common.Library |
| D | Ideas.Text.JSON |
| DataFormat | Ideas.Service.Request |
| dataformat | Ideas.Service.Request |
| Decl | Ideas.Service.FeedbackScript.Syntax |
| DeclType | Ideas.Service.FeedbackScript.Syntax |
| decode | Ideas.Text.UTF8 |
| decodeM | Ideas.Text.UTF8 |
| decodeTerm | Ideas.Encoding.DecoderXML |
| decoding | Ideas.Text.XML.Unicode |
| defaultConfig | Ideas.Common.Rewriting.Confluence |
| DefaultDecl | Ideas.Text.XML.Document |
| defaultDerivation | Ideas.Common.Exercise, Ideas.Common.Library |
| defaultMain | Ideas.Main.Default |
| defaultScript | Ideas.Service.DomainReasoner |
| defintSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| deleteRef | Ideas.Common.Environment, Ideas.Common.Library |
| deMorganAnd | Ideas.Common.Algebra.BooleanLaws |
| deMorganOr | Ideas.Common.Algebra.BooleanLaws |
| deprecate | Ideas.Service.Types |
| depth | Ideas.Common.Traversal.Navigator |
| Derivation | Ideas.Common.Derivation, Ideas.Common.Library |
| derivation | |
| 1 (Function) | Ideas.Common.DerivationTree, Ideas.Common.Library |
| 2 (Function) | Ideas.Service.BasicServices |
| derivationDiffEnv | Ideas.Common.Exercise, Ideas.Common.Library |
| derivationLength | Ideas.Common.Derivation, Ideas.Common.Library |
| derivationM | Ideas.Common.Derivation, Ideas.Common.Library |
| derivations | Ideas.Common.DerivationTree, Ideas.Common.Library |
| derivationtext | Ideas.Service.FeedbackText |
| DerivationTree | Ideas.Common.DerivationTree, Ideas.Common.Library |
| derivationTree | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| descend | Ideas.Common.Utils.Uniplate |
| descendM | Ideas.Common.Utils.Uniplate |
| describe | Ideas.Common.Id, Ideas.Common.Library |
| description | Ideas.Common.Id, Ideas.Common.Library |
| Detour | |
| 1 (Data Constructor) | Ideas.Service.Diagnose |
| 2 (Data Constructor) | Ideas.Service.Submit |
| diagnose | Ideas.Service.Diagnose |
| Diagnosis | Ideas.Service.Diagnose |
| dictionary | Ideas.Text.OpenMath.Symbol |
| difference | |
| 1 (Function) | Ideas.Common.Rewriting.Difference |
| 2 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| differenceEqual | |
| 1 (Function) | Ideas.Common.Rewriting.Difference |
| 2 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| differenceEqualWith | Ideas.Common.Rewriting.Difference |
| differenceWith | Ideas.Common.Rewriting.Difference |
| Different | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| different | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| Difficult | Ideas.Common.Exercise, Ideas.Common.Library |
| Difficulty | Ideas.Common.Exercise, Ideas.Common.Library |
| diffPair | Ideas.Service.FeedbackScript.Run |
| diffSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| digit | Ideas.Text.Parsing |
| digitMap | Ideas.Text.XML.Unicode |
| discard | Ideas.Common.Utils.QuickCheck |
| discoverDataFormat | Ideas.Service.Request |
| disjoin | Ideas.Common.Utils.QuickCheck |
| disjunctions | Ideas.Common.Algebra.Boolean |
| distinct | Ideas.Common.Utils |
| distributiveLaws | Ideas.Common.Algebra.FieldLaws |
| distributiveSubtractionLaws | Ideas.Common.Algebra.FieldLaws |
| divClass | Ideas.Text.HTML |
| divideSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| doAfter | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| DocTypeDecl | Ideas.Text.XML.Document |
| document | Ideas.Text.XML.Parser |
| dom | Ideas.Common.Rewriting.Substitution |
| domainofapplicationSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| DomainReasoner | Ideas.Service.DomainReasoner |
| domainSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| doubleComplement | Ideas.Common.Algebra.BooleanLaws |
| doubleInverse | Ideas.Common.Algebra.GroupLaws |
| down | Ideas.Common.Traversal.Navigator |
| downLast | Ideas.Common.Traversal.Navigator |
| downs | Ideas.Common.Traversal.Navigator |
| downTo | Ideas.Common.Traversal.Navigator |
| DR | Ideas.Service.DomainReasoner |
| DTD | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Data Constructor) | Ideas.Text.XML.Document |
| dtd | Ideas.Text.XML.Document |
| DTDConditional | Ideas.Text.XML.Document |
| DTDParameter | Ideas.Text.XML.Document |
| Dual | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| dualCompl | Ideas.Common.Algebra.Boolean |
| DualMonoid | Ideas.Common.Algebra.Boolean |
| dynamicLinks | Ideas.Encoding.LinkManager |
| Easy | Ideas.Common.Exercise, Ideas.Common.Library |
| eitherEncoder | Ideas.Encoding.Evaluator |
| Element | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Data Constructor) | Ideas.Text.XML.Document |
| 3 (Type/Class) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| 4 (Data Constructor) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| element | Ideas.Text.XML |
| elementAt | Ideas.Common.Utils |
| ElementDecl | Ideas.Text.XML.Document |
| elements | Ideas.Common.Utils.QuickCheck |
| Empty | Ideas.Text.XML.Document |
| emptyDef | Ideas.Text.Parsing |
| emptyDerivation | Ideas.Common.Derivation, Ideas.Common.Library |
| emptyExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| emptyPrefix | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| emptyRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| emptyState | Ideas.Service.State |
| emptyStateContext | Ideas.Service.State |
| emptySubst | Ideas.Common.Rewriting.Substitution |
| emptyTag | Ideas.Text.XML |
| encode | Ideas.Text.UTF8 |
| encodeM | Ideas.Text.UTF8 |
| encoderFor | Ideas.Encoding.Evaluator |
| EncoderState | Ideas.Encoding.Evaluator |
| encoderStateFor | Ideas.Encoding.Evaluator |
| encodeState | Ideas.Encoding.EncoderXML |
| encodeTerm | Ideas.Encoding.EncoderXML |
| encodeTyped | Ideas.Encoding.Evaluator |
| Encoding | Ideas.Service.Request |
| encoding | |
| 1 (Function) | Ideas.Text.XML.Document |
| 2 (Function) | Ideas.Service.Request |
| endBy | Ideas.Text.Parsing |
| endBy1 | Ideas.Text.Parsing |
| Endo | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| endpoint | Ideas.Common.DerivationTree, Ideas.Common.Library |
| Enter | Ideas.Common.Strategy.Parsing, Ideas.Common.Strategy, Ideas.Common.Library |
| EntitiesType | Ideas.Text.XML.Document |
| EntityDecl | Ideas.Text.XML.Document |
| EntityDef | Ideas.Text.XML.Document |
| EntityRef | Ideas.Text.XML.Document |
| EntityType | Ideas.Text.XML.Document |
| EntityValue | Ideas.Text.XML.Document |
| EnumerationType | Ideas.Text.XML.Document |
| Env | Ideas.Service.FeedbackScript.Run |
| Environment | |
| 1 (Type/Class) | Ideas.Common.Environment, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| 3 (Type/Class) | Ideas.Service.FeedbackScript.Run |
| environment | Ideas.Common.Environment, Ideas.Common.Library |
| EnvMonad | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| envMonadFunctionRefs | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| envMonadRefs | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| eof | Ideas.Text.Parsing |
| eqFMP | Ideas.Text.OpenMath.FMP |
| eqSymbol | Ideas.Text.OpenMath.Dictionary.Relation1 |
| Equal | Ideas.Service.Types |
| equal | Ideas.Service.Types |
| equalM | Ideas.Service.Types |
| equivalence | Ideas.Common.Exercise, Ideas.Common.Library |
| equivalent | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| equivalentSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| errorPos | Ideas.Text.Parsing |
| eSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| eval | Ideas.Service.FeedbackScript.Run |
| evalEnvMonad | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| evalPredicate | Ideas.Common.Predicate, Ideas.Common.Library |
| evalService | Ideas.Encoding.Evaluator |
| Evaluator | |
| 1 (Type/Class) | Ideas.Encoding.Evaluator |
| 2 (Data Constructor) | Ideas.Encoding.Evaluator |
| exampleDerivations | Ideas.Service.BasicServices |
| ExampleMap | Ideas.Encoding.RulesInfo |
| Examples | Ideas.Common.Exercise, Ideas.Common.Library |
| examples | Ideas.Common.Exercise, Ideas.Common.Library |
| examplesContext | Ideas.Common.Exercise, Ideas.Common.Library |
| exchangeInverses | Ideas.Common.Algebra.FieldLaws |
| execEnvMonad | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| Exercise | |
| 1 (Type/Class) | Ideas.Common.Exercise, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| exercise | Ideas.Service.State |
| ExerciseDerivation | Ideas.Common.Exercise, Ideas.Common.Library |
| exerciseId | |
| 1 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| 2 (Function) | Ideas.Service.Request |
| exercises | Ideas.Service.DomainReasoner |
| exercisesSorted | Ideas.Service.DomainReasoner |
| exerciseTestSuite | Ideas.Common.Exercise, Ideas.Common.Library |
| exhaustive | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| existsSymbol | Ideas.Text.OpenMath.Dictionary.Quant1 |
| Exit | Ideas.Common.Strategy.Parsing, Ideas.Common.Strategy, Ideas.Common.Library |
| Expand | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| expand | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| Expected | Ideas.Service.Diagnose |
| expected | Ideas.Service.FeedbackScript.Run |
| expectFailure | Ideas.Common.Utils.QuickCheck |
| Experimental | Ideas.Common.Exercise, Ideas.Common.Library |
| expSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| extend | Ideas.Common.Derivation, Ideas.Common.Library |
| extenderMap | Ideas.Text.XML.Unicode |
| External | Ideas.Text.XML.Document |
| ExternalID | Ideas.Text.XML.Document |
| externals | Ideas.Text.XML.Document |
| extParsedEnt | Ideas.Text.XML.Parser |
| extraRules | Ideas.Common.Exercise, Ideas.Common.Library |
| extraSymbol | Ideas.Text.OpenMath.Symbol |
| extSubset | Ideas.Text.XML.Parser |
| Fail | Ideas.Common.Strategy.Core |
| fail | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| failS | Ideas.Common.Library |
| Failure | Ideas.Common.Utils.QuickCheck |
| false | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| falseSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| Feedback | Ideas.Service.FeedbackScript.Syntax |
| feedbackDecl | Ideas.Service.FeedbackScript.Syntax |
| feedbackDiagnosis | Ideas.Service.FeedbackScript.Run |
| feedbackHint | Ideas.Service.FeedbackScript.Run |
| feedbackHints | Ideas.Service.FeedbackScript.Run |
| feedbackIds | Ideas.Service.FeedbackScript.Run |
| feedbacktext | Ideas.Service.FeedbackText |
| FeedbackUndefined | Ideas.Service.FeedbackScript.Analysis |
| Field | Ideas.Common.Algebra.Field |
| fieldLaws | Ideas.Common.Algebra.FieldLaws |
| final | Ideas.Common.Traversal.Iterator |
| findAttribute | Ideas.Text.XML.Interface, Ideas.Text.XML |
| findbuggyrules | Ideas.Service.BasicServices |
| findChild | Ideas.Text.XML.Interface, Ideas.Text.XML |
| findExercise | Ideas.Service.DomainReasoner |
| findIndexM | Ideas.Common.Utils |
| findService | Ideas.Service.DomainReasoner |
| findSubResult | Ideas.Common.Utils.TestSuite |
| First | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| first | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Traversal.Iterator |
| firsts | Ideas.Common.Strategy.Parsing |
| firstTerm | Ideas.Common.Derivation, Ideas.Common.Library |
| fix | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| Fixed | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| 3 (Data Constructor) | Ideas.Text.XML.Document |
| fixp | Ideas.Common.Traversal.Utils |
| fixpl | Ideas.Common.Traversal.Utils |
| fixpoint | Ideas.Common.Utils |
| Flag | Ideas.Main.Options |
| float | Ideas.Text.Parsing |
| FMP | |
| 1 (Type/Class) | Ideas.Text.OpenMath.FMP |
| 2 (Data Constructor) | Ideas.Text.OpenMath.FMP |
| fns1List | Ideas.Text.OpenMath.Dictionary.Fns1 |
| Focus | Ideas.Common.Traversal.Utils |
| focus | Ideas.Common.Traversal.Utils |
| focusM | Ideas.Common.Traversal.Utils |
| forAll | Ideas.Common.Utils.QuickCheck |
| forAllShrink | Ideas.Common.Utils.QuickCheck |
| forallSymbol | Ideas.Text.OpenMath.Dictionary.Quant1 |
| frequency | Ideas.Common.Utils.QuickCheck |
| from | Ideas.Common.View, Ideas.Common.Library |
| fromAdditive | Ideas.Common.Algebra.Field |
| fromAdditiveLaw | Ideas.Common.Algebra.FieldLaws |
| fromAnd | Ideas.Common.Algebra.Boolean |
| fromAndLaw | Ideas.Common.Algebra.BooleanLaws |
| fromBinding | Ideas.Common.Environment, Ideas.Common.Library |
| fromBool | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| fromBuilder | Ideas.Text.XML |
| fromContext | Ideas.Common.Context, Ideas.Common.Library |
| fromContextWith | Ideas.Common.Context, Ideas.Common.Library |
| fromContextWith2 | Ideas.Common.Context, Ideas.Common.Library |
| fromCore | Ideas.Common.Strategy.Abstract |
| fromJSON | Ideas.Text.JSON |
| fromLocation | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| fromMultiplicative | Ideas.Common.Algebra.Field |
| fromMultiplicativeLaw | Ideas.Common.Algebra.FieldLaws |
| fromOMOBJ | Ideas.Encoding.OpenMathSupport |
| fromOpenMath | Ideas.Encoding.OpenMathSupport |
| fromOr | Ideas.Common.Algebra.Boolean |
| fromOrLaw | Ideas.Common.Algebra.BooleanLaws |
| fromShowString | Ideas.Common.Utils |
| fromSmart | Ideas.Common.Algebra.SmartGroup |
| fromSmartField | Ideas.Common.Algebra.SmartGroup |
| fromSmartGroup | Ideas.Common.Algebra.SmartGroup |
| fromSmartZero | Ideas.Common.Algebra.SmartGroup |
| fromTerm | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| fromTermM | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| fromTermWith | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| fromWithZero | Ideas.Common.Algebra.Group |
| fromXML | Ideas.Text.XML |
| fst3 | Ideas.Common.Utils |
| full | Ideas.Common.Strategy.Traversal |
| fullbu | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| fullDerivationTree | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| fulltd | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| fullVersion | |
| 1 (Function) | Ideas.Service.DomainReasoner |
| 2 (Function) | Ideas.Main.Options |
| function | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| gammaSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| GaveUp | Ideas.Common.Utils.QuickCheck |
| gcdSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| GCore | Ideas.Common.Strategy.Core |
| Gen | Ideas.Common.Utils.QuickCheck |
| generate | Ideas.Service.BasicServices |
| generateWith | Ideas.Service.BasicServices |
| generator | Ideas.Common.Utils.QuickCheck |
| generators | Ideas.Common.Utils.QuickCheck |
| GenLanguageDef | Ideas.Text.Parsing |
| GenParser | Ideas.Text.Parsing |
| geqSymbol | Ideas.Text.OpenMath.Dictionary.Relation1 |
| getAll | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| getAny | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| getData | Ideas.Text.XML.Interface, Ideas.Text.XML |
| getDual | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| getExercise | |
| 1 (Function) | Ideas.Encoding.DecoderJSON |
| 2 (Function) | Ideas.Encoding.DecoderXML |
| 3 (Function) | Ideas.Encoding.EncoderXML |
| getFirst | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| getFlags | Ideas.Main.Options |
| getFunction | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| getId | Ideas.Common.Id, Ideas.Common.Library |
| getInput | Ideas.Text.Parsing |
| getLast | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| getMetaVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| getNonEmpty | Ideas.Common.Utils.QuickCheck |
| getNonNegative | Ideas.Common.Utils.QuickCheck |
| getNonZero | Ideas.Common.Utils.QuickCheck |
| getOMVs | Ideas.Text.OpenMath.Object |
| getOrdered | Ideas.Common.Utils.QuickCheck |
| getParserState | Ideas.Text.Parsing |
| getPosition | Ideas.Text.Parsing |
| getPositive | Ideas.Common.Utils.QuickCheck |
| getProduct | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| getRef | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| getRefIds | Ideas.Common.Environment, Ideas.Common.Library |
| getRefs | Ideas.Common.Environment, Ideas.Common.Library |
| getRewriteRules | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| getRule | Ideas.Common.Exercise, Ideas.Common.Library |
| getScript | |
| 1 (Function) | Ideas.Encoding.DecoderJSON |
| 2 (Function) | Ideas.Encoding.DecoderXML |
| getSingleton | Ideas.Common.Classes, Ideas.Common.Library |
| getState | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Encoding.Evaluator |
| getStdGen | |
| 1 (Function) | Ideas.Encoding.DecoderJSON |
| 2 (Function) | Ideas.Encoding.DecoderXML |
| getSum | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| getSymbol | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| getTermValue | Ideas.Common.Environment, Ideas.Common.Library |
| getVariable | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| Group | Ideas.Common.Algebra.Group |
| groupLaws | Ideas.Common.Algebra.GroupLaws |
| growingElements | Ideas.Common.Utils.QuickCheck |
| gtSymbol | Ideas.Text.OpenMath.Dictionary.Relation1 |
| Guarded | Ideas.Service.FeedbackScript.Syntax |
| h1 | Ideas.Text.HTML |
| h2 | Ideas.Text.HTML |
| h3 | Ideas.Text.HTML |
| h4 | Ideas.Text.HTML |
| h5 | Ideas.Text.HTML |
| h6 | Ideas.Text.HTML |
| hasDown | Ideas.Common.Traversal.Navigator |
| HasEnvironment | Ideas.Common.Environment, Ideas.Common.Library |
| HasId | Ideas.Common.Id, Ideas.Common.Library |
| haskell | Ideas.Text.Parsing |
| haskellDef | Ideas.Text.Parsing |
| haskellStyle | Ideas.Text.Parsing |
| hasLeft | Ideas.Common.Traversal.Navigator |
| hasMetaVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| hasNext | Ideas.Common.Traversal.Iterator |
| hasNoVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| hasPrevious | Ideas.Common.Traversal.Iterator |
| HasRefs | Ideas.Common.Environment, Ideas.Common.Library |
| hasRight | Ideas.Common.Traversal.Navigator |
| hasSomeVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| hasTermView | Ideas.Common.Exercise, Ideas.Common.Library |
| hasTypeable | Ideas.Common.Exercise, Ideas.Common.Library |
| hasUp | Ideas.Common.Traversal.Navigator |
| hasVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| headM | Ideas.Common.Utils |
| Help | Ideas.Main.Options |
| helpText | Ideas.Main.Options |
| hexDigit | Ideas.Text.Parsing |
| hidden | Ideas.Common.Strategy.Abstract |
| Hide | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| hide | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| highlightXML | Ideas.Text.HTML |
| holes | Ideas.Common.Utils.Uniplate |
| Horizontal | Ideas.Common.Traversal.Navigator |
| hr | Ideas.Text.HTML |
| HTMLBuilder | Ideas.Text.HTML |
| htmlEncoder | Ideas.Encoding.EncoderHTML |
| HTMLEncoding | Ideas.Service.Request |
| HTMLPage | Ideas.Text.HTML |
| htmlPage | Ideas.Text.HTML |
| I | Ideas.Text.JSON |
| Id | |
| 1 (Type/Class) | Ideas.Common.Id, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| idA | Ideas.Text.HTML |
| ideasLastChanged | Ideas.Main.Revision |
| ideasRevision | Ideas.Main.Revision |
| ideasVersion | Ideas.Main.Revision |
| idempotent | Ideas.Common.Algebra.GroupLaws |
| idempotentFor | Ideas.Common.Algebra.GroupLaws |
| Identify | Ideas.Common.Id, Ideas.Common.Library |
| identity | Ideas.Common.View, Ideas.Common.Library |
| identityLaws | Ideas.Common.Algebra.GroupLaws |
| identitySymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| identLetter | Ideas.Text.Parsing |
| identStart | Ideas.Text.Parsing |
| IdRefsType | Ideas.Text.XML.Document |
| IdRefType | Ideas.Text.XML.Document |
| idRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| IdType | Ideas.Text.XML.Document |
| Ignore | Ideas.Text.XML.Document |
| image | Ideas.Text.HTML |
| imageSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| Implied | Ideas.Text.XML.Document |
| implies | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| impliesSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| Include | |
| 1 (Data Constructor) | Ideas.Text.XML.Document |
| 2 (Data Constructor) | Ideas.Service.FeedbackScript.Syntax |
| includes | Ideas.Service.FeedbackScript.Syntax |
| inContext | Ideas.Common.Exercise, Ideas.Common.Library |
| Incorrect | Ideas.Service.ProblemDecomposition |
| incSourceColumn | Ideas.Text.Parsing |
| incSourceLine | Ideas.Text.Parsing |
| infinitySymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| Infix | Ideas.Text.Parsing |
| InJSON | Ideas.Text.JSON |
| innermost | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| InputFile | Ideas.Main.Options |
| insertRef | Ideas.Common.Environment, Ideas.Common.Library |
| Int | Ideas.Service.Types |
| interleave | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| interrupted | Ideas.Common.Utils.QuickCheck |
| intSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| inverse | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Algebra.Group |
| inverseDistr | Ideas.Common.Algebra.GroupLaws |
| inverseDistrFlipped | Ideas.Common.Algebra.GroupLaws |
| inverseIdentity | Ideas.Common.Algebra.GroupLaws |
| inverseLaws | Ideas.Common.Algebra.GroupLaws |
| inverseSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| InXML | Ideas.Text.XML |
| isAnd | Ideas.Common.Algebra.Boolean |
| isAppend | Ideas.Common.Algebra.Group |
| isAppendInv | Ideas.Common.Algebra.Group |
| isAssociative | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isBinary | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isBuggy | Ideas.Common.Classes, Ideas.Common.Library |
| isCanonical | Ideas.Common.View, Ideas.Common.Library |
| isCanonicalWith | Ideas.Common.View, Ideas.Common.Library |
| isCombiningChar | Ideas.Text.XML.Unicode |
| isComplement | Ideas.Common.Algebra.Boolean |
| isConfluent | Ideas.Common.Rewriting.Confluence |
| isDigit | Ideas.Text.XML.Unicode |
| isDivision | Ideas.Common.Algebra.Field |
| isEmpty | |
| 1 (Function) | Ideas.Common.Derivation, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Algebra.Group |
| isEmptyId | Ideas.Common.Id, Ideas.Common.Library |
| isError | Ideas.Common.Utils.TestSuite |
| isExtender | Ideas.Text.XML.Unicode |
| isFalse | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| isFinal | Ideas.Common.Traversal.Iterator |
| isFirst | Ideas.Common.Traversal.Iterator |
| isFunction | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| IsId | Ideas.Common.Id, Ideas.Common.Library |
| isInverse | Ideas.Common.Algebra.Group |
| IsLabeled | Ideas.Common.Strategy.Abstract |
| isLeaf | Ideas.Common.Traversal.Navigator |
| isLetter | Ideas.Text.XML.Unicode |
| isMajor | Ideas.Common.Classes, Ideas.Common.Library |
| IsMatcher | Ideas.Common.View, Ideas.Common.Library |
| isMetaVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isMinor | Ideas.Common.Classes, Ideas.Common.Library |
| isMinus | Ideas.Common.Algebra.Field |
| isMonoidZero | Ideas.Common.Algebra.Group |
| isNegate | Ideas.Common.Algebra.Field |
| Iso | Ideas.Service.Types |
| Isomorphism | Ideas.Common.View, Ideas.Common.Library |
| isOne | Ideas.Common.Algebra.Field |
| isOpenMath | |
| 1 (Function) | Ideas.Encoding.DecoderXML |
| 2 (Function) | Ideas.Encoding.EncoderXML |
| isOr | Ideas.Common.Algebra.Boolean |
| isPlus | Ideas.Common.Algebra.Field |
| isPrivate | Ideas.Common.Exercise, Ideas.Common.Library |
| isPublic | Ideas.Common.Exercise, Ideas.Common.Library |
| isReady | |
| 1 (Function) | Ideas.Common.Strategy.Parsing |
| 2 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| isRecip | Ideas.Common.Algebra.Field |
| isRecognizer | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| isRewriteRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| isStatic | Ideas.Encoding.LinkManager |
| IsStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| isSubsetOf | Ideas.Common.Utils |
| isSuitable | Ideas.Common.Exercise, Ideas.Common.Library |
| isSymbol | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| IsTerm | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isTimes | Ideas.Common.Algebra.Field |
| isTop | Ideas.Common.Traversal.Navigator |
| isTrue | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| isUnary | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isUTF8 | Ideas.Text.UTF8 |
| isVariable | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| IsView | Ideas.Common.View, Ideas.Common.Library |
| iSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| isZero | Ideas.Common.Algebra.Field |
| isZeroTrans | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| italic | Ideas.Text.HTML |
| Iterator | Ideas.Common.Traversal.Iterator |
| javaStyle | Ideas.Text.Parsing |
| JSON | |
| 1 (Type/Class) | Ideas.Text.JSON |
| 2 (Data Constructor) | Ideas.Service.Request |
| JSONDecoder | Ideas.Encoding.DecoderJSON |
| jsonDecoder | Ideas.Encoding.DecoderJSON |
| JSONDecoderState | |
| 1 (Type/Class) | Ideas.Encoding.DecoderJSON |
| 2 (Data Constructor) | Ideas.Encoding.DecoderJSON |
| jsonEncoder | Ideas.Encoding.EncoderJSON |
| jsonRPC | Ideas.Text.JSON |
| Key | Ideas.Text.JSON |
| keyValueTable | Ideas.Text.HTML |
| Label | Ideas.Common.Strategy.Core |
| label | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Text.Parsing |
| 3 (Function) | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| LabeledStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| LabelInfo | Ideas.Common.Strategy.Abstract |
| labels | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Text.Parsing |
| lambdaSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| LanguageDef | |
| 1 (Type/Class) | Ideas.Text.Parsing |
| 2 (Data Constructor) | Ideas.Text.Parsing |
| Last | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| lastStep | Ideas.Common.Derivation, Ideas.Common.Library |
| lastStepInPrefix | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| lastTerm | Ideas.Common.Derivation, Ideas.Common.Library |
| Law | Ideas.Common.Algebra.Law |
| law | Ideas.Common.Algebra.Law |
| LawSpec | Ideas.Common.Algebra.Law |
| layer | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| lcmSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| Leafs | Ideas.Common.Traversal.Navigator |
| leafs | Ideas.Common.DerivationTree, Ideas.Common.Library |
| left | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Traversal.Navigator |
| leftComposeSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| leftDistributive | Ideas.Common.Algebra.FieldLaws |
| leftDistributiveFor | Ideas.Common.Algebra.GroupLaws |
| leftHandSide | Ideas.Text.OpenMath.FMP |
| leftIdentity | Ideas.Common.Algebra.GroupLaws |
| leftInverse | Ideas.Common.Algebra.GroupLaws |
| leftInverseSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| leftMost | Ideas.Common.Traversal.Navigator |
| leftMostAt | Ideas.Common.Traversal.Navigator |
| leftMostLeaf | Ideas.Common.Traversal.Navigator |
| leftNegateTimes | Ideas.Common.Algebra.FieldLaws |
| leftToRight | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| leftZero | Ideas.Common.Algebra.GroupLaws |
| lengthMax | Ideas.Common.DerivationTree, Ideas.Common.Library |
| leqSymbol | Ideas.Text.OpenMath.Dictionary.Relation1 |
| letter | Ideas.Text.Parsing |
| letterMap | Ideas.Text.XML.Unicode |
| level | |
| 1 (Function) | Ideas.Common.Traversal.Navigator |
| 2 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| levelNext | Ideas.Common.Traversal.Navigator |
| LevelOrder | Ideas.Common.Traversal.Navigator |
| levelPrevious | Ideas.Common.Traversal.Navigator |
| liftA2 | Ideas.Encoding.Evaluator |
| liftCore | Ideas.Common.Strategy.Abstract |
| liftCore2 | Ideas.Common.Strategy.Abstract |
| liftFocus | Ideas.Common.Traversal.Utils |
| liftIO | Ideas.Common.Utils.TestSuite |
| liftToContext | Ideas.Common.Context, Ideas.Common.Library |
| LiftView | Ideas.Common.View, Ideas.Common.Library |
| liftView | Ideas.Common.View, Ideas.Common.Library |
| liftViewIn | Ideas.Common.View, Ideas.Common.Library |
| liftWrapper | Ideas.Common.Traversal.Utils |
| linalg2List | Ideas.Text.OpenMath.Dictionary.Linalg2 |
| Line | Ideas.Text.Parsing |
| link | Ideas.Text.HTML |
| LinkManager | |
| 1 (Type/Class) | Ideas.Encoding.LinkManager |
| 2 (Data Constructor) | Ideas.Encoding.LinkManager |
| linksUp | Ideas.Encoding.LinkManager |
| linkToApplications | Ideas.Encoding.LinkManager |
| linkToDerivation | Ideas.Encoding.LinkManager |
| linkToDerivations | Ideas.Encoding.LinkManager |
| linkToExamples | Ideas.Encoding.LinkManager |
| linkToExercise | Ideas.Encoding.LinkManager |
| linkToExercises | Ideas.Encoding.LinkManager |
| linkToFirsts | Ideas.Encoding.LinkManager |
| linkToIndex | Ideas.Encoding.LinkManager |
| linkToRandomExample | Ideas.Encoding.LinkManager |
| linkToRule | Ideas.Encoding.LinkManager |
| linkToRules | Ideas.Encoding.LinkManager |
| linkToService | Ideas.Encoding.LinkManager |
| linkToServices | Ideas.Encoding.LinkManager |
| linkToState | Ideas.Encoding.LinkManager |
| linkToStrategy | Ideas.Encoding.LinkManager |
| List | Ideas.Service.Types |
| list | Ideas.Common.Utils |
| list1List | Ideas.Text.OpenMath.Dictionary.List1 |
| listFromJSON | Ideas.Text.JSON |
| listFromXML | Ideas.Text.XML |
| listGen | Ideas.Common.Traversal.Tests |
| ListIterator | Ideas.Common.Traversal.Iterator |
| listOf | Ideas.Common.Utils.QuickCheck |
| listOf1 | Ideas.Common.Utils.QuickCheck |
| listQualify | Ideas.Common.Id, Ideas.Common.Library |
| listSymbol | Ideas.Text.OpenMath.Dictionary.List1 |
| listToJSON | Ideas.Text.JSON |
| listToSubst | Ideas.Common.Rewriting.Substitution |
| listToXML | Ideas.Text.XML |
| listView | Ideas.Common.View, Ideas.Common.Library |
| lnSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| Location | |
| 1 (Type/Class) | Ideas.Common.Traversal.Navigator, Ideas.Common.Context, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| location | Ideas.Common.Traversal.Navigator, Ideas.Common.Context, Ideas.Common.Library |
| logEnabled | Ideas.Main.LoggingDatabase |
| logic1List | Ideas.Text.OpenMath.Dictionary.Logic1 |
| logMessage | Ideas.Main.LoggingDatabase |
| logSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| lookAhead | Ideas.Text.Parsing |
| lookupM | Ideas.Text.JSON |
| lookupVar | Ideas.Common.Rewriting.Substitution |
| lower | Ideas.Text.Parsing |
| ltSymbol | Ideas.Text.OpenMath.Dictionary.Relation1 |
| makeAssociative | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| makeBinding | Ideas.Common.Environment, Ideas.Common.Library |
| makeContext | Ideas.Common.Exercise, Ideas.Common.Library |
| makeDocumentation | Ideas.Main.Documentation |
| makeEnvironment | Ideas.Common.Environment, Ideas.Common.Library |
| makeExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| makeHorizontal | Ideas.Common.Traversal.Navigator |
| makeInfo | Ideas.Common.Strategy.Abstract |
| makeLabeledStrategy | Ideas.Common.Strategy.Abstract |
| makeLeafs | Ideas.Common.Traversal.Navigator |
| makeLevelOrder | Ideas.Common.Traversal.Navigator |
| makeMatcher | Ideas.Common.View, Ideas.Common.Library |
| makeMirror | Ideas.Common.Traversal.Utils |
| makeNoState | Ideas.Service.State |
| MakePages | Ideas.Main.Options |
| makePostOrder | Ideas.Common.Traversal.Navigator |
| makePrefix | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| makePreOrder | Ideas.Common.Traversal.Navigator |
| makeRecognizer | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| makeRecognizerEnvMonad | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| makeRecognizerTrans | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| makeRef | Ideas.Common.Environment, Ideas.Common.Library |
| makeRefList | Ideas.Common.Environment, Ideas.Common.Library |
| makeRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| makeRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| makeScript | Ideas.Service.FeedbackScript.Syntax |
| MakeScriptFor | Ideas.Main.Options |
| makeScriptFor | Ideas.Service.FeedbackScript.Analysis |
| makeService | Ideas.Service.Types |
| makeState | |
| 1 (Function) | Ideas.Common.Strategy.Parsing |
| 2 (Function) | Ideas.Service.State |
| makeStrategyConfiguration | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| makeSummary | Ideas.Common.Utils.TestSuite |
| makeSymbol | Ideas.Text.OpenMath.Symbol |
| makeText | Ideas.Service.FeedbackScript.Syntax |
| MakeTrans | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| makeTrans | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| makeTransLiftContext | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| makeTransLiftContext_ | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| makeTree | Ideas.Common.DerivationTree, Ideas.Common.Library |
| makeView | Ideas.Common.View, Ideas.Common.Library |
| makeXML | Ideas.Text.XML |
| Many | Ideas.Common.Strategy.Core |
| many | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| many1 | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| manyTill | Ideas.Text.Parsing |
| mapBoth | Ideas.Common.Classes, Ideas.Common.Library |
| mapExamples | Ideas.Common.Exercise, Ideas.Common.Library |
| mapFirst | Ideas.Common.Classes, Ideas.Common.Library |
| mapLaw | Ideas.Common.Algebra.Law |
| mappend | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Algebra.Group, Ideas.Encoding.Evaluator |
| mapRules | Ideas.Common.Strategy.Abstract |
| mapRulesS | Ideas.Common.Strategy.Abstract |
| mapSecond | Ideas.Common.Classes, Ideas.Common.Library |
| mapSize | Ideas.Common.Utils.QuickCheck |
| mapSymbol | Ideas.Text.OpenMath.Dictionary.List1 |
| mapWrapper | Ideas.Common.Traversal.Utils |
| Match | Ideas.Common.Rewriting.Unification |
| match | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Rewriting.Unification |
| Matcher | Ideas.Common.View, Ideas.Common.Library |
| matcher | Ideas.Common.View, Ideas.Common.Library |
| matcherView | Ideas.Common.View, Ideas.Common.Library |
| matchExtended | Ideas.Common.Rewriting.Unification |
| matchList | Ideas.Common.Rewriting.Unification |
| matchM | Ideas.Common.View, Ideas.Common.Library |
| matrixrowSymbol | Ideas.Text.OpenMath.Dictionary.Linalg2 |
| matrixSymbol | Ideas.Text.OpenMath.Dictionary.Linalg2 |
| maxDiscardRatio | Ideas.Common.Utils.QuickCheck |
| maxSize | Ideas.Common.Utils.QuickCheck |
| maxSuccess | Ideas.Common.Utils.QuickCheck |
| maybeEncoder | Ideas.Encoding.Evaluator |
| mconcat | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Algebra.Group, Ideas.Encoding.Evaluator |
| Medium | Ideas.Common.Exercise, Ideas.Common.Library |
| mempty | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Id, Ideas.Common.Algebra.Group, Ideas.Common.Library, Ideas.Encoding.Evaluator |
| mergeMaybeSteps | Ideas.Common.DerivationTree, Ideas.Common.Library |
| Message | |
| 1 (Type/Class) | Ideas.Common.Utils.TestSuite |
| 2 (Type/Class) | Ideas.Service.FeedbackText |
| 3 (Type/Class) | Ideas.Service.FeedbackScript.Analysis |
| messageLabel | Ideas.Common.Utils.TestSuite |
| messages | Ideas.Common.Utils.TestSuite |
| metaInRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| metaServiceList | Ideas.Service.ServiceList |
| metaVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| metaVariables | Ideas.Text.OpenMath.FMP |
| metaVars | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| metaVarSet | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| Minor | Ideas.Common.Classes, Ideas.Common.Library |
| minor | Ideas.Common.Classes, Ideas.Common.Library |
| minorRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| minusSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| Mirror | Ideas.Common.Traversal.Utils |
| Mixed | Ideas.Text.XML.Document |
| MkStr | Ideas.Common.Utils.QuickCheck |
| MonadIO | Ideas.Common.Utils.TestSuite |
| mondrian | Ideas.Text.Parsing |
| mondrianDef | Ideas.Text.Parsing |
| Monoid | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Algebra.Group, Ideas.Encoding.Evaluator |
| monoidLaws | Ideas.Common.Algebra.GroupLaws |
| MonoidZero | Ideas.Common.Algebra.Group |
| monoidZeroLaws | Ideas.Common.Algebra.GroupLaws |
| mplus | Ideas.Common.Traversal.Utils |
| multi | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| Multiplicative | |
| 1 (Type/Class) | Ideas.Common.Algebra.Field |
| 2 (Data Constructor) | Ideas.Common.Algebra.Field |
| munless | Ideas.Text.XML |
| mwhen | Ideas.Text.XML |
| mzero | Ideas.Common.Algebra.Group |
| Name | Ideas.Text.XML.Document |
| name | |
| 1 (Function) | Ideas.Text.XML.Document |
| 2 (Function) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| NameSpace | Ideas.Service.FeedbackScript.Syntax |
| naNSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| naturalOrFloat | Ideas.Text.Parsing |
| navigateTo | Ideas.Common.Traversal.Navigator |
| navigateTowards | Ideas.Common.Traversal.Navigator |
| navigation | Ideas.Common.Exercise, Ideas.Common.Library |
| Navigator | Ideas.Common.Traversal.Navigator |
| navigator | Ideas.Common.Context, Ideas.Common.Library |
| neg | Ideas.Common.Algebra.SmartGroup |
| negateTimesLaws | Ideas.Common.Algebra.FieldLaws |
| neqSymbol | Ideas.Text.OpenMath.Dictionary.Relation1 |
| nestedComments | Ideas.Text.Parsing |
| newContext | Ideas.Common.Context, Ideas.Common.Library |
| newDomainReasoner | Ideas.Main.Default |
| newEnvironment | Ideas.Service.FeedbackScript.Run |
| newId | Ideas.Common.Id, Ideas.Common.Library |
| newline | Ideas.Text.Parsing |
| newMessage | Ideas.Common.Utils.TestSuite |
| newState | Ideas.Service.Diagnose |
| newSymbol | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| next | Ideas.Common.Traversal.Iterator |
| nextMetaVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| nextTaskLocation | Ideas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library |
| NmTokensType | Ideas.Text.XML.Document |
| NmTokenType | Ideas.Text.XML.Document |
| noBindings | Ideas.Common.Environment, Ideas.Common.Library |
| NoExpectedFailure | Ideas.Common.Utils.QuickCheck |
| noInterleaving | Ideas.Common.Strategy.Abstract |
| noLabels | Ideas.Common.Strategy.Core |
| noMixedFractions | Ideas.Encoding.OpenMathSupport |
| noNavigator | Ideas.Common.Context, Ideas.Common.Library |
| NonEmpty | Ideas.Common.Utils.QuickCheck |
| NonEmptyList | Ideas.Common.Utils.QuickCheck |
| noneOf | Ideas.Text.Parsing |
| NonNegative | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| NonZero | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| normalize | Ideas.Text.XML.Interface |
| Not | Ideas.Common.Strategy.Core |
| not | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| NotationDecl | Ideas.Text.XML.Document |
| NotationType | Ideas.Text.XML.Document |
| NotClosed | Ideas.Text.Parsing |
| NotEquivalent | |
| 1 (Data Constructor) | Ideas.Service.Diagnose |
| 2 (Data Constructor) | Ideas.Service.Submit |
| NoTextForRule | Ideas.Service.FeedbackScript.Analysis |
| notFollowedBy | Ideas.Text.Parsing |
| NotOpened | Ideas.Text.Parsing |
| notS | Ideas.Common.Library |
| notSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| nthdiffSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| Null | Ideas.Text.JSON |
| Number | |
| 1 (Type/Class) | Ideas.Text.JSON |
| 2 (Data Constructor) | Ideas.Text.JSON |
| numberOfTests | Ideas.Common.Utils.TestSuite |
| nums1List | Ideas.Text.OpenMath.Dictionary.Nums1 |
| numShrinks | Ideas.Common.Utils.QuickCheck |
| numTests | Ideas.Common.Utils.QuickCheck |
| Object | Ideas.Text.JSON |
| octDigit | Ideas.Text.Parsing |
| Ok | |
| 1 (Data Constructor) | Ideas.Service.Submit |
| 2 (Data Constructor) | Ideas.Service.ProblemDecomposition |
| oldReady | Ideas.Service.FeedbackScript.Run |
| OMA | Ideas.Text.OpenMath.Object |
| OMBIND | Ideas.Text.OpenMath.Object |
| OMF | Ideas.Text.OpenMath.Object |
| OMI | Ideas.Text.OpenMath.Object |
| OMOBJ | Ideas.Text.OpenMath.Object |
| omobj2xml | Ideas.Text.OpenMath.Object |
| OMS | Ideas.Text.OpenMath.Object |
| OMV | Ideas.Text.OpenMath.Object |
| once | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Common.Strategy.Traversal |
| oncebu | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| oncetd | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| one | Ideas.Common.Algebra.Field |
| onefirst | Ideas.Service.BasicServices |
| onefirsttext | Ideas.Service.FeedbackText |
| oneOf | Ideas.Text.Parsing |
| oneof | Ideas.Common.Utils.QuickCheck |
| OpenMath | Ideas.Service.Request |
| Operator | Ideas.Text.Parsing |
| OperatorTable | Ideas.Text.Parsing |
| opLetter | Ideas.Text.Parsing |
| opStart | Ideas.Text.Parsing |
| Option | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| option | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| optional | Ideas.Text.Parsing |
| optionMaybe | Ideas.Text.Parsing |
| Or | |
| 1 (Type/Class) | Ideas.Common.Algebra.Boolean |
| 2 (Data Constructor) | Ideas.Common.Algebra.Boolean |
| Ordered | Ideas.Common.Utils.QuickCheck |
| OrderedList | Ideas.Common.Utils.QuickCheck |
| orderedList | Ideas.Common.Utils.QuickCheck |
| orOverAndLaws | Ideas.Common.Algebra.BooleanLaws |
| ors | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| orSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| outermost | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| output | Ideas.Common.Utils.QuickCheck |
| Pair | Ideas.Service.Types |
| Pairings | Ideas.Common.Rewriting.AC |
| pairingsA | Ideas.Common.Rewriting.AC |
| pairingsAC | Ideas.Common.Rewriting.AC |
| pairingsC | Ideas.Common.Rewriting.AC |
| PairingsList | Ideas.Common.Rewriting.AC |
| pairingsMatchA | Ideas.Common.Rewriting.AC |
| pairingsNone | Ideas.Common.Rewriting.AC |
| PairingsPair | Ideas.Common.Rewriting.AC |
| para | |
| 1 (Function) | Ideas.Common.Utils.Uniplate |
| 2 (Function) | Ideas.Text.HTML |
| Parameter | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Data Constructor) | Ideas.Text.XML.Document |
| parameter1 | Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library |
| parameter2 | Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library |
| parameter3 | Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library |
| ParamTrans | Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library |
| parentFilter | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| parse | Ideas.Text.Parsing |
| parseAndAnalyzeScript | Ideas.Service.FeedbackScript.Analysis |
| parseDerivationTree | Ideas.Common.Strategy.Parsing |
| ParseError | Ideas.Text.Parsing |
| parseFromFile | Ideas.Text.Parsing |
| parseJSON | Ideas.Text.JSON |
| Parser | Ideas.Text.Parsing |
| parser | Ideas.Common.Exercise, Ideas.Common.Library |
| parseScript | Ideas.Service.FeedbackScript.Parser |
| parseScriptSafe | Ideas.Service.FeedbackScript.Parser |
| parseSimple | Ideas.Text.Parsing |
| parseTest | Ideas.Text.Parsing |
| parseXML | |
| 1 (Function) | Ideas.Text.XML.Interface |
| 2 (Function) | Ideas.Text.XML |
| partialdiffSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| pathLevel | Ideas.Encoding.LinkManager |
| permute | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| piSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| plate | Ideas.Common.Utils.Uniplate |
| Plus | Ideas.Text.XML.Document |
| plusInverse | Ideas.Common.Algebra.Field |
| plusSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| position | Ideas.Common.Traversal.Iterator |
| Positive | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| Postfix | Ideas.Text.Parsing |
| PostOrder | Ideas.Common.Traversal.Navigator |
| powerSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| pre | Ideas.Text.HTML |
| Predicate | Ideas.Common.Predicate, Ideas.Common.Library |
| predicate | Ideas.Common.Predicate, Ideas.Common.Library |
| predicateView | Ideas.Common.Predicate, Ideas.Common.Library |
| Prefix | |
| 1 (Data Constructor) | Ideas.Text.Parsing |
| 2 (Type/Class) | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| prefixToSteps | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| prefixTree | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| PreOrder | Ideas.Common.Traversal.Navigator |
| prepend | Ideas.Common.Derivation, Ideas.Common.Library |
| preText | Ideas.Text.HTML |
| prettyPrinter | Ideas.Common.Exercise, Ideas.Common.Library |
| prettyPrinterContext | Ideas.Common.Exercise, Ideas.Common.Library |
| previous | Ideas.Common.Traversal.Iterator |
| printDerivation | Ideas.Common.Exercise, Ideas.Common.Library |
| printSummary | Ideas.Common.Utils.TestSuite |
| printTestCase | Ideas.Common.Utils.QuickCheck |
| problemDecomposition | Ideas.Service.ProblemDecomposition |
| processJSON | Ideas.Encoding.ModeJSON |
| processLabelInfo | Ideas.Common.Strategy.Abstract |
| processXML | Ideas.Encoding.ModeXML |
| Product | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| product | Ideas.Common.Algebra.Field |
| productSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| promote | Ideas.Common.Utils.QuickCheck |
| Prop | Ideas.Common.Utils.QuickCheck |
| propEncoding | |
| 1 (Function) | Ideas.Text.UTF8 |
| 2 (Function) | Ideas.Text.OpenMath.Tests |
| 3 (Function) | Ideas.Text.JSON |
| Property | Ideas.Common.Utils.QuickCheck |
| property | Ideas.Common.Utils.QuickCheck |
| propertyLaw | Ideas.Common.Algebra.Law |
| propIdempotence | Ideas.Common.View, Ideas.Common.Library |
| propNormalForm | Ideas.Common.View, Ideas.Common.Library |
| propsBoolean | Ideas.Common.Algebra.BooleanLaws |
| propsField | Ideas.Common.Algebra.FieldLaws |
| propSoundness | Ideas.Common.View, Ideas.Common.Library |
| Provisional | Ideas.Common.Exercise, Ideas.Common.Library |
| Public | Ideas.Text.XML.Document |
| PublicID | Ideas.Text.XML.Document |
| pure | Ideas.Encoding.Evaluator |
| pzero | Ideas.Text.Parsing |
| qualification | Ideas.Common.Id, Ideas.Common.Library |
| qualifiers | Ideas.Common.Id, Ideas.Common.Library |
| quant1List | Ideas.Text.OpenMath.Dictionary.Quant1 |
| quantor | Ideas.Text.OpenMath.FMP |
| QuestionMark | Ideas.Text.XML.Document |
| quickCheck | Ideas.Common.Utils.QuickCheck |
| quickCheckResult | Ideas.Common.Utils.QuickCheck |
| quickCheckWith | Ideas.Common.Utils.QuickCheck |
| quickCheckWithResult | Ideas.Common.Utils.QuickCheck |
| randomDerivation | Ideas.Common.DerivationTree, Ideas.Common.Library |
| randomExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| randomTerm | Ideas.Common.Exercise, Ideas.Common.Library |
| randomTermWith | Ideas.Common.Exercise, Ideas.Common.Library |
| ranges | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Text.Parsing |
| rangeSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| rare | Ideas.Common.Utils.QuickCheck |
| 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 |
| Ready | Ideas.Common.Strategy.Parsing |
| ready | |
| 1 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| 2 (Function) | Ideas.Service.BasicServices |
| reason | Ideas.Common.Utils.QuickCheck |
| reasonerId | Ideas.Service.DomainReasoner |
| Rec | Ideas.Common.Strategy.Core |
| 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.Common.Exercise, Ideas.Common.Library |
| recognizeTrans | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| 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 |
| 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 |
| removed | Ideas.Common.Strategy.Abstract |
| renumberRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| Repeat | Ideas.Common.Strategy.Core |
| repeat | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| repeat1 | 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 |
| replay | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Common.Strategy.Parsing |
| replicate | 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 |
| Required | Ideas.Text.XML.Document |
| reservedNames | Ideas.Text.Parsing |
| reservedOpNames | Ideas.Text.Parsing |
| resize | Ideas.Common.Utils.QuickCheck |
| restartIfNeeded | Ideas.Service.Diagnose |
| restrictGenerator | Ideas.Common.Exercise, Ideas.Common.Library |
| restrictHeight | Ideas.Common.DerivationTree, Ideas.Common.Library |
| restrictWidth | Ideas.Common.DerivationTree, Ideas.Common.Library |
| Result | |
| 1 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Strategy.Parsing |
| 3 (Data Constructor) | Ideas.Common.Strategy.Parsing |
| 4 (Type/Class) | Ideas.Service.Submit |
| Reveal | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| 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 |
| 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 |
| 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, Ideas.Common.Library |
| rootSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| RPCHandler | Ideas.Text.JSON |
| Rule | |
| 1 (Type/Class) | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Common.Strategy.Core |
| 3 (Data Constructor) | Ideas.Service.Types |
| RuleBuilder | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, 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 |
| ruleOrderingWithId | Ideas.Common.Exercise, Ideas.Common.Library |
| ruleRewrite | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, 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 |
| RuleStep | Ideas.Common.Strategy.Parsing, Ideas.Common.Strategy, Ideas.Common.Library |
| ruleToHTML | Ideas.Encoding.RulePresenter |
| ruleToString | Ideas.Service.FeedbackScript.Run |
| ruleTrans | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| runCore | Ideas.Common.Strategy.Parsing |
| runEncoderState | Ideas.Encoding.Evaluator |
| runEncoderStateM | Ideas.Encoding.Evaluator |
| runEnvMonad | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| runParser | Ideas.Text.Parsing |
| runTestSuite | Ideas.Common.Utils.TestSuite |
| runTestSuiteResult | Ideas.Common.Utils.TestSuite |
| safe | Ideas.Common.Traversal.Utils |
| SafeNum | Ideas.Common.Algebra.Field |
| safeNum | Ideas.Common.Algebra.Field |
| sameId | Ideas.Common.Id, Ideas.Common.Library |
| sample | Ideas.Common.Utils.QuickCheck |
| sample' | Ideas.Common.Utils.QuickCheck |
| satisfy | Ideas.Text.Parsing |
| Script | |
| 1 (Type/Class) | Ideas.Service.FeedbackScript.Syntax, Ideas.Service.FeedbackScript.Parser, Ideas.Service.FeedbackScript.Run |
| 2 (Data Constructor) | Ideas.Service.Types |
| scriptDecls | Ideas.Service.FeedbackScript.Syntax |
| scripts | Ideas.Service.DomainReasoner |
| searchBackward | Ideas.Common.Traversal.Iterator |
| searchForward | Ideas.Common.Traversal.Iterator |
| searchNext | Ideas.Common.Traversal.Iterator |
| searchPrevious | Ideas.Common.Traversal.Iterator |
| searchWith | Ideas.Common.Traversal.Iterator |
| sechSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| second | Ideas.Common.View, Ideas.Common.Library |
| secSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| SemiRing | Ideas.Common.Algebra.Field |
| semiRingLaws | Ideas.Common.Algebra.FieldLaws |
| sepBy | Ideas.Text.Parsing |
| sepBy1 | Ideas.Text.Parsing |
| sepEndBy | Ideas.Text.Parsing |
| sepEndBy1 | Ideas.Text.Parsing |
| Sequence | Ideas.Text.XML.Document |
| sequence | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| sequenceS | Ideas.Common.Library |
| Service | |
| 1 (Data Constructor) | Ideas.Service.Types |
| 2 (Type/Class) | Ideas.Service.Types |
| service | Ideas.Service.Request |
| serviceDeprecated | Ideas.Service.Types |
| serviceFunction | Ideas.Service.Types |
| serviceList | Ideas.Service.ServiceList |
| services | Ideas.Service.DomainReasoner |
| servicesSorted | Ideas.Service.DomainReasoner |
| setBuggy | Ideas.Common.Classes, Ideas.Common.Library |
| setEnvironment | Ideas.Common.Environment, Ideas.Common.Library |
| setInput | Ideas.Text.Parsing |
| setMinor | Ideas.Common.Classes, Ideas.Common.Library |
| setParserState | Ideas.Text.Parsing |
| setPosition | Ideas.Text.Parsing |
| setSourceColumn | Ideas.Text.Parsing |
| setSourceLine | Ideas.Text.Parsing |
| setSourceName | Ideas.Text.Parsing |
| setState | Ideas.Text.Parsing |
| shortVersion | Ideas.Main.Options |
| showCompact | Ideas.Text.JSON |
| showDerivation | Ideas.Common.Exercise, Ideas.Common.Library |
| ShowF | Ideas.Service.Types |
| showF | Ideas.Service.Types |
| showHTML | Ideas.Text.HTML |
| showId | Ideas.Common.Id, Ideas.Common.Library |
| showPretty | Ideas.Text.JSON |
| showRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| ShowString | |
| 1 (Type/Class) | Ideas.Common.Utils |
| 2 (Data Constructor) | Ideas.Common.Utils |
| showSymbol | Ideas.Text.OpenMath.Symbol |
| showTerm | Ideas.Common.Rewriting.Confluence |
| showValue | Ideas.Common.Environment, Ideas.Common.Library |
| showXML | Ideas.Text.XML |
| shrink | Ideas.Common.Utils.QuickCheck |
| Shrink2 | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| Shrinking | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| shrinking | Ideas.Common.Utils.QuickCheck |
| shrinkInit | Ideas.Common.Utils.QuickCheck |
| shrinkIntegral | Ideas.Common.Utils.QuickCheck |
| shrinkNothing | Ideas.Common.Utils.QuickCheck |
| shrinkRealFrac | Ideas.Common.Utils.QuickCheck |
| ShrinkState | Ideas.Common.Utils.QuickCheck |
| shrinkState | Ideas.Common.Utils.QuickCheck |
| siblingOf | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| Similar | Ideas.Service.Diagnose |
| similarity | Ideas.Common.Exercise, Ideas.Common.Library |
| Simple | Ideas.Service.FeedbackScript.Syntax |
| simpleEncoder | Ideas.Encoding.Evaluator |
| simpleEquivalence | Ideas.Common.Exercise, Ideas.Common.Library |
| simpleGenerator | Ideas.Common.Exercise, Ideas.Common.Library |
| simpleSimilarity | Ideas.Common.Exercise, Ideas.Common.Library |
| simplify | Ideas.Common.View, Ideas.Common.Library |
| simplifyWith | Ideas.Common.View, Ideas.Common.Library |
| simplifyWithM | Ideas.Common.View, Ideas.Common.Library |
| singleBinding | Ideas.Common.Environment, Ideas.Common.Library |
| singleNode | Ideas.Common.DerivationTree, Ideas.Common.Library |
| singleton | Ideas.Common.Classes, Ideas.Common.Library |
| singletonSubst | Ideas.Common.Rewriting.Substitution |
| sinhSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| sinSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| sized | Ideas.Common.Utils.QuickCheck |
| skip | Ideas.Text.Parsing |
| skipMany | Ideas.Text.Parsing |
| skipMany1 | Ideas.Text.Parsing |
| small | Ideas.Text.HTML |
| Smart | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| 3 (Type/Class) | Ideas.Common.Algebra.SmartGroup |
| 4 (Data Constructor) | Ideas.Common.Algebra.SmartGroup |
| SmartField | |
| 1 (Type/Class) | Ideas.Common.Algebra.SmartGroup |
| 2 (Data Constructor) | Ideas.Common.Algebra.SmartGroup |
| SmartGroup | |
| 1 (Type/Class) | Ideas.Common.Algebra.SmartGroup |
| 2 (Data Constructor) | Ideas.Common.Algebra.SmartGroup |
| SmartZero | |
| 1 (Type/Class) | Ideas.Common.Algebra.SmartGroup |
| 2 (Data Constructor) | Ideas.Common.Algebra.SmartGroup |
| snd3 | Ideas.Common.Utils |
| Some | |
| 1 (Type/Class) | Ideas.Common.Utils |
| 2 (Data Constructor) | Ideas.Common.Utils |
| SomeExercise | Ideas.Service.Types |
| somewhere | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| somewhereM | Ideas.Common.Rewriting.Confluence |
| sortTree | Ideas.Common.DerivationTree, Ideas.Common.Library |
| source | Ideas.Service.Request |
| sourceColumn | Ideas.Text.Parsing |
| sourceLine | Ideas.Text.Parsing |
| SourceName | Ideas.Text.Parsing |
| sourceName | Ideas.Text.Parsing |
| SourcePos | Ideas.Text.Parsing |
| space | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Text.HTML |
| spaces | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Text.HTML |
| spanClass | Ideas.Text.HTML |
| spine | Ideas.Common.Strategy.Traversal |
| splitAtElem | Ideas.Common.Utils |
| splitsWithElem | Ideas.Common.Utils |
| Stable | Ideas.Common.Exercise, Ideas.Common.Library |
| stack | Ideas.Common.Strategy.Parsing |
| standalone | Ideas.Text.XML.Document |
| Star | Ideas.Text.XML.Document |
| State | |
| 1 (Data Constructor) | Ideas.Text.Parsing |
| 2 (Type/Class) | Ideas.Text.Parsing |
| 3 (Type/Class) | Ideas.Common.Strategy.Parsing |
| 4 (Type/Class) | Ideas.Service.State |
| 5 (Data Constructor) | Ideas.Service.Types |
| stateContext | Ideas.Service.State |
| stateInput | Ideas.Text.Parsing |
| stateLabels | Ideas.Service.State |
| statePos | Ideas.Text.Parsing |
| statePrefixes | Ideas.Service.State |
| stateTerm | Ideas.Service.State |
| stateToXML | Ideas.Encoding.LinkManager |
| stateUser | Ideas.Text.Parsing |
| staticLinks | Ideas.Encoding.LinkManager |
| Status | Ideas.Common.Exercise, Ideas.Common.Library |
| status | Ideas.Common.Exercise, Ideas.Common.Library |
| stdArgs | Ideas.Common.Utils.QuickCheck |
| StdGen | Ideas.Service.Types |
| Step | Ideas.Common.Strategy.Parsing, Ideas.Common.Strategy, Ideas.Common.Library |
| StepInfo | Ideas.Service.BasicServices |
| steps | Ideas.Common.Derivation, Ideas.Common.Library |
| stepsremaining | Ideas.Service.BasicServices |
| stepsToRules | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| stop | Ideas.Common.Strategy.Traversal |
| stopOn | Ideas.Text.Parsing |
| Str | Ideas.Common.Utils.QuickCheck |
| StratCfg | Ideas.Service.Types |
| Strategy | |
| 1 (Type/Class) | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| strategy | Ideas.Common.Exercise, Ideas.Common.Library |
| StrategyConfiguration | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| strategyLocations | Ideas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library |
| strategyToXML | Ideas.Encoding.StrategyInfo |
| String | |
| 1 (Data Constructor) | Ideas.Text.JSON |
| 2 (Data Constructor) | Ideas.Service.Types |
| string | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Text.XML, Ideas.Text.HTML |
| StringDecl | Ideas.Service.FeedbackScript.Syntax |
| StringEncoding | Ideas.Service.Request |
| StringRef | Ideas.Common.Utils.StringRef |
| stringRef | Ideas.Common.Utils.StringRef |
| StringType | Ideas.Text.XML.Document |
| styleA | Ideas.Text.HTML |
| submit | Ideas.Service.Submit |
| submittext | Ideas.Service.FeedbackText |
| subResults | Ideas.Common.Utils.TestSuite |
| subsets | Ideas.Common.Utils |
| substCoreVar | Ideas.Common.Strategy.Core |
| Substitution | Ideas.Common.Rewriting.Substitution |
| subStrategy | Ideas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library |
| subTaskLocation | Ideas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library |
| subtrees | Ideas.Common.DerivationTree, Ideas.Common.Library |
| Succeed | Ideas.Common.Strategy.Core |
| succeed | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| Success | Ideas.Common.Utils.QuickCheck |
| suchThat | Ideas.Common.Utils.QuickCheck |
| suchThatMaybe | Ideas.Common.Utils.QuickCheck |
| suchthatSymbol | Ideas.Text.OpenMath.Dictionary.List1 |
| suitable | Ideas.Common.Exercise, Ideas.Common.Library |
| suite | Ideas.Common.Utils.TestSuite |
| Sum | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| sum | Ideas.Common.Algebra.Field |
| sumSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| supplyContextParameters | Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library |
| supplyParameters | Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library |
| Supports | Ideas.Service.FeedbackScript.Syntax |
| swapView | Ideas.Common.View, Ideas.Common.Library |
| Symbol | |
| 1 (Type/Class) | Ideas.Text.OpenMath.Symbol |
| 2 (Type/Class) | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| symbol | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| symbolBuilder | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| SymbolMatch | Ideas.Common.Rewriting.Unification |
| symbolMatcher | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| symbolName | Ideas.Text.OpenMath.Symbol |
| System | Ideas.Text.XML.Document |
| tab | Ideas.Text.Parsing |
| table | Ideas.Text.HTML |
| tableStatus | Ideas.Common.Utils.StringRef |
| Tag | Ideas.Service.Types |
| tag | Ideas.Text.XML |
| Tagged | Ideas.Text.XML.Document |
| tanhSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| tanSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| TCon | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| Term | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| termEquality | Ideas.Common.Rewriting.Confluence |
| termNavigator | Ideas.Common.Context, Ideas.Common.Library |
| terms | Ideas.Common.Derivation, Ideas.Common.Library |
| termView | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| Test | Ideas.Main.Options |
| Testable | Ideas.Common.Utils.QuickCheck |
| testGenerator | Ideas.Common.Exercise, Ideas.Common.Library |
| testIterator | Ideas.Common.Traversal.Tests |
| testNavigator | Ideas.Common.Traversal.Tests |
| tests | |
| 1 (Function) | Ideas.Common.Rewriting.Substitution |
| 2 (Function) | Ideas.Common.Traversal.Tests |
| 3 (Function) | Ideas.Common.Strategy.Tests |
| TestSuite | Ideas.Common.Utils.TestSuite |
| testSuite | Ideas.Service.DomainReasoner |
| TestSuiteResult | Ideas.Common.Utils.TestSuite |
| Text | |
| 1 (Type/Class) | Ideas.Service.FeedbackScript.Syntax |
| 2 (Data Constructor) | Ideas.Service.Types |
| text | |
| 1 (Function) | Ideas.Text.XML, Ideas.Text.HTML |
| 2 (Function) | Ideas.Service.FeedbackText |
| TextDecl | Ideas.Text.XML.Document |
| TextEmpty | Ideas.Service.FeedbackScript.Syntax |
| TextForId | Ideas.Service.FeedbackScript.Syntax |
| textForIdDecl | Ideas.Service.FeedbackScript.Syntax |
| textItems | Ideas.Service.FeedbackScript.Syntax |
| TextRef | Ideas.Service.FeedbackScript.Syntax |
| TextString | Ideas.Service.FeedbackScript.Syntax |
| TextTerm | Ideas.Service.FeedbackScript.Syntax |
| TFloat | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| thd3 | Ideas.Common.Utils |
| timedSeconds | Ideas.Common.Utils |
| timesInverse | Ideas.Common.Algebra.Field |
| timesSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| titleA | Ideas.Text.HTML |
| TList | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| TMeta | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| TNum | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| to | Ideas.Common.View, Ideas.Common.Library |
| toArbGen | Ideas.Common.Utils.QuickCheck |
| toCore | Ideas.Common.Strategy.Abstract |
| toJSON | Ideas.Text.JSON |
| token | Ideas.Text.Parsing |
| tokenPrim | Ideas.Text.Parsing |
| tokenPrimEx | Ideas.Text.Parsing |
| tokens | Ideas.Text.Parsing |
| toLabeled | Ideas.Common.Strategy.Abstract |
| toLabeledStrategy | Ideas.Common.Strategy.Abstract |
| toLocation | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| toObject | Ideas.Text.OpenMath.FMP |
| toOMOBJ | Ideas.Encoding.OpenMathSupport |
| toOpenMath | Ideas.Encoding.OpenMathSupport |
| top | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| topdown | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| topMessages | Ideas.Common.Utils.TestSuite |
| toStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| toString | Ideas.Common.Utils.StringRef |
| toTerm | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| toView | Ideas.Common.View, Ideas.Common.Library |
| toXML | Ideas.Text.XML |
| trace | Ideas.Common.Strategy.Parsing |
| Trans | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transApply | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transApplyWith | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transc1List | Ideas.Text.OpenMath.Dictionary.Transc1 |
| transEnvMonad | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transform | Ideas.Common.Utils.Uniplate |
| Transformation | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transformation | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| transformM | Ideas.Common.Utils.Uniplate |
| transLiftContext | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transLiftContextIn | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transLiftView | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transLiftViewIn | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transList | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transMaybe | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transPure | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transRef | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transRewrite | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transUseEnvironment | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| traversalFilter | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| traverse | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| traverseView | Ideas.Common.View, Ideas.Common.Library |
| triples | Ideas.Common.Derivation, Ideas.Common.Library |
| true | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| trueSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| try | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| tt | Ideas.Text.HTML |
| ttText | Ideas.Text.HTML |
| TVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| Type | Ideas.Service.Types |
| Typed | Ideas.Service.Types |
| typed | Ideas.Service.Types |
| typedList | Ideas.Service.Types |
| TypedValue | Ideas.Service.Types |
| typeOf | Ideas.Service.Types |
| TypeRep | Ideas.Service.Types |
| ul | Ideas.Text.HTML |
| unary | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| unaryArbGen | Ideas.Common.Utils.QuickCheck |
| unaryGen | Ideas.Common.Utils.QuickCheck |
| unaryGens | Ideas.Common.Utils.QuickCheck |
| unaryMinusSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| UnbalancedError | Ideas.Text.Parsing |
| uncommon | Ideas.Common.Utils.QuickCheck |
| unescaped | Ideas.Text.XML |
| unexpected | Ideas.Text.Parsing |
| Unfocus | Ideas.Common.Traversal.Utils |
| unfocus | Ideas.Common.Traversal.Utils |
| unificationTests | Ideas.Common.Rewriting.Unification |
| unify | Ideas.Common.Rewriting.Unification |
| uniGen | Ideas.Common.Traversal.Tests |
| Uniplate | Ideas.Common.Utils.Uniplate |
| uniplate | Ideas.Common.Utils.Uniplate |
| UniplateNavigator | Ideas.Common.Traversal.Navigator |
| Unit | Ideas.Service.Types |
| universe | Ideas.Common.Utils.Uniplate |
| Unknown | Ideas.Service.Submit |
| UnknownAttribute | Ideas.Service.FeedbackScript.Analysis |
| UnknownCondAttr | Ideas.Service.FeedbackScript.Analysis |
| UnknownExercise | Ideas.Service.FeedbackScript.Analysis |
| UnknownFeedback | Ideas.Service.FeedbackScript.Analysis |
| unlabel | Ideas.Common.Strategy.Abstract |
| unliftFocus | Ideas.Common.Traversal.Utils |
| unliftWrapper | Ideas.Common.Traversal.Utils |
| unqualified | Ideas.Common.Id, Ideas.Common.Library |
| until | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| untilS | Ideas.Common.Library |
| unwrap | Ideas.Common.Traversal.Utils |
| up | Ideas.Common.Traversal.Navigator |
| Update | Ideas.Common.Traversal.Utils |
| update | Ideas.Common.Traversal.Utils |
| updateAnnotations | Ideas.Common.DerivationTree, Ideas.Common.Library |
| updateRefs | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| updateState | Ideas.Text.Parsing |
| updateSteps | Ideas.Common.Derivation, Ideas.Common.Library |
| upper | Ideas.Text.Parsing |
| urlForApplications | Ideas.Encoding.LinkManager |
| urlForDerivation | Ideas.Encoding.LinkManager |
| urlForDerivations | Ideas.Encoding.LinkManager |
| urlForExamples | Ideas.Encoding.LinkManager |
| urlForExercise | Ideas.Encoding.LinkManager |
| urlForExercises | Ideas.Encoding.LinkManager |
| urlForFirsts | Ideas.Encoding.LinkManager |
| urlForIndex | Ideas.Encoding.LinkManager |
| urlForRandomExample | Ideas.Encoding.LinkManager |
| urlForRequest | Ideas.Encoding.LinkManager |
| urlForResource | Ideas.Encoding.LinkManager |
| urlForRule | Ideas.Encoding.LinkManager |
| urlForRules | Ideas.Encoding.LinkManager |
| urlForService | Ideas.Encoding.LinkManager |
| urlForServices | Ideas.Encoding.LinkManager |
| urlForState | Ideas.Encoding.LinkManager |
| urlForStrategy | Ideas.Encoding.LinkManager |
| use | Ideas.Common.Context, Ideas.Common.Library |
| useC | Ideas.Common.Context, Ideas.Common.Library |
| usedSeed | Ideas.Common.Utils.QuickCheck |
| usedSize | Ideas.Common.Utils.QuickCheck |
| useFixedStdGen | Ideas.Common.Utils |
| useGenerator | Ideas.Common.Exercise, Ideas.Common.Library |
| useTypeable | Ideas.Common.Exercise, Ideas.Common.Library |
| Value | Ideas.Text.XML.Document |
| value | Ideas.Common.Strategy.Parsing |
| Var | Ideas.Common.Strategy.Core |
| variable | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| variableView | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| variant | Ideas.Common.Utils.QuickCheck |
| vars | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| varSet | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| vector | Ideas.Common.Utils.QuickCheck |
| vectorOf | Ideas.Common.Utils.QuickCheck |
| vectorSymbol | Ideas.Text.OpenMath.Dictionary.Linalg2 |
| verbose | Ideas.Common.Utils.QuickCheck |
| verboseCheck | Ideas.Common.Utils.QuickCheck |
| verboseCheckResult | Ideas.Common.Utils.QuickCheck |
| verboseCheckWith | Ideas.Common.Utils.QuickCheck |
| verboseCheckWithResult | Ideas.Common.Utils.QuickCheck |
| Version | Ideas.Main.Options |
| version | Ideas.Service.DomainReasoner |
| versionInfo | Ideas.Text.XML.Document |
| versionText | Ideas.Main.Options |
| VeryDifficult | Ideas.Common.Exercise, Ideas.Common.Library |
| VeryEasy | Ideas.Common.Exercise, Ideas.Common.Library |
| View | Ideas.Common.View, Ideas.Common.Library |
| viewEquivalent | Ideas.Common.View, Ideas.Common.Library |
| viewEquivalentWith | Ideas.Common.View, Ideas.Common.Library |
| ViewPackage | |
| 1 (Type/Class) | Ideas.Common.View, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Common.View, Ideas.Common.Library |
| views | Ideas.Service.DomainReasoner |
| warn | Ideas.Common.Utils.TestSuite |
| warning | Ideas.Common.Utils.TestSuite |
| whenFail | Ideas.Common.Utils.QuickCheck |
| whenFail' | Ideas.Common.Utils.QuickCheck |
| while | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| WithFunctions | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| within | Ideas.Common.Utils.QuickCheck |
| WithMetaVars | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| withoutContext | Ideas.Common.Exercise, Ideas.Common.Library |
| withoutLast | Ideas.Common.Derivation, Ideas.Common.Library |
| withoutVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| withState | Ideas.Encoding.Evaluator |
| WithVars | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| WithZero | Ideas.Common.Algebra.Group |
| wrap | Ideas.Common.Traversal.Utils |
| Wrapper | Ideas.Common.Traversal.Utils |
| XML | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Type/Class) | Ideas.Text.XML |
| 3 (Data Constructor) | Ideas.Service.Request |
| xml2omobj | Ideas.Text.OpenMath.Object |
| XMLBuilder | Ideas.Text.XML |
| XMLDecoder | Ideas.Encoding.DecoderXML |
| xmlDecoder | Ideas.Encoding.DecoderXML |
| XMLDecoderState | |
| 1 (Type/Class) | Ideas.Encoding.DecoderXML |
| 2 (Data Constructor) | Ideas.Encoding.DecoderXML |
| XMLDoc | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Data Constructor) | Ideas.Text.XML.Document |
| XMLEncoder | Ideas.Encoding.EncoderXML |
| xmlEncoder | Ideas.Encoding.EncoderXML |
| XMLEncoderState | |
| 1 (Type/Class) | Ideas.Encoding.EncoderXML |
| 2 (Data Constructor) | Ideas.Encoding.EncoderXML |
| xmlToStrategy | Ideas.Encoding.StrategyInfo |
| xorSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| zero | Ideas.Common.Algebra.Field |
| zeroArrow | Ideas.Common.View, Ideas.Common.Library |
| zeroLaws | Ideas.Common.Algebra.GroupLaws |
| |* | Ideas.Common.Utils.Uniplate |
| |- | Ideas.Common.Utils.Uniplate |
| |-> | Ideas.Common.Rewriting.Substitution |
| |> | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| ||* | Ideas.Common.Utils.Uniplate |
| ||| | Ideas.Common.View, Ideas.Common.Library |