| EA | Idris.ElabDecls |
| EAll | Idris.ElabDecls |
| EDefns | Idris.ElabDecls |
| Edit | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| edit | Idris.REPL |
| eEVAL | IRTS.Defunctionalise |
| EInfo | Idris.ElabTerm |
| EitherErr | Idris.AbsSyntax |
| Elab | Core.Elaborate |
| elab | Idris.ElabTerm |
| Elab' | Core.Elaborate |
| elabCaseBlock | Idris.ElabDecls |
| elabClass | Idris.ElabDecls |
| elabClause | Idris.ElabDecls |
| elabClauses | Idris.ElabDecls |
| elabCon | Idris.ElabDecls |
| ElabD | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| elabData | Idris.ElabDecls |
| elabDecl | Idris.ElabDecls |
| elabDecl' | Idris.ElabDecls |
| elabDecls | Idris.ElabDecls |
| ElabInfo | Idris.ElabTerm |
| elabInstance | Idris.ElabDecls |
| elaborate | Core.Elaborate |
| Elaborating | Core.TT |
| elabPE | Idris.ElabDecls |
| elabPostulate | Idris.ElabDecls |
| elabPrims | Idris.ElabDecls |
| elabProvider | Idris.ElabDecls |
| elabRecord | Idris.ElabDecls |
| ElabState | Core.Elaborate |
| elabStep | Idris.Prover |
| elabTransform | Idris.ElabDecls |
| elabType | Idris.ElabDecls |
| elabType' | Idris.ElabDecls |
| elabVal | Idris.ElabDecls |
| elabValBind | Idris.ElabDecls |
| ElabWhat | Idris.ElabDecls |
| elog | Core.Elaborate |
| empty | Util.Pretty |
| emptyContext | Core.TT |
| emptyFC | Core.TT |
| EndUnify | Core.ProofState, Core.Elaborate |
| end_unify | Core.Elaborate |
| Env | Core.TT |
| envAtFocus | Core.ProofState, Core.Elaborate |
| environment | IRTS.CodegenCommon |
| envlen | Core.TT |
| EnvTT | Core.TT |
| envTupleType | Idris.ElabTerm |
| eol | Idris.ParseHelpers, Idris.Parser |
| eqCon | Idris.AbsSyntax |
| eqDecl | Idris.AbsSyntax |
| eqProp | Idris.ParseHelpers, Idris.Parser |
| eqTy | Idris.AbsSyntax |
| equals | Util.Pretty |
| Equiv | |
| 1 (Data Constructor) | Core.ProofState, Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| equiv | Core.Elaborate |
| Erased | Core.TT |
| Err | Core.TT |
| errAt | Core.Elaborate |
| ErrContext | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| errContext | Idris.AbsSyntax |
| errEnv | Core.Typecheck |
| errLine | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ERROR | IRTS.Bytecode |
| Error | Core.TT |
| ErrorReflection | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| erun | Core.Elaborate |
| ES | Core.Elaborate |
| ETypes | Idris.ElabDecls |
| Eval | |
| 1 (Data Constructor) | Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| EvalApply | IRTS.Defunctionalise |
| EvalCase | IRTS.Defunctionalise |
| evalD | IRTS.Inliner |
| EvalIn | Core.ProofState, Core.Elaborate |
| eval_in | Core.Elaborate |
| Exact | |
| 1 (Data Constructor) | Core.ProofState, Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| exact | Core.Elaborate |
| exceptionType | IRTS.Java.JTypes |
| execElab | Core.Elaborate |
| execout | Pkg.PParser |
| execScript | Idris.REPL |
| Executable | IRTS.CodegenCommon |
| Execute | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| execute | Core.Execute |
| ExecVal | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| existsCon | Idris.AbsSyntax |
| Exp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| expandDo | Idris.DSL |
| ExpandLet | Core.ProofState, Core.Elaborate |
| expandLet | Core.Elaborate |
| expandNS | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| expandParams | Idris.AbsSyntax |
| expandParamsD | Idris.AbsSyntax |
| expl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ExplicitD | Idris.PartialEval |
| explicitNames | Core.TT |
| ExplicitS | Idris.PartialEval |
| expl_param | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Expr | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| expr | Idris.ParseExpr, Idris.Parser |
| expr' | Idris.ParseExpr, Idris.Parser |
| ExprArg | Idris.Help |
| extendWithNull | IRTS.Java.ASTBuilding |
| Extension | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| extension | Idris.ParseExpr, Idris.Parser |
| extensions | Idris.ParseExpr, Idris.Parser |
| externalExpr | Idris.ParseExpr, Idris.Parser |
| extraHelp | Idris.Help |