DAlt | IRTS.Defunctionalise |
DApp | IRTS.Defunctionalise |
Data | Idris.Core.TT |
DataColour | Idris.Colours |
dataColour | Idris.Colours |
DataDoc | Idris.Docs |
DataErrRev | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dataI | Idris.ParseData, Idris.Parser |
DataMI | Idris.Core.Evaluate |
DataOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
DataOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dataOpts | Idris.ParseData, Idris.Parser |
DataOutput | Idris.Core.TT |
Datatype | Idris.Core.TT |
data_ | Idris.ParseData, Idris.Parser |
data_opts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
DbgLevel | IRTS.CodegenCommon |
DC | IRTS.Defunctionalise |
DCase | IRTS.Defunctionalise |
DChkCase | IRTS.Defunctionalise |
DCon | Idris.Core.TT |
DConCase | IRTS.Defunctionalise |
DConst | IRTS.Defunctionalise |
DConstCase | IRTS.Defunctionalise |
DConstructor | IRTS.Defunctionalise |
DDecl | IRTS.Defunctionalise |
DDefaultCase | IRTS.Defunctionalise |
DDefs | IRTS.Defunctionalise |
debind | Idris.DSL |
debindApp | Idris.DSL |
DEBUG | IRTS.CodegenCommon |
DebugInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
decl | Idris.Parser |
decl' | Idris.Parser |
declare | IRTS.Defunctionalise |
declared | Idris.AbsSyntaxTree, Idris.AbsSyntax |
declareFinalObjectArray | IRTS.Java.ASTBuilding |
declArgs | IRTS.Compiler |
decorateid | Idris.ElabDecls |
decoration | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Def | Idris.Core.Evaluate |
defaultAlt | IRTS.Bytecode |
DefaultCase | Idris.Core.CaseTree |
DefaultEliminator | Idris.AbsSyntaxTree, Idris.AbsSyntax |
defaultOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
DefaultPartial | Idris.AbsSyntaxTree, Idris.AbsSyntax |
defaultSyntax | Idris.AbsSyntaxTree, Idris.AbsSyntax |
defaultTheme | Idris.Colours |
DefaultTotal | Idris.AbsSyntaxTree, Idris.AbsSyntax |
default_access | Idris.AbsSyntaxTree, Idris.AbsSyntax |
default_total | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Defer | Idris.Core.ProofState, Idris.Core.Elaborate |
defer | Idris.Core.Elaborate |
deferred | Idris.Core.ProofState, Idris.Core.Elaborate |
DeferType | Idris.Core.ProofState, Idris.Core.Elaborate |
deferType | Idris.Core.Elaborate |
defer_totcheck | Idris.AbsSyntax |
defined | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Defn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
defunctionalise | IRTS.Defunctionalise |
delab | Idris.Delaborate |
delab' | Idris.Delaborate |
delabMV | Idris.Delaborate |
delabTy | Idris.Delaborate |
delabTy' | Idris.Delaborate |
DError | IRTS.Defunctionalise |
desugar | Idris.DSL |
DExp | IRTS.Defunctionalise |
DForeign | IRTS.Defunctionalise |
DFun | IRTS.Defunctionalise |
Dictionary | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dictionary | Idris.AbsSyntaxTree, Idris.AbsSyntax |
directive | Idris.Parser |
disallowImp | Idris.ParseExpr, Idris.Parser |
disamb | Idris.ParseExpr, Idris.Parser |
discard | Idris.Core.TT |
displayHelp | Idris.REPL |
DLet | IRTS.Defunctionalise |
DNothing | IRTS.Defunctionalise |
DoBind | Idris.AbsSyntaxTree, Idris.AbsSyntax |
DoBindP | Idris.AbsSyntaxTree, Idris.AbsSyntax |
doBlock | Idris.ParseExpr, Idris.Parser |
Doc | |
1 (Type/Class) | Idris.Docs |
2 (Data Constructor) | Idris.Docs |
docClass | Idris.Docs |
docComment | Idris.ParseHelpers, Idris.Parser |
docData | Idris.Docs |
docFun | Idris.Docs |
DocStr | Idris.AbsSyntaxTree, Idris.AbsSyntax |
DoExp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
DoLet | Idris.AbsSyntaxTree, Idris.AbsSyntax |
DoLetP | Idris.AbsSyntaxTree, Idris.AbsSyntax |
done | Idris.Core.ProofState, Idris.Core.Elaborate |
dontunify | Idris.Core.ProofState, Idris.Core.Elaborate |
DOp | IRTS.Defunctionalise |
DoProofSearch | Idris.AbsSyntaxTree, Idris.AbsSyntax |
doubleType | IRTS.Java.JTypes |
do_ | Idris.ParseExpr, Idris.Parser |
DProj | IRTS.Defunctionalise |
dropGiven | Idris.Core.ProofState, Idris.Core.Elaborate |
DSL | |
1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dsl | Idris.ParseData, Idris.Parser |
DSL' | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dsl_apply | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dsl_bind | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dsl_info | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dsl_lambda | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dsl_let | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dsl_pure | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dsl_return | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dsl_var | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dumpBC | IRTS.DumpBC |
DumpCases | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dumpDefaultInstance | Idris.REPL |
DumpDefun | Idris.AbsSyntaxTree, Idris.AbsSyntax |
dumpDefuns | IRTS.Defunctionalise |
dumpInstance | Idris.REPL |
dumpMethod | Idris.REPL |
dumpprobs | Idris.Core.Elaborate |
dumpState | Idris.Prover |
DUpdate | IRTS.Defunctionalise |
DV | IRTS.Defunctionalise |
Dynamic | Idris.AbsSyntaxTree, Idris.AbsSyntax |
DynamicLib | Util.DynamicLinker |
DynamicLink | Idris.AbsSyntaxTree, Idris.AbsSyntax |
d_cons | |
1 (Function) | Idris.Core.TT |
2 (Function) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
d_name | Idris.AbsSyntaxTree, Idris.AbsSyntax |
d_tcon | Idris.AbsSyntaxTree, Idris.AbsSyntax |
d_type | Idris.Core.TT |
d_typename | Idris.Core.TT |
d_typetag | Idris.Core.TT |