camfort-0.804: CamFort - Cambridge Fortran infrastructure

Index

:?Camfort.Helpers
<>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
addCopyCamfort.Transformation.EquivalenceElim
addToBlockCamfort.Transformation.CommonBlockElim
addToProgUnitCamfort.Transformation.CommonBlockElim
afCamfort.Analysis.Syntax
affineMatchCamfort.Analysis.Syntax
afterEndCamfort.Transformation.Syntax
allCoherentCommonsPCamfort.Transformation.CommonBlockElim
allRegionPermutationsCamfort.Specification.Stencils.InferenceBackend
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
appendMCamfort.Helpers
applyRenamingCamfort.Transformation.Syntax
ArrayACamfort.Analysis.IntermediateReps
arrayAccessToProjectionCamfort.Transformation.DerivedTypeIntro
arrayElementTypeCamfort.Analysis.Types
AssignModeCamfort.Specification.Stencils.InferenceFrontend
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
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
CallIdMapCamfort.Specification.Units.Monad
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
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
collectCamfort.Helpers
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
ConConjCamfort.Specification.Units.Environment
ConEqCamfort.Specification.Units.Environment
conParamEqCamfort.Specification.Units.Environment
ConsCamfort.Helpers.Vec
consistentIVSuseCamfort.Specification.Stencils.InferenceFrontend
ConstantCamfort.Specification.Stencils.InferenceFrontend
ConstraintCamfort.Specification.Units.Environment
ConstraintsCamfort.Specification.Units.Environment
constraintsToMatrixCamfort.Specification.Units.InferenceBackend
containedWithinCamfort.Specification.Stencils.InferenceBackend
correctManualImplCamfort.Transformation.DerivedTypeIntro
countLinesCamfort.Output
countToColorCamfort.PrettyPrint
countVarDeclsCamfort.Functionality
countVariableDeclarationsCamfort.Analysis.Simple
cprodVCamfort.Specification.Stencils.Model
cprodVsCamfort.Specification.Stencils.Model
criticalVariablesCamfort.Specification.Units.InferenceBackend
CyclesCamfort.Specification.Stencils.InferenceFrontend
dbgUnitAnnotationCamfort.Specification.Units.Environment
deadCamfort.Functionality
deadCodeCamfort.Transformation.DeadCode
DebugCamfort.Functionality
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
DimensionCamfort.Specification.Stencils.Syntax
dimensionalityCamfort.Specification.Stencils.Model
dimensionsCamfort.Specification.Stencils.Model
DirectoryCamfort.Helpers
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
DomainCamfort.Specification.Stencils.Model
DoModeCamfort.Specification.Stencils.InferenceFrontend
doRefactorCamfort.Input
doRefactorForparCamfort.Functionality
dropLineCamfort.Transformation.Syntax
dropLine'Camfort.Transformation.Syntax
eachCamfort.Helpers
elimDeadCamfort.Transformation.DeadCode
elimEmptyFseqCamfort.Transformation.DeadCode
elimProjectionDefsCamfort.Transformation.DerivedTypeIntro
emptyMCamfort.Helpers
emptySpatialSpecCamfort.Specification.Stencils.Syntax
emptySpecCamfort.Specification.Stencils.Syntax
enterCamfort.Reprint
enterDownCamfort.Reprint
enterRightCamfort.Reprint
eqByModelCamfort.Specification.Stencils.Model
EqTCamfort.Specification.Stencils.InferenceBackend
eqTypeCamfort.Analysis.Types
equivalencesCamfort.Functionality
equivalentsCamfort.Transformation.EquivalenceElim
eraseSrcLocsCamfort.Analysis.Syntax
ErrorMsgCamfort.Specification.Stencils.CheckBackend
EvalLogCamfort.Specification.Stencils.InferenceFrontend
EvalModeCamfort.Specification.Stencils.InferenceFrontend
evalUnitSolverCamfort.Specification.Units.Monad
everywhereCamfort.Traverse
ExactCamfort.Specification.Stencils.Syntax
ExcludesCamfort.Functionality
execUnitSolverCamfort.Specification.Units.Monad
ExprsCamfort.Analysis.Syntax
expToNeighbourCamfort.Specification.Stencils.InferenceFrontend
extendArgsCamfort.Transformation.CommonBlockElimToCalls
extendArgs'Camfort.Transformation.CommonBlockElimToCalls
extendBiCamfort.Traverse
extendBi'Camfort.Traverse
extendCallsCamfort.Transformation.CommonBlockElimToCalls
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
FlagCamfort.Functionality
flattenConstraintsCamfort.Specification.Units.InferenceBackend
flattenUnitsCamfort.Specification.Units.InferenceBackend
flexReadFileCamfort.Functionality
foldLCamfort.Specification.Stencils.InferenceBackend
foldPairCamfort.Helpers
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
getConstraintCamfort.Specification.Units.InferenceFrontend
getDimensionCamfort.Specification.Stencils.Syntax
getDirCamfort.Helpers
getExcludesCamfort.Functionality
getInductionVarCamfort.Specification.Stencils.InferenceFrontend
getOptionCamfort.Input
getSubNameCamfort.Analysis.Syntax
getVertexCamfort.Transformation.DerivedTypeIntro
GivenVarSetCamfort.Specification.Units.Monad
GraphCamfort.Transformation.DerivedTypeIntro
groupKeyByCamfort.Specification.Stencils.Syntax
groupSortCommonBlockCamfort.Transformation.CommonBlockElim
gtypesCamfort.Analysis.Types
hasDuplicatesCamfort.Specification.Stencils.Syntax
hasRenamingCamfort.Transformation.Syntax
hasSpecCamfort.Specification.Stencils.InferenceFrontend
HTMLPP 
1 (Type/Class)Camfort.PrettyPrint
2 (Data Constructor)Camfort.PrettyPrint
incColCamfort.Transformation.Syntax
incLineCamfort.Transformation.Syntax
inconsistentConstraintsCamfort.Specification.Units.InferenceBackend
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
inferVariablesCamfort.Specification.Units.InferenceBackend
initInferenceCamfort.Specification.Units.InferenceFrontend
InputCamfort.Functionality
introduceCallsCamfort.Transformation.CommonBlockElimToCalls
introduceModulesCamfort.Transformation.CommonBlockElim
inventNameCamfort.Transformation.DerivedTypeIntro
IrregularCamfort.Analysis.Annotations
ISCamfort.Specification.Stencils.InferenceFrontend
isArraySubscriptCamfort.Specification.Stencils.InferenceFrontend
isArrayTypeCamfort.Analysis.Types
isConstantCamfort.Analysis.Syntax
isDirectoryCamfort.Helpers
isEmptyCamfort.Specification.Stencils.Syntax
isFortranCamfort.Input
isInconsistentRREFCamfort.Specification.Units.InferenceBackend
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
ixExprToSubscriptCamfort.Specification.Stencils.Synthesis
ixToNeighbourCamfort.Specification.Stencils.InferenceFrontend
ixToNeighbour'Camfort.Specification.Stencils.InferenceFrontend
keywordCamfort.PrettyPrint
killCamfort.Analysis.LVA
lconsCamfort.Specification.Stencils.InferenceBackend
lengthVCamfort.Helpers.Vec
lexerCamfort.Specification.Stencils.Grammar
lhsExprCamfort.Analysis.Syntax
LinearCamfort.Specification.Stencils.Syntax
LinearityCamfort.Specification.Stencils.Syntax
lineCol 
1 (Function)Camfort.Helpers
2 (Function)Camfort.Specification.Stencils.Synthesis
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
LiteralsCamfort.Functionality
LiteralsOptCamfort.Specification.Units.Monad
LitMixedCamfort.Specification.Units.Monad
LitPolyCamfort.Specification.Units.Monad
LitUnitlessCamfort.Specification.Units.Monad
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
lookupsCamfort.Helpers
lookups'Camfort.Helpers
LoopTypeCamfort.Analysis.Annotations
lowerCamfort.Analysis.Syntax
lowerBoundCamfort.Specification.Stencils.Syntax
lowercaseCamfort.Analysis.Types
lvaCamfort.Analysis.LVA
lva1Camfort.Analysis.LVA
lvaACamfort.Functionality
lvaOnUnitCamfort.Analysis.LVA
MaxCamfort.Helpers.Vec
maximum1Camfort.Specification.Stencils.Model
mfmapCamfort.Helpers
minaaCamfort.Transformation.Syntax
minimaliseRegionsCamfort.Specification.Stencils.InferenceBackend
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
modifyAnnotationCamfort.Analysis.Annotations
modifyCallIdRemapMCamfort.Specification.Units.Monad
modifyGivenVarSetCamfort.Specification.Units.Monad
modifyProgramFileCamfort.Specification.Units.Monad
modifyProgramFileMCamfort.Specification.Units.Monad
modifyTemplateMapCamfort.Specification.Units.Monad
modifyUnitAliasMapCamfort.Specification.Units.Monad
modifyVarUnitMapCamfort.Specification.Units.Monad
modLinearityCamfort.Specification.Stencils.Syntax
MultisetCamfort.Specification.Stencils.Model
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
onCommonBlockCamfort.Transformation.CommonBlockElim
oneCamfort.Specification.Stencils.Syntax
onPrevCamfort.Analysis.Annotations
OptionsCamfort.Functionality
optsToUnitOptsCamfort.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
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
pprintSpecDeclsCamfort.Specification.Stencils.Syntax
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
prodCamfort.Specification.Stencils.Syntax
ProductCamfort.Specification.Stencils.Syntax
QueryCmdCamfort.Analysis.Syntax
quicktestCamfort.Analysis.Types
RComonadCamfort.Traverse
readForparseSrcDirCamfort.Functionality
readForparseSrcFileCamfort.Functionality
ReadOnceCamfort.Specification.Stencils.Grammar
readParseSrcDirCamfort.Input
readParseSrcFileCamfort.Input
reassociateCamfort.Transformation.Syntax
ReduceCamfort.Analysis.Annotations
reduceCollectCamfort.Traverse
ReduceTypeCamfort.Analysis.Annotations
reducorCamfort.Specification.Stencils.InferenceBackend
refactorArgNameCamfort.Output
refactorDeclCamfort.Output
RefactoredCamfort.Reprint
refactoredCamfort.Analysis.Annotations
refactorEquivalencesCamfort.Transformation.EquivalenceElim
refactorFortranCamfort.Output
RefactoringCamfort.Reprint
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
RenamerCamfort.Transformation.Syntax
RenamerCoercerCamfort.Transformation.Syntax
renamerToUseCamfort.Transformation.CommonBlockElim
RenamingCamfort.Transformation.Syntax
ReportCamfort.Analysis.Annotations
reprintCamfort.Reprint
ResultCamfort.Specification.Stencils.Syntax
rextendCamfort.Traverse
rextractCamfort.Traverse
RfEqStateCamfort.Transformation.EquivalenceElim
rfmapCamfort.Traverse
RFunctorCamfort.Traverse
rGetDirContentsCamfort.Input
rhsExprCamfort.Analysis.Syntax
rmEquivalencesCamfort.Transformation.EquivalenceElim
rowCamfort.PrettyPrint
rrefCamfort.Specification.Units.InferenceBackend
runCriticalVariablesCamfort.Specification.Units.InferenceFrontend
runInconsistentConstraintsCamfort.Specification.Units.InferenceFrontend
runInfererCamfort.Specification.Stencils.InferenceFrontend
runInferVariablesCamfort.Specification.Units.InferenceFrontend
runSynthesisCamfort.Specification.Units.Synthesis
runUnitSolverCamfort.Specification.Units.Monad
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
shiftTermsCamfort.Specification.Units.InferenceBackend
Show'Camfort.Output
show'Camfort.Output
showLCamfort.Specification.Stencils.Syntax
showProdSpecsCamfort.Specification.Stencils.Syntax
showRegionCamfort.Specification.Stencils.Syntax
showSumSpecsCamfort.Specification.Stencils.Syntax
showUse'Camfort.PrettyPrint
showVCamfort.Helpers.Vec
simplifyCamfort.Specification.Stencils.InferenceBackend
simplifySpatialCamfort.Specification.Stencils.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
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
SuccessorsCamfort.Analysis.Syntax
successorsCamfort.Analysis.Syntax
successorsRootCamfort.Analysis.Syntax
successorStmtsCamfort.Analysis.Annotations
SumCamfort.Specification.Stencils.Syntax
sumCamfort.Specification.Stencils.Syntax
swapCamfort.Transformation.DerivedTypeIntro
SynthCamfort.Specification.Stencils.InferenceFrontend
synthCamfort.Specification.Stencils
synthesiseCamfort.Specification.Stencils.Synthesis
synthesiseUnitsCamfort.Specification.Units
SynToAstCamfort.Specification.Stencils.CheckBackend
synToAstCamfort.Specification.Stencils.CheckBackend
takeBoundsCamfort.Reprint
takeBounds'Camfort.Reprint
TCommonCamfort.Transformation.CommonBlockElim
TemplateMapCamfort.Specification.Units.Monad
Temporal 
1 (Type/Class)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Grammar
tensorCamfort.Specification.Stencils.Model
tenvLookupCamfort.Analysis.Types
TLCommonCamfort.Transformation.CommonBlockElim
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
typeAnnotationsCamfort.Analysis.Types
TypeEnvCamfort.Analysis.Types
typeEnvCamfort.Analysis.Types
TypeEnvStackCamfort.Analysis.Types
typeStructCamfort.Transformation.DerivedTypeIntro
typeStructPerProgramCamfort.Transformation.DerivedTypeIntro
typeStructuringCamfort.Functionality
UACamfort.Analysis.Annotations, Camfort.Specification.Units.Monad
unafCamfort.Analysis.Syntax
UndecidableCamfort.Analysis.Annotations
UnitAlias 
1 (Data Constructor)Camfort.Specification.Units.Parser
2 (Data Constructor)Camfort.Specification.Units.Environment
UnitAliasMapCamfort.Specification.Units.Monad
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
unitConstraintCamfort.Specification.Units.Environment
UnitExceptionCamfort.Specification.Units.Monad
UnitExponentiationCamfort.Specification.Units.Parser
UnitInfoCamfort.Specification.Units.Environment
unitInfoCamfort.Specification.Units.Environment
UnitlessCamfort.Specification.Units.Parser
UnitlessLitCamfort.Specification.Units.Environment
UnitlessVarCamfort.Specification.Units.Environment
UnitLiteralCamfort.Specification.Units.Environment
UnitLogsCamfort.Specification.Units.Monad
UnitMulCamfort.Specification.Units.Environment
UnitNameCamfort.Specification.Units.Environment
UnitOfMeasureCamfort.Specification.Units.Parser
UnitOpts 
1 (Type/Class)Camfort.Specification.Units.Monad
2 (Data Constructor)Camfort.Specification.Units.Monad
unitOpts0Camfort.Specification.Units.Monad
unitParamEqCamfort.Specification.Units.Environment
UnitParamLitAbsCamfort.Specification.Units.Environment
UnitParamLitUseCamfort.Specification.Units.Environment
UnitParamPosAbsCamfort.Specification.Units.Environment
UnitParamPosUseCamfort.Specification.Units.Environment
UnitParamVarAbsCamfort.Specification.Units.Environment
UnitParamVarUseCamfort.Specification.Units.Environment
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
unitsCheckCamfort.Functionality
unitsCriticalsCamfort.Functionality
unitsInferCamfort.Functionality
UnitSolverCamfort.Specification.Units.Monad
unitSpecCamfort.Specification.Units.Environment
unitsSynthCamfort.Functionality
UnitState 
1 (Type/Class)Camfort.Specification.Units.Monad
2 (Data Constructor)Camfort.Specification.Units.Monad
UnitStatementCamfort.Specification.Units.Parser
UnitVarCamfort.Specification.Units.Environment
unitVarCamfort.Analysis.Annotations
unpackFstCamfort.Output
unProdCamfort.Specification.Stencils.Syntax
unSumCamfort.Specification.Stencils.Syntax
uoDebugCamfort.Specification.Units.Monad
uoLiteralsCamfort.Specification.Units.Monad
uoNameMapCamfort.Specification.Units.Monad
updateRegionEnvCamfort.Specification.Stencils.CheckFrontend
updateUseDeclsCamfort.Transformation.CommonBlockElim
upperBoundCamfort.Specification.Stencils.Syntax
usCallIdRemapCamfort.Specification.Units.Monad
usCallIdsCamfort.Specification.Units.Monad
usConstraintsCamfort.Specification.Units.Monad
useSrcLocCamfort.Transformation.CommonBlockElim
useSrcLocBCamfort.Transformation.CommonBlockElim
usGivenVarSetCamfort.Specification.Units.Monad
usLitNumsCamfort.Specification.Units.Monad
usProgramFileCamfort.Specification.Units.Monad
usTemplateMapCamfort.Specification.Units.Monad
usUnitAliasMapCamfort.Specification.Units.Monad
usVarUnitMapCamfort.Specification.Units.Monad
VarCamfort.Specification.Stencils.Grammar
VarACamfort.Analysis.IntermediateReps
varExprToAccessCamfort.Analysis.Syntax
varExprToAccessesCamfort.Analysis.Syntax
varExprToVariableCamfort.Analysis.Syntax
VariableCamfort.Specification.Stencils.Syntax
variablesCamfort.Analysis.Syntax
VarsCamfort.Analysis.Syntax
VarUnitMapCamfort.Specification.Units.Monad
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
whenDebugCamfort.Specification.Units.Monad
ZCamfort.Helpers.Vec
ZeroCamfort.Helpers.Vec
zeroCamfort.Specification.Stencils.Syntax
zfmapCamfort.Traverse
zipVecCamfort.Helpers.Vec