idris-0.12.2: 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.AbsSyntaxTree, Idris.AbsSyntax
EDocStrIdris.AbsSyntaxTree, Idris.AbsSyntax
EEvalIdris.AbsSyntaxTree, Idris.AbsSyntax
eEVALIRTS.Defunctionalise
EInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
eInfoNamesIdris.AbsSyntaxTree, Idris.AbsSyntax
EitherErrIdris.AbsSyntax
ElabIdris.Core.Elaborate
elabIdris.Elab.Term
Elab'Idris.Core.Elaborate
elabCaseBlockIdris.Elab.Utils
elabCatsIdris.AbsSyntaxTree, Idris.AbsSyntax
elabClassIdris.Elab.Class
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
ElabInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
elabInstanceIdris.Elab.Instance
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
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
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
envlenIdris.Core.TT
EnvTTIdris.Core.TT
envTupleTypeIdris.Reflection
eolIdris.Parser.Helpers, Idris.Parser
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
eqPropIdris.Parser.Helpers, Idris.Parser
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.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
errContextIdris.AbsSyntax
errEnvIdris.Core.Typecheck
ERRORIRTS.Bytecode
ErrorIdris.Core.TT
ErrorHandlerIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrorReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
EvalApplyIRTS.Defunctionalise
EvalCaseIRTS.Defunctionalise
evalDIRTS.Inliner
EvalExprIdris.AbsSyntaxTree, Idris.AbsSyntax
EvalInIdris.Core.ProofState, Idris.Core.Elaborate
EvalTypesIdris.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
executeIdris.Core.Execute
ExecValIdris.AbsSyntaxTree, Idris.AbsSyntax
ExpIdris.AbsSyntaxTree, Idris.AbsSyntax
expandInstanceScopeIdris.AbsSyntax
ExpandLetIdris.Core.ProofState, Idris.Core.Elaborate
expandLetIdris.Core.Elaborate
expandNSIdris.AbsSyntaxTree, Idris.AbsSyntax
expandParamsIdris.AbsSyntax
expandParamsDIdris.AbsSyntax
expandSugarIdris.DSL
expArgIdris.AbsSyntax
ExpectedTypeIdris.Core.TT
explIdris.AbsSyntaxTree, Idris.AbsSyntax
explicitIdris.Core.Elaborate
ExplicitDIdris.PartialEval
explicitNamesIdris.Core.TT
explicitPiIdris.Parser.Expr, Idris.Parser
ExplicitSIdris.PartialEval
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, Idris.Parser
expr'Idris.Parser.Expr, Idris.Parser
ExprArgIdris.Help
ExprTArgIdris.Parser.Expr, Idris.Parser
ExtensionIdris.AbsSyntaxTree, Idris.AbsSyntax
extensionIdris.Parser.Expr, Idris.Parser
extensionsIdris.Parser.Expr, Idris.Parser
externalDeclIdris.Parser
externalExprIdris.Parser.Expr, Idris.Parser
ExternalIOIdris.Core.Evaluate
extractUnquotesIdris.Elab.Quasiquote
extraHelpIdris.Help
e_guardedIdris.Elab.Term
e_inargIdris.Elab.Term
e_intypeIdris.Elab.Term
e_isfnIdris.Elab.Term
e_nomatchingIdris.Elab.Term
e_qqIdris.Elab.Term