idris-1.2.0: Functional Programming Language with Dependent Types

Index - E

EAbandonIdris.AbsSyntaxTree, Idris.AbsSyntax
EAllIdris.AbsSyntaxTree, Idris.AbsSyntax
ECheckIdris.AbsSyntaxTree, Idris.AbsSyntax
EDefnsIdris.AbsSyntaxTree, Idris.AbsSyntax
EditIdris.REPL.Commands
EDocStrIdris.AbsSyntaxTree, Idris.AbsSyntax
EEvalIdris.AbsSyntaxTree, Idris.AbsSyntax
eEVALIRTS.Defunctionalise
EImpossibleIdris.Elab.Term
EInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
eInfoNamesIdris.AbsSyntaxTree, Idris.AbsSyntax
EitherErrIdris.AbsSyntax
ElabIdris.Core.Elaborate
elabIdris.Elab.Term
Elab'Idris.Core.Elaborate
elabCaseBlockIdris.Elab.Utils
elabCatsIdris.Options
elabClauseIdris.Elab.Clause
elabClausesIdris.Elab.Clause
ElabCtxt 
1 (Type/Class)Idris.Elab.Term
2 (Data Constructor)Idris.Elab.Term
ElabDIdris.AbsSyntaxTree, Idris.AbsSyntax
elabDataIdris.Elab.Data
elabDeclIdris.ElabDecls
elabDecl'Idris.ElabDecls
elabDeclsIdris.ElabDecls
elabDocTermsIdris.Elab.Value
elabExecIdris.Elab.Value
elabExternIdris.Elab.Type
elabFCIdris.AbsSyntaxTree, Idris.AbsSyntax
elabImplementationIdris.Elab.Implementation
ElabInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
elabInterfaceIdris.Elab.Interface
elabMainIdris.ElabDecls
ElabModeIdris.Elab.Term
elaborateIdris.Core.Elaborate
ElaboratingIdris.Core.TT
ElaboratingArgIdris.Core.TT
elaboratingArgErrIdris.Elab.Term
elaborating_appIdris.Core.Elaborate
elabPEIdris.Elab.Clause
elabPostulateIdris.Elab.Type
elabPrimsIdris.ElabDecls
elabProviderIdris.Elab.Provider
elabRecordIdris.Elab.Record
ElabReflectionIdris.Options
elabREPLIdris.Elab.Value
ElabResult 
1 (Type/Class)Idris.Elab.Term
2 (Data Constructor)Idris.Elab.Term
elabRewriteIdris.Elab.Rewrite
elabRewriteLemmaIdris.Elab.Rewrite
elabRunElabIdris.Elab.RunElab
ElabScriptDebugIdris.Core.TT
ElabScriptStagingIdris.Core.TT
ElabScriptStuckIdris.Core.TT
ElabShellCmdIdris.AbsSyntaxTree, Idris.AbsSyntax
ElabStateIdris.Core.Elaborate
elabTransformIdris.Elab.Transform
elabTypeIdris.Elab.Type
elabType'Idris.Elab.Type
elabValIdris.Elab.Value
elabValBindIdris.Elab.Value
ElabWhatIdris.AbsSyntaxTree, Idris.AbsSyntax
elab_stackIdris.AbsSyntaxTree, Idris.AbsSyntax
ELHSIdris.Elab.Term
ElimNIdris.Core.TT
elogIdris.Core.Elaborate
emitWarningIdris.Output
EmphIdris.Docstrings
emptyContextIdris.Core.TT
emptyDocstringIdris.Docstrings
emptyFCIdris.Core.TT
EmptyMIIdris.Core.Evaluate
emptySyntaxRulesIdris.AbsSyntaxTree, Idris.AbsSyntax
EndiannessIRTS.Lang, IRTS.Defunctionalise
EndUnifyIdris.Core.ProofState, Idris.Core.Elaborate
end_unifyIdris.Core.Elaborate
EntityIdris.Docstrings
EnvIdris.Core.TT
envAtFocusIdris.Core.ProofState, Idris.Core.Elaborate
envBindersIdris.Core.TT
envlenIdris.Core.TT
EnvTTIdris.Core.TT
envTupleTypeIdris.Reflection
envZeroIdris.Core.TT
eolIdris.Parser.Helpers
EProofStateIdris.AbsSyntaxTree, Idris.AbsSyntax
EProofTermIdris.AbsSyntaxTree, Idris.AbsSyntax
eqConIdris.AbsSyntaxTree, Idris.AbsSyntax
eqDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
eqDocIdris.AbsSyntaxTree, Idris.AbsSyntax
EQEDIdris.AbsSyntaxTree, Idris.AbsSyntax
eqOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
eqParamDocIdris.AbsSyntaxTree, Idris.AbsSyntax
eqTyIdris.AbsSyntaxTree, Idris.AbsSyntax
Equiv 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
equivIdris.Core.Elaborate
ErasedIdris.Core.TT
erasureIdris.Reflection
ErasureInfoIdris.Core.CaseTree
ERHSIdris.Elab.Term
ErrIdris.Core.TT
Err'Idris.Core.TT
errAtIdris.Core.Elaborate
ErrContext 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.Options
errContextIdris.AbsSyntax
errEnvIdris.Core.Typecheck
ERRORIRTS.Bytecode
ErrorIdris.Core.TT
ErrorHandlerIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrorReduceIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrorReflectionIdris.Options
ErrorReportPartIdris.Core.TT
ErrorReverseIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrPPrintIdris.IdeMode
errReverseIdris.ErrReverse
errSpanIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrStringIdris.IdeMode
erunIdris.Core.Elaborate
erunAuxIdris.Core.Elaborate
ESIdris.Core.Elaborate
ESearchIdris.AbsSyntaxTree, Idris.AbsSyntax
EState 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
ETransLHSIdris.Elab.Term
ETyDeclIdris.Elab.Term
ETypesIdris.AbsSyntaxTree, Idris.AbsSyntax
EUndoIdris.AbsSyntaxTree, Idris.AbsSyntax
EvalIdris.REPL.Commands
EvalApplyIRTS.Defunctionalise
EvalCaseIRTS.Defunctionalise
evalDIRTS.Inliner
EvalExprIdris.Options
EvalInIdris.Core.ProofState, Idris.Core.Elaborate
EvalTypesIdris.Options
eval_inIdris.Core.Elaborate
Exact 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
exactIdris.Core.Elaborate
ExactlyOneIdris.AbsSyntaxTree, Idris.AbsSyntax
ExampleIdris.Docstrings
execElabIdris.Core.Elaborate
execoutIdris.Package.Common
ExecutableIRTS.CodegenCommon
ExecuteIdris.REPL.Commands
executeIdris.Core.Execute
ExecValIdris.REPL.Commands
ExpIdris.AbsSyntaxTree, Idris.AbsSyntax
expandImplementationScopeIdris.AbsSyntax
ExpandLetIdris.Core.ProofState, Idris.Core.Elaborate
expandLetIdris.Core.Elaborate
expandNSIdris.AbsSyntaxTree, Idris.AbsSyntax
expandParamsIdris.AbsSyntax
expandParamsDIdris.AbsSyntax
expArgIdris.AbsSyntax
ExpectedTypeIdris.Core.TT
explIdris.AbsSyntaxTree, Idris.AbsSyntax
explicitIdris.Core.Elaborate
ExplicitDIdris.PartialEval
explicitNamesIdris.Core.TT
explicitPiIdris.Parser.Expr
ExplicitSIdris.PartialEval
expl_linearIdris.AbsSyntaxTree, Idris.AbsSyntax
expl_paramIdris.AbsSyntaxTree, Idris.AbsSyntax
Export 
1 (Data Constructor)IRTS.Lang, IRTS.Defunctionalise
2 (Type/Class)IRTS.Lang, IRTS.Defunctionalise
ExportDataIRTS.Lang, IRTS.Defunctionalise
exportDeclsIRTS.CodegenCommon
ExportFunIRTS.Lang, IRTS.Defunctionalise
ExportIFaceIRTS.Lang, IRTS.Defunctionalise
ExprIdris.AbsSyntaxTree, Idris.AbsSyntax
exprIdris.Parser.Expr
expr'Idris.Parser.Expr
ExprArgIdris.Help
ExprTArgIdris.Parser.Expr
ExtensionIdris.Options
extensionIdris.Parser.Expr
extensionsIdris.Parser.Expr
extentIdris.Parser.Stack, Idris.Parser.Helpers
externalExprIdris.Parser.Expr
ExternalIOIdris.Core.Evaluate
extractUnquotesIdris.Elab.Quasiquote
extraHelpIdris.Help
extraRunTimeIRTS.JavaScript.Codegen
e_guardedIdris.Elab.Term
e_inargIdris.Elab.Term
e_intypeIdris.Elab.Term
e_isfnIdris.Elab.Term
e_nomatchingIdris.Elab.Term
e_qqIdris.Elab.Term