camfort-0.902: CamFort - Cambridge Fortran infrastructure

Index

!!Camfort.Helpers.Vec
:?Camfort.Helpers
<>Camfort.Helpers
><Camfort.Helpers
A 
1 (Data Constructor)Camfort.Analysis.Annotations
2 (Type/Class)Camfort.Analysis.Annotations
aCamfort.Specification.Stencils.Synthesis
A1 
1 (Type/Class)Camfort.Transformation.CommonBlockElim
2 (Type/Class)Camfort.Transformation.EquivalenceElim
absoluteRepCamfort.Specification.Stencils.Syntax
addCopysPerBlockCamfort.Transformation.EquivalenceElim
addCopysPerBlockGroupCamfort.Transformation.EquivalenceElim
addToProgramUnitCamfort.Transformation.CommonBlockElim
afCamfort.Helpers.Syntax
afterAlignedCamfort.Helpers.Syntax
allCoherentCommonsCamfort.Transformation.CommonBlockElim
analyseAndRmCommonsCamfort.Transformation.CommonBlockElim
analysePerPF 
1 (Function)Camfort.Transformation.CommonBlockElim
2 (Function)Camfort.Transformation.DataTypeIntroduction
analysePerPUCamfort.Transformation.CommonBlockElim
AndCamfort.Specification.Stencils.Grammar
annotateCommentsCamfort.Analysis.CommentAnnotator
annotateWithASTCamfort.Analysis.CommentAnnotator
AnnotationCamfort.Analysis.Annotations
annotationBoundCamfort.Helpers.Syntax
AnnotationFree 
1 (Type/Class)Camfort.Helpers.Syntax
2 (Data Constructor)Camfort.Helpers.Syntax
AnnotationParseErrorCamfort.Analysis.CommentAnnotator
AnnotationParserCamfort.Analysis.CommentAnnotator
appendMCamfort.Helpers
applyListOpCamfort.Helpers.Vec
applyRenamingCamfort.Transformation.CommonBlockElim
ApproximationCamfort.Specification.Stencils.Model
approxVecCamfort.Specification.Stencils.Model
ArbitraryCamfort.Specification.Stencils.Model
AssignModeCamfort.Specification.Stencils.InferenceFrontend
assocsSequenceCamfort.Specification.Stencils.InferenceFrontend
astCamfort.Functionality
ASTEmbeddableCamfort.Analysis.CommentAnnotator
AtLeastCamfort.Specification.Stencils.Grammar
AtMostCamfort.Specification.Stencils.Grammar
Backward 
1 (Data Constructor)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Grammar
Bound 
1 (Data Constructor)Camfort.Specification.Stencils.Model
2 (Type/Class)Camfort.Specification.Stencils.Model
buildInterferenceGraphCamfort.Transformation.DataTypeIntroduction
callAndSummariseCamfort.Input
CallIdMapCamfort.Specification.Units.Monad
camlCamfort.Helpers.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
checkOffsetsAgainstSpecCamfort.Specification.Stencils.CheckFrontend
checkUnitsCamfort.Specification.Units
chooseImplicitNamesCamfort.Specification.Units
cmpEqCamfort.Helpers
cmpFstCamfort.Helpers
cmpSndCamfort.Helpers
cmpTConBNamesCamfort.Transformation.CommonBlockElim
cmpTLConBNamesCamfort.Transformation.CommonBlockElim
cmpTLConFNameCamfort.Transformation.CommonBlockElim
cmpTLConPNameCamfort.Transformation.CommonBlockElim
cmpVarNameCamfort.Transformation.CommonBlockElim
coalesceCamfort.Specification.Stencils.InferenceBackend
coalesceContiguousCamfort.Specification.Stencils.InferenceBackend
coherentCommonsCamfort.Transformation.CommonBlockElim
coherentCommons'Camfort.Transformation.CommonBlockElim
collectCamfort.Helpers
collectAndRmCommonsCamfort.Transformation.CommonBlockElim
CombinedModeCamfort.Specification.Stencils.InferenceFrontend
commonCamfort.Functionality
commonElimToModulesCamfort.Transformation.CommonBlockElim
commonNameCamfort.Transformation.CommonBlockElim
commonNameFromASTCamfort.Transformation.CommonBlockElim
CommonStateCamfort.Transformation.CommonBlockElim
CompiledUnits 
1 (Type/Class)Camfort.Specification.Units.Monad
2 (Data Constructor)Camfort.Specification.Units.Monad
compileUnitsCamfort.Specification.Units
ConConjCamfort.Specification.Units.Environment
ConEqCamfort.Specification.Units.Environment
conParamEqCamfort.Specification.Units.Environment
ConsCamfort.Helpers.Vec
ConsistencyResultCamfort.Specification.Stencils.Consistency
ConsistentCamfort.Specification.Stencils.Consistency
consistentCamfort.Specification.Stencils.Consistency
consistentIVSuseCamfort.Specification.Stencils.InferenceFrontend
ConstantCamfort.Specification.Stencils.InferenceFrontend
ConstraintCamfort.Specification.Units.Environment
ConstraintsCamfort.Specification.Units.Environment
constraintsToMatricesCamfort.Specification.Units.InferenceBackend
constraintsToMatrixCamfort.Specification.Units.InferenceBackend
containedWithinCamfort.Specification.Stencils.InferenceBackend
CoreTypCamfort.Specification.Stencils.Model
countLinesCamfort.Output
countVarDeclsCamfort.Functionality
countVariableDeclarationsCamfort.Analysis.Simple
criticalVariablesCamfort.Specification.Units.InferenceBackend
cuNameParamMapCamfort.Specification.Units.Monad
cuTemplateMapCamfort.Specification.Units.Monad
dataTypeIntroCamfort.Transformation.DataTypeIntroduction
datatypesCamfort.Functionality
dbgUnitAnnotationCamfort.Specification.Units.Environment
deadCamfort.Functionality
deadCodeCamfort.Transformation.DeadCode
deadCode'Camfort.Transformation.DeadCode
DebugCamfort.Functionality
DefaultCamfort.Input
defaultValueCamfort.Input
deleteLineCamfort.Helpers.Syntax
deleteNodeCamfort.Analysis.Annotations
DepthCamfort.Specification.Stencils.Syntax
descendBiReverseMCamfort.Helpers
descendReverseMCamfort.Helpers
DimensionCamfort.Specification.Stencils.Syntax
DirectoryCamfort.Helpers
dnfCamfort.Specification.Stencils.CheckBackend
doAnalysisReportCamfort.Input
doAnalysisReportWithModFilesCamfort.Input
doAnalysisSummaryCamfort.Input
doCreateBinaryCamfort.Input
DoModeCamfort.Specification.Stencils.InferenceFrontend
doRefactorCamfort.Input
doRefactorAndCreateCamfort.Input
doRefactorAndCreateBinaryCamfort.Input
doRefactorWithModFilesCamfort.Input
doubleToRationalSubsetCamfort.Specification.Units.Environment
DoxygenCamfort.Functionality
dropLineCamfort.Helpers.Syntax
eachCamfort.Helpers
emptyCompiledUnitsCamfort.Specification.Units.Monad
emptyMCamfort.Helpers
enterCamfort.Reprint
enterDownCamfort.Reprint
enterRightCamfort.Reprint
EqTCamfort.Helpers.Vec
equalTypesCamfort.Transformation.EquivalenceElim
equivalencesCamfort.Functionality
equivalentsToExprCamfort.Transformation.EquivalenceElim
ErrorMsgCamfort.Specification.Stencils.CheckBackend
EvalLogCamfort.Specification.Stencils.InferenceFrontend
EvalModeCamfort.Specification.Stencils.InferenceFrontend
evalUnitSolverCamfort.Specification.Units.Monad
everywhereCamfort.Helpers
ExactCamfort.Specification.Stencils.Model
ExcludesCamfort.Functionality
execUnitSolverCamfort.Specification.Units.Monad
ExistsEqT 
1 (Type/Class)Camfort.Helpers.Vec
2 (Data Constructor)Camfort.Helpers.Vec
expToNeighbourCamfort.Specification.Stencils.InferenceFrontend
extractVariableCamfort.Helpers.Syntax
failWithCamfort.Analysis.CommentAnnotator
fanoutCamfort.Helpers
fileExtCamfort.Input
FilenameCamfort.Helpers
FileOrDirCamfort.Helpers
FileProgramCamfort.Input
filterOutFunsCamfort.Specification.Stencils.InferenceFrontend
find'Camfort.Specification.Stencils.CheckBackend
findIndexCamfort.Helpers.Vec
FlagCamfort.Functionality
flattenConstraintsCamfort.Specification.Units.InferenceBackend
flattenUnitsCamfort.Specification.Units.InferenceBackend
flexReadFileCamfort.Input
foldPairCamfort.Helpers
FordCamfort.Functionality
formatSpecCamfort.Specification.Stencils.Synthesis
Forward 
1 (Data Constructor)Camfort.Specification.Stencils.Syntax
2 (Data Constructor)Camfort.Specification.Stencils.Grammar
freshenCommonNamesCamfort.Transformation.CommonBlockElim
fromBoolCamfort.Specification.Stencils.Syntax
fromExactCamfort.Specification.Stencils.Model
fromJustMsgCamfort.Specification.Stencils.InferenceFrontend
fromListCamfort.Helpers.Vec
fromListsCamfort.Helpers.Vec
fromNatCamfort.Helpers.Vec
FVersionCamfort.Functionality
genOffsetsCamfort.Specification.Stencils.InferenceFrontend
genRHSsubscriptsCamfort.Specification.Stencils.InferenceFrontend
genSpecificationsCamfort.Specification.Stencils.InferenceFrontend
genSpecsAndReportCamfort.Specification.Stencils.InferenceFrontend
genSubscriptsCamfort.Specification.Stencils.InferenceFrontend
genUnitAssignmentsCamfort.Specification.Units.InferenceBackend
getConstraintCamfort.Specification.Units.InferenceFrontend
getDimensionCamfort.Specification.Stencils.Syntax
getDirCamfort.Helpers
getExcludedFilesCamfort.Functionality
getExcludesCamfort.Functionality
getInductionVarCamfort.Specification.Stencils.InferenceFrontend
getModFilesCamfort.Functionality
getOptionCamfort.Input
getUnitStartPositionCamfort.Transformation.CommonBlockElim
GivenVarSetCamfort.Specification.Units.Monad
groupKeyByCamfort.Specification.Stencils.Syntax
groupSortCommonBlockCamfort.Transformation.CommonBlockElim
hasDuplicatesCamfort.Specification.Stencils.Syntax
hasRenamingCamfort.Transformation.CommonBlockElim
hasSizeCamfort.Helpers.Vec
hasSpecCamfort.Specification.Stencils.InferenceFrontend
IGraphsCamfort.Transformation.DataTypeIntroduction
IncludeDirCamfort.Functionality
InconsistentCamfort.Specification.Stencils.Consistency
inconsistentConstraintsCamfort.Specification.Units.InferenceBackend
indicesToRelativisedOffsetsCamfort.Specification.Stencils.InferenceFrontend
indicesToSpecCamfort.Specification.Stencils.InferenceFrontend
inferCamfort.Specification.Stencils
inferCoreCamfort.Specification.Stencils.InferenceBackend
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
IntervalCamfort.Specification.Stencils.Model
intervalsToRegionsCamfort.Specification.Stencils.DenotationalSemantics
IntervArbitraryCamfort.Specification.Stencils.Model
IntervHoledCamfort.Specification.Stencils.Model
IntervInfiniteCamfort.Specification.Stencils.Model
IntervInfiniteArbitraryCamfort.Specification.Stencils.Model
introduceModulesCamfort.Transformation.CommonBlockElim
ISCamfort.Specification.Stencils.InferenceFrontend
isArraySubscriptCamfort.Specification.Stencils.InferenceFrontend
isDirectoryCamfort.Helpers
isEmptyCamfort.Specification.Stencils.Syntax
isFortranCamfort.Input
isInconsistentRREFCamfort.Specification.Units.InferenceBackend
isModFileCamfort.Functionality
IsNaturalCamfort.Helpers.Vec
isNeighbourCamfort.Specification.Stencils.InferenceFrontend
isNewFileCamfort.Output
IsReflCamfort.Specification.Stencils.Syntax
isResolvedUnitCamfort.Specification.Units.Environment
isStencilDoCamfort.Specification.Stencils.InferenceFrontend
isUnaryOrBinaryExprCamfort.Specification.Stencils.InferenceFrontend
isUnitCamfort.Specification.Stencils.Syntax
isUnresolvedUnitCamfort.Specification.Units.Environment
isVariableExprCamfort.Specification.Stencils.InferenceFrontend
isVarUnitCamfort.Specification.Units.Environment
ivMapCamfort.Specification.Stencils.InferenceFrontend
ixToNeighbourCamfort.Specification.Stencils.InferenceFrontend
ixToNeighbour'Camfort.Specification.Stencils.InferenceFrontend
lengthCamfort.Helpers.Vec
lengthNCamfort.Helpers.Vec
lexerCamfort.Specification.Stencils.Grammar
LinearCamfort.Specification.Stencils.Syntax
LinearityCamfort.Specification.Stencils.Syntax
linesCoveredCamfort.Helpers.Syntax
linkCamfort.Analysis.CommentAnnotator
LinkableCamfort.Analysis.CommentAnnotator
linkMultipleCamfort.Analysis.CommentAnnotator
linkMultiplePUsCamfort.Analysis.CommentAnnotator
linkPUCamfort.Analysis.CommentAnnotator
LiteralsCamfort.Functionality
LiteralsOptCamfort.Specification.Units.Monad
LitMixedCamfort.Specification.Units.Monad
LitPolyCamfort.Specification.Units.Monad
LitUnitlessCamfort.Specification.Units.Monad
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
lowerCamfort.Helpers.Syntax
lowerBoundCamfort.Specification.Stencils.Model
mapMaybeMCamfort.Input
maximasCamfort.Specification.Stencils.Model
mfmapCamfort.Helpers
minimaliseRegionsCamfort.Specification.Stencils.InferenceBackend
mkCopyCamfort.Transformation.EquivalenceElim
mkModuleCamfort.Transformation.CommonBlockElim
mkModuleFileCamfort.Transformation.CommonBlockElim
mkOutputTextCamfort.Output
mkRenamerCoercerCamfort.Transformation.CommonBlockElim
mkRenamerCoercerTLCCamfort.Transformation.CommonBlockElim
mkTLCommonRenamersCamfort.Transformation.CommonBlockElim
mkTrivialSpanCamfort.Specification.Stencils.InferenceBackend
mkUnitAnnotationCamfort.Specification.Units.Environment
mkUseStatementBlocksCamfort.Transformation.CommonBlockElim
ModCamfort.Specification.Stencils.Grammar
modifyAnnotationCamfort.Analysis.Annotations
modifyCallIdRemapMCamfort.Specification.Units.Monad
modifyGivenVarSetCamfort.Specification.Units.Monad
modifyNameParamMapCamfort.Specification.Units.Monad
modifyProgramFileCamfort.Specification.Units.Monad
modifyProgramFileMCamfort.Specification.Units.Monad
modifyTemplateMapCamfort.Specification.Units.Monad
modifyUnitAliasMapCamfort.Specification.Units.Monad
modifyVarUnitMapCamfort.Specification.Units.Monad
MultCamfort.Specification.Stencils.Model
MultiplicityCamfort.Specification.Stencils.Model
NameMapCamfort.Transformation.CommonBlockElim
NameParamKeyCamfort.Specification.Units.Monad
NameParamMapCamfort.Specification.Units.Monad
NatCamfort.Helpers.Vec
NatBox 
1 (Type/Class)Camfort.Helpers.Vec
2 (Data Constructor)Camfort.Helpers.Vec
NaturalCamfort.Helpers.Vec
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
normaliseCamfort.Helpers
normaliseByCamfort.Helpers
normaliseNoSortCamfort.Helpers
NotAnnotationCamfort.Analysis.CommentAnnotator
NPKParamCamfort.Specification.Units.Monad
NPKVariableCamfort.Specification.Units.Monad
numberCamfort.Analysis.Annotations
Offsets 
1 (Type/Class)Camfort.Specification.Stencils.Model
2 (Data Constructor)Camfort.Specification.Stencils.Model
offsetToIxCamfort.Specification.Stencils.Synthesis
OnceCamfort.Specification.Stencils.Model
oneCamfort.Specification.Stencils.Syntax
onPrevCamfort.Analysis.Annotations
optimiseCamfort.Specification.Stencils.Model
OptionsCamfort.Functionality
optsToUnitOptsCamfort.Functionality
OrCamfort.Specification.Stencils.Grammar
OutputCamfort.Functionality
outputFileCamfort.Output
OutputFilesCamfort.Output
outputFilesCamfort.Output
padZerosCamfort.Specification.Stencils.InferenceFrontend
pairsCamfort.Helpers
ParamsCamfort.Specification.Stencils.InferenceFrontend
parseCommentToASTCamfort.Specification.Stencils.CheckFrontend
PartialMonoidCamfort.Helpers
peelCamfort.Specification.Stencils.Model
PeelableCamfort.Specification.Stencils.Model
perBlockCheckCamfort.Specification.Stencils.CheckFrontend
perBlockInferCamfort.Specification.Stencils.InferenceFrontend
perBlockRmEquivCamfort.Transformation.EquivalenceElim
perProgramUnitCheckCamfort.Specification.Stencils.CheckFrontend
perStatementRmEquivCamfort.Transformation.EquivalenceElim
perStmt 
1 (Function)Camfort.Transformation.DataTypeIntroduction
2 (Function)Camfort.Transformation.DeadCode
pprintConstrCamfort.Specification.Units.Environment
pprintSpecDeclsCamfort.Specification.Stencils.Syntax
pprintUnitInfoCamfort.Specification.Units.Environment
pRefactoredCamfort.Analysis.Annotations
prevAnnotationCamfort.Specification.Units.Environment
ProbablyAnnotationCamfort.Analysis.CommentAnnotator
prodCamfort.Specification.Stencils.Syntax
ProductCamfort.Specification.Stencils.Syntax
proveEqSizeCamfort.Helpers.Vec
proveNonEmptyCamfort.Helpers.Vec
puNameCamfort.Specification.Units.InferenceFrontend
puSrcNameCamfort.Specification.Units.InferenceFrontend
ReadOnceCamfort.Specification.Stencils.Grammar
readParseSrcDirCamfort.Input
readParseSrcDirWithModFilesCamfort.Input
readParseSrcFileCamfort.Input
readParseSrcFileWithModFilesCamfort.Input
reassociateSourceTextCamfort.Input
reduceCollectCamfort.Helpers
refactorBlocksCamfort.Output
RefactoredCamfort.Reprint
refactoredCamfort.Analysis.Annotations
refactorEquivalencesCamfort.Transformation.EquivalenceElim
RefactoringCamfort.Reprint
refactoringCamfort.Output
refactoringsForBlocksCamfort.Output
refactoringsForProgramUnitsCamfort.Output
RefactorInPlaceCamfort.Functionality
refactorProgramUnitsCamfort.Output
refactorStatementsCamfort.Output
refactorSyntaxCamfort.Output
ReflEqCamfort.Helpers.Vec
Region 
1 (Type/Class)Camfort.Specification.Stencils.Syntax
2 (Type/Class)Camfort.Specification.Stencils.Grammar
RegionDecCamfort.Specification.Stencils.Grammar
RegionEnvCamfort.Specification.Stencils.Syntax
regionPlusCamfort.Specification.Stencils.Syntax
RegionProdCamfort.Specification.Stencils.Syntax
RegionRigCamfort.Specification.Stencils.Syntax
regionsToIntervalsCamfort.Specification.Stencils.DenotationalSemantics
RegionSumCamfort.Specification.Stencils.Syntax
relativeIxsToSpecCamfort.Specification.Stencils.InferenceFrontend
relativiseCamfort.Specification.Stencils.InferenceFrontend
removeNewLinesCamfort.Output
RenamerCoercerCamfort.Transformation.CommonBlockElim
renamerToUseCamfort.Transformation.CommonBlockElim
RenamingCamfort.Transformation.CommonBlockElim
replaceCamfort.Helpers.Vec
ReportCamfort.Analysis.Annotations
reprintCamfort.Reprint
Reverse 
1 (Type/Class)Camfort.Helpers
2 (Data Constructor)Camfort.Helpers
rGetDirContentsCamfort.Input
rGetDirContents'Camfort.Input
RmEqStateCamfort.Transformation.EquivalenceElim
rrefCamfort.Specification.Units.InferenceBackend
runCompileUnitsCamfort.Specification.Units.InferenceFrontend
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
sequenceMaybesCamfort.Specification.Stencils.InferenceBackend
setLinearityCamfort.Specification.Stencils.Syntax
SetOfIntegersCamfort.Specification.Stencils.Model
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
SourceTextCamfort.Helpers
SpanCamfort.Specification.Stencils.InferenceBackend
spansToApproxSpatialCamfort.Specification.Stencils.InferenceBackend
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
StandardCamfort.Specification.Stencils.Model
stencilBlockCamfort.Analysis.Annotations
stencilCheckingCamfort.Specification.Stencils.CheckFrontend
stencilInferenceCamfort.Specification.Stencils.InferenceFrontend
StencilInferModeCamfort.Functionality
stencilsCheckCamfort.Functionality
stencilsInferCamfort.Functionality
stencilSpecCamfort.Analysis.Annotations
stencilsSynthCamfort.Functionality
subscriptsOnRhsCamfort.Specification.Stencils.InferenceFrontend
SuccCamfort.Helpers.Vec
SumCamfort.Specification.Stencils.Syntax
sumCamfort.Specification.Stencils.Syntax
SynthCamfort.Specification.Stencils.InferenceFrontend
synthCamfort.Specification.Stencils
synthesiseUnitsCamfort.Specification.Units
SynToAstCamfort.Specification.Stencils.CheckBackend
synToAstCamfort.Specification.Stencils.CheckBackend
takeBoundsCamfort.Reprint
takeBounds'Camfort.Reprint
TCommonCamfort.Transformation.CommonBlockElim
TemplateMapCamfort.Specification.Units.Monad
TLCommonCamfort.Transformation.CommonBlockElim
toCol0Camfort.Helpers.Syntax
toListCamfort.Helpers.Vec
toNatBoxCamfort.Helpers.Vec
toUnitInfoCamfort.Specification.Units.Environment
UACamfort.Analysis.Annotations, Camfort.Specification.Units.Monad
unafCamfort.Helpers.Syntax
unfCompareCamfort.Specification.Stencils.Model
UnionNFCamfort.Specification.Stencils.Model
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
UnitParamEAPAbsCamfort.Specification.Units.Environment
UnitParamEAPUseCamfort.Specification.Units.Environment
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
unitPUCamfort.Specification.Units.Environment
UnitQuotientCamfort.Specification.Units.Parser
UnitRecord 
1 (Data Constructor)Camfort.Specification.Units.Parser
2 (Data Constructor)Camfort.Specification.Units.Environment
unitsCheckCamfort.Functionality
unitsCompileCamfort.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
unwrapReverseCamfort.Helpers
uoDebugCamfort.Specification.Units.Monad
uoLiteralsCamfort.Specification.Units.Monad
uoModFilesCamfort.Specification.Units.Monad
uoNameMapCamfort.Specification.Units.Monad
updateRegionEnvCamfort.Specification.Stencils.CheckFrontend
updateUseDeclsCamfort.Transformation.CommonBlockElim
upperBoundCamfort.Specification.Stencils.Model
usCallIdRemapCamfort.Specification.Units.Monad
usCallIdsCamfort.Specification.Units.Monad
usConstraintsCamfort.Specification.Units.Monad
usGivenVarSetCamfort.Specification.Units.Monad
usLitNumsCamfort.Specification.Units.Monad
usNameParamMapCamfort.Specification.Units.Monad
usProgramFileCamfort.Specification.Units.Monad
usTemplateMapCamfort.Specification.Units.Monad
usUnitAliasMapCamfort.Specification.Units.Monad
usVarUnitMapCamfort.Specification.Units.Monad
VarCamfort.Specification.Stencils.Grammar
VariableCamfort.Specification.Stencils.Syntax
VarUnitMapCamfort.Specification.Units.Monad
VecCamfort.Helpers.Vec
VecBox 
1 (Type/Class)Camfort.Helpers.Vec
2 (Data Constructor)Camfort.Helpers.Vec
vecLengthCamfort.Specification.Stencils.Model
VecListCamfort.Helpers.Vec
VersionCamfort.Functionality
visitedNodesCamfort.Specification.Stencils.InferenceFrontend
VLCamfort.Helpers.Vec
VVCamfort.Specification.Units.Environment, Camfort.Specification.Units.Monad
whenDebugCamfort.Specification.Units.Monad
ZCamfort.Helpers.Vec
ZeroCamfort.Helpers.Vec
zeroCamfort.Specification.Stencils.Syntax
zfmapCamfort.Helpers
zipCamfort.Helpers.Vec
zipWithCamfort.Helpers.Vec