Index

:?	Helpers
<**>	Extensions.Units
<<	Extensions.Units
<<++	Extensions.Units
<>	Helpers
><	Helpers
A
1 (Data Constructor)	Analysis.Annotations
2 (Type/Class)	Analysis.Annotations
A1	Output
Access	Analysis.IntermediateReps
accesses	Analysis.Syntax
AccessP	Analysis.IntermediateReps
AccessPatternType	Analysis.Annotations
accessToVarName	Analysis.IntermediateReps
addCol	Extensions.Units
addCopy	Transformation.EquivalenceElim
addInterproceduralConstraints	Extensions.Units
AddOp	Extensions.Units
addPlain1Arg1ExtraIntrinsic	Extensions.Units
addPlain1ArgIntrinsic	Extensions.Units
addPlain2Arg1ExtraIntrinsic	Extensions.Units
addPlain2ArgIntrinsic	Extensions.Units
addPowerIntrinsic	Extensions.Units
addProcedure	Extensions.Units
addProductIntrinsic	Extensions.Units
addRow	Extensions.Units
addRow'	Extensions.Units
addToBlock	Transformation.CommonBlockElim
addToProgUnit	Transformation.CommonBlockElim
addUnitlessIntrinsic	Extensions.Units
addUnitlessResult0ArgIntrinsic	Extensions.Units
addUnitlessResult1ArgIntrinsic	Extensions.Units
addUnitlessResult2AnyArgIntrinsic	Extensions.Units
addUnitlessResult2SameArgIntrinsic	Extensions.Units
addUnitlessSubIntrinsic	Extensions.Units
af	Analysis.Syntax
affineMatch	Analysis.Syntax
afterEnd	Transformation.Syntax
allCoherentCommonsP	Transformation.CommonBlockElim
analyse'	Analysis.Loops
analyseCommons	Transformation.CommonBlockElim
analyses	Main
Annotation	Analysis.Annotations
annotation	Traverse
annotationBound	Analysis.Syntax
AnnotationFree
1 (Type/Class)	Analysis.Syntax
2 (Data Constructor)	Analysis.Syntax
annotationMark	Output
anyUnits	Extensions.Units
applyRenaming	Transformation.Syntax
Argument	Extensions.UnitsEnvironment
ArrayA	Analysis.IntermediateReps
arrayAccessToProjection	Transformation.DerivedTypeIntro
arrayElementType	Analysis.Types
arrayIndices	Analysis.Loops
arrsRead	Analysis.Annotations
arrsWrite	Analysis.Annotations
AssumeLiterals	Extensions.UnitsEnvironment
assumeLiteralUnits	Extensions.Units
assumeLiteralUnits'	Extensions.Units
ast	Main
asts	Main
Bad	Extensions.UnitsEnvironment
binders	Analysis.Syntax
binEdge	Transformation.DerivedTypeIntro
BinOpKind	Extensions.Units
binOpKind	Extensions.Units
Blocks	Analysis.Syntax
bounds	Analysis.Types
boundsP	Analysis.Types
breakUp	Output
buildTypeEnv	Analysis.Types
calculateWeights	Transformation.DerivedTypeIntro
calls	Extensions.UnitsEnvironment
caml	Transformation.Syntax
changeDir	Main
checkDir	Main
checkSystem	Extensions.UnitsSolve
checkUnderdetermined	Extensions.Units
checkUnderdetermined'	Extensions.Units
checkUnderdeterminedM	Extensions.Units
cmpEq	Helpers
cmpFst	Helpers
cmpSnd	Helpers
cmpTConBNames	Transformation.CommonBlockElim
cmpTLConBNames	Transformation.CommonBlockElim
cmpTLConFName	Transformation.CommonBlockElim
cmpTLConPName	Transformation.CommonBlockElim
cmpVarName	Transformation.CommonBlockElim
coherentCommonsP	Transformation.CommonBlockElim
Col	Extensions.UnitsEnvironment
collect	Analysis.Loops
collectCommons
1 (Function)	Transformation.CommonBlockElim
2 (Function)	Transformation.CommonBlockElimToCalls
colors	Output
common	Main
commonElimToCalls	Transformation.CommonBlockElimToCalls
commonElimToModules	Transformation.CommonBlockElim
commonName	Transformation.CommonBlockElim
commonToArgs	Main
compilerOpts	Main
Consistency	Extensions.UnitsEnvironment
convertFromHMatrix	Extensions.UnitsSolveHMatrix
convertSingleUnit	Extensions.Units
convertSyntax	Extensions.UnitSyntaxConversion
convertSyntaxBack	Extensions.UnitSyntaxConversion
convertToHMatrix	Extensions.UnitsSolveHMatrix
convertUnit	Extensions.Units
convertUnits	Extensions.Units
correctManualImpl	Transformation.DerivedTypeIntro
countLines	Output
countToColor	Output
countVarDecls	Main
countVariableDeclarations	Analysis.Syntax
countVariables	Extensions.Units
criticalVars	Extensions.Units
criticalVars'	Extensions.Units
Custom	Extensions.UnitsEnvironment
cutSystem	Extensions.UnitsSolve
dead	Main
deadCode	Transformation.DeadCode
Debug	Main
debugGaussian	Extensions.Units
debugGaussian'	Extensions.Units
DebugInfo	Extensions.UnitsEnvironment
debugInfo	Extensions.UnitsEnvironment
debugInfoForNonZeros	Extensions.Units
Decls	Analysis.Syntax
decomposeWeightedGraph	Transformation.DerivedTypeIntro
DefSites	Analysis.CallGraph
deleteUnit	Extensions.Units
deleteUnits	Extensions.Units
DerivedUnitEnv	Extensions.UnitsEnvironment
derivedUnitEnv	Extensions.UnitsEnvironment
Directory	Helpers
dispf	Extensions.UnitsSolveHMatrix
DivOp	Extensions.Units
doAnalysis	Main
doAnalysisReport	Main
doAnalysisReport'	Main
doAnalysisSummary	Main
doFooTrans	Main
doInferUnits	Extensions.Units
doRefactor	Main
doRefactor'	Main
dropLine	Transformation.Syntax
dropLine'	Transformation.Syntax
each	Helpers
efmap	Extensions.UnitsEnvironment
elimDead	Transformation.DeadCode
elimEmptyFseq	Transformation.DeadCode
elimProjectionDefs	Transformation.DerivedTypeIntro
elimRow	Extensions.UnitsSolve
elimRow'	Extensions.UnitsSolve
emptyUnitEnv	Extensions.UnitsEnvironment
enterDecls	Extensions.Units
enterDown	Output
enterRight	Output
eqType	Analysis.Types
EqualityConstrained	Extensions.UnitsEnvironment
equivalences	Main
equivalents	Transformation.EquivalenceElim
eraseSrcLocs	Analysis.Syntax
errorMessage	Extensions.Units
evCriticals	Extensions.UnitsEnvironment
everywhere	Traverse
evUnitsAdded	Extensions.UnitsEnvironment
Excludes	Main
Exprs	Analysis.Syntax
extendArgs	Transformation.CommonBlockElimToCalls
extendArgs'	Transformation.CommonBlockElimToCalls
extendBi	Traverse
extendBi'	Traverse
extendCalls	Transformation.CommonBlockElimToCalls
extendConstraints	Extensions.Units
extractUnit	Extensions.Units
fanout	Helpers
fileExt	Main
Filename	Helpers
FileOrDir	Helpers
findMatch	Transformation.DerivedTypeIntro
firstNonZeroCoeff	Extensions.Units
fixValue	Extensions.Units
Flag	Main
fooMatrix	Extensions.Units
fooTrans	Main
formatUnits	Extensions.Units
freeVariables	Analysis.Syntax
freshenCommonNames	Transformation.CommonBlockElim
from	Analysis.Syntax
fromFraction	Extensions.Units
fullUsageInfo	Main
functionality	Main
Functor	Analysis.Annotations
Gather	Analysis.Annotations
gen	Analysis.LVA
getDir	Main
getExcludes	Main
getSubName	Analysis.Syntax
getVertex	Transformation.DerivedTypeIntro
Graph	Transformation.DerivedTypeIntro
groupSortCommonBlock	Transformation.CommonBlockElim
gtypes	Analysis.Types
handleExpr	Extensions.Units
hasRenaming	Transformation.Syntax
hasUnits	Extensions.Units
HTMLPP
1 (Type/Class)	Output
2 (Data Constructor)	Output
ifDebug	Extensions.UnitsEnvironment
incrElem	Extensions.Units
indices	Analysis.Annotations
inferBlockUnits	Extensions.Units
inferCriticalVariables	Extensions.Units
inferDecl	Extensions.Units
inferExprSeqUnits	Extensions.Units
inferExprUnits	Extensions.Units
inferForHeaderUnits	Extensions.Units
inferInterproceduralUnits	Extensions.Units
inferInterproceduralUnits'	Extensions.Units
inferLiteral	Extensions.Units
inferProgUnits	Extensions.Units
inferSpecUnits	Extensions.Units
inferStmtUnits	Extensions.Units
inferUnits	Extensions.Units
Input	Main
insertUnit	Extensions.Units
insertUnitAttribute	Extensions.Units
insertUnits	Extensions.Units
insertUnitsInBlock	Extensions.Units
intrinsicsDict	Extensions.Units
introduceCalls	Transformation.CommonBlockElimToCalls
introduceModules	Transformation.CommonBlockElim
introMessage	Main
inventName	Transformation.DerivedTypeIntro
inverse	Extensions.Units
Irregular	Analysis.Annotations
isArrayTypeP	Analysis.Types
isArrayTypeP'	Analysis.Types
isConstant	Analysis.Syntax
isDirectory	Main
isFortran	Main
isInconsistentRREF	Extensions.UnitsSolveHMatrix
isUnit	Extensions.Units
isVertex	Transformation.DerivedTypeIntro
ix	Analysis.Loops
keyword	Output
kill	Analysis.LVA
LAPACK	Extensions.UnitsEnvironment
lhsExpr	Analysis.Syntax
liftUnitEnv	Extensions.Units
LinearSystem	Extensions.UnitsEnvironment
linearSystem	Extensions.UnitsEnvironment
lineCol	Output
linesCovered	Transformation.Syntax
listToSymmRelation	Transformation.DerivedTypeIntro
Literal	Extensions.UnitsEnvironment
Literals	Main
literalsBehaviour	Main
liveIn	Analysis.Annotations
liveOut	Analysis.Annotations
lives	Analysis.Annotations
Locs	Analysis.Syntax
locsFromArrayIndex	Transformation.DerivedTypeIntro
LogicOp	Extensions.Units
lookupCaseInsensitive	Extensions.Units
lookupProcByArgCol	Extensions.Units
lookupProcByCols	Extensions.Units
lookups	Helpers
lookups'	Helpers
lookupUnit	Extensions.Units
lookupUnit'	Extensions.Units
lookupVarBindersByCols	Extensions.Units
lookupVarsByCols	Extensions.Units
lookupVarsByColsFilterByArg	Extensions.Units
lookupWithoutSrcSpan	Extensions.Units
lookupWithSrcSpan	Extensions.Units
loopAnalyse	Analysis.Loops
loops	Main
LoopType	Analysis.Annotations
lower	Analysis.Syntax
lowercase	Analysis.Types
lu	Extensions.UnitsSolveHMatrix
lva	Analysis.LVA
lva1	Analysis.LVA
lvaA	Main
lvaOnUnit	Analysis.LVA
Magic	Extensions.UnitsEnvironment
main	Main
makeUnitSpec	Extensions.Units
menu	Main
mfmap	Helpers
minaa	Transformation.Syntax
Mixed	Extensions.UnitsEnvironment
mkModule	Transformation.CommonBlockElim
mkModuleFile	Transformation.CommonBlockElim
mkRenamerCoercer	Transformation.CommonBlockElim
mkRenamerCoercerTLC	Transformation.CommonBlockElim
mkTLCommonRenamers	Transformation.CommonBlockElim
mkTyDecl	Transformation.DerivedTypeIntro
mkTypeDef	Transformation.DerivedTypeIntro
mkUseStatements	Transformation.CommonBlockElim
mode	Transformation.DerivedTypeIntro
moveCol	Extensions.Units
moveElem	Extensions.Units
msteeper	Extensions.UnitsSolve
MulOp	Extensions.Units
mustAddUp	Extensions.Units
mustEqual	Extensions.Units
nearbyClose	Output
newNode	Analysis.Annotations
nonNullArgs	Transformation.CommonBlockElimToCalls
NoReduce	Analysis.Annotations
nullLoc	Transformation.Syntax
nullSpan	Transformation.Syntax
number	Analysis.Annotations
numberStmts	Analysis.Syntax
Ok	Extensions.UnitsEnvironment
onCommonBlock	Transformation.CommonBlockElim
Options	Main
options	Main
Output	Main
outputAnalysisFiles	Main
outputAnn	Output
outputFiles	Main
outputFiles'	Main
outputHTML	Output
outputNotRequired	Main
pairs	Helpers
parse	Main
Poly	Extensions.UnitsEnvironment
PowerOp	Extensions.Units
powerUnits	Extensions.Units
pRefactored	Analysis.Annotations
prependStatements	Transformation.CommonBlockElim
prettyp	Output
prettyp'	Output
Procedure	Extensions.UnitsEnvironment
ProcedureEnv	Extensions.UnitsEnvironment
procedureEnv	Extensions.UnitsEnvironment
ProcedureNames	Extensions.UnitsEnvironment
processVar	Extensions.Units
propagateUnderdetermined	Extensions.Units
QueryCmd	Analysis.Syntax
rank	Extensions.UnitsSolveHMatrix
RComonad	Traverse
readParseSrcDir	Main
readParseSrcFile	Main
reassociate	Transformation.Syntax
Reduce	Analysis.Annotations
reduceCollect	Traverse
reduceRows	Extensions.Units
ReduceType	Analysis.Annotations
refactorArgName	Output
refactorDecl	Output
refactored	Analysis.Annotations
refactorEquivalences	Transformation.EquivalenceElim
refactorFortran	Output
refactoring	Output
refactorings	Main
refactorSpan	Transformation.Syntax
refactorSpanN	Transformation.Syntax
refactorUses	Output
Refill	Traverse
refill	Traverse
Regular	Analysis.Annotations
RegularAndConstants	Analysis.Annotations
RelOp	Extensions.Units
removeNewLines	Output
removeUnits	Extensions.Units
removeUnitsInBlock	Extensions.Units
Renamer	Transformation.Syntax
RenamerCoercer	Transformation.Syntax
renamerToUse	Transformation.CommonBlockElim
Renaming	Transformation.Syntax
reorderedCols	Extensions.UnitsEnvironment
reorderVarCols	Extensions.Units
Report	Analysis.Annotations
report	Extensions.UnitsEnvironment
reportInconsistency	Extensions.Units
reprint	Output
reprintC	Output
resetTemps	Extensions.UnitsEnvironment
rextend	Traverse
rextract	Traverse
RfEqState	Transformation.EquivalenceElim
rfmap	Traverse
RFunctor	Traverse
rGetDirContents	Main
rhsExpr	Analysis.Syntax
rmEquivalences	Transformation.EquivalenceElim
Row	Extensions.UnitsEnvironment
row	Output
rref	Extensions.UnitsSolveHMatrix
rrefMatrices	Extensions.UnitsSolveHMatrix
Scatter	Analysis.Annotations
select	Transformation.CommonBlockElimToCalls
setCompactSrcLocs	Analysis.Syntax
showArgVars	Extensions.Units
showCat	Extensions.Units
showExpr	Extensions.Units
showExprLines	Extensions.Units
showRational	Extensions.Units
showSrcFile	Extensions.Units
showSrcLoc	Extensions.Units
showSrcSpan	Extensions.Units
showUse'	Output
Solver
1 (Type/Class)	Extensions.UnitsEnvironment
2 (Data Constructor)	Main
solverType	Main
solveSystem	Extensions.UnitsSolve
solveSystem'	Extensions.UnitsSolve
solveSystemC	Extensions.UnitsSolve
solveSystemH	Extensions.UnitsSolve
solveSystemH_Either	Extensions.UnitsSolve
solveSystemM	Extensions.Units
SourceText	Helpers
sqrtUnits	Extensions.Units
srcLineCol	Transformation.Syntax
success	Extensions.UnitsEnvironment
Successors	Analysis.Syntax
successors	Analysis.Syntax
successorsRoot	Analysis.Syntax
successorStmts	Analysis.Annotations
swap	Transformation.DerivedTypeIntro
swapCols	Extensions.Units
swapUnitVarCats	Extensions.Units
swapUnitVarCats'	Extensions.Units
switchScaleElems	Extensions.UnitsSolve
takeBounds	Output
takeBounds'	Output
takeRows	Extensions.UnitsSolveHMatrix
TCommon	Transformation.CommonBlockElim
Temporary	Extensions.UnitsEnvironment
tenvLookup	Analysis.Types
TLCommon	Transformation.CommonBlockElim
tmpColsAdded	Extensions.UnitsEnvironment
tmpRowsAdded	Extensions.UnitsEnvironment
toArgList	Transformation.CommonBlockElimToCalls
toArrayType	Analysis.Types
toCol0	Transformation.Syntax
toFraction	Extensions.Units
toInterferenceGraph	Transformation.DerivedTypeIntro
topFrom	Analysis.Syntax
trim	Extensions.UnitsEnvironment
typeAnnotations	Analysis.Types
TypeEnv	Analysis.Types
typeEnv	Analysis.Types
TypeEnvStack	Analysis.Types
typeStruct	Transformation.DerivedTypeIntro
typeStructPerProgram	Transformation.DerivedTypeIntro
typeStructuring	Main
unaf	Analysis.Syntax
Undecidable	Analysis.Annotations
underdeterminedCols	Extensions.UnitsEnvironment
UnitAlias	Extensions.UnitParser
unitAnnotation	Analysis.Annotations
UnitAssignment	Extensions.UnitParser
UnitBasic	Extensions.UnitParser
UnitConstant	Extensions.UnitsEnvironment
unitCriticals	Main
UnitEnv
1 (Type/Class)	Extensions.UnitsEnvironment
2 (Data Constructor)	Extensions.UnitsEnvironment
UnitExponentiation	Extensions.UnitParser
Unitful	Extensions.UnitsEnvironment
Unitless
1 (Data Constructor)	Extensions.UnitsEnvironment
2 (Data Constructor)	Extensions.UnitParser
UnitlessC	Extensions.UnitsEnvironment
UnitOfMeasure	Extensions.UnitParser
unitParser	Extensions.UnitParser
UnitPower	Extensions.UnitParser
UnitPowerInteger	Extensions.UnitParser
UnitPowerRational	Extensions.UnitParser
UnitProduct	Extensions.UnitParser
UnitQuotient	Extensions.UnitParser
Units	Extensions.UnitsSolveHMatrix
units	Main
UnitStatement	Extensions.UnitParser
unitVar	Analysis.Annotations
unitVarCat	Extensions.Units
UnitVarCategory	Extensions.UnitsEnvironment
unitVarCats	Extensions.UnitsEnvironment
updateAdded	Extensions.Units
UpdateColInfo	Extensions.Units
updateColInfo	Extensions.Units
updateUseDecls	Transformation.CommonBlockElim
usage	Main
useSrcLoc	Transformation.CommonBlockElim
useSrcLocB	Transformation.CommonBlockElim
VarA	Analysis.IntermediateReps
VarBinder
1 (Type/Class)	Extensions.UnitsEnvironment
2 (Data Constructor)	Extensions.UnitsEnvironment
VarCol
1 (Type/Class)	Extensions.UnitsEnvironment
2 (Data Constructor)	Extensions.UnitsEnvironment
VarColEnv	Extensions.UnitsEnvironment
varColEnv	Extensions.UnitsEnvironment
varExprToAccess	Analysis.Syntax
varExprToAccesses	Analysis.Syntax
varExprToVariable	Analysis.Syntax
Variable	Extensions.UnitsEnvironment
variables	Analysis.Syntax
Vars	Analysis.Syntax
Version	Main
version	Main
vertices	Transformation.DerivedTypeIntro
WeightedEdge	Transformation.DerivedTypeIntro
WeightedGraph	Transformation.DerivedTypeIntro
zfmap	Traverse
_calls	Extensions.UnitsEnvironment
_debugInfo	Extensions.UnitsEnvironment
_derivedUnitEnv	Extensions.UnitsEnvironment
_evCriticals	Extensions.UnitsEnvironment
_evUnitsAdded	Extensions.UnitsEnvironment
_linearSystem	Extensions.UnitsEnvironment
_procedureEnv	Extensions.UnitsEnvironment
_reorderedCols	Extensions.UnitsEnvironment
_report	Extensions.UnitsEnvironment
_success	Extensions.UnitsEnvironment
_tmpColsAdded	Extensions.UnitsEnvironment
_tmpRowsAdded	Extensions.UnitsEnvironment
_underdeterminedCols	Extensions.UnitsEnvironment
_unitVarCats	Extensions.UnitsEnvironment
_varColEnv	Extensions.UnitsEnvironment