ideas-1.6: Feedback services for intelligent tutoring systems

Index - S

SIdeas.Common.ExerciseTests
safeIdeas.Common.Traversal.Utils
sampleIdeas.Utils.QuickCheck
sample'Ideas.Utils.QuickCheck
satisfyIdeas.Utils.Parsing
scaleIdeas.Utils.QuickCheck
SchemaIdeas.Encoding.Request
Script 
1 (Type/Class)Ideas.Service.FeedbackScript.Syntax, Ideas.Service.FeedbackScript.Parser, Ideas.Service.FeedbackScript.Run
2 (Data Constructor)Ideas.Service.Types
script 
1 (Function)Ideas.Encoding.Logging
2 (Function)Ideas.Encoding.Options
scriptDeclsIdeas.Service.FeedbackScript.Syntax
scriptsIdeas.Service.DomainReasoner, Ideas.Main.Default
searchBackwardIdeas.Common.Traversal.Iterator
searchForwardIdeas.Common.Traversal.Iterator
searchModePrefixIdeas.Common.Strategy.Prefix
searchNextIdeas.Common.Traversal.Iterator
searchPreviousIdeas.Common.Traversal.Iterator
searchWithIdeas.Common.Traversal.Iterator
sechSymbolIdeas.Text.OpenMath.Dictionary.Transc1
secondIdeas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder
secSymbolIdeas.Text.OpenMath.Dictionary.Transc1
sepByIdeas.Utils.Parsing
sepBy1Ideas.Utils.Parsing
sepEndByIdeas.Utils.Parsing
sepEndBy1Ideas.Utils.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
sequenceSIdeas.Common.Library
Service 
1 (Data Constructor)Ideas.Service.Types
2 (Type/Class)Ideas.Service.Types, Ideas.Main.Default
serviceIdeas.Encoding.Logging
serviceDeprecatedIdeas.Service.Types
serviceFunctionIdeas.Service.Types
serviceIdIdeas.Encoding.Request
serviceinfoIdeas.Encoding.Logging
serviceListIdeas.Service.ServiceList, Ideas.Main.Default
servicesIdeas.Service.DomainReasoner, Ideas.Main.Default
servicesSortedIdeas.Service.DomainReasoner, Ideas.Main.Default
sessionidIdeas.Encoding.Logging
setBuggyIdeas.Common.Classes, Ideas.Common.Library
setEnvironmentIdeas.Common.Environment, Ideas.Common.Library
setInput 
1 (Function)Ideas.Utils.Parsing
2 (Function)Ideas.Encoding.Encoder
setMinorIdeas.Common.Classes, Ideas.Common.Library
setParserStateIdeas.Utils.Parsing
setPositionIdeas.Utils.Parsing
setPropertyIdeas.Common.Exercise, Ideas.Common.Library
setPropertyFIdeas.Common.Exercise, Ideas.Common.Library
setSourceColumnIdeas.Utils.Parsing
setSourceLineIdeas.Utils.Parsing
setSourceNameIdeas.Utils.Parsing
setStateIdeas.Utils.Parsing
shortVersionIdeas.Main.CmdLineOptions
ShowAsIdeas.Common.ExerciseTests
showAsIdeas.Common.ExerciseTests
showDerivationIdeas.Common.Exercise, Ideas.Common.Library
showDerivationsIdeas.Common.Exercise, Ideas.Common.Library
ShowFIdeas.Service.Types
showFIdeas.Service.Types
showHTMLIdeas.Text.HTML
showIdIdeas.Common.Id, Ideas.Common.Library
showRewriteRuleIdeas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library
showSIdeas.Common.ExerciseTests
ShowString 
1 (Type/Class)Ideas.Utils.Prelude
2 (Data Constructor)Ideas.Utils.Prelude
showsTypeRepIdeas.Utils.Typeable
showSymbolIdeas.Text.OpenMath.Symbol
showTermIdeas.Common.Rewriting.Confluence
showValueIdeas.Common.Environment, Ideas.Common.Library
shrinkIdeas.Utils.QuickCheck
Shrink2 
1 (Data Constructor)Ideas.Utils.QuickCheck
2 (Type/Class)Ideas.Utils.QuickCheck
Shrinking 
1 (Data Constructor)Ideas.Utils.QuickCheck
2 (Type/Class)Ideas.Utils.QuickCheck
shrinkingIdeas.Utils.QuickCheck
shrinkInitIdeas.Utils.QuickCheck
shrinkIntegralIdeas.Utils.QuickCheck
shrinkListIdeas.Utils.QuickCheck
shrinkNothingIdeas.Utils.QuickCheck
shrinkRealFracIdeas.Utils.QuickCheck
ShrinkStateIdeas.Utils.QuickCheck
shrinkStateIdeas.Utils.QuickCheck
shrinkTreeIdeas.Common.Strategy.CyclicTree
shuffleIdeas.Utils.QuickCheck
siblingOfIdeas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
SimilarIdeas.Service.Diagnose
similarityIdeas.Common.Exercise, Ideas.Common.Library
SimpleIdeas.Service.FeedbackScript.Syntax
simpleGeneratorIdeas.Common.Exercise, Ideas.Common.Library
simplifyIdeas.Common.View, Ideas.Common.Library
simplifyWithIdeas.Common.View, Ideas.Common.Library
simplifyWithMIdeas.Common.View, Ideas.Common.Library
singleIdeas.Common.Strategy.Sequence
singleBindingIdeas.Common.Environment, Ideas.Common.Library
singleNodeIdeas.Common.DerivationTree
singletonIdeas.Common.Classes, Ideas.Common.Library
singletonSubstIdeas.Common.Rewriting.Substitution
sinhSymbolIdeas.Text.OpenMath.Dictionary.Transc1
sinSymbolIdeas.Text.OpenMath.Dictionary.Transc1
sizedIdeas.Utils.QuickCheck
skipIdeas.Utils.Parsing
skipManyIdeas.Utils.Parsing
skipMany1Ideas.Utils.Parsing
Small 
1 (Data Constructor)Ideas.Utils.QuickCheck
2 (Type/Class)Ideas.Utils.QuickCheck
smallIdeas.Text.HTML
Smart 
1 (Data Constructor)Ideas.Utils.QuickCheck
2 (Type/Class)Ideas.Utils.QuickCheck
snd3Ideas.Utils.Prelude
solutionIdeas.Service.BasicServices
Some 
1 (Type/Class)Ideas.Utils.Prelude, Ideas.Common.Library
2 (Data Constructor)Ideas.Utils.Prelude, Ideas.Common.Library
someIdeas.Encoding.Encoder
SomeExerciseIdeas.Service.Types
somewhereIdeas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library
somewhereMIdeas.Common.Rewriting.Confluence
somewhereWhenIdeas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library
sortTreeIdeas.Common.DerivationTree
source 
1 (Function)Ideas.Encoding.Request
2 (Function)Ideas.Encoding.Logging
sourceColumnIdeas.Utils.Parsing
sourceLineIdeas.Utils.Parsing
SourceNameIdeas.Utils.Parsing
sourceNameIdeas.Utils.Parsing
SourcePosIdeas.Utils.Parsing
space 
1 (Function)Ideas.Utils.Parsing
2 (Function)Ideas.Text.HTML
spaces 
1 (Function)Ideas.Utils.Parsing
2 (Function)Ideas.Text.HTML
spanClassIdeas.Text.HTML
spineIdeas.Common.Strategy.Traversal
splitIdeas.Encoding.Encoder
splitAtElemIdeas.Utils.Prelude
splitsWithElemIdeas.Utils.Prelude
splitTyConAppIdeas.Utils.Typeable
StableIdeas.Common.Exercise, Ideas.Common.Library
standaloneIdeas.Text.XML.Document
StarIdeas.Text.XML.Document
startStateIdeas.Service.State
State 
1 (Data Constructor)Ideas.Utils.Parsing
2 (Type/Class)Ideas.Utils.Parsing
3 (Type/Class)Ideas.Service.State
4 (Data Constructor)Ideas.Service.Types
stateContextIdeas.Service.State
stateInputIdeas.Utils.Parsing
stateLabelsIdeas.Service.State
statePosIdeas.Utils.Parsing
statePrefixIdeas.Service.State
stateSessionIdeas.Service.State
stateStartTermIdeas.Service.State
stateTermIdeas.Service.State
stateToXMLIdeas.Encoding.LinkManager
stateUser 
1 (Function)Ideas.Utils.Parsing
2 (Function)Ideas.Service.State
Status 
1 (Type/Class)Ideas.Utils.TestSuite
2 (Type/Class)Ideas.Common.Exercise, Ideas.Common.Library
statusIdeas.Common.Exercise, Ideas.Common.Library
stdArgsIdeas.Utils.QuickCheck
StepInfoIdeas.Service.BasicServices
stepsIdeas.Common.Derivation, Ideas.Common.Library
stepsremainingIdeas.Service.BasicServices
stopIdeas.Common.Strategy.Traversal
stopOnIdeas.Utils.Parsing
StratCfgIdeas.Service.Types
Strategy 
1 (Type/Class)Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library
2 (Data Constructor)Ideas.Service.Types
strategyIdeas.Common.Exercise, Ideas.Common.Library
StrategyCfgIdeas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library
strategyLocationsIdeas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library
strategyToXMLIdeas.Encoding.StrategyInfo
StrategyTreeIdeas.Common.Strategy.StrategyTree
String 
1 (Data Constructor)Ideas.Text.JSON
2 (Data Constructor)Ideas.Service.Types
string 
1 (Function)Ideas.Utils.Parsing
2 (Function)Ideas.Text.XML, Ideas.Text.HTML
StringDeclIdeas.Service.FeedbackScript.Syntax
StringRefIdeas.Utils.StringRef
stringRefIdeas.Utils.StringRef
StringTypeIdeas.Text.XML.Document
styleAIdeas.Text.HTML
sublistOfIdeas.Utils.QuickCheck
submitIdeas.Service.Submit
submittextIdeas.Service.FeedbackText
subResultsIdeas.Utils.TestSuite
subsetsIdeas.Utils.Prelude
SubstitutionIdeas.Common.Rewriting.Substitution
subTaskLocationIdeas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library
subtermsIdeas.Utils.QuickCheck
subtreesIdeas.Common.DerivationTree
succeedIdeas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library
SuccessIdeas.Utils.QuickCheck
suchThatIdeas.Utils.QuickCheck
suchThatMaybeIdeas.Utils.QuickCheck
suchthatSymbolIdeas.Text.OpenMath.Dictionary.List1
suitable 
1 (Function)Ideas.Common.Exercise, Ideas.Common.Library
2 (Function)Ideas.Service.State
suiteIdeas.Utils.TestSuite
Sum 
1 (Data Constructor)Ideas.Utils.TestSuite, Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder
2 (Type/Class)Ideas.Utils.TestSuite, Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder
sumSymbolIdeas.Text.OpenMath.Dictionary.Arith1
supplyParametersIdeas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library
SupportsIdeas.Service.FeedbackScript.Syntax
swapViewIdeas.Common.View, Ideas.Common.Library
SymIdeas.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
symbolBuilderIdeas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library
SymbolMatchIdeas.Common.Rewriting.Unification
symbolMatcherIdeas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library
symbolNameIdeas.Text.OpenMath.Symbol
SyntaxErrorIdeas.Service.Diagnose
SystemIdeas.Text.XML.Document