Index - C
| Call | |
| 1 (Type/Class) | Termination |
| 2 (Data Constructor) | Termination |
| CallGraph | Termination |
| CallMatrix | Termination |
| CallPath | |
| 1 (Type/Class) | Termination |
| 2 (Data Constructor) | Termination |
| callStack | TCM |
| cannotMatchDeep | TypeChecker |
| Case | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | Abstract |
| 3 (Data Constructor) | Abstract |
| 4 (Type/Class) | Concrete |
| 5 (Data Constructor) | Concrete |
| Cast | Abstract |
| castExpr | Abstract |
| cEtaExp | Abstract |
| cFields | Abstract |
| Check | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| checkAll | Termination |
| checkApp | TypeChecker |
| checkBelow | TypeChecker |
| checkCase | TypeChecker |
| checkCases | TypeChecker |
| checkCases' | TypeChecker |
| checkClause | TypeChecker |
| checkClauses | TypeChecker |
| checkClauses' | TypeChecker |
| checkConstructorParams | TypeChecker |
| checkConTerm | TypeChecker |
| checkConType | TypeChecker |
| checkConType' | TypeChecker |
| checkDataType | TypeChecker |
| checkExpr | TypeChecker |
| checkForced | TypeChecker |
| checkFun | TypeChecker |
| checkGoal | TypeChecker |
| checkGuard | Eval |
| checkIdem | Termination |
| checkingCon | TCM |
| checkingConType | TCM |
| checkingDom | TCM |
| checkingMutual | TCM |
| checkingMutualName | TCM |
| checkLet | TypeChecker |
| checkLetBody | TypeChecker |
| checkLetDef | TypeChecker |
| checkLevel | TypeChecker |
| checkOrInfer | TypeChecker |
| checkPair | TypeChecker |
| checkPattern | TypeChecker |
| checkPattern' | TypeChecker |
| checkPatterns | TypeChecker |
| checkPositivityGraph | Eval |
| checkRHS | TypeChecker |
| checkSize | TypeChecker |
| checkSmallType | TypeChecker |
| checkSpine | TypeChecker |
| checkSubtype | TypeChecker |
| checkTarget | TypeChecker |
| checkTele | TypeChecker |
| checkType | TypeChecker |
| Class | Abstract |
| classifyFields | Abstract |
| Clause | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | Concrete |
| 4 (Data Constructor) | Concrete |
| clause | Abstract |
| clauses | TCM |
| clauseToExpr | Eval |
| clearDotted | Abstract |
| clExpr | Abstract |
| Clos | Value |
| ClosToExpr | Eval |
| closToExpr | Eval |
| clPatterns | Abstract |
| clTele | Abstract |
| cmRing | Termination |
| CMSet | Termination |
| cName | Abstract |
| Co | Abstract |
| CoCons | Abstract |
| CoData | Lexer |
| coDomainDec | Abstract |
| coeff | Polarity |
| CoFun | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | TypeChecker |
| CoFunType | TypeChecker |
| CoInd | Abstract |
| Col | Lexer |
| col | SparseMatrix |
| coldescr | Warshall |
| collapse | Termination |
| collectCallsExpr | Termination |
| collectCGFunDecl | Termination |
| Collection | Collection |
| colon | PrettyTCM |
| cols | SparseMatrix |
| Comma | Lexer |
| comma | PrettyTCM |
| comp | Termination |
| compareArgs | Termination |
| compareExpr | Termination |
| compareExpr' | Termination |
| compareVar | Termination |
| compAssoc | Util |
| compatibleCP | Termination |
| CompCall | Termination |
| compDec | Abstract |
| complCGraph | Termination |
| completeP | Abstract |
| composable | Termination |
| compose | Polarity |
| compressMaybes | Util |
| compSubst | TypeChecker |
| computeConstructorTele | TypeChecker |
| con | Abstract |
| ConK | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| conKind | Abstract |
| conLType | TCM |
| conName | Concrete |
| ConP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| ConPars | TCM |
| conPars | TCM |
| Cons | Abstract |
| ConSig | TCM |
| consistencyCheck | TCM |
| Const | Polarity |
| Constraint | Warshall |
| Constraints | Warshall |
| constraints | TCM |
| Constrnt | Warshall |
| Constructor | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| 3 (Type/Class) | Concrete |
| 4 (Data Constructor) | Concrete |
| ConstructorInfo | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| constructors | TCM |
| conTel | Concrete |
| Context | TCM |
| context | TCM |
| Context2 | TCM |
| contextToTele | TypeChecker |
| conType | |
| 1 (Function) | Concrete |
| 2 (Function) | TCM |
| conView | Termination |
| coPat | Abstract |
| copyright | License |
| corePat | Abstract |
| CoSet | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| coToConK | Abstract |
| cPars | Abstract |
| cPatFam | Abstract |
| cRec | Abstract |
| ctorName | Abstract |
| ctorPars | Abstract |
| ctorType | Abstract |
| cTyCore | Abstract |
| cutoff | Termination |
| cxt | TCM |
| cxtApplyDec | TCM |
| CxtE | TCM |
| cxtEmpty | TCM |
| CxtEntry | |
| 1 (Data Constructor) | TCM |
| 2 (Type/Class) | TCM |
| CxtEntry1 | TCM |
| cxtLookupGen | TCM |
| cxtLookupName | TCM |
| cxtPush | TCM |
| cxtPush' | TCM |
| cxtPush2 | TCM |
| cxtPushEntry | TCM |
| cxtPushGen | TCM |
| cxtSetType | TCM |