| :? | Camfort.Helpers |
| <> | Camfort.Helpers |
| >< | Camfort.Helpers |
| A | |
| 1 (Data Constructor) | Camfort.Analysis.Annotations |
| 2 (Type/Class) | Camfort.Analysis.Annotations |
| a | Camfort.Specification.Stencils.Synthesis |
| A1 | |
| 1 (Type/Class) | Camfort.Transformation.CommonBlockElim |
| 2 (Type/Class) | Camfort.Transformation.EquivalenceElim |
| absoluteRep | Camfort.Specification.Stencils.Syntax |
| absorbReflexive | Camfort.Specification.Stencils.Syntax |
| absorbReflexive' | Camfort.Specification.Stencils.Syntax |
| addCopysPerBlock | Camfort.Transformation.EquivalenceElim |
| addCopysPerBlockGroup | Camfort.Transformation.EquivalenceElim |
| addToProgramUnit | Camfort.Transformation.CommonBlockElim |
| af | Camfort.Helpers.Syntax |
| afterAligned | Camfort.Helpers.Syntax |
| allCoherentCommons | Camfort.Transformation.CommonBlockElim |
| allRegionPermutations | Camfort.Specification.Stencils.InferenceBackend |
| analyseAndRmCommons | Camfort.Transformation.CommonBlockElim |
| analysePerPF | Camfort.Transformation.CommonBlockElim |
| analysePerPU | Camfort.Transformation.CommonBlockElim |
| And | Camfort.Specification.Stencils.Grammar |
| annotateComments | Camfort.Analysis.CommentAnnotator |
| annotateWithAST | Camfort.Analysis.CommentAnnotator |
| Annotation | Camfort.Analysis.Annotations |
| annotationBound | Camfort.Helpers.Syntax |
| AnnotationFree | |
| 1 (Type/Class) | Camfort.Helpers.Syntax |
| 2 (Data Constructor) | Camfort.Helpers.Syntax |
| AnnotationParseError | Camfort.Analysis.CommentAnnotator |
| AnnotationParser | Camfort.Analysis.CommentAnnotator |
| appendM | Camfort.Helpers |
| applyRenaming | Camfort.Transformation.CommonBlockElim |
| Approximation | Camfort.Specification.Stencils.Syntax |
| AssignMode | Camfort.Specification.Stencils.InferenceFrontend |
| ast | Camfort.Functionality |
| ASTEmbeddable | Camfort.Analysis.CommentAnnotator |
| AtLeast | Camfort.Specification.Stencils.Grammar |
| AtMost | Camfort.Specification.Stencils.Grammar |
| Backward | |
| 1 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
| 2 (Data Constructor) | Camfort.Specification.Stencils.Grammar |
| Bound | Camfort.Specification.Stencils.Syntax |
| callAndSummarise | Camfort.Input |
| CallIdMap | Camfort.Specification.Units.Monad |
| caml | Camfort.Helpers.Syntax |
| Centered | |
| 1 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
| 2 (Data Constructor) | Camfort.Specification.Stencils.Grammar |
| changeDir | Camfort.Output |
| check | Camfort.Specification.Stencils |
| checkDir | Camfort.Helpers |
| Checker | Camfort.Specification.Stencils.CheckFrontend |
| checkOffsetsAgainstSpec | Camfort.Specification.Stencils.CheckFrontend |
| checkUnits | Camfort.Specification.Units |
| cmpEq | Camfort.Helpers |
| cmpFst | Camfort.Helpers |
| cmpSnd | Camfort.Helpers |
| cmpTConBNames | Camfort.Transformation.CommonBlockElim |
| cmpTLConBNames | Camfort.Transformation.CommonBlockElim |
| cmpTLConFName | Camfort.Transformation.CommonBlockElim |
| cmpTLConPName | Camfort.Transformation.CommonBlockElim |
| cmpVarName | Camfort.Transformation.CommonBlockElim |
| coherentCommons | Camfort.Transformation.CommonBlockElim |
| coherentCommons' | Camfort.Transformation.CommonBlockElim |
| collect | Camfort.Helpers |
| collectAndRmCommons | Camfort.Transformation.CommonBlockElim |
| CombinedMode | Camfort.Specification.Stencils.InferenceFrontend |
| common | Camfort.Functionality |
| commonElimToModules | Camfort.Transformation.CommonBlockElim |
| commonName | Camfort.Transformation.CommonBlockElim |
| commonNameFromAST | Camfort.Transformation.CommonBlockElim |
| CommonState | Camfort.Transformation.CommonBlockElim |
| composeConsecutiveSpans | Camfort.Specification.Stencils.InferenceBackend |
| ConConj | Camfort.Specification.Units.Environment |
| ConEq | Camfort.Specification.Units.Environment |
| conParamEq | Camfort.Specification.Units.Environment |
| Cons | Camfort.Helpers.Vec |
| consistent | Camfort.Specification.Stencils.Model |
| consistentIVSuse | Camfort.Specification.Stencils.InferenceFrontend |
| Constant | Camfort.Specification.Stencils.InferenceFrontend |
| Constraint | Camfort.Specification.Units.Environment |
| Constraints | Camfort.Specification.Units.Environment |
| constraintsToMatrix | Camfort.Specification.Units.InferenceBackend |
| containedWithin | Camfort.Specification.Stencils.InferenceBackend |
| countLines | Camfort.Output |
| countVarDecls | Camfort.Functionality |
| countVariableDeclarations | Camfort.Analysis.Simple |
| cprodV | Camfort.Specification.Stencils.Model |
| cprodVs | Camfort.Specification.Stencils.Model |
| criticalVariables | Camfort.Specification.Units.InferenceBackend |
| dbgUnitAnnotation | Camfort.Specification.Units.Environment |
| dead | Camfort.Functionality |
| deadCode | Camfort.Transformation.DeadCode |
| deadCode' | Camfort.Transformation.DeadCode |
| Debug | Camfort.Functionality |
| Default | Camfort.Input |
| defaultValue | Camfort.Input |
| deleteLine | Camfort.Helpers.Syntax |
| deleteNode | Camfort.Analysis.Annotations |
| Depth | Camfort.Specification.Stencils.Syntax |
| Dimension | Camfort.Specification.Stencils.Syntax |
| dimensionality | Camfort.Specification.Stencils.Model |
| dimensions | Camfort.Specification.Stencils.Model |
| Directory | Camfort.Helpers |
| distAndOverlaps | Camfort.Specification.Stencils.Syntax |
| distAndOverlaps' | Camfort.Specification.Stencils.Syntax |
| dnf | Camfort.Specification.Stencils.CheckBackend |
| doAnalysisReport | Camfort.Input |
| doAnalysisSummary | Camfort.Input |
| Domain | Camfort.Specification.Stencils.Model |
| DoMode | Camfort.Specification.Stencils.InferenceFrontend |
| doRefactor | Camfort.Input |
| doRefactorAndCreate | Camfort.Input |
| doubleToRationalSubset | Camfort.Specification.Units.Environment |
| Doxygen | Camfort.Functionality |
| dropLine | Camfort.Helpers.Syntax |
| each | Camfort.Helpers |
| emptyM | Camfort.Helpers |
| enter | Camfort.Reprint |
| enterDown | Camfort.Reprint |
| enterRight | Camfort.Reprint |
| EqT | Camfort.Specification.Stencils.InferenceBackend |
| equalTypes | Camfort.Transformation.EquivalenceElim |
| equivalences | Camfort.Functionality |
| equivalentsToExpr | Camfort.Transformation.EquivalenceElim |
| ErrorMsg | Camfort.Specification.Stencils.CheckBackend |
| EvalLog | Camfort.Specification.Stencils.InferenceFrontend |
| EvalMode | Camfort.Specification.Stencils.InferenceFrontend |
| evalUnitSolver | Camfort.Specification.Units.Monad |
| everywhere | Camfort.Helpers |
| Exact | Camfort.Specification.Stencils.Syntax |
| Excludes | Camfort.Functionality |
| execUnitSolver | Camfort.Specification.Units.Monad |
| expToNeighbour | Camfort.Specification.Stencils.InferenceFrontend |
| extractVariable | Camfort.Helpers.Syntax |
| failWith | Camfort.Analysis.CommentAnnotator |
| fanout | Camfort.Helpers |
| fileExt | Camfort.Input |
| Filename | Camfort.Helpers |
| FileOrDir | Camfort.Helpers |
| find' | Camfort.Specification.Stencils.CheckBackend |
| Flag | Camfort.Functionality |
| flattenConstraints | Camfort.Specification.Units.InferenceBackend |
| flattenUnits | Camfort.Specification.Units.InferenceBackend |
| flexReadFile | Camfort.Input |
| foldL | Camfort.Specification.Stencils.InferenceBackend |
| foldPair | Camfort.Helpers |
| Ford | Camfort.Functionality |
| formatSpec | Camfort.Specification.Stencils.Synthesis |
| Forward | |
| 1 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
| 2 (Data Constructor) | Camfort.Specification.Stencils.Grammar |
| freshenCommonNames | Camfort.Transformation.CommonBlockElim |
| fromBool | Camfort.Specification.Stencils.Syntax |
| fromExact | Camfort.Specification.Stencils.Syntax |
| fromJustMsg | Camfort.Specification.Stencils.InferenceFrontend |
| fromList | Camfort.Specification.Stencils.InferenceBackend |
| fromLists | Camfort.Specification.Stencils.InferenceBackend |
| fromMult | Camfort.Specification.Stencils.Syntax |
| fromNat | Camfort.Helpers.Vec |
| fromRegionsToSpec | Camfort.Specification.Stencils.InferenceBackend |
| genOffsets | Camfort.Specification.Stencils.InferenceFrontend |
| genRHSsubscripts | Camfort.Specification.Stencils.InferenceFrontend |
| genSpecifications | Camfort.Specification.Stencils.InferenceFrontend |
| genSpecsAndReport | Camfort.Specification.Stencils.InferenceFrontend |
| genSubscripts | Camfort.Specification.Stencils.InferenceFrontend |
| getConstraint | Camfort.Specification.Units.InferenceFrontend |
| getDimension | Camfort.Specification.Stencils.Syntax |
| getDir | Camfort.Helpers |
| getExcludes | Camfort.Functionality |
| getInductionVar | Camfort.Specification.Stencils.InferenceFrontend |
| getOption | Camfort.Input |
| getUnitStartPosition | Camfort.Transformation.CommonBlockElim |
| GivenVarSet | Camfort.Specification.Units.Monad |
| groupKeyBy | Camfort.Specification.Stencils.Syntax |
| groupSortCommonBlock | Camfort.Transformation.CommonBlockElim |
| hasDuplicates | Camfort.Specification.Stencils.Syntax |
| hasRenaming | Camfort.Transformation.CommonBlockElim |
| hasSpec | Camfort.Specification.Stencils.InferenceFrontend |
| inconsistentConstraints | Camfort.Specification.Units.InferenceBackend |
| indicesToRelativisedOffsets | Camfort.Specification.Stencils.InferenceFrontend |
| indicesToSpec | Camfort.Specification.Stencils.InferenceFrontend |
| infer | Camfort.Specification.Stencils |
| inferCore | Camfort.Specification.Stencils.InferenceBackend |
| inferCriticalVariables | Camfort.Specification.Units |
| Inferer | Camfort.Specification.Stencils.InferenceFrontend |
| inferFromIndices | Camfort.Specification.Stencils.InferenceBackend |
| inferFromIndicesWithoutLinearity | Camfort.Specification.Stencils.InferenceBackend |
| inferMinimalVectorRegions | Camfort.Specification.Stencils.InferenceBackend |
| InferMode | Camfort.Specification.Stencils.InferenceFrontend, Camfort.Specification.Stencils |
| InferState | Camfort.Specification.Stencils.InferenceFrontend |
| inferUnits | Camfort.Specification.Units |
| inferVariables | Camfort.Specification.Units.InferenceBackend |
| initInference | Camfort.Specification.Units.InferenceFrontend |
| Input | Camfort.Functionality |
| introduceModules | Camfort.Transformation.CommonBlockElim |
| IS | Camfort.Specification.Stencils.InferenceFrontend |
| isArraySubscript | Camfort.Specification.Stencils.InferenceFrontend |
| isDirectory | Camfort.Helpers |
| isEmpty | Camfort.Specification.Stencils.Syntax |
| isFortran | Camfort.Input |
| isInconsistentRREF | Camfort.Specification.Units.InferenceBackend |
| IsNatural | Camfort.Helpers.Vec |
| isNeighbour | Camfort.Specification.Stencils.InferenceFrontend |
| isNewFile | Camfort.Output |
| IsRefl | Camfort.Specification.Stencils.Syntax |
| isStencilDo | Camfort.Specification.Stencils.InferenceFrontend |
| isUnaryOrBinaryExpr | Camfort.Specification.Stencils.InferenceFrontend |
| isUnit | Camfort.Specification.Stencils.Syntax |
| isVariableExpr | Camfort.Specification.Stencils.InferenceFrontend |
| ivMap | Camfort.Specification.Stencils.InferenceFrontend |
| ixToNeighbour | Camfort.Specification.Stencils.InferenceFrontend |
| ixToNeighbour' | Camfort.Specification.Stencils.InferenceFrontend |
| lcons | Camfort.Specification.Stencils.InferenceBackend |
| lengthV | Camfort.Helpers.Vec |
| lexer | Camfort.Specification.Stencils.Grammar |
| Linear | Camfort.Specification.Stencils.Syntax |
| Linearity | Camfort.Specification.Stencils.Syntax |
| linesCovered | Camfort.Helpers.Syntax |
| link | Camfort.Analysis.CommentAnnotator |
| Linkable | Camfort.Analysis.CommentAnnotator |
| linkMultiple | Camfort.Analysis.CommentAnnotator |
| List | |
| 1 (Type/Class) | Camfort.Specification.Stencils.InferenceBackend |
| 2 (Data Constructor) | Camfort.Specification.Stencils.InferenceBackend |
| Literals | Camfort.Functionality |
| LiteralsOpt | Camfort.Specification.Units.Monad |
| LitMixed | Camfort.Specification.Units.Monad |
| LitPoly | Camfort.Specification.Units.Monad |
| LitUnitless | Camfort.Specification.Units.Monad |
| lnil | Camfort.Specification.Stencils.InferenceBackend |
| Logger | Camfort.Analysis.CommentAnnotator |
| LogLine | |
| 1 (Type/Class) | Camfort.Specification.Stencils.InferenceFrontend |
| 2 (Type/Class) | Camfort.Specification.Stencils.CheckFrontend |
| lookupAggregate | Camfort.Specification.Stencils.Syntax |
| lookups | Camfort.Helpers |
| lookups' | Camfort.Helpers |
| lower | Camfort.Helpers.Syntax |
| lowerBound | Camfort.Specification.Stencils.Syntax |
| Max | Camfort.Helpers.Vec |
| maximum1 | Camfort.Specification.Stencils.Model |
| mfmap | Camfort.Helpers |
| minimaliseRegions | Camfort.Specification.Stencils.InferenceBackend |
| mkCopy | Camfort.Transformation.EquivalenceElim |
| mkModel | Camfort.Specification.Stencils.Model |
| mkModule | Camfort.Transformation.CommonBlockElim |
| mkModuleFile | Camfort.Transformation.CommonBlockElim |
| mkOutputText | Camfort.Output |
| mkRenamerCoercer | Camfort.Transformation.CommonBlockElim |
| mkRenamerCoercerTLC | Camfort.Transformation.CommonBlockElim |
| mkSingleEntryNeg | Camfort.Specification.Stencils.Model |
| mkTLCommonRenamers | Camfort.Transformation.CommonBlockElim |
| mkTrivialSpan | Camfort.Specification.Stencils.InferenceBackend |
| mkUnitAnnotation | Camfort.Specification.Units.Environment |
| mkUseStatementBlocks | Camfort.Transformation.CommonBlockElim |
| Mod | Camfort.Specification.Stencils.Grammar |
| Model | Camfort.Specification.Stencils.Model |
| model | Camfort.Specification.Stencils.Model |
| modifyAnnotation | Camfort.Analysis.Annotations |
| modifyCallIdRemapM | Camfort.Specification.Units.Monad |
| modifyGivenVarSet | Camfort.Specification.Units.Monad |
| modifyProgramFile | Camfort.Specification.Units.Monad |
| modifyProgramFileM | Camfort.Specification.Units.Monad |
| modifyTemplateMap | Camfort.Specification.Units.Monad |
| modifyUnitAliasMap | Camfort.Specification.Units.Monad |
| modifyVarUnitMap | Camfort.Specification.Units.Monad |
| Multiple | Camfort.Specification.Stencils.Syntax |
| Multiplicity | Camfort.Specification.Stencils.Syntax |
| NameMap | Camfort.Transformation.CommonBlockElim |
| Nat | Camfort.Helpers.Vec |
| NatBox | |
| 1 (Type/Class) | Camfort.Helpers.Vec |
| 2 (Data Constructor) | Camfort.Helpers.Vec |
| Natural | Camfort.Helpers.Vec |
| Neighbour | |
| 1 (Type/Class) | Camfort.Specification.Stencils.InferenceFrontend |
| 2 (Data Constructor) | Camfort.Specification.Stencils.InferenceFrontend |
| neighbourIndex | Camfort.Specification.Stencils.InferenceFrontend |
| neighbourToOffset | Camfort.Specification.Stencils.InferenceFrontend |
| newNode | Camfort.Analysis.Annotations |
| Nil | Camfort.Helpers.Vec |
| NonLinear | Camfort.Specification.Stencils.Syntax |
| NonNeighbour | Camfort.Specification.Stencils.InferenceFrontend |
| normalise | Camfort.Helpers |
| normaliseBy | Camfort.Helpers |
| normaliseNoSort | Camfort.Helpers |
| normaliseSpan | Camfort.Specification.Stencils.InferenceBackend |
| NotAnnotation | Camfort.Analysis.CommentAnnotator |
| number | Camfort.Analysis.Annotations |
| offsetToIx | Camfort.Specification.Stencils.Synthesis |
| one | Camfort.Specification.Stencils.Syntax |
| onPrev | Camfort.Analysis.Annotations |
| Options | Camfort.Functionality |
| optsToUnitOpts | Camfort.Functionality |
| Or | Camfort.Specification.Stencils.Grammar |
| Output | Camfort.Functionality |
| outputFile | Camfort.Output |
| OutputFiles | Camfort.Output |
| outputFiles | Camfort.Output |
| padZeros | Camfort.Specification.Stencils.InferenceFrontend |
| pairs | Camfort.Helpers |
| pairwisePerm | Camfort.Specification.Stencils.Model |
| Params | Camfort.Specification.Stencils.InferenceFrontend |
| parseCommentToAST | Camfort.Specification.Stencils.CheckFrontend |
| PartialMonoid | Camfort.Helpers |
| perBlockCheck | Camfort.Specification.Stencils.CheckFrontend |
| perBlockInfer | Camfort.Specification.Stencils.InferenceFrontend |
| perBlockRmEquiv | Camfort.Transformation.EquivalenceElim |
| Permutable | Camfort.Specification.Stencils.InferenceBackend |
| permutationsV | Camfort.Specification.Stencils.InferenceBackend |
| perProgramUnitCheck | Camfort.Specification.Stencils.CheckFrontend |
| perStatementRmEquiv | Camfort.Transformation.EquivalenceElim |
| perStmt | Camfort.Transformation.DeadCode |
| pprintConstr | Camfort.Specification.Units.Environment |
| pprintSpecDecls | Camfort.Specification.Stencils.Syntax |
| pprintUnitInfo | Camfort.Specification.Units.Environment |
| pRefactored | Camfort.Analysis.Annotations |
| prevAnnotation | Camfort.Specification.Units.Environment |
| ProbablyAnnotation | Camfort.Analysis.CommentAnnotator |
| prod | Camfort.Specification.Stencils.Syntax |
| Product | Camfort.Specification.Stencils.Syntax |
| ReadOnce | Camfort.Specification.Stencils.Grammar |
| readParseSrcDir | Camfort.Input |
| readParseSrcFile | Camfort.Input |
| reassociateSourceText | Camfort.Input |
| reduceCollect | Camfort.Helpers |
| reducor | Camfort.Specification.Stencils.InferenceBackend |
| refactorBlocks | Camfort.Output |
| Refactored | Camfort.Reprint |
| refactored | Camfort.Analysis.Annotations |
| refactorEquivalences | Camfort.Transformation.EquivalenceElim |
| Refactoring | Camfort.Reprint |
| refactoring | Camfort.Output |
| refactorStatements | Camfort.Output |
| refactorSyntax | Camfort.Output |
| ReflEq | Camfort.Specification.Stencils.InferenceBackend |
| Region | |
| 1 (Type/Class) | Camfort.Specification.Stencils.Syntax |
| 2 (Type/Class) | Camfort.Specification.Stencils.Grammar |
| RegionDec | Camfort.Specification.Stencils.Grammar |
| RegionEnv | Camfort.Specification.Stencils.Syntax |
| regionPlus | Camfort.Specification.Stencils.Syntax |
| RegionProd | Camfort.Specification.Stencils.Syntax |
| RegionRig | Camfort.Specification.Stencils.Syntax |
| RegionSum | Camfort.Specification.Stencils.Syntax |
| relativeIxsToSpec | Camfort.Specification.Stencils.InferenceFrontend |
| relativise | Camfort.Specification.Stencils.InferenceFrontend |
| removeNewLines | Camfort.Output |
| RenamerCoercer | Camfort.Transformation.CommonBlockElim |
| renamerToUse | Camfort.Transformation.CommonBlockElim |
| Renaming | Camfort.Transformation.CommonBlockElim |
| Report | Camfort.Analysis.Annotations |
| reprint | Camfort.Reprint |
| rGetDirContents | Camfort.Input |
| RmEqState | Camfort.Transformation.EquivalenceElim |
| rref | Camfort.Specification.Units.InferenceBackend |
| runCriticalVariables | Camfort.Specification.Units.InferenceFrontend |
| runInconsistentConstraints | Camfort.Specification.Units.InferenceFrontend |
| runInferer | Camfort.Specification.Stencils.InferenceFrontend |
| runInferVariables | Camfort.Specification.Units.InferenceFrontend |
| runSynthesis | Camfort.Specification.Units.Synthesis |
| runUnitSolver | Camfort.Specification.Units.Monad |
| S | Camfort.Helpers.Vec |
| s | Camfort.Specification.Stencils.Synthesis |
| Selection | Camfort.Specification.Stencils.InferenceBackend |
| selectionsV | Camfort.Specification.Stencils.InferenceBackend |
| setLinearity | Camfort.Specification.Stencils.Syntax |
| shiftTerms | Camfort.Specification.Units.InferenceBackend |
| Show' | Camfort.Output |
| show' | Camfort.Output |
| showL | Camfort.Specification.Stencils.Syntax |
| showProdSpecs | Camfort.Specification.Stencils.Syntax |
| showRegion | Camfort.Specification.Stencils.Syntax |
| showSumSpecs | Camfort.Specification.Stencils.Syntax |
| showV | Camfort.Helpers.Vec |
| simplify | Camfort.Specification.Stencils.InferenceBackend |
| simplifySpatial | Camfort.Specification.Stencils.InferenceBackend |
| Single | Camfort.Specification.Stencils.Syntax |
| SourceText | Camfort.Helpers |
| Span | Camfort.Specification.Stencils.InferenceBackend |
| spanBoundingBox | Camfort.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 |
| Spec | Camfort.Specification.Stencils.Grammar |
| SpecDec | Camfort.Specification.Stencils.Grammar |
| SpecDecls | Camfort.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 |
| specParser | Camfort.Specification.Stencils.Grammar |
| stencilBlock | Camfort.Analysis.Annotations |
| stencilChecking | Camfort.Specification.Stencils.CheckFrontend |
| stencilInference | Camfort.Specification.Stencils.InferenceFrontend |
| StencilInferMode | Camfort.Functionality |
| stencilsCheck | Camfort.Functionality |
| stencilsInfer | Camfort.Functionality |
| stencilSpec | Camfort.Analysis.Annotations |
| stencilsSynth | Camfort.Functionality |
| strength | Camfort.Specification.Stencils.InferenceFrontend |
| Succ | Camfort.Helpers.Vec |
| Sum | Camfort.Specification.Stencils.Syntax |
| sum | Camfort.Specification.Stencils.Syntax |
| Synth | Camfort.Specification.Stencils.InferenceFrontend |
| synth | Camfort.Specification.Stencils |
| synthesiseUnits | Camfort.Specification.Units |
| SynToAst | Camfort.Specification.Stencils.CheckBackend |
| synToAst | Camfort.Specification.Stencils.CheckBackend |
| takeBounds | Camfort.Reprint |
| takeBounds' | Camfort.Reprint |
| TCommon | Camfort.Transformation.CommonBlockElim |
| TemplateMap | Camfort.Specification.Units.Monad |
| tensor | Camfort.Specification.Stencils.Model |
| TLCommon | Camfort.Transformation.CommonBlockElim |
| toCol0 | Camfort.Helpers.Syntax |
| toNatBox | Camfort.Helpers.Vec |
| toSpec1D | Camfort.Specification.Stencils.InferenceBackend |
| toSpecND | Camfort.Specification.Stencils.InferenceBackend |
| toUnitInfo | Camfort.Specification.Units.Environment |
| UA | Camfort.Analysis.Annotations, Camfort.Specification.Units.Monad |
| unaf | Camfort.Helpers.Syntax |
| UnitAlias | |
| 1 (Data Constructor) | Camfort.Specification.Units.Parser |
| 2 (Data Constructor) | Camfort.Specification.Units.Environment |
| UnitAliasMap | Camfort.Specification.Units.Monad |
| UnitAnnotation | |
| 1 (Type/Class) | Camfort.Specification.Units.Environment |
| 2 (Data Constructor) | Camfort.Specification.Units.Environment |
| unitAnnotation | Camfort.Analysis.Annotations |
| UnitAssignment | Camfort.Specification.Units.Parser |
| UnitBasic | Camfort.Specification.Units.Parser |
| unitBlock | Camfort.Specification.Units.Environment |
| unitConstraint | Camfort.Specification.Units.Environment |
| UnitException | Camfort.Specification.Units.Monad |
| UnitExponentiation | Camfort.Specification.Units.Parser |
| UnitInfo | Camfort.Specification.Units.Environment |
| unitInfo | Camfort.Specification.Units.Environment |
| Unitless | Camfort.Specification.Units.Parser |
| UnitlessLit | Camfort.Specification.Units.Environment |
| UnitlessVar | Camfort.Specification.Units.Environment |
| UnitLiteral | Camfort.Specification.Units.Environment |
| UnitLogs | Camfort.Specification.Units.Monad |
| UnitMul | Camfort.Specification.Units.Environment |
| UnitName | Camfort.Specification.Units.Environment |
| UnitOfMeasure | Camfort.Specification.Units.Parser |
| UnitOpts | |
| 1 (Type/Class) | Camfort.Specification.Units.Monad |
| 2 (Data Constructor) | Camfort.Specification.Units.Monad |
| unitOpts0 | Camfort.Specification.Units.Monad |
| unitParamEq | Camfort.Specification.Units.Environment |
| UnitParamLitAbs | Camfort.Specification.Units.Environment |
| UnitParamLitUse | Camfort.Specification.Units.Environment |
| UnitParamPosAbs | Camfort.Specification.Units.Environment |
| UnitParamPosUse | Camfort.Specification.Units.Environment |
| UnitParamVarAbs | Camfort.Specification.Units.Environment |
| UnitParamVarUse | Camfort.Specification.Units.Environment |
| unitParser | Camfort.Specification.Units.Parser |
| UnitPow | Camfort.Specification.Units.Environment |
| UnitPower | Camfort.Specification.Units.Parser |
| UnitPowerInteger | Camfort.Specification.Units.Parser |
| UnitPowerRational | Camfort.Specification.Units.Parser |
| UnitProduct | Camfort.Specification.Units.Parser |
| UnitQuotient | Camfort.Specification.Units.Parser |
| unitsCheck | Camfort.Functionality |
| unitsCriticals | Camfort.Functionality |
| unitsInfer | Camfort.Functionality |
| UnitSolver | Camfort.Specification.Units.Monad |
| unitSpec | Camfort.Specification.Units.Environment |
| unitsSynth | Camfort.Functionality |
| UnitState | |
| 1 (Type/Class) | Camfort.Specification.Units.Monad |
| 2 (Data Constructor) | Camfort.Specification.Units.Monad |
| UnitStatement | Camfort.Specification.Units.Parser |
| UnitVar | Camfort.Specification.Units.Environment |
| unitVar | Camfort.Analysis.Annotations |
| unpackFst | Camfort.Output |
| unProd | Camfort.Specification.Stencils.Syntax |
| unSum | Camfort.Specification.Stencils.Syntax |
| uoDebug | Camfort.Specification.Units.Monad |
| uoLiterals | Camfort.Specification.Units.Monad |
| uoNameMap | Camfort.Specification.Units.Monad |
| updateRegionEnv | Camfort.Specification.Stencils.CheckFrontend |
| updateUseDecls | Camfort.Transformation.CommonBlockElim |
| upperBound | Camfort.Specification.Stencils.Syntax |
| usCallIdRemap | Camfort.Specification.Units.Monad |
| usCallIds | Camfort.Specification.Units.Monad |
| usConstraints | Camfort.Specification.Units.Monad |
| usGivenVarSet | Camfort.Specification.Units.Monad |
| usLitNums | Camfort.Specification.Units.Monad |
| usProgramFile | Camfort.Specification.Units.Monad |
| usTemplateMap | Camfort.Specification.Units.Monad |
| usUnitAliasMap | Camfort.Specification.Units.Monad |
| usVarUnitMap | Camfort.Specification.Units.Monad |
| Var | Camfort.Specification.Stencils.Grammar |
| Variable | Camfort.Specification.Stencils.Syntax |
| VarUnitMap | Camfort.Specification.Units.Monad |
| Vec | Camfort.Helpers.Vec |
| VecList | Camfort.Specification.Stencils.InferenceBackend |
| Version | Camfort.Functionality |
| VL | Camfort.Specification.Stencils.InferenceBackend |
| vmap | Camfort.Helpers.Vec |
| VV | Camfort.Specification.Units.Environment, Camfort.Specification.Units.Monad |
| whenDebug | Camfort.Specification.Units.Monad |
| Z | Camfort.Helpers.Vec |
| Zero | Camfort.Helpers.Vec |
| zero | Camfort.Specification.Stencils.Syntax |
| zfmap | Camfort.Helpers |
| zipVec | Camfort.Helpers.Vec |