| 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 | Idris.Core.Elaborate |
| elab | Idris.ElabTerm |
| Elab' | Idris.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 |
| elabEliminator | Idris.ElabDecls |
| ElabInfo | Idris.ElabTerm |
| elabInstance | Idris.ElabDecls |
| elaborate | Idris.Core.Elaborate |
| Elaborating | Idris.Core.TT |
| elabPE | Idris.ElabDecls |
| elabPostulate | Idris.ElabDecls |
| elabPrims | Idris.ElabDecls |
| elabProvider | Idris.ElabDecls |
| elabRecord | Idris.ElabDecls |
| ElabState | Idris.Core.Elaborate |
| elabStep | Idris.Prover |
| elabTransform | Idris.ElabDecls |
| elabType | Idris.ElabDecls |
| elabType' | Idris.ElabDecls |
| elabVal | Idris.ElabDecls |
| elabValBind | Idris.ElabDecls |
| ElabWhat | Idris.ElabDecls |
| elimDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| EliminatorState | Idris.ElabDecls |
| elimMethElim | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| elimMethElimTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ElimN | Idris.Core.TT |
| elimName | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| elog | Idris.Core.Elaborate |
| emptyContext | Idris.Core.TT |
| emptyFC | Idris.Core.TT |
| EmptyMI | Idris.Core.Evaluate |
| Endianness | IRTS.Lang, IRTS.Defunctionalise |
| EndUnify | Idris.Core.ProofState, Idris.Core.Elaborate |
| end_unify | Idris.Core.Elaborate |
| Env | Idris.Core.TT |
| envAtFocus | Idris.Core.ProofState, Idris.Core.Elaborate |
| environment | IRTS.CodegenCommon |
| envlen | Idris.Core.TT |
| EnvTT | Idris.Core.TT |
| envTupleType | Idris.ElabTerm |
| eol | Idris.ParseHelpers, Idris.Parser |
| eqCon | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| eqDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| eqOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| eqProp | Idris.ParseHelpers, Idris.Parser |
| eqTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Equiv | |
| 1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| equiv | Idris.Core.Elaborate |
| Erased | Idris.Core.TT |
| Err | Idris.Core.TT |
| Err' | Idris.Core.TT |
| errAt | Idris.Core.Elaborate |
| ErrContext | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| errContext | Idris.AbsSyntax |
| errEnv | Idris.Core.Typecheck |
| errLine | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ERROR | IRTS.Bytecode |
| Error | Idris.Core.TC, Idris.Core.TT |
| ErrorHandler | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ErrorReflection | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ErrorReportPart | Idris.Core.TT |
| ErrorReverse | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| errReverse | Idris.ErrReverse |
| erun | Idris.Core.Elaborate |
| ES | Idris.Core.Elaborate |
| ETypes | Idris.ElabDecls |
| Eval | |
| 1 (Data Constructor) | Idris.Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| EvalApply | IRTS.Defunctionalise |
| EvalCase | IRTS.Defunctionalise |
| evalD | IRTS.Inliner |
| EvalIn | Idris.Core.ProofState, Idris.Core.Elaborate |
| eval_in | Idris.Core.Elaborate |
| Exact | |
| 1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| exact | Idris.Core.Elaborate |
| exceptionType | IRTS.Java.JTypes |
| execElab | Idris.Core.Elaborate |
| execScript | Idris.REPL |
| Executable | IRTS.CodegenCommon |
| Execute | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| execute | Idris.Core.Execute |
| ExecVal | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| existsCon | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Exp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| expandDo | Idris.DSL |
| ExpandLet | Idris.Core.ProofState, Idris.Core.Elaborate |
| expandLet | Idris.Core.Elaborate |
| expandNS | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| expandParams | Idris.AbsSyntax |
| expandParamsD | Idris.AbsSyntax |
| expl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| explicit | Idris.Core.Elaborate |
| ExplicitD | Idris.PartialEval |
| explicitNames | Idris.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 |