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 |