Index - S
| 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 |
| scan | Ideas.Common.Strategy.Process |
| Script | |
| 1 (Type/Class) | Ideas.Service.FeedbackScript.Syntax, Ideas.Service.FeedbackScript.Parser, Ideas.Service.FeedbackScript.Run |
| 2 (Data Constructor) | Ideas.Service.Types |
| scriptDecls | Ideas.Service.FeedbackScript.Syntax |
| scripts | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| searchBackward | Ideas.Common.Traversal.Iterator |
| searchForward | Ideas.Common.Traversal.Iterator |
| searchModePrefix | Ideas.Common.Strategy.Parsing |
| 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 | 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 |
| serviceDeprecated | Ideas.Service.Types |
| serviceFunction | Ideas.Service.Types |
| serviceId | Ideas.Service.Request |
| serviceList | Ideas.Service.ServiceList, Ideas.Main.Default |
| services | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| servicesSorted | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| 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 |
| shrinkNothing | Ideas.Common.Utils.QuickCheck |
| shrinkRealFrac | Ideas.Common.Utils.QuickCheck |
| ShrinkState | Ideas.Common.Utils.QuickCheck |
| shrinkState | Ideas.Common.Utils.QuickCheck |
| siblingOf | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| Similar | Ideas.Service.Diagnose |
| similarity | Ideas.Common.Exercise, Ideas.Common.Library |
| Simple | Ideas.Service.FeedbackScript.Syntax |
| 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.Derived |
| single | Ideas.Common.Strategy.Choice |
| 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 | 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 |
| sortTree | Ideas.Common.DerivationTree |
| source | Ideas.Service.Request |
| sourceColumn | Ideas.Text.Parsing |
| sourceLine | Ideas.Text.Parsing |
| SourceName | Ideas.Text.Parsing |
| sourceName | Ideas.Text.Parsing |
| SourcePos | Ideas.Text.Parsing |
| space | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Text.HTML |
| spaces | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Text.HTML |
| spanClass | Ideas.Text.HTML |
| spine | Ideas.Common.Strategy.Traversal |
| 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 |
| 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 |
| stateTerm | Ideas.Service.State |
| stateToXML | Ideas.Encoding.LinkManager |
| stateUser | Ideas.Text.Parsing |
| 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 |
| StdGen | Ideas.Service.Types |
| Step | Ideas.Common.Strategy.Parsing, Ideas.Common.Strategy, Ideas.Common.Library |
| stepEnvironment | Ideas.Common.Strategy.Parsing, Ideas.Common.Strategy, Ideas.Common.Library |
| StepInfo | Ideas.Service.BasicServices |
| stepRule | Ideas.Common.Strategy.Parsing, Ideas.Common.Strategy, Ideas.Common.Library |
| steps | Ideas.Common.Derivation, Ideas.Common.Library |
| stepsremaining | Ideas.Service.BasicServices |
| stop | Ideas.Common.Strategy.Traversal |
| stopOn | Ideas.Text.Parsing |
| stopped | Ideas.Common.Strategy.Sequence, Ideas.Common.Strategy.Process |
| Str | Ideas.Common.Utils.QuickCheck |
| StratCfg | Ideas.Service.Types |
| Strategy | |
| 1 (Type/Class) | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| strategy | Ideas.Common.Exercise, Ideas.Common.Library |
| 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 |
| 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 |
| submit | Ideas.Service.Submit |
| submittext | Ideas.Service.FeedbackText |
| subResults | Ideas.Common.Utils.TestSuite |
| subsets | Ideas.Common.Utils |
| substCoreVar | Ideas.Common.Strategy.Core |
| Substitution | Ideas.Common.Rewriting.Substitution |
| subTaskLocation | Ideas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library |
| subtrees | Ideas.Common.DerivationTree |
| Succeed | Ideas.Common.Strategy.Core |
| succeed | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| Success | Ideas.Common.Utils.QuickCheck |
| suchThat | Ideas.Common.Utils.QuickCheck |
| suchThatMaybe | Ideas.Common.Utils.QuickCheck |
| suchthatSymbol | Ideas.Text.OpenMath.Dictionary.List1 |
| suitable | |
| 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.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, 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.Derived |
| 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 |
| System | Ideas.Text.XML.Document |