Index - D
| dat | Abstract |
| Data | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | TCM |
| DataDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| dataKind | Abstract |
| dataName | TCM |
| dataPars | TCM |
| DataSig | TCM |
| DataView | TCM |
| dataView | TCM |
| DatK | Abstract |
| Dec | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| Decl | HsSyntax |
| Declaration | |
| 1 (Type/Class) | Abstract |
| 2 (Type/Class) | Concrete |
| decor | Abstract |
| Decoration | Abstract |
| Decr | Termination |
| decr | Termination |
| decrToward0 | Termination |
| Def | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| Default | Polarity |
| defaultDec | Abstract |
| defaultDomain | Abstract |
| defaultIrrDom | Abstract |
| defaultKind | Abstract |
| defaultPol | Polarity |
| defaultUpperDec | Abstract |
| DefClause | |
| 1 (Type/Class) | Concrete |
| 2 (Data Constructor) | Concrete |
| DefId | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| definingPat | TCM |
| definingVal | TCM |
| DefPat | Abstract |
| delete | Collection |
| demote | Polarity |
| Destructor | Abstract |
| destructorNames | Abstract |
| destructorNamesPresent | Abstract |
| diag | Termination |
| diagonal | SparseMatrix |
| diff | TreeShapedOrder |
| disambigCon | TCM |
| Doc | PrettyTCM |
| docNotLowerSemi | TypeChecker |
| doExtract | MainLib |
| Dom | Abstract |
| Domain | |
| 1 (Data Constructor) | Abstract |
| 2 (Type/Class) | Value |
| domain | TCM |
| domFromKinded | Abstract |
| doNf | TypeChecker |
| dontCare | TCM |
| doScopeCheck | MainLib |
| Dot | Lexer |
| dotConstructors | Abstract |
| DotFlex | |
| 1 (Type/Class) | TypeChecker |
| 2 (Data Constructor) | TypeChecker |
| DotIf | Abstract |
| dotIf | Abstract |
| DotP | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| doTranslate | MainLib |
| Dotted | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| DottedCons | TypeChecker |
| dottedPat | Abstract |
| dottedRef | Abstract |
| doTypeCheck | MainLib |
| doVParams | TypeChecker |
| doWhnf | TypeChecker |