Index - D
| DATA | FreeC.Frontend.IR.Token |
| Data | FreeC.Backend.Agda.Syntax |
| DataDecl | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| dataDecl | FreeC.Backend.Agda.Syntax |
| dataDeclCons | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| DataDef | FreeC.Backend.Agda.Syntax |
| DataEntry | FreeC.Environment.Entry |
| DataOrRecord | FreeC.Backend.Agda.Syntax |
| DataSig | FreeC.Backend.Agda.Syntax |
| Debug | FreeC.Monad.Reporter |
| DecArgIndex | FreeC.Backend.Coq.Analysis.DecreasingArguments |
| DecArgPragma | FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax |
| decArgPragmaArg | FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax |
| decArgPragmaFuncName | FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax |
| Declaration | FreeC.Backend.Agda.Syntax |
| DeclIdent | |
| 1 (Type/Class) | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| declIdent | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| declIdentName | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| declIdentSrcSpan | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| declName | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| declQName | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| decreasing | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| defaultArg | FreeC.Backend.Agda.Syntax |
| defaultArgInfo | FreeC.Backend.Agda.Syntax |
| defaultCohesion | FreeC.Backend.Agda.Syntax |
| defaultFixity | FreeC.Backend.Agda.Syntax |
| defaultImportDir | FreeC.Backend.Agda.Syntax |
| defaultModality | FreeC.Backend.Agda.Syntax |
| defaultNamedArg | FreeC.Backend.Agda.Syntax |
| defaultQuantity | FreeC.Backend.Agda.Syntax |
| defaultRelevance | FreeC.Backend.Agda.Syntax |
| defineDecArg | FreeC.Environment |
| defineFuncDeclsPass | FreeC.Pass.DefineDeclPass |
| defineTypeDeclsPass | FreeC.Pass.DefineDeclPass |
| Definition | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Type/Class) | FreeC.Backend.Coq.Syntax |
| DefinitionDef | FreeC.Backend.Coq.Syntax |
| DefinitionSentence | FreeC.Backend.Coq.Syntax |
| definitionSentence | FreeC.Backend.Coq.Syntax |
| Delayed | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| dependencyAnalysisPass | FreeC.Pass.DependencyAnalysisPass |
| DependencyAwarePass | FreeC.Pass.DependencyAnalysisPass |
| DependencyComponent | FreeC.IR.DependencyGraph |
| dependencyComponents | FreeC.IR.DependencyGraph |
| DependencyGraph | |
| 1 (Type/Class) | FreeC.IR.DependencyGraph |
| 2 (Data Constructor) | FreeC.IR.DependencyGraph |
| dependsDirectlyOn | FreeC.IR.DependencyGraph |
| DepRetType | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| DepthMap | FreeC.Backend.Coq.Analysis.DecreasingArguments |
| depthMapAt | FreeC.Backend.Coq.Analysis.DecreasingArguments |
| dgEntries | FreeC.IR.DependencyGraph |
| DGEntry | FreeC.IR.DependencyGraph |
| dgGetEntry | FreeC.IR.DependencyGraph |
| dgGetVertex | FreeC.IR.DependencyGraph |
| dgGraph | FreeC.IR.DependencyGraph |
| DGKey | FreeC.IR.DependencyGraph |
| Direction | FreeC.Backend.Coq.Syntax |
| disj | FreeC.Backend.Coq.Syntax |
| displayB | FreeC.Pretty |
| displayIO | FreeC.Pretty |
| DisplayPragma | FreeC.Backend.Agda.Syntax |
| displayT | FreeC.Pretty |
| displayTStrict | FreeC.Pretty |
| DoBind | FreeC.Backend.Agda.Syntax |
| DoBlock | FreeC.Backend.Agda.Syntax |
| Doc | FreeC.Pretty |
| DoLet | FreeC.Backend.Agda.Syntax |
| DomainFree | FreeC.Backend.Agda.Syntax |
| DomainFull | FreeC.Backend.Agda.Syntax |
| DontCare | FreeC.Backend.Agda.Syntax |
| DontOpen | FreeC.Backend.Agda.Syntax |
| DoOpen | FreeC.Backend.Agda.Syntax |
| DoStmt | FreeC.Backend.Agda.Syntax |
| Dot | |
| 1 (Data Constructor) | FreeC.Frontend.IR.Token |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| dot | FreeC.Pretty |
| DoThen | FreeC.Backend.Agda.Syntax |
| DotP | FreeC.Backend.Agda.Syntax |
| double | FreeC.Pretty |
| DoubleColon | FreeC.Frontend.IR.Token |
| DoubleDot | FreeC.Backend.Agda.Syntax |
| dquote | FreeC.Pretty |
| dquotes | FreeC.Pretty |