clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot. (Index - S)

clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
+
>
_
All

Index - S

safeTail	Language.Clafer.Common
sClafers	Language.Clafer.Common
scopesList	Language.Clafer
ScopeStrategy	Language.Clafer.ClaferArgs, Language.Clafer
scope_strategy	Language.Clafer.ClaferArgs, Language.Clafer
selectChildren	Language.Clafer.Intermediate.ResolverName
self_contained	Language.Clafer.ClaferArgs, Language.Clafer
SemanticErr	Language.ClaferT
SEnv
1 (Type/Class)	Language.Clafer.Intermediate.ResolverName
2 (Data Constructor)	Language.Clafer.Intermediate.ResolverName
setBinOps	Language.Clafer.Common
sglCard	Language.Clafer.Generator.Stats
share	Language.Clafer.Front.LexClafer
showPath	Language.Clafer.Intermediate.ResolverName
show_references	Language.Clafer.ClaferArgs, Language.Clafer
sident	Language.Clafer.Intermediate.Intclafer
Simple	Language.Clafer.ClaferArgs, Language.Clafer
simpleScopeAnalysis	Language.Clafer.Intermediate.SimpleScopeAnalyzer
skip_resolver	Language.Clafer.ClaferArgs, Language.Clafer
snd3	Language.Clafer.Common
so	Language.Clafer.Intermediate.Intclafer
Span
1 (Type/Class)	Language.Clafer.Front.AbsClafer, Language.ClaferT
2 (Data Constructor)	Language.Clafer.Front.AbsClafer, Language.ClaferT
Spannable	Language.Clafer.Front.AbsClafer
Special	Language.Clafer.Intermediate.ResolverName
specialNames	Language.Clafer.Common
split'	Language.Clafer.Optimizer.Optimizer
splitArgs	Language.Clafer.SplitJoin
srcPos	Language.Clafer.Generator.Concat
stable	Language.Clafer.Common
statistics	Language.Clafer
Stats
1 (Type/Class)	Language.Clafer.Generator.Stats
2 (Data Constructor)	Language.Clafer.Generator.Stats
statsCard	Language.Clafer.Generator.Stats
statsClafer	Language.Clafer.Generator.Stats
statsElement	Language.Clafer.Generator.Stats
statsModule	Language.Clafer.Generator.Stats
stringMap	Language.Clafer
stringType	Language.Clafer.Common
SubAssertion	Language.Clafer.Front.AbsClafer
Subclafer	Language.Clafer.Front.AbsClafer
Subclafers	Language.Clafer.Intermediate.ResolverName
subClafers	Language.Clafer.Intermediate.ResolverName
Subconstraint	Language.Clafer.Front.AbsClafer
Subgoal	Language.Clafer.Front.AbsClafer
sugarAbstract	Language.Clafer.Intermediate.Desugarer
sugarAssertion	Language.Clafer.Intermediate.Desugarer
sugarCard	Language.Clafer.Intermediate.Desugarer
sugarClafer	Language.Clafer.Intermediate.Desugarer
sugarConstraint	Language.Clafer.Intermediate.Desugarer
sugarDecl	Language.Clafer.Intermediate.Desugarer
sugarDeclaration	Language.Clafer.Intermediate.Desugarer
sugarElement	Language.Clafer.Intermediate.Desugarer
sugarElements	Language.Clafer.Intermediate.Desugarer
sugarExInteger	Language.Clafer.Intermediate.Desugarer
sugarExp	Language.Clafer.Intermediate.Desugarer
sugarExp'	Language.Clafer.Intermediate.Desugarer
sugarGCard	Language.Clafer.Intermediate.Desugarer
sugarGoal	Language.Clafer.Intermediate.Desugarer
sugarInitHow	Language.Clafer.Intermediate.Desugarer
sugarLocId	Language.Clafer.Intermediate.Desugarer
sugarModId	Language.Clafer.Intermediate.Desugarer
sugarModule	Language.Clafer.Intermediate.Desugarer
sugarQuant	Language.Clafer.Intermediate.Desugarer
sugarReference	Language.Clafer.Intermediate.Desugarer
sugarSuper	Language.Clafer.Intermediate.Desugarer
Super	Language.Clafer.Front.AbsClafer
super	Language.Clafer.Intermediate.Intclafer
SuperEmpty	Language.Clafer.Front.AbsClafer
SuperSome	Language.Clafer.Front.AbsClafer