idris-0.9.17: Functional Programming Language with Dependent Types

Index - E

EAllIdris.AbsSyntaxTree, Idris.AbsSyntax
EDefnsIdris.AbsSyntaxTree, Idris.AbsSyntax
EditIdris.AbsSyntaxTree, Idris.AbsSyntax
editIdris.REPL
eEVALIRTS.Defunctionalise
EInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
eInfoNamesIdris.AbsSyntaxTree, Idris.AbsSyntax
EitherErrIdris.AbsSyntax
ElabIdris.Core.Elaborate
elabIdris.ElabTerm
Elab'Idris.Core.Elaborate
elabCaseBlockIdris.Elab.Utils
elabClassIdris.Elab.Class
elabClauseIdris.Elab.Clause
elabClausesIdris.Elab.Clause
ElabCtxt 
1 (Type/Class)Idris.ElabTerm
2 (Data Constructor)Idris.ElabTerm
ElabDIdris.AbsSyntaxTree, Idris.AbsSyntax
elabDataIdris.Elab.Data
ElabDebugIdris.Core.TT
elabDeclIdris.ElabDecls
elabDecl'Idris.ElabDecls
elabDeclsIdris.ElabDecls
elabDocTermsIdris.Elab.Value
elabFCIdris.AbsSyntaxTree, Idris.AbsSyntax
ElabInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
elabInstanceIdris.Elab.Instance
elabMainIdris.ElabDecls
ElabModeIdris.ElabTerm
elaborateIdris.Core.Elaborate
ElaboratingIdris.Core.TT
ElaboratingArgIdris.Core.TT
elaboratingArgErrIdris.ElabTerm
elaborating_appIdris.Core.Elaborate
elabPEIdris.Elab.Clause
elabPostulateIdris.Elab.Type
elabPrimsIdris.ElabDecls
elabProviderIdris.Elab.Provider
elabRecordIdris.Elab.Record
ElabResult 
1 (Type/Class)Idris.ElabTerm
2 (Data Constructor)Idris.ElabTerm
ElabStateIdris.Core.Elaborate
elabStepIdris.Prover
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.ElabTerm
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
environmentIRTS.CodegenCommon
envlenIdris.Core.TT
EnvTTIdris.Core.TT
envTupleTypeIdris.ElabTerm
eolIdris.ParseHelpers, Idris.Parser
eqConIdris.AbsSyntaxTree, Idris.AbsSyntax
eqDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
eqDocIdris.AbsSyntaxTree, Idris.AbsSyntax
eqOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
eqParamDocIdris.AbsSyntaxTree, Idris.AbsSyntax
eqPropIdris.ParseHelpers, 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
ErasureInfoIdris.Core.CaseTree
ERHSIdris.ElabTerm
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
ESIdris.Core.Elaborate
EState 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
ETyDeclIdris.ElabTerm
ETypesIdris.AbsSyntaxTree, Idris.AbsSyntax
EvalIdris.AbsSyntaxTree, Idris.AbsSyntax
EvalApplyIRTS.Defunctionalise
EvalCaseIRTS.Defunctionalise
evalDIRTS.Inliner
EvalExprIdris.AbsSyntaxTree, Idris.AbsSyntax
EvalInIdris.Core.ProofState, Idris.Core.Elaborate
eval_inIdris.Core.Elaborate
Exact 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
exactIdris.Core.Elaborate
ExampleIdris.Docstrings
execElabIdris.Core.Elaborate
execScriptIdris.REPL
ExecutableIRTS.CodegenCommon
ExecuteIdris.AbsSyntaxTree, Idris.AbsSyntax
executeIdris.Core.Execute
ExecValIdris.AbsSyntaxTree, Idris.AbsSyntax
existsConIdris.AbsSyntaxTree, Idris.AbsSyntax
ExpIdris.AbsSyntaxTree, Idris.AbsSyntax
expandDoIdris.DSL
ExpandLetIdris.Core.ProofState, Idris.Core.Elaborate
expandLetIdris.Core.Elaborate
expandNSIdris.AbsSyntaxTree, Idris.AbsSyntax
expandParamsIdris.AbsSyntax
expandParamsDIdris.AbsSyntax
ExpectedTypeIdris.Core.TT
explIdris.AbsSyntaxTree, Idris.AbsSyntax
explicitIdris.Core.Elaborate
ExplicitDIdris.PartialEval
explicitNamesIdris.Core.TT
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.ParseExpr, Idris.Parser
expr'Idris.ParseExpr, Idris.Parser
ExprArgIdris.Help
ExprTArgIdris.ParseExpr, Idris.Parser
ExtensionIdris.AbsSyntaxTree, Idris.AbsSyntax
extensionIdris.ParseExpr, Idris.Parser
extensionsIdris.ParseExpr, Idris.Parser
externalExprIdris.ParseExpr, Idris.Parser
ExternalIOIdris.Core.Evaluate
extractUnquotesIdris.ElabQuasiquote
extraHelpIdris.Help
e_guardedIdris.ElabTerm
e_inargIdris.ElabTerm
e_intypeIdris.ElabTerm
e_isfnIdris.ElabTerm
e_nomatchingIdris.ElabTerm
e_qqIdris.ElabTerm