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

Index - S

S	Camfort.Helpers.Vec
s	Camfort.Specification.Stencils.Synthesis
Scatter	Camfort.Analysis.Annotations
select	Camfort.Transformation.CommonBlockElimToCalls
Selection	Camfort.Specification.Stencils.InferenceBackend
selectionsV	Camfort.Specification.Stencils.InferenceBackend
setCompactSrcLocs	Camfort.Analysis.Syntax
setLinearity	Camfort.Specification.Stencils.Syntax
Show'	Camfort.Output
show'	Camfort.Output
showArgVars	Camfort.Specification.Units.Debug
showCat	Camfort.Specification.Units.Debug
showExpr	Camfort.Specification.Units.Debug
showExprLines	Camfort.Specification.Units.Debug
showL	Camfort.Specification.Stencils.Syntax
showProdSpecs	Camfort.Specification.Stencils.Syntax
showRational	Camfort.Specification.Units.Debug
showRegion	Camfort.Specification.Stencils.Syntax
showSrcLoc	Camfort.Specification.Units.Debug
showSrcSpan	Camfort.Specification.Units.Debug
showSumSpecs	Camfort.Specification.Stencils.Syntax
showUse'	Camfort.PrettyPrint
showV	Camfort.Helpers.Vec
simplify	Camfort.Specification.Stencils.InferenceBackend
simplifySpatial	Camfort.Specification.Stencils.InferenceBackend
Solver
1 (Type/Class)	Camfort.Specification.Units.Environment, Camfort.Specification.Units
2 (Data Constructor)	Camfort.Functionality
solveSystem	Camfort.Specification.Units.Solve
solveSystem'	Camfort.Specification.Units.Solve
solveSystemC	Camfort.Specification.Units.Solve
solveSystemH	Camfort.Specification.Units.Solve
solveSystemH_Either	Camfort.Specification.Units.Solve
solveSystemM	Camfort.Specification.Units.InferenceBackend
SourceText	Camfort.Helpers
Span	Camfort.Specification.Stencils.InferenceBackend
spanBoundingBox	Camfort.Specification.Stencils.InferenceBackend
spanLineCol
1 (Function)	Camfort.Helpers
2 (Function)	Camfort.Specification.Stencils.Synthesis
Spatial
1 (Type/Class)	Camfort.Specification.Stencils.Syntax
2 (Data Constructor)	Camfort.Specification.Stencils.Syntax
3 (Data Constructor)	Camfort.Specification.Stencils.Grammar
Spec	Camfort.Specification.Stencils.Grammar
SpecDec	Camfort.Specification.Stencils.Grammar
SpecDecls	Camfort.Specification.Stencils.Syntax
Specification
1 (Type/Class)	Camfort.Specification.Stencils.Syntax
2 (Data Constructor)	Camfort.Specification.Stencils.Syntax
3 (Type/Class)	Camfort.Specification.Stencils.Grammar
specParser	Camfort.Specification.Stencils.Grammar
specPlus	Camfort.Specification.Stencils.Syntax
sqrtUnits	Camfort.Specification.Units.InferenceBackend
srcLineCol	Camfort.Transformation.Syntax
srcSpanToSrcLocs	Camfort.Output
stencilBlock	Camfort.Analysis.Annotations
stencilChecking	Camfort.Specification.Stencils.CheckFrontend
stencilInference	Camfort.Specification.Stencils.InferenceFrontend
StencilInferMode	Camfort.Functionality
stencilsCheck	Camfort.Functionality
stencilsInfer	Camfort.Functionality
stencilSpec	Camfort.Analysis.Annotations
stencilsSynth	Camfort.Functionality
stencilsVarFlowCycles	Camfort.Functionality
Succ	Camfort.Helpers.Vec
success	Camfort.Specification.Units.Environment
Successors	Camfort.Analysis.Syntax
successors	Camfort.Analysis.Syntax
successorsRoot	Camfort.Analysis.Syntax
successorStmts	Camfort.Analysis.Annotations
Sum	Camfort.Specification.Stencils.Syntax
sum	Camfort.Specification.Stencils.Syntax
swap	Camfort.Transformation.DerivedTypeIntro
swapCols	Camfort.Specification.Units.InferenceBackend
swapUnitVarCats	Camfort.Specification.Units.InferenceBackend
swapUnitVarCats'	Camfort.Specification.Units.InferenceBackend
switchScaleElems	Camfort.Specification.Units.Solve
Synth	Camfort.Specification.Stencils.InferenceFrontend
synth	Camfort.Specification.Stencils
synthesise	Camfort.Specification.Stencils.Synthesis
synthesiseUnits
1 (Function)	Camfort.Specification.Units.Synthesis
2 (Function)	Camfort.Specification.Units
SynToAst	Camfort.Specification.Stencils.CheckBackend
synToAst	Camfort.Specification.Stencils.CheckBackend