camfort-0.802: CamFort - Cambridge Fortran infrastructure

Index

:?Camfort.Helpers
<<Camfort.Specification.Units.Environment
<<++Camfort.Specification.Units.Environment
<>Camfort.Helpers
><Camfort.Helpers
A 
1 (Data Constructor)Camfort.Analysis.Annotations
2 (Type/Class)Camfort.Analysis.Annotations
aCamfort.Specification.Stencils.Synthesis
A1Camfort.PrettyPrint
absoluteRepCamfort.Specification.Stencils.Syntax
absorbReflexiveCamfort.Specification.Stencils.Syntax
absorbReflexive'Camfort.Specification.Stencils.Syntax
AccessCamfort.Analysis.IntermediateReps
accessesCamfort.Analysis.Syntax
AccessPCamfort.Analysis.IntermediateReps
AccessPatternTypeCamfort.Analysis.Annotations
accessToVarNameCamfort.Analysis.IntermediateReps
addColCamfort.Specification.Units.Environment
addCopyCamfort.Transformation.EquivalenceElim
addPlain1Arg1ExtraIntrinsicCamfort.Specification.Units.InferenceBackend
addPlain1ArgIntrinsicCamfort.Specification.Units.InferenceBackend
addPlain2Arg1ExtraIntrinsicCamfort.Specification.Units.InferenceBackend
addPlain2ArgIntrinsicCamfort.Specification.Units.InferenceBackend
addPowerIntrinsicCamfort.Specification.Units.InferenceBackend
addProductIntrinsicCamfort.Specification.Units.InferenceBackend
addRowCamfort.Specification.Units.Environment
addRow'Camfort.Specification.Units.Environment
addToBlockCamfort.Transformation.CommonBlockElim
addToProgUnitCamfort.Transformation.CommonBlockElim
addUnitlessIntrinsicCamfort.Specification.Units.InferenceBackend
addUnitlessResult0ArgIntrinsicCamfort.Specification.Units.InferenceBackend
addUnitlessResult1ArgIntrinsicCamfort.Specification.Units.InferenceBackend
addUnitlessResult2AnyArgIntrinsicCamfort.Specification.Units.InferenceBackend
addUnitlessResult2SameArgIntrinsicCamfort.Specification.Units.InferenceBackend
addUnitlessSubIntrinsicCamfort.Specification.Units.InferenceBackend
afCamfort.Analysis.Syntax
affineMatchCamfort.Analysis.Syntax
afterEndCamfort.Transformation.Syntax
allCoherentCommonsPCamfort.Transformation.CommonBlockElim
allRegionPermutationsCamfort.Specification.Stencils.InferenceBackend
analyse'Camfort.Analysis.Loops
analyseCommonsCamfort.Transformation.CommonBlockElim
AndCamfort.Specification.Stencils.Grammar
annotateCommentsCamfort.Analysis.CommentAnnotator
annotateWithASTCamfort.Analysis.CommentAnnotator
AnnotationCamfort.Analysis.Annotations
annotationCamfort.Traverse
annotationBoundCamfort.Analysis.Syntax
AnnotationFree 
1 (Type/Class)Camfort.Analysis.Syntax
2 (Data Constructor)Camfort.Analysis.Syntax
annotationMarkCamfort.PrettyPrint
AnnotationParseErrorCamfort.Analysis.CommentAnnotator
AnnotationParserCamfort.Analysis.CommentAnnotator
anyUnitsCamfort.Specification.Units.InferenceBackend
appendMCamfort.Helpers
applyRenamingCamfort.Transformation.Syntax
ArgumentCamfort.Specification.Units.Environment
ArrayACamfort.Analysis.IntermediateReps
arrayAccessToProjectionCamfort.Transformation.DerivedTypeIntro
arrayElementTypeCamfort.Analysis.Types
arrayIndicesCamfort.Analysis.Loops
arrsReadCamfort.Analysis.Annotations
arrsWriteCamfort.Analysis.Annotations
AssignModeCamfort.Specification.Stencils.InferenceFrontend
AssumeLiteralsCamfort.Specification.Units.Environment
astCamfort.Functionality
ASTEmbeddableCamfort.Analysis.CommentAnnotator
astsCamfort.Functionality
AtLeastCamfort.Specification.Stencils.Grammar
AtMostCamfort.Specification.Stencils.Grammar
Backward 
1 (Data Constructor)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Grammar
BadCamfort.Specification.Units.Environment
bindersCamfort.Analysis.Syntax
binEdgeCamfort.Transformation.DerivedTypeIntro
BlocksCamfort.Analysis.Syntax
BoundCamfort.Specification.Stencils.Syntax
boundsCamfort.Analysis.Types
boundsPCamfort.Analysis.Types
breakUpCamfort.PrettyPrint
buildTypeEnvCamfort.Analysis.Types
calculateWeightsCamfort.Transformation.DerivedTypeIntro
callAndSummariseCamfort.Functionality
callsCamfort.Specification.Units.Environment
camlCamfort.Transformation.Syntax
Centered 
1 (Data Constructor)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Grammar
changeDirCamfort.Output
checkCamfort.Specification.Stencils
checkDirCamfort.Helpers
CheckerCamfort.Specification.Stencils.CheckFrontend
checkSystemCamfort.Specification.Units.Solve
checkUnderdeterminedCamfort.Specification.Units.InferenceBackend
checkUnderdetermined'Camfort.Specification.Units.InferenceBackend
checkUnderdeterminedMCamfort.Specification.Units.InferenceBackend
checkUnitsCamfort.Specification.Units
cmpEqCamfort.Helpers
cmpFstCamfort.Helpers
cmpSndCamfort.Helpers
cmpTConBNamesCamfort.Transformation.CommonBlockElim
cmpTLConBNamesCamfort.Transformation.CommonBlockElim
cmpTLConFNameCamfort.Transformation.CommonBlockElim
cmpTLConPNameCamfort.Transformation.CommonBlockElim
cmpVarNameCamfort.Transformation.CommonBlockElim
coherentCommonsPCamfort.Transformation.CommonBlockElim
ColCamfort.Specification.Units.Environment
collectCamfort.Analysis.Loops
collectCommons 
1 (Function)Camfort.Transformation.CommonBlockElim
2 (Function)Camfort.Transformation.CommonBlockElimToCalls
colorsCamfort.PrettyPrint
CombinedModeCamfort.Specification.Stencils.InferenceFrontend
commonCamfort.Functionality
commonElimToCallsCamfort.Transformation.CommonBlockElimToCalls
commonElimToModulesCamfort.Transformation.CommonBlockElim
commonNameCamfort.Transformation.CommonBlockElim
commonToArgsCamfort.Functionality
compareInferredToDeclaredCamfort.Specification.Stencils.CheckFrontend
composeConsecutiveSpansCamfort.Specification.Stencils.InferenceBackend
ConsCamfort.Helpers.Vec
ConsistencyCamfort.Specification.Units.Environment
consistentIVSuseCamfort.Specification.Stencils.InferenceFrontend
ConstantCamfort.Specification.Stencils.InferenceFrontend
containedWithinCamfort.Specification.Stencils.InferenceBackend
convertFromHMatrixCamfort.Specification.Units.SolveHMatrix
convertToHMatrixCamfort.Specification.Units.SolveHMatrix
convertUnitCamfort.Specification.Units.Environment
correctManualImplCamfort.Transformation.DerivedTypeIntro
countLinesCamfort.Output
countToColorCamfort.PrettyPrint
countVarDeclsCamfort.Functionality
countVariableDeclarationsCamfort.Analysis.Syntax
cprodVCamfort.Specification.Stencils.Model
cprodVsCamfort.Specification.Stencils.Model
CustomCamfort.Specification.Units.Environment
cutSystemCamfort.Specification.Units.Solve
CyclesCamfort.Specification.Stencils.InferenceFrontend
dbgUnitAnnotationCamfort.Specification.Units.Environment
deadCamfort.Functionality
deadCodeCamfort.Transformation.DeadCode
DebugCamfort.Functionality
debugGaussianCamfort.Specification.Units.Debug
debugGaussian'Camfort.Specification.Units.Debug
DebugInfoCamfort.Specification.Units.Environment
debugInfoCamfort.Specification.Units.Environment
debugInfoForNonZerosCamfort.Specification.Units.InferenceBackend
decColCamfort.Transformation.Syntax
decLineCamfort.Transformation.Syntax
DeclsCamfort.Analysis.Syntax
decomposeWeightedGraphCamfort.Transformation.DerivedTypeIntro
DefaultCamfort.Input
defaultValueCamfort.Input
DefSitesCamfort.Analysis.CallGraph
DependencyCamfort.Specification.Stencils.Syntax
DepthCamfort.Specification.Stencils.Syntax
DerivedUnitEnvCamfort.Specification.Units.Environment
derivedUnitEnvCamfort.Specification.Units.Environment
DimensionCamfort.Specification.Stencils.Syntax
dimensionalityCamfort.Specification.Stencils.Model
dimensionsCamfort.Specification.Stencils.Model
DirectoryCamfort.Helpers
dispfCamfort.Specification.Units.SolveHMatrix
distAndOverlapsCamfort.Specification.Stencils.Syntax
distAndOverlaps'Camfort.Specification.Stencils.Syntax
dnfCamfort.Specification.Stencils.CheckBackend
doAnalysisCamfort.Input
doAnalysisReportCamfort.Input
doAnalysisReport'Camfort.Input
doAnalysisReportForparCamfort.Functionality
doAnalysisSummaryCamfort.Input
doAnalysisSummaryForparCamfort.Functionality
doInferUnitsCamfort.Specification.Units.InferenceFrontend
DomainCamfort.Specification.Stencils.Model
DoModeCamfort.Specification.Stencils.InferenceFrontend
doRefactorCamfort.Input
doRefactorForparCamfort.Functionality
dropLineCamfort.Transformation.Syntax
dropLine'Camfort.Transformation.Syntax
eachCamfort.Helpers
efmapCamfort.Specification.Units.Environment
elimDeadCamfort.Transformation.DeadCode
elimEmptyFseqCamfort.Transformation.DeadCode
elimProjectionDefsCamfort.Transformation.DerivedTypeIntro
elimRowCamfort.Specification.Units.Solve
elimRow'Camfort.Specification.Units.Solve
emptyMCamfort.Helpers
emptySpatialSpecCamfort.Specification.Stencils.Syntax
emptySpecCamfort.Specification.Stencils.Syntax
emptyUnitEnvCamfort.Specification.Units.Environment
enterDownCamfort.Reprint
enterRightCamfort.Reprint
eqByModelCamfort.Specification.Stencils.Model
EqTCamfort.Specification.Stencils.InferenceBackend
eqTypeCamfort.Analysis.Types
EqualityConstrainedCamfort.Specification.Units.Environment
equivalencesCamfort.Functionality
equivalentsCamfort.Transformation.EquivalenceElim
eraseSrcLocsCamfort.Analysis.Syntax
errorMessageCamfort.Specification.Units.InferenceBackend
ErrorMsgCamfort.Specification.Stencils.CheckBackend
EvalLogCamfort.Specification.Stencils.InferenceFrontend
EvalModeCamfort.Specification.Stencils.InferenceFrontend
evCriticalsCamfort.Specification.Units.Environment
everywhereCamfort.Traverse
evUnitsAddedCamfort.Specification.Units.Environment
ExactCamfort.Specification.Stencils.Syntax
ExcludesCamfort.Functionality
ExprsCamfort.Analysis.Syntax
expToNeighbourCamfort.Specification.Stencils.InferenceFrontend
extendArgsCamfort.Transformation.CommonBlockElimToCalls
extendArgs'Camfort.Transformation.CommonBlockElimToCalls
extendBiCamfort.Traverse
extendBi'Camfort.Traverse
extendCallsCamfort.Transformation.CommonBlockElimToCalls
extendConstraintsCamfort.Specification.Units.InferenceBackend
failWithCamfort.Analysis.CommentAnnotator
fanoutCamfort.Helpers
fileExtCamfort.Input
FilenameCamfort.Helpers
FileOrDirCamfort.Helpers
find'Camfort.Specification.Stencils.CheckBackend
findMatchCamfort.Transformation.DerivedTypeIntro
findVarFlowCyclesCamfort.Specification.Stencils.InferenceFrontend, Camfort.Specification.Stencils
findVarFlowCycles'Camfort.Specification.Stencils.InferenceFrontend
firstNonZeroCoeffCamfort.Specification.Units.InferenceBackend
fixValueCamfort.Specification.Units.InferenceBackend
FlagCamfort.Functionality
flexReadFileCamfort.Functionality
foldLCamfort.Specification.Stencils.InferenceBackend
foldPairCamfort.Helpers
fooMatrixCamfort.Specification.Units.Debug
formatSpecCamfort.Specification.Stencils.Synthesis
Forward 
1 (Data Constructor)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Grammar
freeVariablesCamfort.Analysis.Syntax
freshenCommonNamesCamfort.Transformation.CommonBlockElim
fromCamfort.Analysis.Syntax
fromBoolCamfort.Specification.Stencils.Syntax
fromExactCamfort.Specification.Stencils.Syntax
fromJustMsgCamfort.Specification.Stencils.InferenceFrontend
fromListCamfort.Specification.Stencils.InferenceBackend
fromListsCamfort.Specification.Stencils.InferenceBackend
fromNatCamfort.Helpers.Vec
fromRegionsToSpecCamfort.Specification.Stencils.InferenceBackend
FunctorCamfort.Analysis.Annotations
GatherCamfort.Analysis.Annotations
genCamfort.Analysis.LVA
genRHSsubscriptsCamfort.Specification.Stencils.InferenceFrontend
genSpecificationsCamfort.Specification.Stencils.InferenceFrontend
genSpecsAndReportCamfort.Specification.Stencils.InferenceFrontend
genSubscriptsCamfort.Specification.Stencils.InferenceFrontend
getDimensionCamfort.Specification.Stencils.Syntax
getDirCamfort.Helpers
getExcludesCamfort.Functionality
getInductionVarCamfort.Specification.Stencils.InferenceFrontend
getOptionCamfort.Input
getSubNameCamfort.Analysis.Syntax
getVertexCamfort.Transformation.DerivedTypeIntro
GraphCamfort.Transformation.DerivedTypeIntro
groupKeyByCamfort.Specification.Stencils.Syntax
groupSortCommonBlockCamfort.Transformation.CommonBlockElim
gtypesCamfort.Analysis.Types
hasDeclarationCamfort.Specification.Units.Environment
hasDuplicatesCamfort.Specification.Stencils.Syntax
hasRenamingCamfort.Transformation.Syntax
hasSpecCamfort.Specification.Stencils.InferenceFrontend
HTMLPP 
1 (Type/Class)Camfort.PrettyPrint
2 (Data Constructor)Camfort.PrettyPrint
ifDebugCamfort.Specification.Units.Environment
incColCamfort.Transformation.Syntax
incLineCamfort.Transformation.Syntax
incrElemCamfort.Specification.Units.InferenceBackend
indicesCamfort.Analysis.Annotations
indicesToSpecCamfort.Specification.Stencils.InferenceFrontend
inferCamfort.Specification.Stencils
inferCriticalVariablesCamfort.Specification.Units
InfererCamfort.Specification.Stencils.InferenceFrontend
inferFromIndicesCamfort.Specification.Stencils.InferenceBackend
inferFromIndicesWithoutLinearityCamfort.Specification.Stencils.InferenceBackend
inferMinimalVectorRegionsCamfort.Specification.Stencils.InferenceBackend
InferModeCamfort.Specification.Stencils.InferenceFrontend, Camfort.Specification.Stencils
InferStateCamfort.Specification.Stencils.InferenceFrontend
inferUnitsCamfort.Specification.Units
InputCamfort.Functionality
intrinsicsDictCamfort.Specification.Units.InferenceBackend
introduceCallsCamfort.Transformation.CommonBlockElimToCalls
introduceModulesCamfort.Transformation.CommonBlockElim
inventNameCamfort.Transformation.DerivedTypeIntro
inverseCamfort.Specification.Units.InferenceBackend
IrregularCamfort.Analysis.Annotations
ISCamfort.Specification.Stencils.InferenceFrontend
isArraySubscriptCamfort.Specification.Stencils.InferenceFrontend
isArrayType 
1 (Function)Camfort.Analysis.Types
2 (Function)Camfort.Specification.Stencils.InferenceFrontend
isConstantCamfort.Analysis.Syntax
isDirectoryCamfort.Helpers
isEmptyCamfort.Specification.Stencils.Syntax
isFortranCamfort.Input
isInconsistentRREFCamfort.Specification.Units.SolveHMatrix
IsNaturalCamfort.Helpers.Vec
isNeighbourCamfort.Specification.Stencils.InferenceFrontend
IsReflCamfort.Specification.Stencils.Syntax
isStencilDoCamfort.Specification.Stencils.InferenceFrontend
isUnaryOrBinaryExprCamfort.Specification.Stencils.InferenceFrontend
isUnitCamfort.Specification.Stencils.Syntax
isVariableExprCamfort.Specification.Stencils.InferenceFrontend
isVertexCamfort.Transformation.DerivedTypeIntro
ivMapCamfort.Specification.Stencils.InferenceFrontend
ixCamfort.Analysis.Loops
ixExprToSubscriptCamfort.Specification.Stencils.Synthesis
ixToNeighbourCamfort.Specification.Stencils.InferenceFrontend
ixToNeighbour'Camfort.Specification.Stencils.InferenceFrontend
keywordCamfort.PrettyPrint
killCamfort.Analysis.LVA
LAPACKCamfort.Specification.Units.Environment
lconsCamfort.Specification.Stencils.InferenceBackend
lengthVCamfort.Helpers.Vec
lexerCamfort.Specification.Stencils.Grammar
lhsExprCamfort.Analysis.Syntax
liftUnitEnvCamfort.Specification.Units.Environment
LinearCamfort.Specification.Stencils.Syntax
LinearityCamfort.Specification.Stencils.Syntax
LinearSystemCamfort.Specification.Units.Environment
linearSystemCamfort.Specification.Units.Environment
lineCol 
1 (Function)Camfort.Helpers
2 (Function)Camfort.Specification.Stencils.Synthesis
3 (Function)Camfort.Specification.Units.Debug
linesCoveredCamfort.Transformation.Syntax
linkCamfort.Analysis.CommentAnnotator
LinkableCamfort.Analysis.CommentAnnotator
linkMultipleCamfort.Analysis.CommentAnnotator
List 
1 (Type/Class)Camfort.Specification.Stencils.InferenceBackend
2 (Data Constructor)Camfort.Specification.Stencils.InferenceBackend
listToSymmRelationCamfort.Transformation.DerivedTypeIntro
LiteralCamfort.Specification.Units.Environment
LiteralsCamfort.Functionality
liveInCamfort.Analysis.Annotations
liveOutCamfort.Analysis.Annotations
livesCamfort.Analysis.Annotations
lnilCamfort.Specification.Stencils.InferenceBackend
LocsCamfort.Analysis.Syntax
locsFromArrayIndexCamfort.Transformation.DerivedTypeIntro
LoggerCamfort.Analysis.CommentAnnotator
LogLine 
1 (Type/Class)Camfort.Specification.Stencils.InferenceFrontend
2 (Type/Class)Camfort.Specification.Stencils.CheckFrontend
lookupAggregateCamfort.Specification.Stencils.Syntax
lookupCaseInsensitiveCamfort.Specification.Units.Environment
lookupProcByArgColCamfort.Specification.Units.Debug
lookupProcByColsCamfort.Specification.Units.Debug
lookupsCamfort.Helpers
lookups'Camfort.Helpers
lookupVarBindersByColsCamfort.Specification.Units.Debug
lookupVarsByColsCamfort.Specification.Units.Debug
lookupVarsByColsFilterByArgCamfort.Specification.Units.InferenceBackend
lookupWithoutSrcSpanCamfort.Specification.Units.Environment
lookupWithSrcSpanCamfort.Specification.Units.Environment
loopAnalyseCamfort.Analysis.Loops
loopsCamfort.Functionality
LoopTypeCamfort.Analysis.Annotations
loopVariablesCamfort.Analysis.Loops
lowerCamfort.Analysis.Syntax
lowerBoundCamfort.Specification.Stencils.Syntax
lowercaseCamfort.Analysis.Types
luCamfort.Specification.Units.SolveHMatrix
lvaCamfort.Analysis.LVA
lva1Camfort.Analysis.LVA
lvaACamfort.Functionality
lvaOnUnitCamfort.Analysis.LVA
MagicCamfort.Specification.Units.Environment
MaxCamfort.Helpers.Vec
maximum1Camfort.Specification.Stencils.Model
mfmapCamfort.Helpers
minaaCamfort.Transformation.Syntax
minimaliseRegionsCamfort.Specification.Stencils.InferenceBackend
MixedCamfort.Specification.Units.Environment
mkModelCamfort.Specification.Stencils.Model
mkModuleCamfort.Transformation.CommonBlockElim
mkModuleFileCamfort.Transformation.CommonBlockElim
mkMultisetCamfort.Specification.Stencils.Model
mkOutputFileForparCamfort.Functionality
mkOutputTextCamfort.Output
mkRenamerCoercerCamfort.Transformation.CommonBlockElim
mkRenamerCoercerTLCCamfort.Transformation.CommonBlockElim
mkSingleEntryNegCamfort.Specification.Stencils.Model
mkTLCommonRenamersCamfort.Transformation.CommonBlockElim
mkTrivialSpanCamfort.Specification.Stencils.InferenceBackend
mkTyDeclCamfort.Transformation.DerivedTypeIntro
mkTypeDefCamfort.Transformation.DerivedTypeIntro
mkUnitAnnotationCamfort.Specification.Units.Environment
mkUseStatementsCamfort.Transformation.CommonBlockElim
ModCamfort.Specification.Stencils.Grammar
modeCamfort.Transformation.DerivedTypeIntro
ModelCamfort.Specification.Stencils.Model
modelCamfort.Specification.Stencils.Model
modLinearityCamfort.Specification.Stencils.Syntax
moveColCamfort.Specification.Units.InferenceBackend
moveElemCamfort.Specification.Units.InferenceBackend
msteeperCamfort.Specification.Units.Solve
MultisetCamfort.Specification.Stencils.Model
mustAddUpCamfort.Specification.Units.InferenceBackend
mustEqualCamfort.Specification.Units.InferenceBackend
NatCamfort.Helpers.Vec
NatBox 
1 (Type/Class)Camfort.Helpers.Vec
2 (Data Constructor)Camfort.Helpers.Vec
NaturalCamfort.Helpers.Vec
nearbyCloseCamfort.PrettyPrint
Neighbour 
1 (Type/Class)Camfort.Specification.Stencils.InferenceFrontend
2 (Data Constructor)Camfort.Specification.Stencils.InferenceFrontend
neighbourIndexCamfort.Specification.Stencils.InferenceFrontend
neighbourToOffsetCamfort.Specification.Stencils.InferenceFrontend
newNodeCamfort.Analysis.Annotations
NilCamfort.Helpers.Vec
NonLinearCamfort.Specification.Stencils.Syntax
NonNeighbourCamfort.Specification.Stencils.InferenceFrontend
nonNullArgsCamfort.Transformation.CommonBlockElimToCalls
NoReduceCamfort.Analysis.Annotations
normaliseCamfort.Helpers
normaliseByCamfort.Helpers
normaliseNoSortCamfort.Helpers
normaliseSpanCamfort.Specification.Stencils.InferenceBackend
NotAnnotationCamfort.Analysis.CommentAnnotator
nullLocCamfort.Transformation.Syntax
nullSpanCamfort.Transformation.Syntax
numberCamfort.Analysis.Annotations
numberStmtsCamfort.Analysis.Syntax
offsetToIxCamfort.Specification.Stencils.Synthesis
offsetToIxWithIVsCamfort.Specification.Stencils.Synthesis
OkCamfort.Specification.Units.Environment
onCommonBlockCamfort.Transformation.CommonBlockElim
oneCamfort.Specification.Stencils.Syntax
onPrevCamfort.Specification.Stencils.Annotation
OptionsCamfort.Functionality
OrCamfort.Specification.Stencils.Grammar
OutputCamfort.Functionality
outputAnalysisFilesCamfort.Output
outputAnnCamfort.PrettyPrint
outputFileCamfort.Output
OutputFilesCamfort.Output
outputFilesCamfort.Output
outputHTMLCamfort.PrettyPrint
outputHTMLACamfort.PrettyPrint
padZerosCamfort.Specification.Stencils.InferenceFrontend
pairsCamfort.Helpers
pairwisePermCamfort.Specification.Stencils.Model
ParametricCamfort.Specification.Units.Environment
ParametricUseCamfort.Specification.Units.Environment
ParamsCamfort.Specification.Stencils.InferenceFrontend
parseCamfort.Input
parseCommentToASTCamfort.Specification.Stencils.CheckFrontend
PartialMonoidCamfort.Helpers
perBlockCheckCamfort.Specification.Stencils.CheckFrontend
perBlockInferCamfort.Specification.Stencils.InferenceFrontend
PermutableCamfort.Specification.Stencils.InferenceBackend
permutationsVCamfort.Specification.Stencils.InferenceBackend
perProgramUnitCheckCamfort.Specification.Stencils.CheckFrontend
PolyCamfort.Specification.Units.Environment
pprintCamfort.Specification.Units.InferenceBackend
pprintSpecDeclsCamfort.Specification.Stencils.Syntax
pprintUnitConstantCamfort.Specification.Units.Synthesis
PR 
1 (Type/Class)Camfort.Output
2 (Data Constructor)Camfort.Output
pRefactoredCamfort.Analysis.Annotations
prependStatementsCamfort.Transformation.CommonBlockElim
prettypCamfort.PrettyPrint
prettyp'Camfort.PrettyPrint
PrettyPrintCamfort.PrettyPrint
prettyPrintCamfort.PrettyPrint
prevAnnotationCamfort.Specification.Units.Environment
ProbablyAnnotationCamfort.Analysis.CommentAnnotator
ProcedureCamfort.Specification.Units.Environment
ProcedureEnvCamfort.Specification.Units.Environment
procedureEnvCamfort.Specification.Units.Environment
ProcedureNamesCamfort.Specification.Units.Environment
prodCamfort.Specification.Stencils.Syntax
ProductCamfort.Specification.Stencils.Syntax
propagateUnderdeterminedCamfort.Specification.Units.InferenceBackend
punameCamfort.Specification.Units.Environment
QueryCmdCamfort.Analysis.Syntax
quicktestCamfort.Analysis.Types
rankCamfort.Specification.Units.SolveHMatrix
RComonadCamfort.Traverse
readForparseSrcDirCamfort.Functionality
readForparseSrcFileCamfort.Functionality
ReadOnceCamfort.Specification.Stencils.Grammar
readParseSrcDirCamfort.Input
readParseSrcFileCamfort.Input
reassociateCamfort.Transformation.Syntax
ReduceCamfort.Analysis.Annotations
reduceCollectCamfort.Traverse
reduceRowsCamfort.Specification.Units.InferenceBackend
ReduceTypeCamfort.Analysis.Annotations
reducorCamfort.Specification.Stencils.InferenceBackend
refactorArgNameCamfort.Output
refactorDeclCamfort.Output
refactoredCamfort.Analysis.Annotations
refactorEquivalencesCamfort.Transformation.EquivalenceElim
refactorFortranCamfort.Output
refactoringForParCamfort.Output
refactoringLFCamfort.Output
refactorSpanCamfort.Transformation.Syntax
refactorSpanNCamfort.Transformation.Syntax
refactorUsesCamfort.Output
RefillCamfort.Traverse
refillCamfort.Traverse
ReflEqCamfort.Specification.Stencils.InferenceBackend
Region 
1 (Type/Class)Camfort.Specification.Stencils.Syntax
2 (Type/Class)Camfort.Specification.Stencils.Grammar
regionCamfort.Specification.Stencils.Syntax
RegionDecCamfort.Specification.Stencils.Grammar
RegionEnvCamfort.Specification.Stencils.Syntax
regionPlusCamfort.Specification.Stencils.Syntax
RegionProdCamfort.Specification.Stencils.Syntax
RegionRigCamfort.Specification.Stencils.Syntax
RegionSumCamfort.Specification.Stencils.Syntax
RegularCamfort.Analysis.Annotations
RegularAndConstantsCamfort.Analysis.Annotations
relativeIxsToSpecCamfort.Specification.Stencils.InferenceFrontend
relativiseCamfort.Specification.Stencils.InferenceFrontend
removeNewLinesCamfort.Output
removeUnitsCamfort.Specification.Units
RenamerCamfort.Transformation.Syntax
RenamerCoercerCamfort.Transformation.Syntax
renamerToUseCamfort.Transformation.CommonBlockElim
RenamingCamfort.Transformation.Syntax
reorderedColsCamfort.Specification.Units.Environment
reorderVarColsCamfort.Specification.Units.InferenceBackend
ReportCamfort.Analysis.Annotations
reportCamfort.Specification.Units.Environment
reportInconsistencyCamfort.Specification.Units.InferenceBackend
reprintCamfort.Reprint
reprintCCamfort.Reprint
resetTempsCamfort.Specification.Units.Environment
ResultCamfort.Specification.Stencils.Syntax
rextendCamfort.Traverse
rextractCamfort.Traverse
RfEqStateCamfort.Transformation.EquivalenceElim
rfmapCamfort.Traverse
RFunctorCamfort.Traverse
rGetDirContentsCamfort.Input
rhsExprCamfort.Analysis.Syntax
rmEquivalencesCamfort.Transformation.EquivalenceElim
RowCamfort.Specification.Units.Environment
rowCamfort.PrettyPrint
rrefCamfort.Specification.Units.SolveHMatrix
rrefMatricesCamfort.Specification.Units.SolveHMatrix
runInfererCamfort.Specification.Stencils.InferenceFrontend
SCamfort.Helpers.Vec
sCamfort.Specification.Stencils.Synthesis
ScatterCamfort.Analysis.Annotations
selectCamfort.Transformation.CommonBlockElimToCalls
SelectionCamfort.Specification.Stencils.InferenceBackend
selectionsVCamfort.Specification.Stencils.InferenceBackend
setCompactSrcLocsCamfort.Analysis.Syntax
setLinearityCamfort.Specification.Stencils.Syntax
Show'Camfort.Output
show'Camfort.Output
showArgVarsCamfort.Specification.Units.Debug
showCatCamfort.Specification.Units.Debug
showExprCamfort.Specification.Units.Debug
showExprLinesCamfort.Specification.Units.Debug
showLCamfort.Specification.Stencils.Syntax
showProdSpecsCamfort.Specification.Stencils.Syntax
showRationalCamfort.Specification.Units.Debug
showRegionCamfort.Specification.Stencils.Syntax
showSrcLocCamfort.Specification.Units.Debug
showSrcSpanCamfort.Specification.Units.Debug
showSumSpecsCamfort.Specification.Stencils.Syntax
showUse'Camfort.PrettyPrint
showVCamfort.Helpers.Vec
simplifyCamfort.Specification.Stencils.InferenceBackend
simplifySpatialCamfort.Specification.Stencils.InferenceBackend
Solver 
1 (Type/Class)Camfort.Specification.Units.Environment, Camfort.Specification.Units
2 (Data Constructor)Camfort.Functionality
solveSystemCamfort.Specification.Units.Solve
solveSystem'Camfort.Specification.Units.Solve
solveSystemCCamfort.Specification.Units.Solve
solveSystemHCamfort.Specification.Units.Solve
solveSystemH_EitherCamfort.Specification.Units.Solve
solveSystemMCamfort.Specification.Units.InferenceBackend
SourceTextCamfort.Helpers
SpanCamfort.Specification.Stencils.InferenceBackend
spanBoundingBoxCamfort.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
SpecCamfort.Specification.Stencils.Grammar
SpecDecCamfort.Specification.Stencils.Grammar
SpecDeclsCamfort.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
specParserCamfort.Specification.Stencils.Grammar
specPlusCamfort.Specification.Stencils.Syntax
sqrtUnitsCamfort.Specification.Units.InferenceBackend
srcLineColCamfort.Transformation.Syntax
srcSpanToSrcLocsCamfort.Output
stencilBlockCamfort.Analysis.Annotations
stencilCheckingCamfort.Specification.Stencils.CheckFrontend
stencilInferenceCamfort.Specification.Stencils.InferenceFrontend
StencilInferModeCamfort.Functionality
stencilsCheckCamfort.Functionality
stencilsInferCamfort.Functionality
stencilSpecCamfort.Analysis.Annotations
stencilsSynthCamfort.Functionality
stencilsVarFlowCyclesCamfort.Functionality
SuccCamfort.Helpers.Vec
successCamfort.Specification.Units.Environment
SuccessorsCamfort.Analysis.Syntax
successorsCamfort.Analysis.Syntax
successorsRootCamfort.Analysis.Syntax
successorStmtsCamfort.Analysis.Annotations
SumCamfort.Specification.Stencils.Syntax
sumCamfort.Specification.Stencils.Syntax
swapCamfort.Transformation.DerivedTypeIntro
swapColsCamfort.Specification.Units.InferenceBackend
swapUnitVarCatsCamfort.Specification.Units.InferenceBackend
swapUnitVarCats'Camfort.Specification.Units.InferenceBackend
switchScaleElemsCamfort.Specification.Units.Solve
SynthCamfort.Specification.Stencils.InferenceFrontend
synthCamfort.Specification.Stencils
synthesiseCamfort.Specification.Stencils.Synthesis
synthesiseUnits 
1 (Function)Camfort.Specification.Units.Synthesis
2 (Function)Camfort.Specification.Units
SynToAstCamfort.Specification.Stencils.CheckBackend
synToAstCamfort.Specification.Stencils.CheckBackend
takeBoundsCamfort.Reprint
takeBounds'Camfort.Reprint
takeRowsCamfort.Specification.Units.SolveHMatrix
TCommonCamfort.Transformation.CommonBlockElim
Temporal 
1 (Type/Class)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Grammar
TemporaryCamfort.Specification.Units.Environment
tensorCamfort.Specification.Stencils.Model
tenvLookupCamfort.Analysis.Types
TLCommonCamfort.Transformation.CommonBlockElim
tmpColsAddedCamfort.Specification.Units.Environment
tmpRowsAddedCamfort.Specification.Units.Environment
toArgListCamfort.Transformation.CommonBlockElimToCalls
toArrayTypeCamfort.Analysis.Types
toCol0Camfort.Transformation.Syntax
toInterferenceGraphCamfort.Transformation.DerivedTypeIntro
toNatBoxCamfort.Helpers.Vec
topFromCamfort.Analysis.Syntax
toSpec1DCamfort.Specification.Stencils.InferenceBackend
toSpecNDCamfort.Specification.Stencils.InferenceBackend
toUnitInfoCamfort.Specification.Units.Environment
trimCamfort.Specification.Units.Environment
typeAnnotationsCamfort.Analysis.Types
TypeEnv 
1 (Type/Class)Camfort.Analysis.Types
2 (Type/Class)Camfort.Specification.Stencils.InferenceFrontend
typeEnvCamfort.Analysis.Types
TypeEnvStackCamfort.Analysis.Types
typeStructCamfort.Transformation.DerivedTypeIntro
typeStructPerProgramCamfort.Transformation.DerivedTypeIntro
typeStructuringCamfort.Functionality
unafCamfort.Analysis.Syntax
UndecidableCamfort.Analysis.Annotations
underdeterminedColsCamfort.Specification.Units.Environment
UndeterminedCamfort.Specification.Units.Environment
UnitAliasCamfort.Specification.Units.Parser
UnitAnnotation 
1 (Type/Class)Camfort.Specification.Units.Environment
2 (Data Constructor)Camfort.Specification.Units.Environment
unitAnnotationCamfort.Analysis.Annotations
UnitAssignmentCamfort.Specification.Units.Parser
UnitBasicCamfort.Specification.Units.Parser
unitBlockCamfort.Specification.Units.Environment
UnitConstantCamfort.Specification.Units.Environment
UnitEnv 
1 (Type/Class)Camfort.Specification.Units.Environment
2 (Data Constructor)Camfort.Specification.Units.Environment
UnitExponentiationCamfort.Specification.Units.Parser
UnitfulCamfort.Specification.Units.Environment
UnitInfoCamfort.Specification.Units.Environment
unitInfoCamfort.Specification.Units.Environment
Unitless 
1 (Data Constructor)Camfort.Specification.Units.Parser
2 (Data Constructor)Camfort.Specification.Units.Environment
UnitlessCCamfort.Specification.Units.Environment
UnitlessICamfort.Specification.Units.Environment
UnitMulCamfort.Specification.Units.Environment
unitMultCamfort.Specification.Units.Environment
UnitNameCamfort.Specification.Units.Environment
UnitOfMeasureCamfort.Specification.Units.Parser
unitParserCamfort.Specification.Units.Parser
UnitPowCamfort.Specification.Units.Environment
UnitPowerCamfort.Specification.Units.Parser
UnitPowerIntegerCamfort.Specification.Units.Parser
UnitPowerRationalCamfort.Specification.Units.Parser
UnitProductCamfort.Specification.Units.Parser
UnitQuotientCamfort.Specification.Units.Parser
UnitsCamfort.Specification.Units.SolveHMatrix
unitScalarMultCamfort.Specification.Units.Environment
unitsCheckCamfort.Functionality
unitsCriticalsCamfort.Functionality
unitsInferCamfort.Functionality
unitSpecCamfort.Specification.Units.Environment
unitsSynthCamfort.Functionality
UnitStatementCamfort.Specification.Units.Parser
unitVarCamfort.Analysis.Annotations
UnitVarCategoryCamfort.Specification.Units.Environment
unitVarCatsCamfort.Specification.Units.Environment
unProdCamfort.Specification.Stencils.Syntax
unSumCamfort.Specification.Stencils.Syntax
UpdateColInfoCamfort.Specification.Units.InferenceBackend
updateColInfoCamfort.Specification.Units.InferenceBackend
updateRegionEnvCamfort.Specification.Stencils.CheckFrontend
updateUseDeclsCamfort.Transformation.CommonBlockElim
upperBoundCamfort.Specification.Stencils.Syntax
useSrcLocCamfort.Transformation.CommonBlockElim
useSrcLocBCamfort.Transformation.CommonBlockElim
VarCamfort.Specification.Stencils.Grammar
VarACamfort.Analysis.IntermediateReps
VarBinder 
1 (Type/Class)Camfort.Specification.Units.Environment
2 (Data Constructor)Camfort.Specification.Units.Environment
VarCol 
1 (Type/Class)Camfort.Specification.Units.Environment
2 (Data Constructor)Camfort.Specification.Units.Environment
VarColEnvCamfort.Specification.Units.Environment
varColEnvCamfort.Specification.Units.Environment
varExprToAccessCamfort.Analysis.Syntax
varExprToAccessesCamfort.Analysis.Syntax
varExprToVariableCamfort.Analysis.Syntax
Variable 
1 (Type/Class)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Units.Environment
variablesCamfort.Analysis.Syntax
VarsCamfort.Analysis.Syntax
VecCamfort.Helpers.Vec
VecListCamfort.Specification.Stencils.InferenceBackend
VersionCamfort.Functionality
verticesCamfort.Transformation.DerivedTypeIntro
VLCamfort.Specification.Stencils.InferenceBackend
vmapCamfort.Helpers.Vec
WeightedEdgeCamfort.Transformation.DerivedTypeIntro
WeightedGraphCamfort.Transformation.DerivedTypeIntro
ZCamfort.Helpers.Vec
ZeroCamfort.Helpers.Vec
zeroCamfort.Specification.Stencils.Syntax
zfmapCamfort.Traverse
zipVecCamfort.Helpers.Vec
_callsCamfort.Specification.Units.Environment
_debugInfoCamfort.Specification.Units.Environment
_derivedUnitEnvCamfort.Specification.Units.Environment
_evCriticalsCamfort.Specification.Units.Environment
_evUnitsAddedCamfort.Specification.Units.Environment
_hasDeclarationCamfort.Specification.Units.Environment
_linearSystemCamfort.Specification.Units.Environment
_procedureEnvCamfort.Specification.Units.Environment
_punameCamfort.Specification.Units.Environment
_reorderedColsCamfort.Specification.Units.Environment
_reportCamfort.Specification.Units.Environment
_successCamfort.Specification.Units.Environment
_tmpColsAddedCamfort.Specification.Units.Environment
_tmpRowsAddedCamfort.Specification.Units.Environment
_underdeterminedColsCamfort.Specification.Units.Environment
_unitVarCatsCamfort.Specification.Units.Environment
_varColEnvCamfort.Specification.Units.Environment