A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
#
$
&
*
+
.
/
<
=
>
?
@
^
|
~
All

Index - S

S	Ideas.Common.ExerciseTests
safe	Ideas.Common.Traversal.Utils
sample	Ideas.Utils.QuickCheck
sample'	Ideas.Utils.QuickCheck
satisfy	Ideas.Utils.Parsing
scale	Ideas.Utils.QuickCheck
Schema	Ideas.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
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
sepBy	Ideas.Utils.Parsing
sepBy1	Ideas.Utils.Parsing
sepEndBy	Ideas.Utils.Parsing
sepEndBy1	Ideas.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
sequenceS	Ideas.Common.Library
Service
1 (Data Constructor)	Ideas.Service.Types
2 (Type/Class)	Ideas.Service.Types, Ideas.Main.Default
service	Ideas.Encoding.Logging
serviceDeprecated	Ideas.Service.Types
serviceFunction	Ideas.Service.Types
serviceId	Ideas.Encoding.Request
serviceinfo	Ideas.Encoding.Logging
serviceList	Ideas.Service.ServiceList, Ideas.Main.Default
services	Ideas.Service.DomainReasoner, Ideas.Main.Default
servicesSorted	Ideas.Service.DomainReasoner, Ideas.Main.Default
sessionid	Ideas.Encoding.Logging
setBuggy	Ideas.Common.Classes, Ideas.Common.Library
setEnvironment	Ideas.Common.Environment, Ideas.Common.Library
setInput
1 (Function)	Ideas.Utils.Parsing
2 (Function)	Ideas.Encoding.Encoder
setMinor	Ideas.Common.Classes, Ideas.Common.Library
setParserState	Ideas.Utils.Parsing
setPosition	Ideas.Utils.Parsing
setProperty	Ideas.Common.Exercise, Ideas.Common.Library
setPropertyF	Ideas.Common.Exercise, Ideas.Common.Library
setSourceColumn	Ideas.Utils.Parsing
setSourceLine	Ideas.Utils.Parsing
setSourceName	Ideas.Utils.Parsing
setState	Ideas.Utils.Parsing
shortVersion	Ideas.Main.CmdLineOptions
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.Utils.Prelude
2 (Data Constructor)	Ideas.Utils.Prelude
showsTypeRep	Ideas.Utils.Typeable
showSymbol	Ideas.Text.OpenMath.Symbol
showTerm	Ideas.Common.Rewriting.Confluence
showValue	Ideas.Common.Environment, Ideas.Common.Library
shrink	Ideas.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
shrinking	Ideas.Utils.QuickCheck
shrinkInit	Ideas.Utils.QuickCheck
shrinkIntegral	Ideas.Utils.QuickCheck
shrinkList	Ideas.Utils.QuickCheck
shrinkNothing	Ideas.Utils.QuickCheck
shrinkRealFrac	Ideas.Utils.QuickCheck
ShrinkState	Ideas.Utils.QuickCheck
shrinkState	Ideas.Utils.QuickCheck
shrinkTree	Ideas.Common.Strategy.CyclicTree
shuffle	Ideas.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
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.Utils.QuickCheck
skip	Ideas.Utils.Parsing
skipMany	Ideas.Utils.Parsing
skipMany1	Ideas.Utils.Parsing
Small
1 (Data Constructor)	Ideas.Utils.QuickCheck
2 (Type/Class)	Ideas.Utils.QuickCheck
small	Ideas.Text.HTML
Smart
1 (Data Constructor)	Ideas.Utils.QuickCheck
2 (Type/Class)	Ideas.Utils.QuickCheck
snd3	Ideas.Utils.Prelude
solution	Ideas.Service.BasicServices
Some
1 (Type/Class)	Ideas.Utils.Prelude, Ideas.Common.Library
2 (Data Constructor)	Ideas.Utils.Prelude, Ideas.Common.Library
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.Encoding.Request
2 (Function)	Ideas.Encoding.Logging
sourceColumn	Ideas.Utils.Parsing
sourceLine	Ideas.Utils.Parsing
SourceName	Ideas.Utils.Parsing
sourceName	Ideas.Utils.Parsing
SourcePos	Ideas.Utils.Parsing
space
1 (Function)	Ideas.Utils.Parsing
2 (Function)	Ideas.Text.HTML
spaces
1 (Function)	Ideas.Utils.Parsing
2 (Function)	Ideas.Text.HTML
spanClass	Ideas.Text.HTML
spine	Ideas.Common.Strategy.Traversal
split	Ideas.Encoding.Encoder
splitAtElem	Ideas.Utils.Prelude
splitsWithElem	Ideas.Utils.Prelude
splitTyConApp	Ideas.Utils.Typeable
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.Utils.Parsing
2 (Type/Class)	Ideas.Utils.Parsing
3 (Type/Class)	Ideas.Service.State
4 (Data Constructor)	Ideas.Service.Types
stateContext	Ideas.Service.State
stateInput	Ideas.Utils.Parsing
stateLabels	Ideas.Service.State
statePos	Ideas.Utils.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.Utils.Parsing
2 (Function)	Ideas.Service.State
Status
1 (Type/Class)	Ideas.Utils.TestSuite
2 (Type/Class)	Ideas.Common.Exercise, Ideas.Common.Library
status	Ideas.Common.Exercise, Ideas.Common.Library
stdArgs	Ideas.Utils.QuickCheck
StepInfo	Ideas.Service.BasicServices
steps	Ideas.Common.Derivation, Ideas.Common.Library
stepsremaining	Ideas.Service.BasicServices
stop	Ideas.Common.Strategy.Traversal
stopOn	Ideas.Utils.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.Utils.Parsing
2 (Function)	Ideas.Text.XML, Ideas.Text.HTML
StringDecl	Ideas.Service.FeedbackScript.Syntax
StringRef	Ideas.Utils.StringRef
stringRef	Ideas.Utils.StringRef
StringType	Ideas.Text.XML.Document
styleA	Ideas.Text.HTML
sublistOf	Ideas.Utils.QuickCheck
submit	Ideas.Service.Submit
submittext	Ideas.Service.FeedbackText
subResults	Ideas.Utils.TestSuite
subsets	Ideas.Utils.Prelude
Substitution	Ideas.Common.Rewriting.Substitution
subTaskLocation	Ideas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library
subterms	Ideas.Utils.QuickCheck
subtrees	Ideas.Common.DerivationTree
succeed	Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library
Success	Ideas.Utils.QuickCheck
suchThat	Ideas.Utils.QuickCheck
suchThatMaybe	Ideas.Utils.QuickCheck
suchthatSymbol	Ideas.Text.OpenMath.Dictionary.List1
suitable
1 (Function)	Ideas.Common.Exercise, Ideas.Common.Library
2 (Function)	Ideas.Service.State
suite	Ideas.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
sumSymbol	Ideas.Text.OpenMath.Dictionary.Arith1
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