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 |