Index
| !*> | Ideas.Common.Strategy.Derived |
| !-> | Ideas.Common.Classes, Ideas.Common.Library |
| !~> | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| # | Ideas.Common.Id, Ideas.Common.Library |
| $< | Ideas.Common.View, Ideas.Common.Library |
| &&& | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| *** | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| *> | Ideas.Text.Parsing, Ideas.Encoding.Encoder |
| +++ | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| .%. | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| .&&. | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Common.Algebra.SmartGroup |
| .&. | Ideas.Common.Utils.QuickCheck |
| .*. | |
| 1 (Function) | Ideas.Common.Strategy.Sequence |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| 3 (Function) | Ideas.Common.Algebra.SmartGroup |
| .+. | Ideas.Common.Algebra.SmartGroup |
| .-. | Ideas.Common.Algebra.SmartGroup |
| .-> | Ideas.Service.Types |
| ./. | |
| 1 (Function) | Ideas.Common.Strategy.Choice |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| 3 (Function) | Ideas.Common.Algebra.SmartGroup |
| .=. | |
| 1 (Function) | Ideas.Text.XML |
| 2 (Function) | Ideas.Common.Strategy.StrategyTree |
| .@. | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| .|. | |
| 1 (Function) | Ideas.Common.Strategy.Choice |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| .||. | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Common.Algebra.SmartGroup |
| // | Ideas.Encoding.Encoder |
| :-> | 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 |
| :|: | Ideas.Service.Types |
| :~ | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| :~> | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| <$ | Ideas.Text.Parsing, Ideas.Encoding.Encoder |
| <$> | Ideas.Text.Parsing, Ideas.Encoding.Encoder |
| <%> | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Legacy |
| <&&> | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| <* | Ideas.Text.Parsing, Ideas.Encoding.Encoder |
| <**> | Ideas.Text.Parsing, Ideas.Encoding.Encoder |
| <*> | |
| 1 (Function) | Ideas.Text.Parsing, Ideas.Encoding.Encoder |
| 2 (Function) | Ideas.Common.Strategy.Legacy |
| <+> | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| <-! | Ideas.Common.Classes, Ideas.Common.Library |
| <-> | Ideas.Common.Classes, Ideas.Common.Library |
| <..> | Ideas.Text.Parsing |
| </> | Ideas.Encoding.LinkManager |
| <<< | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| <<^ | Ideas.Encoding.Encoder |
| <> | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Algebra.Group, Ideas.Common.Library, Ideas.Encoding.Encoder |
| <>- | Ideas.Common.Algebra.Group |
| <?> | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Encoding.Encoder |
| <@> | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Legacy |
| <|> | |
| 1 (Function) | Ideas.Encoding.Encoder |
| 2 (Function) | Ideas.Text.Parsing |
| 3 (Function) | Ideas.Common.Strategy.Legacy |
| <||> | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| === | Ideas.Common.Utils.QuickCheck |
| ==> | 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.Encoding.Encoder |
| >>^ | Ideas.Encoding.Encoder |
| >|< | Ideas.Common.Traversal.Utils |
| >|> | Ideas.Common.Strategy.Legacy |
| ? | 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 |
| addBranches | Ideas.Common.DerivationTree |
| addCSS | Ideas.Text.HTML |
| Additive | |
| 1 (Type/Class) | Ideas.Common.Algebra.Field |
| 2 (Data Constructor) | Ideas.Common.Algebra.Field |
| 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 |
| addRequest | Ideas.Main.Logging |
| addScript | Ideas.Text.HTML |
| addState | Ideas.Main.Logging |
| 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, Ideas.Main.Default |
| All | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| allapplications | Ideas.Service.BasicServices |
| allBytes | Ideas.Text.UTF8 |
| allDerivations | Ideas.Common.Exercise, Ideas.Common.Library |
| allfirsts | Ideas.Service.BasicServices |
| allMessages | Ideas.Common.Utils.TestSuite |
| allRefs | Ideas.Common.Environment, Ideas.Common.Library |
| allsame | Ideas.Common.Utils |
| Alpha | Ideas.Common.Exercise, Ideas.Common.Library |
| alphaNum | Ideas.Text.Parsing |
| Alt | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| Alternative | Ideas.Encoding.Encoder |
| alternatives | Ideas.Common.Strategy.Legacy, 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 |
| Answer | Ideas.Service.ProblemDecomposition |
| Any | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 3 (Data Constructor) | Ideas.Text.XML.Document |
| anyChar | Ideas.Text.Parsing |
| anyToken | Ideas.Text.Parsing |
| app | Ideas.Encoding.Encoder |
| appendInv | Ideas.Common.Algebra.Group |
| appendInverseLaws | Ideas.Common.Algebra.GroupLaws |
| appEndo | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| applicable | |
| 1 (Function) | Ideas.Common.Classes, Ideas.Common.Library |
| 2 (Function) | Ideas.Service.BasicServices |
| Applicative | Ideas.Encoding.Encoder |
| 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 |
| applyDecl | Ideas.Common.Strategy.StrategyTree |
| 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 |
| arbitrarySizedNatural | 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.Strategy.StrategyTree |
| arity | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| arr | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| Array | Ideas.Text.JSON |
| Arrow | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| ArrowApply | Ideas.Encoding.Encoder |
| ArrowChoice | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| ArrowLoop | Ideas.Encoding.Encoder |
| ArrowMonad | |
| 1 (Data Constructor) | Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Encoding.Encoder |
| ArrowPlus | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| ArrowZero | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| assertEquals | Ideas.Common.Utils.TestSuite |
| assertIO | Ideas.Common.Utils.TestSuite |
| assertMessage | Ideas.Common.Utils.TestSuite |
| assertMessageIO | Ideas.Common.Utils.TestSuite |
| assertNull | Ideas.Common.Utils.TestSuite |
| assertTrue | Ideas.Common.Utils.TestSuite |
| Assoc | Ideas.Text.Parsing |
| associative | |
| 1 (Function) | Ideas.Common.Strategy.StrategyTree |
| 2 (Function) | 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 | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| atomicClose | Ideas.Common.Strategy.Symbol |
| atomicOpen | Ideas.Common.Strategy.Symbol |
| AtomicSymbol | Ideas.Common.Strategy.Symbol |
| 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 |
| bests | Ideas.Common.Strategy.Choice |
| bestsOrdered | Ideas.Common.Strategy.Choice |
| 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 | |
| 1 (Type/Class) | Ideas.Common.Strategy.StrategyTree |
| 2 (Data Constructor) | Ideas.Common.Strategy.StrategyTree |
| binary | |
| 1 (Function) | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| 2 (Function) | Ideas.Main.Logging |
| 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 |
| 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 |
| 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 |
| cgiBinary | Ideas.Service.Request |
| 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 |
| changeLog | Ideas.Main.Logging |
| 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.ExerciseTests |
| checkExercise | Ideas.Common.ExerciseTests |
| checkLocation | Ideas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library |
| checkParserPretty | Ideas.Common.ExerciseTests |
| checkParserPrettyEx | Ideas.Common.ExerciseTests |
| checkReferences | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| checkRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| checksForDerivation | Ideas.Common.ExerciseTests |
| checksForTerm | Ideas.Common.ExerciseTests |
| 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 | |
| 1 (Data Constructor) | Ideas.Text.XML.Document |
| 2 (Type/Class) | Ideas.Common.Strategy.Choice |
| choice | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Choice |
| 3 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| 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 |
| collect | Ideas.Common.Utils.QuickCheck |
| collectExamples | Ideas.Encoding.RulesInfo |
| Column | Ideas.Text.Parsing |
| Combinator | Ideas.Common.Strategy.StrategyTree |
| combinator | Ideas.Common.Strategy.StrategyTree |
| 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 |
| compactJSON | Ideas.Text.JSON |
| compactOutput | Ideas.Service.Request |
| compactXML | Ideas.Text.XML.Interface, 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 |
| configure | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| configureS | 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 |
| Converter | Ideas.Encoding.Encoder |
| 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 |
| counterexample | Ideas.Common.Utils.QuickCheck |
| cover | Ideas.Common.Utils.QuickCheck |
| CP | Ideas.Text.XML.Document |
| CPName | Ideas.Text.XML.Document |
| create | Ideas.Service.BasicServices |
| 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 |
| cut | Ideas.Common.Strategy.Choice |
| cutOnStep | Ideas.Common.DerivationTree |
| cutOnTerm | Ideas.Common.DerivationTree |
| CyclicTree | Ideas.Common.CyclicTree |
| CyclicTreeAlg | Ideas.Common.CyclicTree |
| D | Ideas.Text.JSON |
| DataFormat | Ideas.Service.Request |
| dataformat | |
| 1 (Function) | Ideas.Service.Request |
| 2 (Function) | Ideas.Main.Logging |
| Decl | |
| 1 (Type/Class) | Ideas.Common.Strategy.StrategyTree |
| 2 (Type/Class) | Ideas.Service.FeedbackScript.Syntax |
| decl0 | Ideas.Common.Strategy.Abstract |
| decl1 | Ideas.Common.Strategy.Abstract |
| decl2 | Ideas.Common.Strategy.Abstract |
| declN | Ideas.Common.Strategy.Abstract |
| DeclType | Ideas.Service.FeedbackScript.Syntax |
| decode | Ideas.Text.UTF8 |
| decodeM | Ideas.Text.UTF8 |
| Decoder | Ideas.Encoding.Encoder |
| decoderFor | Ideas.Encoding.Encoder |
| decoding | Ideas.Text.XML.Unicode |
| defaultCGI | Ideas.Main.Default |
| 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, Ideas.Main.Default |
| defintSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| deleteRef | Ideas.Common.Environment, Ideas.Common.Library |
| deMorganAnd | Ideas.Common.Algebra.BooleanLaws |
| deMorganOr | Ideas.Common.Algebra.BooleanLaws |
| DependencyGraph | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| dependencyGraph | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| deprecate | Ideas.Service.Types |
| depth | Ideas.Common.Traversal.Navigator |
| Derivation | Ideas.Common.Derivation, Ideas.Common.Library |
| derivation | Ideas.Common.DerivationTree |
| derivationLength | Ideas.Common.Derivation, Ideas.Common.Library |
| derivationList | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| derivationM | Ideas.Common.Derivation, Ideas.Common.Library |
| derivations | Ideas.Common.DerivationTree |
| derivationtext | Ideas.Service.FeedbackText |
| DerivationTree | Ideas.Common.DerivationTree |
| 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 |
| diffEnvironment | Ideas.Common.Exercise, Ideas.Common.Library |
| difference | |
| 1 (Function) | Ideas.Common.Rewriting.Difference |
| 2 (Function) | Ideas.Service.Diagnose |
| differenceEqual | |
| 1 (Function) | Ideas.Common.Rewriting.Difference |
| 2 (Function) | Ideas.Service.Diagnose |
| 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 |
| Discard | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| 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, Ideas.Main.Default |
| domainSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| done | Ideas.Common.Strategy.Sequence |
| doneMenu | Ideas.Common.Strategy.Choice |
| 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, Ideas.Main.Default |
| 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.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| dualCompl | Ideas.Common.Algebra.Boolean |
| DualMonoid | Ideas.Common.Algebra.Boolean |
| dynamicLinks | Ideas.Encoding.LinkManager |
| Easy | Ideas.Common.Exercise, Ideas.Common.Library |
| Elem | Ideas.Common.Strategy.Sequence |
| 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 |
| elems | Ideas.Common.Strategy.Choice |
| Empty | Ideas.Text.XML.Document |
| empty | |
| 1 (Function) | Ideas.Encoding.Encoder |
| 2 (Function) | Ideas.Common.Strategy.Choice |
| emptyAlg | Ideas.Common.CyclicTree |
| emptyDef | Ideas.Text.Parsing |
| emptyDerivation | Ideas.Common.Derivation, Ideas.Common.Library |
| emptyExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| emptyPath | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| emptyPrefix | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| emptyRequest | Ideas.Service.Request |
| 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 |
| EncCompact | Ideas.Service.Request |
| EncHTML | Ideas.Service.Request |
| EncJSON | Ideas.Service.Request |
| encode | Ideas.Text.UTF8 |
| encodeM | Ideas.Text.UTF8 |
| Encoder | Ideas.Encoding.Encoder |
| encoderFor | Ideas.Encoding.Encoder |
| encodeState | Ideas.Encoding.EncoderXML |
| encodeTyped | Ideas.Encoding.Encoder |
| Encoding | Ideas.Service.Request |
| encoding | |
| 1 (Function) | Ideas.Text.XML.Document |
| 2 (Function) | Ideas.Service.Request |
| 3 (Function) | Ideas.Main.Logging |
| EncOpenMath | Ideas.Service.Request |
| EncPretty | Ideas.Service.Request |
| EncString | Ideas.Service.Request |
| endBy | Ideas.Text.Parsing |
| endBy1 | Ideas.Text.Parsing |
| Endo | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| endpoint | Ideas.Common.DerivationTree |
| enterRule | Ideas.Common.Strategy.Symbol |
| 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 |
| eqMenuBy | Ideas.Common.Strategy.Choice |
| eqProcessBy | Ideas.Common.Strategy.Process |
| 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 |
| errormsg | Ideas.Main.Logging |
| 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 |
| exerciseEncoder | Ideas.Encoding.Encoder |
| exerciseId | |
| 1 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| 2 (Function) | Ideas.Service.Request |
| exerciseid | Ideas.Main.Logging |
| exercises | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| exercisesSorted | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| exerciseTestSuite | Ideas.Common.ExerciseTests |
| exhaustive | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Common.Strategy.Derived |
| 3 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| existsSymbol | Ideas.Text.OpenMath.Dictionary.Quant1 |
| exitRule | Ideas.Common.Strategy.Symbol |
| 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 |
| 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.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 |
| feedbackScript | Ideas.Service.Request |
| feedbacktext | Ideas.Service.FeedbackText |
| FeedbackUndefined | Ideas.Service.FeedbackScript.Analysis |
| Field | Ideas.Common.Algebra.Field |
| fieldLaws | Ideas.Common.Algebra.FieldLaws |
| filterP | Ideas.Common.Strategy.Derived |
| 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 |
| findChildren | Ideas.Text.XML.Interface, Ideas.Text.XML |
| findExercise | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| findIndexM | Ideas.Common.Utils |
| findService | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| findSubResult | Ideas.Common.Utils.TestSuite |
| findValuesOfType | Ideas.Service.Types |
| finished | Ideas.Service.State |
| First | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| first | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Function) | Ideas.Common.Traversal.Iterator |
| Firsts | Ideas.Common.Strategy.Sequence |
| firsts | Ideas.Common.Strategy.Sequence, Ideas.Service.State |
| firstsOrdered | Ideas.Common.Strategy.Prefix |
| firstsTree | Ideas.Common.Strategy.Sequence |
| firstTerm | Ideas.Common.Derivation, Ideas.Common.Library |
| Fix | Ideas.Common.Classes, Ideas.Common.Library |
| fix | Ideas.Common.Classes, 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 |
| fLabel | Ideas.Common.CyclicTree |
| Flag | Ideas.Main.Options |
| fLeaf | Ideas.Common.CyclicTree |
| float | Ideas.Text.Parsing |
| FMP | |
| 1 (Type/Class) | Ideas.Text.OpenMath.FMP |
| 2 (Data Constructor) | Ideas.Text.OpenMath.FMP |
| fNode | Ideas.Common.CyclicTree |
| fns1List | Ideas.Text.OpenMath.Dictionary.Fns1 |
| Focus | Ideas.Common.Traversal.Utils |
| focus | Ideas.Common.Traversal.Utils |
| focusM | Ideas.Common.Traversal.Utils |
| fold | |
| 1 (Function) | Ideas.Common.CyclicTree |
| 2 (Function) | Ideas.Common.Strategy.Process |
| foldUnwind | Ideas.Common.CyclicTree |
| forAll | Ideas.Common.Utils.QuickCheck |
| forAllProperties | Ideas.Common.Utils.QuickCheck |
| forAllShrink | Ideas.Common.Utils.QuickCheck |
| forallSymbol | Ideas.Text.OpenMath.Dictionary.Quant1 |
| fRec | Ideas.Common.CyclicTree |
| 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 |
| fromBinary | Ideas.Common.Strategy.StrategyTree |
| 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 |
| fromJSON | Ideas.Text.JSON |
| fromLocation | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| fromMultiplicative | Ideas.Common.Algebra.Field |
| fromMultiplicativeLaw | Ideas.Common.Algebra.FieldLaws |
| fromNary | Ideas.Common.Strategy.StrategyTree |
| fromNullary | Ideas.Common.Strategy.StrategyTree |
| fromOMOBJ | Ideas.Encoding.OpenMathSupport |
| fromOpenMath | Ideas.Encoding.OpenMathSupport |
| fromOptions | Ideas.Encoding.Encoder |
| fromOr | Ideas.Common.Algebra.Boolean |
| fromOrLaw | Ideas.Common.Algebra.BooleanLaws |
| fromS | Ideas.Common.ExerciseTests |
| 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 |
| fromUnary | Ideas.Common.Strategy.StrategyTree |
| 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 |
| fulltd | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| fullVersion | |
| 1 (Function) | Ideas.Main.Options |
| 2 (Function) | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| function | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| fVar | Ideas.Common.CyclicTree |
| gammaSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| GaveUp | Ideas.Common.Utils.QuickCheck |
| gcdSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| Gen | Ideas.Common.Utils.QuickCheck |
| generate | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Service.BasicServices |
| generator | Ideas.Common.Utils.QuickCheck |
| generators | Ideas.Common.Utils.QuickCheck |
| genericCoarbitrary | Ideas.Common.Utils.QuickCheck |
| genericShrink | 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.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| getAlt | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| getAny | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| getBlind | Ideas.Common.Utils.QuickCheck |
| getByIndex | Ideas.Common.Strategy.Choice |
| getConst | Ideas.Encoding.Encoder |
| getData | Ideas.Text.XML.Interface, Ideas.Text.XML |
| getDual | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| getExercise | Ideas.Encoding.Encoder |
| getFirst | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| getFixed | Ideas.Common.Utils.QuickCheck |
| 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 |
| getLarge | Ideas.Common.Utils.QuickCheck |
| getLast | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 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.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| getProperty | Ideas.Common.Exercise, Ideas.Common.Library |
| getQCGen | Ideas.Encoding.Encoder |
| 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 |
| getRequest | Ideas.Encoding.Encoder |
| getRewriteRules | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| getRule | Ideas.Common.Exercise, Ideas.Common.Library |
| getSchema | Ideas.Service.Request |
| getScript | Ideas.Encoding.Encoder |
| getShrink2 | Ideas.Common.Utils.QuickCheck |
| getSingleton | Ideas.Common.Classes, Ideas.Common.Library |
| getSmall | Ideas.Common.Utils.QuickCheck |
| getState | Ideas.Text.Parsing |
| getStatus | Ideas.Common.Utils.TestSuite |
| getSum | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 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 |
| getZipList | Ideas.Encoding.Encoder |
| 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 |
| hasDone | Ideas.Common.Strategy.Choice |
| 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 |
| HasRating | Ideas.Common.Utils.TestSuite |
| HasRefs | Ideas.Common.Environment, Ideas.Common.Library |
| hasRight | Ideas.Common.Traversal.Navigator |
| hasSomeVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| HasStatus | Ideas.Common.Utils.TestSuite |
| 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 |
| Hide | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| hide | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | 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 |
| htmlEncoderAt | Ideas.Encoding.EncoderHTML |
| htmlOutput | 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 |
| infiniteList | Ideas.Common.Utils.QuickCheck |
| infiniteListOf | Ideas.Common.Utils.QuickCheck |
| infinitySymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| Infix | Ideas.Text.Parsing |
| inits | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| InJSON | Ideas.Text.JSON |
| innermost | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| input | Ideas.Main.Logging |
| InputFile | Ideas.Main.Options |
| insertRef | Ideas.Common.Environment, Ideas.Common.Library |
| InsufficientCoverage | Ideas.Common.Utils.QuickCheck |
| Int | Ideas.Service.Types |
| interleave | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| interleaveId | Ideas.Common.Strategy.Combinators |
| 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 |
| IO | Ideas.Service.Types |
| ioProperty | Ideas.Common.Utils.QuickCheck |
| ipaddress | Ideas.Main.Logging |
| isAnd | Ideas.Common.Algebra.Boolean |
| isAppend | Ideas.Common.Algebra.Group |
| isAppendInv | Ideas.Common.Algebra.Group |
| isAssociative | |
| 1 (Function) | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Strategy.StrategyTree |
| 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 |
| isConfigId | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| isConfluent | Ideas.Common.Rewriting.Confluence |
| isDigit | Ideas.Text.XML.Unicode |
| isDivision | Ideas.Common.Algebra.Field |
| isEmpty | |
| 1 (Function) | Ideas.Common.Strategy.Choice |
| 2 (Function) | Ideas.Common.Derivation, Ideas.Common.Library |
| 3 (Function) | Ideas.Common.Algebra.Group |
| isEmptyPrefix | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| isEnterRule | Ideas.Common.Strategy.Symbol |
| isEnterSymbol | Ideas.Common.Strategy.Symbol |
| isError | Ideas.Common.Utils.TestSuite |
| isExitRule | Ideas.Common.Strategy.Symbol |
| 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 |
| isLabel | Ideas.Common.CyclicTree |
| isLeaf | |
| 1 (Function) | Ideas.Common.Traversal.Navigator |
| 2 (Function) | Ideas.Common.CyclicTree |
| 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 |
| isNode | Ideas.Common.CyclicTree |
| Iso | Ideas.Service.Types |
| isOk | Ideas.Common.Utils.TestSuite |
| Isomorphism | Ideas.Common.View, Ideas.Common.Library |
| isOne | Ideas.Common.Algebra.Field |
| 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 | 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 |
| isWarning | Ideas.Common.Utils.TestSuite |
| 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 |
| jsonEncoder | Ideas.Encoding.EncoderJSON |
| jsonRPC | Ideas.Text.JSON |
| jsonTermView | Ideas.Encoding.Encoder |
| jsonToTerm | Ideas.Encoding.Encoder |
| justOneSuite | Ideas.Common.Utils.TestSuite |
| Key | Ideas.Text.JSON |
| keyValueTable | Ideas.Text.HTML |
| Kleisli | |
| 1 (Data Constructor) | Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Encoding.Encoder |
| label | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Text.Parsing |
| 3 (Function) | Ideas.Common.CyclicTree |
| 4 (Function) | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| LabeledStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| labels | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Text.Parsing |
| LabelSymbol | Ideas.Common.Strategy.Symbol |
| lambdaSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| LanguageDef | |
| 1 (Type/Class) | Ideas.Text.Parsing |
| 2 (Data Constructor) | Ideas.Text.Parsing |
| Large | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| Last | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| lastStep | Ideas.Common.Derivation, Ideas.Common.Library |
| lastTerm | Ideas.Common.Derivation, Ideas.Common.Library |
| Law | Ideas.Common.Algebra.Law |
| law | Ideas.Common.Algebra.Law |
| lawAbs | 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 |
| leaf | Ideas.Common.CyclicTree |
| Leafs | Ideas.Common.Traversal.Navigator |
| leafs | Ideas.Common.DerivationTree |
| left | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Function) | Ideas.Common.Traversal.Navigator |
| leftApp | Ideas.Encoding.Encoder |
| 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 |
| leftmost | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| leftMostAt | Ideas.Common.Traversal.Navigator |
| leftmostbu | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| leftMostLeaf | Ideas.Common.Traversal.Navigator |
| leftmosttd | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| 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 |
| leqSymbol | Ideas.Text.OpenMath.Dictionary.Relation1 |
| letter | Ideas.Text.Parsing |
| 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 |
| liftA | Ideas.Encoding.Encoder |
| liftA2 | Ideas.Encoding.Encoder |
| liftA3 | Ideas.Encoding.Encoder |
| liftFocus | Ideas.Common.Traversal.Utils |
| liftIso | Ideas.Common.Strategy.StrategyTree |
| liftS | Ideas.Common.Strategy.Abstract |
| liftS2 | Ideas.Common.Strategy.Abstract |
| liftSn | Ideas.Common.Strategy.Abstract |
| 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 |
| linkToMicrosteps | 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 |
| linkToTestReport | 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 |
| listify | Ideas.Common.Strategy.StrategyTree |
| ListIterator | Ideas.Common.Traversal.Iterator |
| listOf | Ideas.Common.Utils.QuickCheck |
| listOf1 | Ideas.Common.Utils.QuickCheck |
| 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.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| location | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| logEnabled | Ideas.Main.Logging |
| logic1List | Ideas.Text.OpenMath.Dictionary.Logic1 |
| logRecord | Ideas.Main.Logging |
| LogRef | Ideas.Main.Logging |
| logSchema | Ideas.Service.Request |
| logSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| lookAhead | Ideas.Text.Parsing |
| lookupM | Ideas.Text.JSON |
| lookupVar | Ideas.Common.Rewriting.Substitution |
| loop | Ideas.Encoding.Encoder |
| lower | Ideas.Text.Parsing |
| ltSymbol | Ideas.Text.OpenMath.Dictionary.Relation1 |
| majorPrefix | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| makeAssociative | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| makeBinding | Ideas.Common.Environment, Ideas.Common.Library |
| makeDecoder | Ideas.Encoding.Encoder |
| makeDocumentation | Ideas.Main.Documentation |
| makeEncoder | Ideas.Encoding.Encoder |
| makeEnvironment | Ideas.Common.Environment, Ideas.Common.Library |
| makeExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| makeHorizontal | Ideas.Common.Traversal.Navigator |
| 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 |
| makeOptions | Ideas.Encoding.Encoder |
| MakePages | Ideas.Main.Options |
| makePostOrder | Ideas.Common.Traversal.Navigator |
| makePrefix | Ideas.Common.Strategy.Prefix |
| 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 | Ideas.Service.State |
| 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 |
| makeView | Ideas.Common.View, Ideas.Common.Library |
| makeXML | Ideas.Text.XML |
| many | |
| 1 (Function) | Ideas.Encoding.Encoder |
| 2 (Function) | Ideas.Text.Parsing |
| 3 (Function) | Ideas.Common.Strategy.Derived |
| 4 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| many1 | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Derived |
| 3 (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.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Algebra.Group, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 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 |
| mconcat | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Algebra.Group, Ideas.Common.Library, Ideas.Encoding.Encoder |
| Medium | Ideas.Common.Exercise, Ideas.Common.Library |
| mempty | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Algebra.Group, Ideas.Common.Library, Ideas.Encoding.Encoder |
| Menu | Ideas.Common.Strategy.Choice |
| menu | Ideas.Common.Strategy.Process |
| mergeMaybeSteps | Ideas.Common.DerivationTree |
| Message | |
| 1 (Type/Class) | Ideas.Common.Utils.TestSuite |
| 2 (Type/Class) | Ideas.Service.FeedbackText |
| 3 (Type/Class) | Ideas.Service.FeedbackScript.Analysis |
| message | Ideas.Common.Utils.TestSuite |
| messageLines | Ideas.Common.Utils.TestSuite |
| metaInRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| metaServiceList | Ideas.Service.ServiceList, Ideas.Main.Default |
| 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 |
| microsteps | Ideas.Service.State |
| 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 |
| mondrian | Ideas.Text.Parsing |
| mondrianDef | Ideas.Text.Parsing |
| Monoid | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Algebra.Group, Ideas.Common.Library, Ideas.Encoding.Encoder |
| monoidAlg | Ideas.Common.CyclicTree |
| monoidLaws | Ideas.Common.Algebra.GroupLaws |
| MonoidZero | Ideas.Common.Algebra.Group |
| monoidZeroLaws | Ideas.Common.Algebra.GroupLaws |
| monomorphic | Ideas.Common.Utils.QuickCheck |
| motivation | Ideas.Service.FeedbackScript.Run |
| MotivationIs | Ideas.Service.FeedbackScript.Syntax |
| mplus | Ideas.Common.Traversal.Utils |
| multi | Ideas.Common.Strategy.Configuration, 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 |
| Nary | |
| 1 (Type/Class) | Ideas.Common.Strategy.StrategyTree |
| 2 (Data Constructor) | Ideas.Common.Strategy.StrategyTree |
| 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.Service.DomainReasoner, Ideas.Main.Default |
| newEnvironment | Ideas.Service.FeedbackScript.Run |
| NewExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| newId | Ideas.Common.Id, Ideas.Common.Library |
| newline | Ideas.Text.Parsing |
| newLogRef | Ideas.Main.Logging |
| 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 |
| node | Ideas.Common.CyclicTree |
| node0 | Ideas.Common.CyclicTree |
| node1 | Ideas.Common.CyclicTree |
| node2 | Ideas.Common.CyclicTree |
| NoExpectedFailure | Ideas.Common.Utils.QuickCheck |
| noInterleaving | Ideas.Common.Strategy.Combinators |
| NoLogging | Ideas.Service.Request |
| noLogRef | Ideas.Main.Logging |
| 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 |
| noPrefix | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| normalize | Ideas.Text.XML.Interface |
| noShrinking | Ideas.Common.Utils.QuickCheck |
| 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 |
| nrOfErrors | Ideas.Common.Utils.TestSuite |
| nrOfTests | Ideas.Common.Utils.TestSuite |
| nrOfWarnings | Ideas.Common.Utils.TestSuite |
| nthdiffSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| Null | Ideas.Text.JSON |
| Nullary | |
| 1 (Type/Class) | Ideas.Common.Strategy.StrategyTree |
| 2 (Data Constructor) | Ideas.Common.Strategy.StrategyTree |
| Number | |
| 1 (Type/Class) | Ideas.Text.JSON |
| 2 (Data Constructor) | Ideas.Text.JSON |
| nums1List | Ideas.Text.OpenMath.Dictionary.Nums1 |
| numShrinkFinal | Ideas.Common.Utils.QuickCheck |
| numShrinks | Ideas.Common.Utils.QuickCheck |
| numShrinkTries | 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 |
| oncebuPref | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| oncetd | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| oncetdPref | 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 |
| onlyWarnings | Ideas.Common.Utils.TestSuite |
| onMenu | Ideas.Common.Strategy.Choice |
| onMenuWithIndex | Ideas.Common.Strategy.Choice |
| onStrategyTree | Ideas.Common.Strategy.Abstract |
| 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.Derived |
| 3 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| optional | |
| 1 (Function) | Ideas.Encoding.Encoder |
| 2 (Function) | Ideas.Text.Parsing |
| optionMaybe | Ideas.Text.Parsing |
| Options | Ideas.Encoding.Encoder |
| 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 |
| orelse | Ideas.Common.Strategy.Choice |
| 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 | |
| 1 (Function) | Ideas.Common.Utils.QuickCheck |
| 2 (Function) | Ideas.Main.Logging |
| 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 |
| 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 |
| parseXMLFile | Ideas.Text.XML |
| partialdiffSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| Path | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| pathLevel | Ideas.Encoding.LinkManager |
| permute | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | 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 |
| polyQuickCheck | Ideas.Common.Utils.QuickCheck |
| polyVerboseCheck | Ideas.Common.Utils.QuickCheck |
| 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 |
| preference | Ideas.Common.Strategy.Choice |
| Prefix | |
| 1 (Data Constructor) | Ideas.Text.Parsing |
| 2 (Type/Class) | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| prefixPaths | 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 |
| prettyElement | Ideas.Text.XML.Document |
| prettyPrinter | Ideas.Common.Exercise, Ideas.Common.Library |
| prettyPrinterContext | Ideas.Common.Exercise, Ideas.Common.Library |
| prettyXML | Ideas.Text.XML.Document |
| previous | Ideas.Common.Traversal.Iterator |
| printDerivation | Ideas.Common.Exercise, Ideas.Common.Library |
| printDerivations | Ideas.Common.Exercise, Ideas.Common.Library |
| PrintLog | Ideas.Main.Options |
| printLog | Ideas.Main.Logging |
| printSummary | Ideas.Common.Utils.TestSuite |
| printTestCase | Ideas.Common.Utils.QuickCheck |
| problemDecomposition | Ideas.Service.ProblemDecomposition |
| Process | Ideas.Common.Strategy.Process |
| processJSON | Ideas.Encoding.ModeJSON |
| processXML | Ideas.Encoding.ModeXML |
| Product | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| product | Ideas.Common.Algebra.Field |
| productSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| propEncoding | |
| 1 (Function) | Ideas.Text.UTF8 |
| 2 (Function) | Ideas.Text.OpenMath.Tests |
| 3 (Function) | Ideas.Text.JSON |
| properties | Ideas.Common.Exercise, Ideas.Common.Library |
| 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 |
| propRule | Ideas.Common.ExerciseTests |
| 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.Encoder |
| pzero | Ideas.Text.Parsing |
| QCGen | Ideas.Service.Types |
| 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 |
| quickCheckAll | Ideas.Common.Utils.QuickCheck |
| quickCheckResult | Ideas.Common.Utils.QuickCheck |
| quickCheckWith | Ideas.Common.Utils.QuickCheck |
| quickCheckWithResult | Ideas.Common.Utils.QuickCheck |
| randomDerivation | Ideas.Common.DerivationTree |
| randomExercise | Ideas.Common.Exercise, Ideas.Common.Library |
| randomSeed | Ideas.Service.Request |
| randomTerm | Ideas.Common.Exercise, Ideas.Common.Library |
| randomTerms | Ideas.Common.Exercise, Ideas.Common.Library |
| ranges | Ideas.Text.Parsing |
| rangeSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| rare | Ideas.Common.Utils.QuickCheck |
| rate | Ideas.Common.Utils.TestSuite |
| rateOnError | Ideas.Common.Utils.TestSuite |
| Rating | Ideas.Common.Utils.TestSuite |
| rating | Ideas.Common.Utils.TestSuite |
| rationalSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| readDifficulty | Ideas.Common.Exercise, Ideas.Common.Library |
| readEncoding | Ideas.Service.Request |
| readInt | Ideas.Common.Utils |
| readM | Ideas.Common.Utils, Ideas.Common.Library |
| readPath | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| readPaths | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| readSchema | Ideas.Service.Request |
| ready | |
| 1 (Function) | Ideas.Common.Strategy.Sequence |
| 2 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| reason | Ideas.Common.Utils.QuickCheck |
| reasonerId | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| Recognizable | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| recognize | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| recognizeAll | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| recognized | Ideas.Service.FeedbackScript.Run |
| RecognizedIs | Ideas.Service.FeedbackScript.Syntax |
| Recognizer | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| recognizer | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| recognizeRule | Ideas.Service.BasicServices |
| recognizeTrans | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
| Record | |
| 1 (Type/Class) | Ideas.Main.Logging |
| 2 (Data Constructor) | Ideas.Main.Logging |
| recursivelyShrink | Ideas.Common.Utils.QuickCheck |
| Ref | Ideas.Common.Environment, Ideas.Common.Library |
| Reference | |
| 1 (Data Constructor) | Ideas.Text.XML.Document |
| 2 (Type/Class) | Ideas.Text.XML.Document |
| 3 (Type/Class) | Ideas.Common.Environment, Ideas.Common.Library |
| Reinsert | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| relation | Ideas.Text.OpenMath.FMP |
| relation1List | Ideas.Text.OpenMath.Dictionary.Relation1 |
| Remove | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| remove | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| renumberRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| repeat | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| repeat1 | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| repeatS | Ideas.Common.Library |
| replace | Ideas.Common.Traversal.Utils |
| replaceAt | Ideas.Common.Utils |
| replaceInContext | Ideas.Common.Context, Ideas.Common.Library |
| replaceLabel | Ideas.Common.CyclicTree |
| replaceLeaf | Ideas.Common.CyclicTree |
| replaceNode | Ideas.Common.CyclicTree |
| replay | Ideas.Common.Utils.QuickCheck |
| replayPath | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| replayPaths | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| replayProcess | Ideas.Common.Strategy.Prefix |
| replayStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| replicate | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| replicateS | Ideas.Common.Library |
| Reply | Ideas.Service.ProblemDecomposition |
| Request | |
| 1 (Type/Class) | Ideas.Service.Request |
| 2 (Data Constructor) | Ideas.Service.Request |
| requestInfo | Ideas.Service.Request |
| requestinfo | Ideas.Main.Logging |
| Required | Ideas.Text.XML.Document |
| reservedNames | Ideas.Text.Parsing |
| reservedOpNames | Ideas.Text.Parsing |
| resize | Ideas.Common.Utils.QuickCheck |
| Response | Ideas.Text.JSON |
| responseError | Ideas.Text.JSON |
| responseId | Ideas.Text.JSON |
| responseResult | Ideas.Text.JSON |
| responsetime | Ideas.Main.Logging |
| restart | Ideas.Service.State |
| restrictHeight | Ideas.Common.DerivationTree |
| restrictWidth | Ideas.Common.DerivationTree |
| Result | |
| 1 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.TestSuite |
| 3 (Data Constructor) | Ideas.Service.Types |
| 4 (Type/Class) | Ideas.Service.Submit |
| returnA | Ideas.Encoding.Encoder |
| Reveal | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| rewrite | Ideas.Common.Utils.Uniplate |
| rewriteLaw | Ideas.Common.Algebra.Law |
| rewriteM | Ideas.Common.Utils.Uniplate |
| RewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| rewriteRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| rewriteRules | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| rewriteRuleToFMP | Ideas.Encoding.RulesInfo |
| right | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Function) | Ideas.Common.Traversal.Navigator |
| rightDistributive | Ideas.Common.Algebra.FieldLaws |
| rightDistributiveFor | Ideas.Common.Algebra.GroupLaws |
| rightHandSide | Ideas.Text.OpenMath.FMP |
| rightIdentity | Ideas.Common.Algebra.GroupLaws |
| rightInverse | Ideas.Common.Algebra.GroupLaws |
| rightInverseSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| rightMost | Ideas.Common.Traversal.Navigator |
| rightmost | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| rightMostAt | Ideas.Common.Traversal.Navigator |
| rightMostLeaf | Ideas.Common.Traversal.Navigator |
| rightNegateTimes | Ideas.Common.Algebra.FieldLaws |
| rightToLeft | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| rightZero | Ideas.Common.Algebra.GroupLaws |
| Ring | Ideas.Common.Algebra.Field |
| ringLaws | Ideas.Common.Algebra.FieldLaws |
| root | |
| 1 (Function) | Ideas.Text.XML.Document |
| 2 (Function) | Ideas.Common.DerivationTree |
| rootSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| RPCHandler | Ideas.Text.JSON |
| RPCResponse | Ideas.Text.JSON |
| Rule | |
| 1 (Type/Class) | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| RuleBuilder | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| ruleDown | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| ruleDownLast | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| ruleid | Ideas.Main.Logging |
| ruleLeft | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| ruleList | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| ruleMaybe | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| ruleOrdering | Ideas.Common.Exercise, Ideas.Common.Library |
| ruleOrderingWith | Ideas.Common.Exercise, Ideas.Common.Library |
| ruleRewrite | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| ruleRight | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| ruleset | Ideas.Common.Exercise, Ideas.Common.Library |
| ruleSiblings | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| rulesInfoXML | Ideas.Encoding.RulesInfo |
| rulesInStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| RuleSpec | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| ruleSpecTerm | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| ruleToHTML | Ideas.Encoding.RulePresenter |
| ruleToString | Ideas.Service.FeedbackScript.Run |
| ruleTrans | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| ruleUp | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| run | Ideas.Encoding.Encoder |
| runEnvMonad | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| runKleisli | Ideas.Encoding.Encoder |
| runParser | Ideas.Text.Parsing |
| runProcess | Ideas.Common.Strategy.Process |
| runTestSuite | Ideas.Common.Utils.TestSuite |
| runTestSuiteResult | Ideas.Common.Utils.TestSuite |
| S | Ideas.Common.ExerciseTests |
| safe | Ideas.Common.Traversal.Utils |
| SafeNum | Ideas.Common.Algebra.Field |
| safeNum | Ideas.Common.Algebra.Field |
| sample | Ideas.Common.Utils.QuickCheck |
| sample' | Ideas.Common.Utils.QuickCheck |
| satisfy | Ideas.Text.Parsing |
| scale | Ideas.Common.Utils.QuickCheck |
| Schema | Ideas.Service.Request |
| Script | |
| 1 (Type/Class) | Ideas.Service.FeedbackScript.Syntax, Ideas.Service.FeedbackScript.Parser, Ideas.Service.FeedbackScript.Run |
| 2 (Data Constructor) | Ideas.Service.Types |
| script | Ideas.Main.Logging |
| scriptDecls | Ideas.Service.FeedbackScript.Syntax |
| scripts | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| searchBackward | Ideas.Common.Traversal.Iterator |
| searchForward | Ideas.Common.Traversal.Iterator |
| searchModePrefix | Ideas.Common.Strategy.Prefix |
| 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, Ideas.Encoding.Encoder |
| 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 | |
| 1 (Data Constructor) | Ideas.Text.XML.Document |
| 2 (Type/Class) | Ideas.Common.Strategy.Sequence |
| sequence | |
| 1 (Function) | Ideas.Common.Strategy.Sequence |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| sequenceS | Ideas.Common.Library |
| Service | |
| 1 (Data Constructor) | Ideas.Service.Types |
| 2 (Type/Class) | Ideas.Service.Types, Ideas.Main.Default |
| service | Ideas.Main.Logging |
| serviceDeprecated | Ideas.Service.Types |
| serviceFunction | Ideas.Service.Types |
| serviceId | Ideas.Service.Request |
| serviceinfo | Ideas.Main.Logging |
| serviceList | Ideas.Service.ServiceList, Ideas.Main.Default |
| services | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| servicesSorted | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| sessionid | Ideas.Main.Logging |
| setBuggy | Ideas.Common.Classes, Ideas.Common.Library |
| setEnvironment | Ideas.Common.Environment, Ideas.Common.Library |
| setInput | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Encoding.Encoder |
| setMinor | Ideas.Common.Classes, Ideas.Common.Library |
| setParserState | Ideas.Text.Parsing |
| setPosition | Ideas.Text.Parsing |
| setProperty | Ideas.Common.Exercise, Ideas.Common.Library |
| setSourceColumn | Ideas.Text.Parsing |
| setSourceLine | Ideas.Text.Parsing |
| setSourceName | Ideas.Text.Parsing |
| setState | Ideas.Text.Parsing |
| shortVersion | Ideas.Main.Options |
| ShowAs | Ideas.Common.ExerciseTests |
| showAs | Ideas.Common.ExerciseTests |
| showDerivation | Ideas.Common.Exercise, Ideas.Common.Library |
| showDerivations | 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 |
| showRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| showS | Ideas.Common.ExerciseTests |
| 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 |
| 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 |
| shrinkList | Ideas.Common.Utils.QuickCheck |
| shrinkNothing | Ideas.Common.Utils.QuickCheck |
| shrinkRealFrac | Ideas.Common.Utils.QuickCheck |
| shrinkRealFracToInteger | Ideas.Common.Utils.QuickCheck |
| ShrinkState | Ideas.Common.Utils.QuickCheck |
| shrinkState | Ideas.Common.Utils.QuickCheck |
| shrinkTree | Ideas.Common.CyclicTree |
| shuffle | 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 |
| simpleGenerator | Ideas.Common.Exercise, Ideas.Common.Library |
| simpleOptions | Ideas.Encoding.Encoder |
| simplify | Ideas.Common.View, Ideas.Common.Library |
| simplifyWith | Ideas.Common.View, Ideas.Common.Library |
| simplifyWithM | Ideas.Common.View, Ideas.Common.Library |
| single | Ideas.Common.Strategy.Sequence |
| singleBinding | Ideas.Common.Environment, Ideas.Common.Library |
| singleNode | Ideas.Common.DerivationTree |
| 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 | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| 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 |
| solution | Ideas.Service.BasicServices |
| Some | |
| 1 (Type/Class) | Ideas.Common.Utils, Ideas.Main.Default |
| 2 (Data Constructor) | Ideas.Common.Utils, Ideas.Main.Default |
| some | Ideas.Encoding.Encoder |
| SomeExercise | Ideas.Service.Types |
| somewhere | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| somewhereM | Ideas.Common.Rewriting.Confluence |
| somewhereWhen | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| sortTree | Ideas.Common.DerivationTree |
| source | |
| 1 (Function) | Ideas.Service.Request |
| 2 (Function) | Ideas.Main.Logging |
| 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 |
| split | Ideas.Encoding.Encoder |
| splitAtElem | Ideas.Common.Utils |
| splitsWithElem | Ideas.Common.Utils |
| Stable | Ideas.Common.Exercise, Ideas.Common.Library |
| standalone | Ideas.Text.XML.Document |
| Star | Ideas.Text.XML.Document |
| startState | Ideas.Service.State |
| State | |
| 1 (Data Constructor) | Ideas.Text.Parsing |
| 2 (Type/Class) | Ideas.Text.Parsing |
| 3 (Type/Class) | Ideas.Service.State |
| 4 (Data Constructor) | Ideas.Service.Types |
| stateContext | Ideas.Service.State |
| stateInput | Ideas.Text.Parsing |
| stateLabels | Ideas.Service.State |
| statePos | Ideas.Text.Parsing |
| statePrefix | Ideas.Service.State |
| stateSession | Ideas.Service.State |
| stateStartTerm | Ideas.Service.State |
| stateTerm | Ideas.Service.State |
| stateToXML | Ideas.Encoding.LinkManager |
| stateUser | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Service.State |
| staticLinks | Ideas.Encoding.LinkManager |
| Status | |
| 1 (Type/Class) | Ideas.Common.Utils.TestSuite |
| 2 (Type/Class) | Ideas.Common.Exercise, Ideas.Common.Library |
| status | Ideas.Common.Exercise, Ideas.Common.Library |
| stdArgs | Ideas.Common.Utils.QuickCheck |
| StepInfo | Ideas.Service.BasicServices |
| steps | Ideas.Common.Derivation, Ideas.Common.Library |
| stepsremaining | Ideas.Service.BasicServices |
| stop | Ideas.Common.Strategy.Traversal |
| stopOn | Ideas.Text.Parsing |
| 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 |
| StrategyCfg | 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 |
| StrategyTree | Ideas.Common.Strategy.StrategyTree |
| 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 |
| StringRef | Ideas.Common.Utils.StringRef |
| stringRef | Ideas.Common.Utils.StringRef |
| StringType | Ideas.Text.XML.Document |
| styleA | Ideas.Text.HTML |
| sublistOf | Ideas.Common.Utils.QuickCheck |
| submit | Ideas.Service.Submit |
| submittext | Ideas.Service.FeedbackText |
| subResults | Ideas.Common.Utils.TestSuite |
| subsets | Ideas.Common.Utils |
| Substitution | Ideas.Common.Rewriting.Substitution |
| subTaskLocation | Ideas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library |
| subterms | Ideas.Common.Utils.QuickCheck |
| subtrees | Ideas.Common.DerivationTree |
| 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 | |
| 1 (Function) | Ideas.Common.Exercise, Ideas.Common.Library |
| 2 (Function) | Ideas.Service.State |
| suite | Ideas.Common.Utils.TestSuite |
| Sum | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 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 |
| Sym | Ideas.Common.Strategy.Sequence |
| Symbol | |
| 1 (Type/Class) | Ideas.Text.OpenMath.Symbol |
| 2 (Type/Class) | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| symbol | |
| 1 (Function) | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| 2 (Function) | Ideas.Encoding.Encoder |
| 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 |
| SyntaxError | Ideas.Service.Diagnose |
| 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 |
| tAnswer | Ideas.Service.ProblemDecomposition |
| tanSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| taskid | Ideas.Main.Logging |
| tBool | Ideas.Service.Types |
| TCon | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| tContext | Ideas.Service.Types |
| tDerivation | Ideas.Service.Types |
| tDiagnosis | Ideas.Service.Diagnose |
| tDifficulty | Ideas.Service.Types |
| tDomainReasoner | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| tEnvironment | Ideas.Service.Types |
| Term | |
| 1 (Type/Class) | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| termEquality | Ideas.Common.Rewriting.Confluence |
| termNavigator | Ideas.Common.Context, Ideas.Common.Library |
| termRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| terms | Ideas.Common.Derivation, Ideas.Common.Library |
| termToJSON | Ideas.Encoding.Encoder |
| termView | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| ternary | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| tError | Ideas.Service.Types |
| 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.Traversal.Tests |
| 2 (Function) | Ideas.Common.Rewriting.Substitution |
| TestSuite | Ideas.Common.Utils.TestSuite |
| testSuite | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| tExamples | Ideas.Service.Types |
| tExercise | Ideas.Service.Types |
| 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 |
| theException | Ideas.Common.Utils.QuickCheck |
| tId | Ideas.Service.Types |
| time | Ideas.Main.Logging |
| timedSeconds | Ideas.Common.Utils |
| timeInterval | Ideas.Common.Utils.TestSuite |
| timesInverse | Ideas.Common.Algebra.Field |
| timesSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| tInt | Ideas.Service.Types |
| tIO | Ideas.Service.Types |
| titleA | Ideas.Text.HTML |
| TList | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| tList | Ideas.Service.Types |
| tLocation | Ideas.Service.Types |
| tMaybe | Ideas.Service.Types |
| tMessage | Ideas.Service.FeedbackText |
| 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 |
| toArity | Ideas.Common.Strategy.StrategyTree |
| toJSON | Ideas.Text.JSON |
| token | Ideas.Text.Parsing |
| tokenPrim | Ideas.Text.Parsing |
| tokenPrimEx | Ideas.Text.Parsing |
| tokens | Ideas.Text.Parsing |
| 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 |
| toStrategyTree | Ideas.Common.Strategy.Abstract |
| 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 |
| tPair | Ideas.Service.Types |
| tQCGen | Ideas.Service.Types |
| 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 |
| tReply | Ideas.Service.ProblemDecomposition |
| tResult | Ideas.Service.Submit |
| triples | Ideas.Common.Derivation, Ideas.Common.Library |
| true | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| trueSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| tRule | Ideas.Service.Types |
| try | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Derived |
| 3 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| tScript | Ideas.Service.Types |
| tService | Ideas.Service.Types |
| tSomeExercise | Ideas.Service.Types |
| tState | Ideas.Service.Types |
| tStepInfo | Ideas.Service.BasicServices |
| tStrategy | Ideas.Service.Types |
| tStrategyCfg | Ideas.Service.Types |
| tString | Ideas.Service.Types |
| tt | Ideas.Text.HTML |
| tTerm | Ideas.Service.Types |
| tTestSuiteResult | Ideas.Service.Types |
| tText | Ideas.Service.Types |
| tTree | Ideas.Service.Types |
| ttText | Ideas.Text.HTML |
| tTuple3 | Ideas.Service.Types |
| tTuple4 | Ideas.Service.Types |
| tTuple5 | Ideas.Service.Types |
| tUnit | Ideas.Service.Types |
| tUserId | Ideas.Service.Types |
| TVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| Type | Ideas.Service.Types |
| TypedDecoder | Ideas.Encoding.Encoder |
| TypedEncoder | Ideas.Encoding.Encoder |
| TypedValue | Ideas.Service.Types |
| TypeRep | Ideas.Service.Types |
| ul | Ideas.Text.HTML |
| Unary | |
| 1 (Type/Class) | Ideas.Common.Strategy.StrategyTree |
| 2 (Data Constructor) | Ideas.Common.Strategy.StrategyTree |
| 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 | |
| 1 (Data Constructor) | Ideas.Service.Diagnose |
| 2 (Data Constructor) | 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 |
| unwrapArrow | Ideas.Encoding.Encoder |
| unwrapMonad | Ideas.Encoding.Encoder |
| up | Ideas.Common.Traversal.Navigator |
| Update | Ideas.Common.Traversal.Utils |
| update | Ideas.Common.Traversal.Utils |
| updateAnnotations | Ideas.Common.DerivationTree |
| 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 |
| urlForCSS | 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 |
| urlForImage | Ideas.Encoding.LinkManager |
| urlForIndex | Ideas.Encoding.LinkManager |
| urlForMicrosteps | Ideas.Encoding.LinkManager |
| urlForRandomExample | Ideas.Encoding.LinkManager |
| urlForRequest | 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 |
| urlForTestReport | Ideas.Encoding.LinkManager |
| use | Ideas.Common.Context, Ideas.Common.Library |
| useC | Ideas.Common.Context, Ideas.Common.Library |
| useDecl | Ideas.Common.Strategy.Abstract |
| usedSeed | Ideas.Common.Utils.QuickCheck |
| usedSize | Ideas.Common.Utils.QuickCheck |
| useGenerator | Ideas.Common.Exercise, Ideas.Common.Library |
| useJSONTerm | Ideas.Service.Request |
| useLogging | Ideas.Service.Request |
| useOpenMath | Ideas.Service.Request |
| useProperty | Ideas.Common.Utils.TestSuite |
| usePropertyWith | Ideas.Common.Utils.TestSuite |
| userid | Ideas.Main.Logging |
| useTypeable | Ideas.Common.Exercise, Ideas.Common.Library |
| V1 | Ideas.Service.Request |
| V2 | Ideas.Service.Request |
| Value | Ideas.Text.XML.Document |
| 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 |
| verboseCheckAll | Ideas.Common.Utils.QuickCheck |
| verboseCheckResult | Ideas.Common.Utils.QuickCheck |
| verboseCheckWith | Ideas.Common.Utils.QuickCheck |
| verboseCheckWithResult | Ideas.Common.Utils.QuickCheck |
| Version | Ideas.Main.Options |
| version | |
| 1 (Function) | Ideas.Main.Logging |
| 2 (Function) | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| 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, Ideas.Main.Default |
| 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 |
| withExercise | Ideas.Encoding.Encoder |
| WithFunctions | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| within | Ideas.Common.Utils.QuickCheck |
| withJSONTerm | Ideas.Encoding.Encoder |
| withMenu | Ideas.Common.Strategy.Process |
| WithMetaVars | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| withOpenMath | Ideas.Encoding.Encoder |
| withoutContext | Ideas.Common.Exercise, Ideas.Common.Library |
| withoutLast | Ideas.Common.Derivation, Ideas.Common.Library |
| withoutPrefix | Ideas.Service.State |
| withoutVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| WithVars | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| WithZero | Ideas.Common.Algebra.Group |
| wrap | Ideas.Common.Traversal.Utils |
| WrapArrow | Ideas.Encoding.Encoder |
| WrapMonad | Ideas.Encoding.Encoder |
| WrappedArrow | Ideas.Encoding.Encoder |
| WrappedMonad | Ideas.Encoding.Encoder |
| Wrapper | Ideas.Common.Traversal.Utils |
| WrongRule | Ideas.Service.Diagnose |
| 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 |
| XMLDoc | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Data Constructor) | Ideas.Text.XML.Document |
| XMLEncoder | Ideas.Encoding.EncoderXML |
| xmlEncoder | Ideas.Encoding.EncoderXML |
| xorSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| zero | Ideas.Common.Algebra.Field |
| zeroArrow | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| zeroLaws | Ideas.Common.Algebra.GroupLaws |
| ZipList | |
| 1 (Data Constructor) | Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Encoding.Encoder |
| ^<< | Ideas.Encoding.Encoder |
| ^>> | Ideas.Encoding.Encoder |
| |* | Ideas.Common.Utils.Uniplate |
| |*| | Ideas.Common.Algebra.Field |
| |+| | Ideas.Common.Algebra.Field |
| |- | Ideas.Common.Utils.Uniplate |
| |-> | |
| 1 (Function) | Ideas.Common.Strategy.Choice |
| 2 (Function) | Ideas.Common.Rewriting.Substitution |
| |-| | Ideas.Common.Algebra.Field |
| |/| | Ideas.Common.Algebra.Field |
| |> | |
| 1 (Function) | Ideas.Common.Strategy.Choice |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| ||* | Ideas.Common.Utils.Uniplate |
| ||| | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| ~> | Ideas.Common.Strategy.Sequence |