S | Camfort.Helpers.Vec |
SA | Camfort.Specification.Stencils.Annotation |
SBasicType | Language.Fortran.Model.Singletons |
sBasicTypeMax | Language.Fortran.Model.Singletons |
SBTChar | Language.Fortran.Model.Singletons |
SBTInt | Language.Fortran.Model.Singletons |
SBTLogical | Language.Fortran.Model.Singletons |
SBTReal | Language.Fortran.Model.Singletons |
selectKind | Language.Fortran.Model.Translate |
setConstraint | Camfort.Specification.Units.Annotation |
setDefaultSourceFile | Camfort.Analysis.Logger |
setLinearity | Camfort.Specification.Stencils.Syntax |
SetOfIntegers | Camfort.Specification.Stencils.Model |
setUnitInfo | Camfort.Specification.Units.Annotation |
shiftTerms | Camfort.Specification.Units.InferenceBackend |
Show' | Camfort.Output |
show' | Camfort.Output |
showConstr | Camfort.Specification.Units.Environment |
showsTypeRep | Camfort.Specification.Units.Environment |
simpleCompiler | Camfort.Analysis.ModFile |
simplifyUnits | Camfort.Specification.Units.Environment |
SodDecl | Camfort.Specification.Hoare.Syntax |
SodSpec | Camfort.Specification.Hoare.Syntax |
SOKDeref | Language.Fortran.Model.Singletons |
SOKEq | Language.Fortran.Model.Singletons |
SOKLit | Language.Fortran.Model.Singletons |
SOKLogical | Language.Fortran.Model.Singletons |
SOKLookup | Language.Fortran.Model.Singletons |
SOKNum | Language.Fortran.Model.Singletons |
SOKRel | Language.Fortran.Model.Singletons |
SOKWriteArr | Language.Fortran.Model.Singletons |
SOKWriteData | Language.Fortran.Model.Singletons |
Some | |
1 (Type/Class) | Camfort.Helpers.TypeLevel, Language.Fortran.Model.Translate |
2 (Data Constructor) | Camfort.Helpers.TypeLevel, Language.Fortran.Model.Translate |
SomeExpr | Language.Fortran.Model.Translate |
SomeMessage | Camfort.Analysis.Logger |
SomePair | |
1 (Type/Class) | Camfort.Helpers.TypeLevel |
2 (Data Constructor) | Camfort.Helpers.TypeLevel |
SomeType | Language.Fortran.Model.Translate |
SomeVar | Language.Fortran.Model.Translate |
SOpKind | Language.Fortran.Model.Singletons |
SortFn | Camfort.Specification.Units.Environment |
SourceName | |
1 (Type/Class) | Language.Fortran.Model.Vars |
2 (Data Constructor) | Language.Fortran.Model.Vars |
SourceText | Camfort.Helpers |
SP128 | Language.Fortran.Model.Singletons |
SP16 | Language.Fortran.Model.Singletons |
SP32 | Language.Fortran.Model.Singletons |
SP64 | Language.Fortran.Model.Singletons |
SP8 | Language.Fortran.Model.Singletons |
Span | Camfort.Specification.Stencils.InferenceBackend |
spansToApproxSpatial | Camfort.Specification.Stencils.InferenceBackend |
Spatial | |
1 (Type/Class) | Camfort.Specification.Stencils.Syntax |
2 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
SpecDec | Camfort.Specification.Stencils.Parser.Types |
SpecDecl | Camfort.Specification.Stencils.Syntax |
SpecDecls | Camfort.Specification.Stencils.Syntax |
specFormula | Camfort.Specification.Hoare.Syntax |
Specification | |
1 (Type/Class) | Camfort.Specification.Hoare.Syntax |
2 (Data Constructor) | Camfort.Specification.Hoare.Syntax |
3 (Type/Class) | Camfort.Specification.Stencils.Syntax |
4 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
5 (Type/Class) | Camfort.Specification.Stencils.Parser.Types |
SpecInner | |
1 (Type/Class) | Camfort.Specification.Stencils.Parser.Types |
2 (Data Constructor) | Camfort.Specification.Stencils.Parser.Types |
SpecInvariant | Camfort.Specification.Hoare.Syntax |
SpecKind | Camfort.Specification.Hoare.Syntax |
SpecOrDecl | Camfort.Specification.Hoare.Syntax |
SpecParseError | |
1 (Type/Class) | Camfort.Specification.Parser |
2 (Type/Class) | Camfort.Specification.Stencils.Parser |
SpecParser | Camfort.Specification.Parser |
specParser | Camfort.Specification.Stencils.Parser |
SpecPost | Camfort.Specification.Hoare.Syntax |
SpecPre | Camfort.Specification.Hoare.Syntax |
SpecSeq | Camfort.Specification.Hoare.Syntax |
specType | Camfort.Specification.Hoare.Syntax |
splitNormHNF | Camfort.Specification.Units.InferenceBackend |
splitTyConApp | Camfort.Specification.Units.Environment |
SPrecision | Language.Fortran.Model.Singletons |
sPrecMax | Language.Fortran.Model.Singletons |
Standard | Camfort.Specification.Stencils.Model |
StencilAnnotation | Camfort.Specification.Stencils.Annotation |
stencilChecking | Camfort.Specification.Stencils.CheckFrontend |
stencilInference | Camfort.Specification.Stencils.InferenceFrontend |
StencilsAnalysis | Camfort.Specification.Stencils.Analysis |
stencilsCheck | Camfort.Functionality |
stencilsInfer | Camfort.Functionality |
StencilsReport | |
1 (Type/Class) | Camfort.Specification.Stencils.InferenceFrontend |
2 (Data Constructor) | Camfort.Specification.Stencils.InferenceFrontend |
stencilsSynth | Camfort.Functionality |
stencilSynthesis | Camfort.Specification.Stencils.InferenceFrontend |
Sub | Camfort.Specification.Units.BackendTypes |
subFromList | Camfort.Specification.Units.BackendTypes |
subtext | Camfort.Reprint |
subToList | Camfort.Specification.Units.BackendTypes |
Succ | Camfort.Helpers.Vec |
successful | Camfort.Specification.DerivedDataType |
Sum | Camfort.Specification.Stencils.Syntax |
synth | |
1 (Function) | Camfort.Specification.DerivedDataType |
2 (Function) | Camfort.Specification.Stencils |
synthesiseUnits | Camfort.Specification.Units |
SynToAst | Camfort.Specification.Stencils.CheckBackend |
synToAst | Camfort.Specification.Stencils.CheckBackend |
SynToAstError | Camfort.Specification.Stencils.CheckBackend |