idris-1.1.0: Functional Programming Language with Dependent Types

Index

AbandonIdris.AbsSyntaxTree, Idris.AbsSyntax
accDataIdris.Parser.Helpers, Idris.Parser
AccessibilityIdris.Core.Evaluate
accessibilityIdris.Parser.Helpers, Idris.Parser
accessibility'Idris.Parser.Helpers, Idris.Parser
addAccIdris.Parser.Helpers, Idris.Parser
addAlistIdris.Core.TT
addAppsIRTS.Defunctionalise
addAutoHintIdris.AbsSyntax
addAutoImportIdris.AbsSyntax
addBinderIdris.Core.TT
addCallsIdris.AbsSyntax
addCasedefIdris.Core.Evaluate
addCGAllNamesIdris.AbsSyntax
AddClauseIdris.IdeMode
AddClauseFromIdris.REPL.Commands
addClauseFromIdris.Interactive
addCoercionIdris.AbsSyntax
addConstraintsIdris.AbsSyntax
addCtxtDefIdris.Core.Evaluate
addDatatypeIdris.Core.Evaluate
addDefIdris.Core.TT
addDeferredIdris.AbsSyntax
addDeferred'Idris.AbsSyntax
addDeferredTyConIdris.AbsSyntax
addDefinedNameIdris.AbsSyntax
addDeprecatedIdris.AbsSyntax
addDocStrIdris.AbsSyntax
addDyLibIdris.AbsSyntax
addErasureUsageIdris.AbsSyntax
addErrReduceIdris.AbsSyntax
addErrRevIdris.AbsSyntax
addExportIdris.AbsSyntax
addFlagIdris.AbsSyntax
addFnIRTS.Lang, IRTS.Defunctionalise
addFnOptIdris.AbsSyntax
addFragileIdris.AbsSyntax
addFunctionErrorHandlersIdris.AbsSyntax
addHdrIdris.AbsSyntax
addHidesIdris.Parser
addIBCIdris.AbsSyntax
addImplIdris.AbsSyntax
addImpl'Idris.AbsSyntax
addImplBoundIdris.AbsSyntax
addImplBoundInfIdris.AbsSyntax
addImplementationIdris.AbsSyntax
addImplPatIdris.AbsSyntax
addImportDirIdris.AbsSyntax
addImportedIdris.AbsSyntax
addInterfaceIdris.AbsSyntax
addInternalAppIdris.AbsSyntax
addLangExtIdris.AbsSyntax
addLibIdris.AbsSyntax
AddMissing 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
addMissingIdris.Interactive
addNameHintIdris.AbsSyntax
addNameIdxIdris.AbsSyntax
addNameIdx'Idris.AbsSyntax
addObjectFileIdris.AbsSyntax
addOpenImplIdris.AbsSyntax
addOperatorIdris.Core.Evaluate
AddOptIdris.Options
addOptimiseIdris.AbsSyntax
AddProofIdris.REPL.Commands
AddProofClauseIdris.IdeMode
AddProofClauseFromIdris.REPL.Commands
addProofClauseFromIdris.Interactive
addPSnameIdris.Core.Elaborate
addRecordIdris.AbsSyntax
addReplSyntaxIdris.Parser
addSourceDirIdris.AbsSyntax
addStaticsIdris.AbsSyntax
addSyntaxIdris.Parser
addTagsIRTS.Lang, IRTS.Defunctionalise
addToCGIdris.AbsSyntax
addToCtxtIdris.Core.Evaluate
ADDTOPIRTS.Bytecode
addToUsingIdris.AbsSyntax
addTransIdris.AbsSyntax
addTTIdris.AbsSyntax
addTyDeclIdris.Core.Evaluate
addTyInfConstraintsIdris.AbsSyntax
addTyInferredIdris.AbsSyntax
addUsedNameIdris.AbsSyntax
addUsingConstraintsIdris.AbsSyntax
addUsingImplsIdris.AbsSyntax
aiFnIdris.AbsSyntax
allCallsIdris.AbsSyntaxTree, Idris.AbsSyntax
AllGuardedIdris.AbsSyntaxTree, Idris.AbsSyntax
allHelpIdris.REPL.Parser
allImportDirsIdris.AbsSyntax
allNamesIdris.AbsSyntax
allNamesInIdris.AbsSyntaxTree, Idris.AbsSyntax
allNothingIdris.Termination
allocUniqueIRTS.Lang, IRTS.Defunctionalise
allowConstrIdris.Parser.Expr, Idris.Parser
allowImpIdris.Parser.Expr, Idris.Parser
allSourceDirsIdris.AbsSyntax
allTTNamesIdris.Core.TT
AllTypesIdris.Core.TT
AlreadyDefinedIdris.Core.TT
altIdris.Parser.Expr, Idris.Parser
AltsTArgIdris.Parser.Expr, Idris.Parser
AlwaysShowIdris.AbsSyntaxTree, Idris.AbsSyntax
AnnAntiquoteIdris.Core.TT
AnnBoundNameIdris.Core.TT
AnnConstIdris.Core.TT
AnnDataIdris.Core.TT
AnnErrIdris.Core.TT
AnnFCIdris.Core.TT
AnnKeywordIdris.Core.TT
AnnLinkIdris.Core.TT
AnnNameIdris.Core.TT
annNameIdris.Delaborate
AnnNamespaceIdris.Core.TT
annotationColourIdris.AbsSyntaxTree, Idris.AbsSyntax
annotCodeIdris.Docstrings
AnnQuasiquoteIdris.Core.TT
AnnSearchResultIdris.Core.TT
AnnTermIdris.Core.TT
AnnTextFmtIdris.Core.TT
AnnTypeIdris.Core.TT
AnySyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
AppIdris.Core.TT
appIdris.Parser.Expr, Idris.Parser
applyIdris.Core.Elaborate
apply'Idris.Core.Elaborate
apply2Idris.Core.Elaborate
Apply2CaseIRTS.Defunctionalise
ApplyCaseIRTS.Defunctionalise
applyOptsIdris.DataOpts
ApplyTacticIdris.AbsSyntaxTree, Idris.AbsSyntax
applyTransRulesIdris.Transforms
applyTransRulesWithIdris.Transforms
apply_elabIdris.Core.Elaborate
AppStatusIdris.Core.TT
Apropos 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
aproposIdris.Apropos
aproposModulesIdris.Apropos
arg 
1 (Function)Idris.Core.Elaborate
2 (Function)Idris.Parser.Expr, Idris.Parser
argExprIdris.Parser
argNameIdris.Reflection
ArgOptIdris.AbsSyntaxTree, Idris.AbsSyntax
argoptsIdris.AbsSyntaxTree, Idris.AbsSyntax
argPlicityIdris.Reflection
argTyIdris.Reflection
ArithTyIdris.Core.TT
arityIdris.Core.TT
AssertTotalIdris.AbsSyntaxTree, Idris.AbsSyntax
ASSIGNIRTS.Bytecode
assignIRTS.Bytecode
ASSIGNCONSTIRTS.Bytecode
AtIdris.Core.TT
ATFloatIdris.Core.TT
atHoleIdris.Core.ProofTerm
ATIntIdris.Core.TT
Attack 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
attackIdris.Core.Elaborate
ATypeIdris.Core.TT
AuditIPkgIdris.Options
auditPackageIdris.Package
AutoArgIdris.Core.ProofState, Idris.Core.Elaborate
autoArgIdris.Core.Elaborate
AutoHintIdris.AbsSyntaxTree, Idris.AbsSyntax
autoImplicitIdris.Parser.Expr, Idris.Parser
AutomaticWidthIdris.Options
autosIdris.Core.ProofState, Idris.Core.Elaborate
AutoSolveIdris.Options
AutoWidthIdris.Options
auto_bindsIdris.AbsSyntaxTree, Idris.AbsSyntax
B16Idris.Core.TT
B32Idris.Core.TT
B64Idris.Core.TT
B8Idris.Core.TT
backtickIdris.Parser.Ops, Idris.Parser
bannerIdris.ModeCommon
basenameIdris.AbsSyntaxTree, Idris.AbsSyntax
BASETOPIRTS.Bytecode
BC 
1 (Type/Class)IRTS.Bytecode
2 (Type/Class)IRTS.BCImp
bc 
1 (Function)IRTS.Bytecode
2 (Function)IRTS.BCImp
BCAsmIdris.Options
BEIRTS.Lang, IRTS.Defunctionalise
BelieveMeIdris.Core.Evaluate
BIIdris.Core.TT
biIdris.AbsSyntaxTree, Idris.AbsSyntax
BiggerIdris.AbsSyntaxTree, Idris.AbsSyntax
binaryIdris.Parser.Ops, Idris.Parser
BindIdris.Core.TT
bindAllIdris.Core.TT
BinderIdris.Core.TT
binderCountIdris.Core.TT
binderImplIdris.Core.TT
binderKindIdris.Core.TT
binderTyIdris.Core.TT
binderValIdris.Core.TT
BindingIdris.AbsSyntaxTree, Idris.AbsSyntax
bindingOfIdris.Core.TT
bindListIdris.Parser.Helpers, Idris.Parser
bindsymbolIdris.Parser.Expr, Idris.Parser
bindTyArgsIdris.Core.TT
BlockIdris.Docstrings
BlockquoteIdris.Docstrings
boldIdris.Colours
BoldTextIdris.Core.TT
BoolAtomIdris.IdeMode
BoundIdris.Core.TT
boundNamesInIdris.AbsSyntaxTree, Idris.AbsSyntax
BoundVarColourIdris.Colours
boundVarColourIdris.Colours
bound_inIdris.Core.ProofTerm
bound_in_termIdris.Core.ProofTerm
brace_stackIdris.AbsSyntaxTree, Idris.AbsSyntax
bracketedIdris.Parser.Expr, Idris.Parser
bracketed'Idris.Parser.Expr, Idris.Parser
bracketedExprIdris.Parser.Expr, Idris.Parser
BrowseIdris.REPL.Commands
BrowseNSIdris.IdeMode
bugaddrIdris.Delaborate
buildIdris.Elab.Term
buildDatatypesIdris.Reflection
buildFunDefnsIdris.Reflection
buildModsIdris.Package
buildPkgIdris.Package
buildSCGIdris.Termination
buildSCG'Idris.Termination
buildTCIdris.Elab.Term
buildTreeIdris.Chaser
buildTypeIdris.Elab.Type
ByReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
BytecodeIdris.Options
cafIdris.Parser
calcTotalityIdris.Termination
CALLIRTS.Bytecode
callsIdris.AbsSyntaxTree, Idris.AbsSyntax
CallsWho 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
callsWhoIdris.WhoCalls
canBeDConNameIdris.Core.Evaluate
CantConvertIdris.Core.TT
CantInferTypeIdris.Core.TT
CantIntroduceIdris.Core.TT
CantMatchIdris.Core.TT
CantResolveIdris.Core.TT
CantResolveAltsIdris.Core.TT
CantSolveGoalIdris.Core.TT
CantUnifyIdris.Core.TT
CASEIRTS.Bytecode
CaseIdris.Core.CaseTree
CaseAltIdris.Core.CaseTree
caseAltIRTS.Bytecode
CaseAlt'Idris.Core.CaseTree
CaseDef 
1 (Type/Class)Idris.Core.CaseTree
2 (Data Constructor)Idris.Core.CaseTree
CaseDefs 
1 (Type/Class)Idris.Core.Evaluate
2 (Data Constructor)Idris.Core.Evaluate
caseExprIdris.Parser.Expr, Idris.Parser
CaseInfo 
1 (Type/Class)Idris.Core.Evaluate
2 (Data Constructor)Idris.Core.Evaluate
CaseNIdris.Core.TT
caseNameIdris.Core.TT
CaseOpIdris.Core.Evaluate
caseOptionIdris.Parser.Expr, Idris.Parser
CaseSplitIdris.IdeMode
CaseSplitAtIdris.REPL.Commands
caseSplitAtIdris.Interactive
cases_compiletimeIdris.Core.Evaluate
cases_runtimeIdris.Core.Evaluate
CaseTac 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
casetacIdris.Core.Elaborate
CaseTreeIdris.Core.CaseTree
CaseTypeIdris.Core.CaseTree
case_Idris.Elab.Term
case_alwaysinlineIdris.Core.Evaluate
case_declsIdris.AbsSyntaxTree, Idris.AbsSyntax
case_inlinableIdris.Core.Evaluate
catchErrorIdris.AbsSyntaxTree, Idris.AbsSyntax
catchIOUtil.System
CExportIdris.AbsSyntaxTree, Idris.AbsSyntax
CGConf 
1 (Type/Class)IRTS.JavaScript.Codegen
2 (Data Constructor)IRTS.JavaScript.Codegen
CGInfo 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
CGStats 
1 (Type/Class)IRTS.JavaScript.Codegen
2 (Data Constructor)IRTS.JavaScript.Codegen
cg_usedposIdris.ASTUtils
ChIdris.Core.TT
ChangeDirectoryIdris.REPL.Commands
charIdris.Parser.Helpers, Idris.Parser
charLiteralIdris.Parser.Helpers, Idris.Parser
CheckIdris.REPL.Commands
checkIdris.Core.Typecheck
check'Idris.Core.Typecheck
checkAddDefIdris.Elab.Utils
checkAllCoveringIdris.Termination
checkDeclFixityIdris.Parser.Ops, Idris.Parser
checkDeclTotalityIdris.Termination
checkDefIdris.Elab.Utils
checkDeprecatedIdris.Elab.Utils
checkDocsIdris.Elab.Utils
checkDocstringIdris.Docstrings
checkDSLIdris.Parser.Data, Idris.Parser
CheckedIdris.Docstrings
checkFragileIdris.Elab.Utils
checkIfGuardedIdris.Termination
CheckInIdris.Core.ProofState, Idris.Core.Elaborate
checkInferredIdris.Elab.Utils
checkInjectiveIdris.Core.Elaborate
checkMPIdris.Termination
checkNameFixityIdris.Parser.Ops, Idris.Parser
checkPiGoalIdris.Core.Elaborate
checkPkgIdris.Package
checkPositiveIdris.Termination
checkPossibleIdris.Elab.Clause
checkPossiblesIdris.Elab.Clause
checkSizeChangeIdris.Termination
checkTotalityIdris.Termination
checkUndefinedIdris.AbsSyntax
checkUniqueIdris.Core.Typecheck
checkVisibilityIdris.Elab.Utils
check_inIdris.Core.Elaborate
CIIdris.AbsSyntaxTree, Idris.AbsSyntax
Claim 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
claimIdris.Core.Elaborate
ClaimFnIdris.Core.ProofState, Idris.Core.Elaborate
claimFnIdris.Core.Elaborate
claimTyIdris.Reflection
clauseIdris.Parser
clean 
1 (Function)IRTS.Bytecode
2 (Function)Idris.Package
cleanPkgIdris.Package
clearErrIdris.AbsSyntax
clearHighlightsIdris.Output
clearIBCIdris.AbsSyntax
clearOrigPatsIdris.AbsSyntax
clearParserWarningsIdris.Parser.Helpers, Idris.Parser
clearPTypesIdris.AbsSyntax
clear_totcheckIdris.AbsSyntax
ClientIdris.Options
closeBlockIdris.Parser.Helpers, Idris.Parser
CmdArgIdris.Help
cmdOptTypeIdris.AbsSyntax
CodataIdris.Core.TT
codataIdris.Core.TT
CodeIdris.Docstrings
CodeBlockIdris.Docstrings
CodegenIdris.Options
codegenIdris.AbsSyntax
CodegenArgsIdris.Options
codegenCIRTS.CodegenC
codegenCatsIdris.Options
CodeGeneratorIRTS.CodegenCommon
CodegenInfo 
1 (Type/Class)IRTS.CodegenCommon
2 (Data Constructor)IRTS.CodegenCommon
codegenJavaScriptIRTS.CodegenJavaScript
codegenJsIRTS.JavaScript.Codegen
codegenNodeIRTS.CodegenJavaScript
codegen_Idris.Parser
collapseIdris.Termination
collapse'Idris.Termination
collapseNothingIdris.Termination
collectIdris.Parser.Helpers, Idris.Parser
collectDeferredIdris.Elab.Term
colourIdris.Colours
ColourArgIdris.Help
colourise 
1 (Function)Idris.Colours
2 (Function)Idris.AbsSyntax
colouriseBoundIdris.Colours
colouriseDataIdris.Colours
colouriseFunIdris.Colours
colouriseImplicitIdris.Colours
colouriseKeywordIdris.Colours
colouriseKwdIdris.Colours
colourisePostulateIdris.Colours
colourisePromptIdris.Colours
colouriseTypeIdris.Colours
ColourOffIdris.REPL.Commands
ColourOnIdris.REPL.Commands
ColourREPLIdris.Options
ColourTheme 
1 (Type/Class)Idris.Colours
2 (Data Constructor)Idris.Colours
ColourTypeIdris.Colours
ColsWideIdris.Options
columnNumIdris.Parser.Helpers, Idris.Parser
CommandIdris.REPL.Commands
commaSeparatedIdris.Parser.Helpers, Idris.Parser
commentMarkersIdris.Parser.Helpers, Idris.Parser
CompileIdris.REPL.Commands
compileIRTS.Compiler
compiled_soIdris.AbsSyntaxTree, Idris.AbsSyntax
compileLibsIRTS.CodegenCommon
compileObjsIRTS.CodegenCommon
compilerFlagsIRTS.CodegenCommon
CompileTimeIdris.Core.CaseTree
CompleteIdris.Core.TT
CompleteFillIdris.Core.ProofState, Idris.Core.Elaborate
complete_fillIdris.Core.Elaborate
Compute 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
computeIdris.Core.Elaborate
ComputeLetIdris.Core.ProofState, Idris.Core.Elaborate
computeLetIdris.Core.Elaborate
ConCaseIdris.Core.CaseTree
conCaseIRTS.Bytecode
conGuardedIdris.Core.Evaluate
consoleDecorateIdris.AbsSyntaxTree, Idris.AbsSyntax
consoleDisplayAnnotatedIdris.Output
ConsoleWidthIdris.Options
ConsoleWidthArgIdris.Help
ConstIdris.Core.TT
constAltIRTS.Bytecode
ConstantIdris.Core.TT
constantIdris.Parser.Expr, Idris.Parser
constantsIdris.Parser.Expr, Idris.Parser
CONSTCASEIRTS.Bytecode
ConstCaseIdris.Core.CaseTree
constCaseIRTS.Bytecode
constDocsIdris.Core.TT
constIsTypeIdris.Core.TT
ConstraintIdris.AbsSyntaxTree, Idris.AbsSyntax
constraintIdris.AbsSyntaxTree, Idris.AbsSyntax
constraintAllowedIdris.AbsSyntaxTree, Idris.AbsSyntax
constraintArgIdris.Parser.Expr, Idris.Parser
ConstraintDIdris.PartialEval
ConstraintFC 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)Idris.Core.TT
constraintListIdris.Parser.Expr, Idris.Parser
constraintList1Idris.Parser.Expr, Idris.Parser
constraintNSIdris.AbsSyntaxTree, Idris.AbsSyntax
constraintPiIdris.Parser.Expr, Idris.Parser
ConstraintSIdris.PartialEval
constraint_nsIdris.Core.ProofState, Idris.Core.Elaborate
ConstructorIdris.AbsSyntaxTree, Idris.AbsSyntax
constructorIdris.Parser.Data, Idris.Parser
containsHoleIdris.AbsSyntaxTree, Idris.AbsSyntax
containsTextIdris.Docstrings
ContextIdris.Core.Evaluate
contextIdris.Core.ProofState, Idris.Core.Elaborate
convEqIdris.Core.Evaluate
convEq'Idris.Core.Evaluate
convertsIdris.Core.Typecheck
convertsCIdris.Core.Typecheck
convSExpIdris.IdeMode
convTypeIdris.Core.Typecheck
con_namesIdris.Core.TT
CoreIdris.REPL.Commands
coverageIdris.AbsSyntax
CoverageCheckIdris.Core.CaseTree
CoveringFnIdris.AbsSyntaxTree, Idris.AbsSyntax
CtxtIdris.Core.TT
ctxtAlistIdris.Core.Evaluate
ctxt_lookupIdris.ASTUtils
DAccessIdris.AbsSyntaxTree, Idris.AbsSyntax
DAltIRTS.Defunctionalise
DAppIRTS.Defunctionalise
DataIdris.Core.TT
DataColourIdris.Colours
dataColourIdris.Colours
DataDocIdris.Docs
DataErrRevIdris.Core.TT
dataIIdris.Parser.Data, Idris.Parser
DataMIIdris.Core.Evaluate
DataOptIdris.Core.TT
DataOptsIdris.Core.TT
dataOptsIdris.Parser.Data, Idris.Parser
DataOutputIdris.Core.TT
dataPartNameIRTS.JavaScript.Name
DatatypeIdris.Core.TT
datatypesIdris.Core.ProofState, Idris.Core.Elaborate
data_Idris.Parser.Data, Idris.Parser
data_optsIdris.Core.TT
DAutoImplicitsIdris.AbsSyntaxTree, Idris.AbsSyntax
DbgLevelIRTS.CodegenCommon
DCIRTS.Defunctionalise
DCaseIRTS.Defunctionalise
DChkCaseIRTS.Defunctionalise
DConIdris.Core.TT
DConCaseIRTS.Defunctionalise
DConstIRTS.Defunctionalise
DConstCaseIRTS.Defunctionalise
DConstructorIRTS.Defunctionalise
DDeclIRTS.Defunctionalise
DDefaultIdris.AbsSyntaxTree, Idris.AbsSyntax
DDefaultCaseIRTS.Defunctionalise
DDefsIRTS.Defunctionalise
DDeprecateIdris.AbsSyntaxTree, Idris.AbsSyntax
DDynamicLibsIdris.AbsSyntaxTree, Idris.AbsSyntax
debindIdris.DSL
debindAppIdris.DSL
DEBUGIRTS.CodegenCommon
debugElaboratorIdris.Core.Elaborate
DebugInfoIdris.REPL.Commands
debugLevelIRTS.CodegenCommon
DebugUnifyIdris.REPL.Commands
declIdris.Parser
decl'Idris.Parser
declareIRTS.Defunctionalise
declaredIdris.AbsSyntaxTree, Idris.AbsSyntax
DeclArgIdris.Help
declExtensionIdris.Parser
declExtensionsIdris.Parser
DeclRuleIdris.AbsSyntaxTree, Idris.AbsSyntax
decorateidIdris.Elab.Utils
decorationIdris.AbsSyntaxTree, Idris.AbsSyntax
DefIdris.Core.Evaluate
defaultAltIRTS.Bytecode
DefaultCaseIdris.Core.CaseTree
DefaultCaseFunIdris.Core.TT
DefaultCheckingCoveringIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultCheckingPartialIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultCheckingTotalIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultEliminatorIdris.Core.TT
defaultImplicitIdris.Parser.Expr, Idris.Parser
defaultOptimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultPartialIdris.Options
defaultPkgIdris.Package.Common
defaultPortIdris.ModeCommon
defaultPPOptionIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultScoreFunctionIdris.TypeSearch
defaultSyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultThemeIdris.Colours
DefaultTotalIdris.Options
DefaultTotalityIdris.AbsSyntaxTree, Idris.AbsSyntax
default_accessIdris.AbsSyntaxTree, Idris.AbsSyntax
default_totalIdris.AbsSyntaxTree, Idris.AbsSyntax
DeferIdris.Core.ProofState, Idris.Core.Elaborate
deferIdris.Core.Elaborate
deferredIdris.Core.ProofState, Idris.Core.Elaborate
DeferTypeIdris.Core.ProofState, Idris.Core.Elaborate
deferTypeIdris.Core.Elaborate
defer_totcheckIdris.AbsSyntax
definedIdris.AbsSyntaxTree, Idris.AbsSyntax
definitionsIdris.Core.Evaluate
DefnIdris.REPL.Commands
defunctionaliseIRTS.Defunctionalise
defunDeclsIRTS.CodegenCommon
delabIdris.Delaborate
delab'Idris.Delaborate
delabDirectIdris.Delaborate
delabMVIdris.Delaborate
delabSugaredIdris.Delaborate
delabTyIdris.Delaborate
delabTy'Idris.Delaborate
delabWithEnvIdris.Delaborate
DelayedIdris.Termination
delayed_elabIdris.AbsSyntaxTree, Idris.AbsSyntax
delazyIdris.Termination
delazy'Idris.Termination
deleteDefExactIdris.Core.TT
dependentPairIdris.Parser.Expr, Idris.Parser
dep_appIdris.Core.Elaborate
DErrorIRTS.Defunctionalise
DErrorHandlersIdris.AbsSyntaxTree, Idris.AbsSyntax
desugarIdris.DSL
desugarAsIdris.Elab.AsPat
DesugarNatsIdris.Options
detaggableIdris.AbsSyntaxTree, Idris.AbsSyntax
DExpIRTS.Defunctionalise
DFlagIdris.AbsSyntaxTree, Idris.AbsSyntax
DForeignIRTS.Defunctionalise
DFragileIdris.AbsSyntaxTree, Idris.AbsSyntax
DFreezeIdris.AbsSyntaxTree, Idris.AbsSyntax
DFunIRTS.Defunctionalise
DHideIdris.AbsSyntaxTree, Idris.AbsSyntax
DictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
dictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
DIncludeIdris.AbsSyntaxTree, Idris.AbsSyntax
DInjectiveIdris.AbsSyntaxTree, Idris.AbsSyntax
DirectiveIdris.AbsSyntaxTree, Idris.AbsSyntax
directiveIdris.Parser
directiveActionIdris.Directives
disallowImpIdris.Parser.Expr, Idris.Parser
disambIdris.Parser.Expr, Idris.Parser
discardIdris.Core.TT
displayWarningsIdris.Elab.Utils
DLanguageIdris.AbsSyntaxTree, Idris.AbsSyntax
DLetIRTS.Defunctionalise
DLibIdris.AbsSyntaxTree, Idris.AbsSyntax
DLinkIdris.AbsSyntaxTree, Idris.AbsSyntax
DLoggingIdris.AbsSyntaxTree, Idris.AbsSyntax
DNameHintIdris.AbsSyntaxTree, Idris.AbsSyntax
DNothingIRTS.Defunctionalise
DoBindIdris.AbsSyntaxTree, Idris.AbsSyntax
DoBindPIdris.AbsSyntaxTree, Idris.AbsSyntax
doBlockIdris.Parser.Expr, Idris.Parser
docCommentIdris.Parser.Helpers, Idris.Parser
DocsIdris.Docs
Docs'Idris.Docs
DocsForIdris.IdeMode
DocStrIdris.REPL.Commands
DocStringIdris.Docstrings
DocstringIdris.Docstrings
docstringIdris.Parser
DocTermIdris.Docstrings
documentPkgIdris.Package
DoExpIdris.AbsSyntaxTree, Idris.AbsSyntax
doInlineIRTS.LangOpts
DoLetIdris.AbsSyntaxTree, Idris.AbsSyntax
DoLetPIdris.AbsSyntaxTree, Idris.AbsSyntax
doneIdris.Core.ProofState, Idris.Core.Elaborate
doneElaboratingAppPSIdris.Core.ProofState, Idris.Core.Elaborate
doneElaboratingArgPSIdris.Core.ProofState, Idris.Core.Elaborate
done_elaborating_appIdris.Core.Elaborate
done_elaborating_argIdris.Core.Elaborate
DontListenIdris.Options
dontunifyIdris.Core.ProofState, Idris.Core.Elaborate
DOpIRTS.Defunctionalise
DoProofSearchIdris.REPL.Commands
doProofSearchIdris.Interactive
DoRewriteIdris.AbsSyntaxTree, Idris.AbsSyntax
dottedIdris.Core.ProofState, Idris.Core.Elaborate
dottermIdris.Core.Elaborate
DoUnifyIdris.AbsSyntaxTree, Idris.AbsSyntax
do_Idris.Parser.Expr, Idris.Parser
do_altIdris.Parser.Expr, Idris.Parser
DProjIRTS.Defunctionalise
dropGivenIdris.Core.ProofState, Idris.Core.Elaborate
DSetTotalIdris.AbsSyntaxTree, Idris.AbsSyntax
DSL 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
dslIdris.Parser.Data, Idris.Parser
DSL'Idris.AbsSyntaxTree, Idris.AbsSyntax
dslifyIdris.DSL
DSLNotationIdris.Options
dsl_applyIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_bindIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_infoIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_lambdaIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_letIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_piIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_pureIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_varIdris.AbsSyntaxTree, Idris.AbsSyntax
DThawIdris.AbsSyntaxTree, Idris.AbsSyntax
dumpBCIRTS.DumpBC
DumpCasesIdris.Options
DumpDefunIdris.Options
dumpDefunsIRTS.Defunctionalise
DumpHighlightsIdris.Options
dumpprobsIdris.Core.Elaborate
dumpTTIdris.AbsSyntax
DUpdateIRTS.Defunctionalise
DUsedIdris.AbsSyntaxTree, Idris.AbsSyntax
DVIRTS.Defunctionalise
DynamicIdris.AbsSyntaxTree, Idris.AbsSyntax
DynamicLibUtil.DynamicLinker
DynamicLinkIdris.REPL.Commands
d_cons 
1 (Function)Idris.Core.TT
2 (Function)Idris.AbsSyntaxTree, Idris.AbsSyntax
d_nameIdris.AbsSyntaxTree, Idris.AbsSyntax
d_name_fcIdris.AbsSyntaxTree, Idris.AbsSyntax
d_tconIdris.AbsSyntaxTree, Idris.AbsSyntax
d_typeIdris.Core.TT
d_typenameIdris.Core.TT
d_typetagIdris.Core.TT
d_uniqueIdris.Core.TT
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
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, 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.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
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.Options
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
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
FailAtIdris.Core.Unify
FailContext 
1 (Type/Class)Idris.Core.Unify
2 (Data Constructor)Idris.Core.Unify
FailingIdris.Docstrings
FailsIdris.Core.Unify
fail_fnIdris.Core.Unify
fail_paramIdris.Core.Unify
fail_sourcelocIdris.Core.Unify
falseDocIdris.AbsSyntaxTree, Idris.AbsSyntax
falseTyIdris.AbsSyntaxTree, Idris.AbsSyntax
fancifyAnnotsIdris.Delaborate
FancyMsgIdris.Core.TT
FAnyIRTS.Lang, IRTS.Defunctionalise
FAppIRTS.Lang, IRTS.Defunctionalise
FArithIRTS.Lang, IRTS.Defunctionalise
FC 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)Idris.Core.TT
FC' 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)Idris.Core.TT
FCallTypeIRTS.Lang, IRTS.Defunctionalise
FCDataIRTS.Lang, IRTS.Defunctionalise
fcInIdris.Core.TT
FConIRTS.Lang, IRTS.Defunctionalise
FConstructorIRTS.Lang, IRTS.Defunctionalise
FCReflectionIdris.Options
fc_endIdris.Core.TT
fc_fnameIdris.Core.TT
fc_startIdris.Core.TT
FDIdris.Docs
FDescIRTS.Lang, IRTS.Defunctionalise
FFunctionIRTS.Lang, IRTS.Defunctionalise
FFunctionIOIRTS.Lang, IRTS.Defunctionalise
fgetStateIdris.ASTUtils
FieldIdris.ASTUtils
FieldSetIdris.Parser.Expr, Idris.Parser
FieldUpdateIdris.Parser.Expr, Idris.Parser
FileArgIdris.Help
FileFCIdris.Core.TT
fileFCIdris.Core.TT
FilenameIdris.Options
fileNameIdris.Parser.Helpers, Idris.Parser
Fill 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
fillIdris.Core.Elaborate
finaliseIdris.Core.TT
findCallsIdris.Core.CaseTree
findCalls'Idris.Core.CaseTree
findExportsIRTS.Exports
findFCIdris.Parser
findHighlightIdris.Elab.Term
findImportIdris.Imports
findInPathIdris.Imports
findLinearIdris.Elab.Utils
findParamsIdris.Elab.Utils
findPkgIndexIdris.Imports
findStaticsIdris.AbsSyntax
findUniqueIdris.Elab.Clause
findUsedArgsIdris.Core.CaseTree
FIOIRTS.Lang, IRTS.Defunctionalise
FirstSuccessIdris.AbsSyntaxTree, Idris.AbsSyntax
FixIdris.AbsSyntaxTree, Idris.AbsSyntax
fixColourIdris.Parser
FixDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
fixErrorMsgIdris.Parser.Helpers, Idris.Parser
FixityIdris.AbsSyntaxTree, Idris.AbsSyntax
fixityIdris.Parser.Ops, Idris.Parser
fixityTypeIdris.Parser.Ops, Idris.Parser
FlIdris.Core.TT
floatIdris.Parser.Helpers, Idris.Parser
FManagedPtrIRTS.Lang, IRTS.Defunctionalise
fmapMBIdris.Core.TT
fmodifyStateIdris.ASTUtils
FnCaseIdris.Core.CaseTree
fnDeclIdris.Parser
fnDecl'Idris.Parser
FnInfo 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
fnNameIdris.Parser.Ops, Idris.Parser
FnOptIdris.AbsSyntaxTree, Idris.AbsSyntax
fnOptIdris.Parser
FnOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
fnOptsIdris.Parser
fn_paramsIdris.AbsSyntaxTree, Idris.AbsSyntax
FObjectIRTS.Lang, IRTS.Defunctionalise
Focus 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
focusIdris.Core.Elaborate
footerIRTS.JavaScript.Codegen
ForallIdris.Core.ProofState, Idris.Core.Elaborate
forallIdris.Core.Elaborate
forall_constraintIdris.AbsSyntaxTree, Idris.AbsSyntax
forall_impIdris.AbsSyntaxTree, Idris.AbsSyntax
forceableIdris.AbsSyntaxTree, Idris.AbsSyntax
forceDefCtxtIdris.Core.DeepSeq, Idris.DeepSeq
forceWithIdris.Elab.Clause
forCodegenIdris.AbsSyntax
FOREIGNCALLIRTS.Bytecode
ForeignFunUtil.DynamicLinker
forgetIdris.Core.TT
forgetEnvIdris.Core.TT
ForgotIdris.Core.TT
FPtrIRTS.Lang, IRTS.Defunctionalise
fputStateIdris.ASTUtils
freeNamesIdris.Core.TT
fromTTMaybeIdris.Reflection
FrozenIdris.Core.Evaluate
FStaticIRTS.Lang, IRTS.Defunctionalise
fstEnvIdris.Core.TT
FStrIRTS.Lang, IRTS.Defunctionalise
FStringIRTS.Lang, IRTS.Defunctionalise
FTypeIRTS.Lang, IRTS.Defunctionalise
FullIdris.IdeMode
FullDocsIdris.Options
fullExprIdris.Parser.Expr, Idris.Parser
fullTacticIdris.Parser.Expr, Idris.Parser
FunUtil.DynamicLinker
FunctionIdris.Core.Evaluate
FunctionColourIdris.Colours
functionColourIdris.Colours
FunDoc 
1 (Data Constructor)Idris.Docs
2 (Type/Class)Idris.Docs
FunDoc'Idris.Docs
FUnitIRTS.Lang, IRTS.Defunctionalise
FUnknownIRTS.Lang, IRTS.Defunctionalise
FunOutputIdris.Core.TT
fun_handleUtil.DynamicLinker
fun_nameUtil.DynamicLinker
GDIdris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate
genArgsIRTS.Defunctionalise
genClausesIdris.Coverage
generateIRTS.Compiler
GeneratedIdris.Core.Evaluate
generateDocsIdris.IdrisDoc
getAllIdris.AbsSyntaxTree, Idris.AbsSyntax
getAllNamesIdris.AbsSyntax
getArgsIdris.Reflection
getArgTysIdris.Core.TT
getAutoHintsIdris.AbsSyntax
getAutoImplsIdris.AbsSyntax
getAutoImportsIdris.AbsSyntax
getAuxIdris.Core.Elaborate
getBCIdris.Options
getCCIRTS.System
getCGAllNamesIdris.AbsSyntax
getClauseIdris.CaseSplit
getClientIdris.Options, Idris.CmdOptions
getCmdLineIdris.AbsSyntax
getCodegenIdris.Options
getCodegenArgsIdris.Options
getCoercionsToIdris.AbsSyntax
getColourIdris.Options
getConsoleWidthIdris.Options
getConstsIdris.AbsSyntaxTree, Idris.AbsSyntax
getContextIdris.AbsSyntax
getCPUIdris.Options
getDefinedNamesIdris.AbsSyntax
getDeprecatedIdris.AbsSyntax
getDesugarNatsIdris.AbsSyntax
getDocsIdris.Docs
getDumpCasesIdris.AbsSyntax
getDumpDefunIdris.AbsSyntax
getDumpHighlightingIdris.AbsSyntax
getEnvFlagsIRTS.System
getErasureInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
getErasureUsageIdris.AbsSyntax
getErrSpanIdris.Error
getEvalExprIdris.Options
getExecScriptIdris.Options
getExpNamesIRTS.Exports
getExportsIdris.AbsSyntax
getExpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getFCIdris.Parser.Helpers, Idris.Parser
getFileIdris.Options
getFixedInTypeIdris.Elab.Utils
getFlagsIdris.AbsSyntax
getFlexInTypeIdris.Elab.Utils
getFnIRTS.Defunctionalise
getFragileIdris.AbsSyntax
getFromHideListIdris.AbsSyntax
getHdrsIdris.AbsSyntax
getIBCSubDirIdris.Options, Idris.CmdOptions
getIdrisCCIdris.Info
getIdrisCRTSDir 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisDataDir 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisDataFileByName 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisDocDir 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisFlagsEnvIdris.Info
getIdrisFlagsIncIdris.Info
getIdrisFlagsLibIdris.Info
getIdrisHistoryFileIdris.Info
getIdrisInitScriptIdris.Info
getIdrisInstalledPackagesIdris.Info
getIdrisJSRTSDir 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisLibDir 
1 (Function)IRTS.System
2 (Function)Idris.Info
getIdrisLoggingCategoriesIdris.Info
getIdrisUserDataDirIdris.Info
GetIdrisVersionIdris.IdeMode
getIdrisVersionIdris.Info
getIdrisVersionNoGitIdris.Info
getImportDirIdris.Options
getImportedIdris.AbsSyntax
getImportsIdris.Chaser
getImpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getIncFlagsIRTS.System
getIndentClauseIdris.AbsSyntax
getIndentWithIdris.AbsSyntax
getInferTermIdris.AbsSyntaxTree, Idris.AbsSyntax
getInferTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
getInternalAppIdris.AbsSyntax
getIStateIdris.AbsSyntax
getLanguageExtIdris.Options
getLastTokenSpanIdris.Parser.Helpers, Idris.Parser
getLenIdris.IdeMode
getLibFlagsIRTS.System
getLibsIdris.AbsSyntax
getLogIdris.Core.Elaborate
getModuleFilesIdris.Chaser
getNameIdris.AbsSyntax
getNameFromIdris.Core.Elaborate
getNameHintsIdris.AbsSyntax
getNCharIdris.IdeMode
getNextNameIRTS.Lang, IRTS.Defunctionalise
getNoBannerIdris.AbsSyntax
getObjectFilesIdris.AbsSyntax
getOpenImplIdris.AbsSyntax
getOptimisationIdris.Options
getOptimiseIdris.AbsSyntax
getOptLevelIdris.Options
GetOptsIdris.IdeMode
getOutputIdris.Options
getOutputTyIdris.Options
getParamsInTypeIdris.Elab.Utils
getPArityIdris.AbsSyntaxTree, Idris.AbsSyntax
getPBtysIdris.Elab.Utils
getPkgIdris.Options, Idris.CmdOptions
getPkgCheckIdris.Options, Idris.CmdOptions
getPkgCleanIdris.Options, Idris.CmdOptions
getPkgDescIdris.Package
getPkgDirIdris.Options
getPkgIndexIdris.Options
getPkgMkDocIdris.Options, Idris.CmdOptions
getPkgREPLIdris.Options, Idris.CmdOptions
getPkgTestIdris.Options, Idris.CmdOptions
getPortIdris.Options, Idris.CmdOptions
getPriorityIdris.AbsSyntax
getProofClauseIdris.CaseSplit
getProofTermIdris.Core.ProofTerm
getProvenanceIdris.Core.ProofState, Idris.Core.Elaborate
getProvidedIdris.Providers
getPSnamesIdris.Core.Elaborate
getQuietIdris.AbsSyntax
getRetTyIdris.Core.TT
getScreenWidthUtil.ScreenSize
getScriptIdris.AbsSyntaxTree, Idris.AbsSyntax
getShowArgsIdris.AbsSyntaxTree, Idris.AbsSyntax
getSOIdris.AbsSyntax
getSourceDirIdris.Options
getSpecAppsIdris.PartialEval
getStaticNamesIdris.Elab.Utils
getStaticsIdris.Elab.Utils
getSymbolIdris.AbsSyntax
getTCinjIdris.Elab.Utils
getTCParamsInTypeIdris.Elab.Utils
getTmIdris.AbsSyntaxTree, Idris.AbsSyntax
getTotalityIdris.AbsSyntax
getTripleIdris.Options
getUnboundImplicitsIdris.AbsSyntax
getUndefinedIdris.AbsSyntax
getUnifyLogIdris.Core.Elaborate
getUniqIdris.CaseSplit
getUniqueUsedIdris.Elab.Utils
getUnmatchableIdris.Elab.Term
getWidthIdris.AbsSyntax
get_autosIdris.Core.Elaborate
get_contextIdris.Core.Elaborate
get_datatypesIdris.Core.Elaborate
get_deferredIdris.Core.Elaborate
get_dottermIdris.Core.Elaborate
get_envIdris.Core.Elaborate
get_global_nextnameIdris.Core.Elaborate
get_guessIdris.Core.Elaborate
get_holesIdris.Core.Elaborate
get_implementationsIdris.Core.Elaborate
get_injIdris.Core.Elaborate
get_probsIdris.Core.Elaborate
get_recentsIdris.Core.Elaborate
get_termIdris.Core.Elaborate
get_typeIdris.Core.Elaborate
get_type_valIdris.Core.Elaborate
get_usednsIdris.Core.Elaborate
GHoleIdris.Core.TT
GivenValIdris.Core.TT
GlobIRTS.Lang, IRTS.Defunctionalise
global_nextnameIdris.Core.ProofState, Idris.Core.Elaborate
globlToConIRTS.JavaScript.LangTransforms
GoalIdris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate
goal 
1 (Function)Idris.Core.ProofTerm
2 (Function)Idris.Core.Elaborate
goalAtFocusIdris.Core.ProofState, Idris.Core.Elaborate
GoalTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
goalTypeIdris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate
goal_polymorphicIdris.Elab.Term
groupsOfIRTS.Defunctionalise
gtePropIdris.Parser.Helpers, Idris.Parser
gtPropIdris.Parser.Helpers, Idris.Parser
GuardedIdris.Termination
GuardednessIdris.Termination
GuessIdris.Core.TT
handleErrorIdris.Core.Elaborate
hasEmptyPatIdris.Elab.Utils
HasLastTokenSpanIdris.Parser.Helpers, Idris.Parser
hasValidIBCVersionIdris.IBC
HeaderIdris.Docstrings
headerIRTS.JavaScript.Codegen
HelpIdris.REPL.Commands
helpIdris.REPL.Parser
hEndColouriseIdris.Colours
HiddenIdris.Core.Evaluate
HiddenClass 
1 (Type/Class)IRTS.JavaScript.Name
2 (Data Constructor)IRTS.JavaScript.Name
hiddenClassesIRTS.JavaScript.Codegen
HideDisplayIdris.AbsSyntaxTree, Idris.AbsSyntax
hide_listIdris.AbsSyntaxTree, Idris.AbsSyntax
highestFCIdris.AbsSyntaxTree, Idris.AbsSyntax
highlightingIdris.AbsSyntaxTree, Idris.AbsSyntax
highlightPIdris.Parser.Helpers, Idris.Parser
highlightSourceIdris.AbsSyntaxTree, Idris.AbsSyntax
Hole 
1 (Data Constructor)Idris.Core.TT
2 (Type/Class)Idris.Core.ProofTerm
HolesIdris.Core.TT
holesIdris.Core.ProofState, Idris.Core.Elaborate
HowMuchDocsIdris.Options
HRuleIdris.Docstrings
hsimpleExprIdris.Parser.Expr, Idris.Parser
hStartColouriseIdris.Colours
HtmlBlockIdris.Docstrings
HTMLOutputIdris.Options
hWriteDocIdris.Output
IIdris.Core.TT
IBCIdris.Imports
IBCAccessIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCAutoHintIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCCGIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCCGFlagIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCCoercionIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCConstraintIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCDataIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCDefIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCDeprecateIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCDocIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCDSLIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCDyLibIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCErrorHandlerIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCErrReduceIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCErrRevIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCExportIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCExternIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCFixIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCFlagsIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCFnInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCFormatIdris.Options
IBCFragileIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCFunctionErrorHandlerIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCHeaderIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCImpIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCImplementationIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCImportIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCImportDirIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCInjectiveIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCInterfaceIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCKeywordIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCLibIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCLineAppIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCMetaInformationIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCMetavarIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCModDocsIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCNameHintIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCObjIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCOptIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCParsedRegionIdris.AbsSyntaxTree, Idris.AbsSyntax
ibcPathNoFallbackIdris.Imports
IBCPhaseIdris.IBC
IBCPostulateIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCRecordIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCSourceDirIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCStaticIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCSubDirIdris.Options
IBCSyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCTotalIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCTotCheckErrIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCTransIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCUsageIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCWriteIdris.AbsSyntaxTree, Idris.AbsSyntax
IBC_BuildingIdris.IBC
IBC_REPLIdris.IBC
ibc_writeIdris.AbsSyntaxTree, Idris.AbsSyntax
ICodeGenIdris.Options
ICoverageIdris.Options
IdeModeIdris.AbsSyntaxTree, Idris.AbsSyntax
IdemodeIdris.Options
IdeModeCommandIdris.IdeMode
ideModeEpochIdris.IdeMode
idemodePutSExpIdris.Output
ideModeReturnAnnotatedIdris.Output
ideModeReturnWithStatusIdris.Output
IdemodeSocketIdris.Options
idemodeStartIdris.REPL
identifierIdris.Parser.Helpers, Idris.Parser
iderrIdris.Elab.Utils
idiomIdris.Parser.Expr, Idris.Parser
IDRIdris.Imports
IdrisIdris.AbsSyntaxTree, Idris.AbsSyntax
idrisIdris.Main
idrisCatchIdris.Error
IdrisColour 
1 (Type/Class)Idris.Colours
2 (Data Constructor)Idris.Colours
idrisInitIdris.AbsSyntaxTree, Idris.AbsSyntax
IdrisInnerParser 
1 (Type/Class)Idris.Parser.Helpers, Idris.Parser
2 (Data Constructor)Idris.Parser.Helpers, Idris.Parser
idrisMainIdris.Main
IdrisParserIdris.Parser.Helpers, Idris.Parser
idrisStyleIdris.Parser.Helpers, Idris.Parser
idris_autohintsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_callgraphIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_cgflagsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_coercionsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_colourReplIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_colourThemeIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_consolewidthIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_constraintsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_datatypesIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_defertotcheckIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_deprecatedIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_docstringsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_dslsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_dynamic_libsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_erasureUsedIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_errorhandlersIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_errReduceIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_errRevIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_exportsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_externsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_fixitiesIdris.ASTUtils
idris_flagsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_fninfoIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_fragileIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_function_errorhandlersIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_hdrsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_highlightedRegionsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_implicitsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_importedIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_infixesIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_inmoduleIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_interactiveOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_interfacesIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_language_extensionsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_libsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_lineappsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_mainIdris.Package.Common
idris_metavarsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_moduledocsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_nameIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_namehintsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_nameIdxIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_objsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_openimplsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_optimisationIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_optionsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_optsIdris.Package.Common
idris_outputmodeIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_parsedSpanIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_parserHighlightsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_patdefsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_postulatesIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_recordsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_repl_defsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_scprimsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_staticsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_symbolsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_testsIdris.Package.Common
idris_totcheckIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_totcheckfailIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_transformsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_ttstatsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_tyinfodataIdris.AbsSyntaxTree, Idris.AbsSyntax
IElabIdris.Options
IErasureIdris.Options
ierrorIdris.Error
ifailIdris.Error
IFileTypeIdris.Imports
if_Idris.Parser.Expr, Idris.Parser
IIBCIdris.Options
ImageIdris.Docstrings
ImpIdris.AbsSyntaxTree, Idris.AbsSyntax
impInIdris.AbsSyntax
ImplIdris.Core.TT
implIdris.AbsSyntaxTree, Idris.AbsSyntax
ImplementationIdris.Core.ProofState, Idris.Core.Elaborate
implementationIdris.Parser
implementationArgIdris.Core.Elaborate
implementationBlockIdris.Parser
ImplementationCtorNIdris.Core.TT
implementationCtorNameIdris.AbsSyntaxTree, Idris.AbsSyntax
ImplementationNIdris.Core.TT
implementationsIdris.Core.ProofState, Idris.Core.Elaborate
ImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
implicitIdris.AbsSyntax
implicit'Idris.AbsSyntax
implicitableIdris.Core.TT
implicitAllowedIdris.AbsSyntaxTree, Idris.AbsSyntax
implicitArgIdris.Parser.Expr, Idris.Parser
ImplicitColourIdris.Colours
implicitColourIdris.Colours
ImplicitDIdris.PartialEval
ImplicitInfoIdris.Core.TT
implicitiseIdris.AbsSyntax
implicitNamesInIdris.AbsSyntaxTree, Idris.AbsSyntax
implicitPiIdris.Parser.Expr, Idris.Parser
ImplicitSIdris.PartialEval
implicit_warningsIdris.AbsSyntaxTree, Idris.AbsSyntax
impl_genIdris.AbsSyntaxTree, Idris.AbsSyntax
ImportDirIdris.Options
importDirsIRTS.CodegenCommon
importedIdris.AbsSyntaxTree, Idris.AbsSyntax
ImportInfo 
1 (Type/Class)Idris.Parser
2 (Data Constructor)Idris.Parser
import_Idris.Parser
import_locationIdris.Parser
import_modname_locationIdris.Parser
import_namespaceIdris.Parser
import_pathIdris.Parser
import_reexportIdris.Parser
import_renameIdris.Parser
ImpossibleIdris.Core.TT
impossibleIdris.Parser.Expr, Idris.Parser
ImpossibleCaseIdris.Core.CaseTree
impShowIdris.AbsSyntax
imp_methodsIdris.AbsSyntaxTree, Idris.AbsSyntax
InaccessibleIdris.Core.TT
inaccessibleIdris.AbsSyntaxTree, Idris.AbsSyntax
InaccessibleArgIdris.AbsSyntaxTree, Idris.AbsSyntax
inaccessibleArgsIdris.Elab.Utils
inaccessibleImpsIdris.Elab.Utils
iNameIdris.Parser.Helpers, Idris.Parser
inblockIdris.AbsSyntaxTree, Idris.AbsSyntax
includesIRTS.CodegenCommon
IncompleteTermIdris.Core.TT
indent 
1 (Function)Idris.Parser.Helpers, Idris.Parser
2 (Function)IRTS.DumpBC
IndentClauseIdris.Options
indentedIdris.Parser.Helpers, Idris.Parser
indentedBlockIdris.Parser.Helpers, Idris.Parser
indentedBlock1Idris.Parser.Helpers, Idris.Parser
indentedBlockSIdris.Parser.Helpers, Idris.Parser
IndentProperty 
1 (Type/Class)Idris.Parser.Helpers, Idris.Parser
2 (Data Constructor)Idris.Parser.Helpers, Idris.Parser
indentPropHoldsIdris.Parser.Helpers, Idris.Parser
IndentWithIdris.Options
indent_stackIdris.AbsSyntaxTree, Idris.AbsSyntax
index_firstIdris.AbsSyntaxTree, Idris.AbsSyntax
index_nextIdris.AbsSyntaxTree, Idris.AbsSyntax
Induction 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
inductionIdris.Core.Elaborate
inferConIdris.AbsSyntaxTree, Idris.AbsSyntax
inferDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
inferOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
InferredIdris.Core.TT
inferredDiffIdris.Elab.Utils
InferredValIdris.Core.TT
inferTyIdris.AbsSyntaxTree, Idris.AbsSyntax
infer_appIdris.Core.Elaborate
InfinitelyWideIdris.Options
InfiniteUnifyIdris.Core.TT
InfixlIdris.AbsSyntaxTree, Idris.AbsSyntax
InfixNIdris.AbsSyntaxTree, Idris.AbsSyntax
InfixrIdris.AbsSyntaxTree, Idris.AbsSyntax
infPIdris.AbsSyntaxTree, Idris.AbsSyntax
infTermIdris.AbsSyntaxTree, Idris.AbsSyntax
initContextIdris.Core.Evaluate
initDSLIdris.AbsSyntaxTree, Idris.AbsSyntax
initElabCtxtIdris.Elab.Term
initElaboratorIdris.Core.Elaborate
initEStateIdris.AbsSyntaxTree, Idris.AbsSyntax
initEvalIdris.Core.Evaluate
initialInteractiveOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
initNextNameFromIdris.Core.Elaborate
initsEndAtIdris.Parser.Helpers, Idris.Parser
injectiveIdris.Core.ProofState, Idris.Core.Elaborate
InjectivityIdris.Core.Evaluate
inlIRTS.Inliner
InlinableIdris.AbsSyntaxTree, Idris.AbsSyntax
inlinableIdris.AbsSyntaxTree, Idris.AbsSyntax
Inline 
1 (Type/Class)Idris.Docstrings
2 (Data Constructor)IRTS.Lang, IRTS.Defunctionalise
inlineIRTS.Inliner
inlineAllIRTS.LangOpts
inlineDefIdris.Inliner
inlineSmallIdris.Core.Evaluate
inlineTermIdris.Inliner
inPatternIdris.AbsSyntaxTree, Idris.AbsSyntax
inPkgDirIdris.Package
installedPackagesIdris.Imports
installIBCIdris.Package
installIdxIdris.Package
installObjIdris.Package
installPkgIdris.Package
instantiateIdris.Core.TT
integerIdris.Parser.Helpers, Idris.Parser
IntegerAtomIdris.IdeMode
integerReaderIdris.CmdOptions
InteractiveOpts 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
interactiveOpts_indentClauseIdris.AbsSyntaxTree, Idris.AbsSyntax
interactiveOpts_indentWithIdris.AbsSyntaxTree, Idris.AbsSyntax
InterfaceIdris.Options
interfaceBlockIdris.Parser
InterfaceDocIdris.Docs
InterfaceInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
interfacesIRTS.CodegenCommon
interface_Idris.Parser
interface_constraintsIdris.AbsSyntaxTree, Idris.AbsSyntax
interface_defaultsIdris.AbsSyntaxTree, Idris.AbsSyntax
interface_default_super_interfacesIdris.AbsSyntaxTree, Idris.AbsSyntax
interface_determinersIdris.AbsSyntaxTree, Idris.AbsSyntax
interface_implementationsIdris.AbsSyntaxTree, Idris.AbsSyntax
interface_impparamsIdris.AbsSyntaxTree, Idris.AbsSyntax
interface_methodsIdris.AbsSyntaxTree, Idris.AbsSyntax
interface_paramsIdris.AbsSyntaxTree, Idris.AbsSyntax
interMapIRTS.DumpBC
internalDeclIdris.Parser
internalExprIdris.Parser.Expr, Idris.Parser
InternalMsgIdris.Core.TT
internalNSIdris.Core.TT
InterpretIdris.IdeMode
InterpretScriptIdris.Options
Intro 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
introIdris.Core.Elaborate
IntrosIdris.AbsSyntaxTree, Idris.AbsSyntax
IntroTyIdris.Core.ProofState, Idris.Core.Elaborate
introTyIdris.Core.Elaborate
intToReflectedNatIdris.Reflection
IntTyIdris.Core.TT
intTyNameIdris.Core.TT
invalidOperatorsIdris.Parser.Helpers, Idris.Parser
InvalidTCArgIdris.Core.TT
IOption 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
IParseIdris.Options
iPrintErrorIdris.Output
iPrintFunTypesIdris.Output
iPrintResultIdris.Output
iPrintTermWithTypeIdris.Output
iPrintWithStatusIdris.Output
iputGoalIdris.Output
iputStrIdris.Output
iputStrLnIdris.Output
iRenderIdris.Output
iRenderErrorIdris.Output
iRenderOutputIdris.Output
iRenderResultIdris.Output
iReportIdris.AbsSyntax
IRFormatIdris.Options
isATTYUtil.System
isCanonicalIdris.Core.Evaluate
isConNameIdris.Core.Evaluate
isConstIRTS.Bytecode
isDConNameIdris.Core.Evaluate
isEmptyIdris.Elab.Utils
isEolIdris.Parser.Helpers, Idris.Parser
isetLoadedRegionIdris.AbsSyntax
isetPromptIdris.AbsSyntax
isFnNameIdris.Core.Evaluate
isHoleIdris.Core.Typecheck
isHoleNameIdris.AbsSyntaxTree, Idris.AbsSyntax
isInjectiveIdris.Core.TT
isMetavarNameIdris.AbsSyntax
isPlausibleIdris.Elab.Utils
isPostulateNameIdris.AbsSyntaxTree, Idris.AbsSyntax
IState 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
isTCDictIdris.Core.Evaluate
isTConNameIdris.Core.Evaluate
IsTermIdris.AbsSyntaxTree, Idris.AbsSyntax
isTyInferredIdris.AbsSyntax
IsTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
isTypeIdris.Core.Typecheck
isTypeConstIdris.Core.TT
ist_callgraphIdris.ASTUtils
ist_optimisationIdris.ASTUtils
isUndefinedIdris.AbsSyntax
isUniverseIdris.Core.Evaluate
isWindowsUtil.System
is_guessIdris.Core.Elaborate
is_scopedIdris.AbsSyntaxTree, Idris.AbsSyntax
IT16Idris.Core.TT
IT32Idris.Core.TT
IT64Idris.Core.TT
IT8Idris.Core.TT
italicIdris.Colours
ItalicTextIdris.Core.TT
ITBigIdris.Core.TT
ITCharIdris.Core.TT
ITFixedIdris.Core.TT
ITNativeIdris.Core.TT
ItselfIdris.Core.Evaluate
iucheckIdris.Error
iWarnIdris.Output
JavaScriptIRTS.CodegenJavaScript
JsAppIRTS.JavaScript.AST
jsAppNIRTS.JavaScript.AST
JsArrayIRTS.JavaScript.AST
JsArrayProjIRTS.JavaScript.AST
jsAst2TextIRTS.JavaScript.AST
JsB2IIRTS.JavaScript.AST
JsBinOpIRTS.JavaScript.AST
jsbnPathIRTS.JavaScript.Codegen
JsBoolIRTS.JavaScript.AST
JsBreakIRTS.JavaScript.AST
JsCommentIRTS.JavaScript.AST
JsContinueIRTS.JavaScript.AST
jsCurryAppIRTS.JavaScript.AST
jsCurryLamIRTS.JavaScript.AST
JsDecConstIRTS.JavaScript.AST
JsDecLetIRTS.JavaScript.AST
JsDecVarIRTS.JavaScript.AST
JsDoubleIRTS.JavaScript.AST
JsEmptyIRTS.JavaScript.AST
JsErrorIRTS.JavaScript.AST
JsErrorExpIRTS.JavaScript.AST
JsExprIRTS.JavaScript.AST
jsExpr2StmtIRTS.JavaScript.AST
JsExprStmtIRTS.JavaScript.AST
JsForceIRTS.JavaScript.AST
JsForeignIRTS.JavaScript.AST
JsForeverIRTS.JavaScript.AST
JsFunIRTS.JavaScript.AST
JsIfIRTS.JavaScript.AST
JsIntIRTS.JavaScript.AST
JsIntegerIRTS.JavaScript.AST
JsLambdaIRTS.JavaScript.AST
jsLazyIRTS.JavaScript.AST
JsMethodIRTS.JavaScript.AST
jsNameIRTS.JavaScript.Name
jsNameGeneratedIRTS.JavaScript.Name
jsNameHiddenClassIRTS.JavaScript.Name
jsNamePartialIRTS.JavaScript.Name
JsNewIRTS.JavaScript.AST
JsNullIRTS.JavaScript.AST
JsObjIRTS.JavaScript.AST
JSONFormatIdris.Options
JsPartIRTS.JavaScript.AST
jsPrimCoerceIRTS.JavaScript.PrimOp
JsPrimTyIRTS.JavaScript.PrimOp
JsPropIRTS.JavaScript.AST
JsReturnIRTS.JavaScript.AST
JsSeqIRTS.JavaScript.AST
JsSetIRTS.JavaScript.AST
jsSetVarIRTS.JavaScript.AST
JsStmtIRTS.JavaScript.AST
jsStmt2ExprIRTS.JavaScript.AST
jsStmt2TextIRTS.JavaScript.AST
JsStrIRTS.JavaScript.AST
JsSwitchCaseIRTS.JavaScript.AST
jsTailCallOptimNameIRTS.JavaScript.Name
JSTargetIRTS.CodegenJavaScript
JsThisIRTS.JavaScript.AST
JsUndefinedIRTS.JavaScript.AST
JsUniOpIRTS.JavaScript.AST
JsVarIRTS.JavaScript.AST
keepGivenIdris.Core.ProofState, Idris.Core.Elaborate
keepTerminatorIdris.Parser.Helpers, Idris.Parser
KeywordIdris.AbsSyntaxTree, Idris.AbsSyntax
KeywordColourIdris.Colours
keywordColourIdris.Colours
known_interfacesIdris.ASTUtils
known_termsIdris.ASTUtils
L 
1 (Data Constructor)IRTS.Bytecode
2 (Data Constructor)IRTS.BCImp
LAltIRTS.Lang, IRTS.Defunctionalise
LAlt'IRTS.Lang, IRTS.Defunctionalise
LamIdris.Core.TT
lambdaIdris.Parser.Expr, Idris.Parser
lambdaLiftIRTS.Lang, IRTS.Defunctionalise
LAndIRTS.Lang, IRTS.Defunctionalise
LanguageExtIdris.Options
LAppIRTS.Lang, IRTS.Defunctionalise
LASHRIRTS.Lang, IRTS.Defunctionalise
lastIndentIdris.Parser.Helpers, Idris.Parser
lastParseIdris.AbsSyntaxTree, Idris.AbsSyntax
lastTokenSpanIdris.AbsSyntaxTree, Idris.AbsSyntax
LaTeXOutputIdris.Options
LBitCastIRTS.Lang, IRTS.Defunctionalise
LCaseIRTS.Lang, IRTS.Defunctionalise
lcharIdris.Parser.Helpers, Idris.Parser
lcharFCIdris.Parser.Helpers, Idris.Parser
LChIntIRTS.Lang, IRTS.Defunctionalise
LComplIRTS.Lang, IRTS.Defunctionalise
LConIRTS.Lang, IRTS.Defunctionalise
LConCaseIRTS.Lang, IRTS.Defunctionalise
LConstIRTS.Lang, IRTS.Defunctionalise
LConstCaseIRTS.Lang, IRTS.Defunctionalise
LConstructorIRTS.Lang, IRTS.Defunctionalise
LCrashIRTS.Lang, IRTS.Defunctionalise
LDeclIRTS.Lang, IRTS.Defunctionalise
LDefaultCaseIRTS.Lang, IRTS.Defunctionalise
LDefsIRTS.Lang, IRTS.Defunctionalise
LEIRTS.Lang, IRTS.Defunctionalise
LeftErrIdris.AbsSyntax
LendOnlyIdris.Core.Typecheck
LEqIRTS.Lang, IRTS.Defunctionalise
LErrorIRTS.Lang, IRTS.Defunctionalise
LetIdris.Core.TT
LetBindIdris.Core.ProofState, Idris.Core.Elaborate
letbindIdris.Core.Elaborate
LetTacIdris.AbsSyntaxTree, Idris.AbsSyntax
LetTacTyIdris.AbsSyntaxTree, Idris.AbsSyntax
let_Idris.Parser.Expr, Idris.Parser
let_bindingIdris.Parser.Expr, Idris.Parser
LExpIRTS.Lang, IRTS.Defunctionalise
LExternalIRTS.Lang, IRTS.Defunctionalise
LFACosIRTS.Lang, IRTS.Defunctionalise
LFASinIRTS.Lang, IRTS.Defunctionalise
LFATanIRTS.Lang, IRTS.Defunctionalise
LFCeilIRTS.Lang, IRTS.Defunctionalise
LFCosIRTS.Lang, IRTS.Defunctionalise
LFExpIRTS.Lang, IRTS.Defunctionalise
LFFloorIRTS.Lang, IRTS.Defunctionalise
LFloatIntIRTS.Lang, IRTS.Defunctionalise
LFloatStrIRTS.Lang, IRTS.Defunctionalise
LFLogIRTS.Lang, IRTS.Defunctionalise
LFNegateIRTS.Lang, IRTS.Defunctionalise
LForceIRTS.Lang, IRTS.Defunctionalise
LForeignIRTS.Lang, IRTS.Defunctionalise
LForkIRTS.Lang, IRTS.Defunctionalise
LFSinIRTS.Lang, IRTS.Defunctionalise
LFSqrtIRTS.Lang, IRTS.Defunctionalise
LFTanIRTS.Lang, IRTS.Defunctionalise
LFunIRTS.Lang, IRTS.Defunctionalise
LGeIRTS.Lang, IRTS.Defunctionalise
LGtIRTS.Lang, IRTS.Defunctionalise
LibUtil.DynamicLinker
libdepsIdris.Package.Common
lib_handleUtil.DynamicLinker
lib_nameUtil.DynamicLinker
LIDRIdris.Imports
liftIRTS.Lang, IRTS.Defunctionalise
liftAllIRTS.Lang, IRTS.Defunctionalise
liftDeclsIRTS.CodegenCommon
liftnameIdris.AbsSyntaxTree, Idris.AbsSyntax
liftPatsIdris.Elab.Utils
LiftStateIRTS.Lang, IRTS.Defunctionalise
linearArgIdris.Elab.Utils
linearCheckIdris.Core.Evaluate
linearCheckArgIdris.Core.Evaluate
LinearTypesIdris.Options
linear_conIdris.Core.TT
LineBreakIdris.Docstrings
lineNumIdris.Parser.Helpers, Idris.Parser
LinkIdris.Docstrings
LIntChIRTS.Lang, IRTS.Defunctionalise
LIntFloatIRTS.Lang, IRTS.Defunctionalise
LIntStrIRTS.Lang, IRTS.Defunctionalise
ListIdris.Docstrings
ListDynamicIdris.REPL.Commands
ListenPortIdris.Options
ListErrorHandlersIdris.REPL.Commands
listExprIdris.Parser.Expr, Idris.Parser
LLamIRTS.Lang, IRTS.Defunctionalise
LLazyAppIRTS.Lang, IRTS.Defunctionalise
LLazyExpIRTS.Lang, IRTS.Defunctionalise
LLeIRTS.Lang, IRTS.Defunctionalise
LLetIRTS.Lang, IRTS.Defunctionalise
LLSHRIRTS.Lang, IRTS.Defunctionalise
LLtIRTS.Lang, IRTS.Defunctionalise
LMinusIRTS.Lang, IRTS.Defunctionalise
lnameIRTS.Lang, IRTS.Defunctionalise
LNoOpIRTS.Lang, IRTS.Defunctionalise
LNothingIRTS.Lang, IRTS.Defunctionalise
LoadIdris.REPL.Commands
LoadFileIdris.IdeMode
loadFromIFileIdris.Parser
loadIBCIdris.IBC
LoadingFailedIdris.Core.TT
loadInputsIdris.ModeCommon, Idris.Main
loadModuleIdris.Parser
loadModule'Idris.Parser
loadPkgIndexIdris.IBC
loadSourceIdris.Parser
loadSource'Idris.Parser
loadStateIdris.Core.Elaborate
LocIRTS.Lang, IRTS.Defunctionalise
localnamesIdris.Core.TT
LogCatIdris.Options
LogCategoryIdris.REPL.Commands
logCodeGenIdris.AbsSyntax
logCoverageIdris.AbsSyntax
logElabIdris.AbsSyntax
logErasureIdris.AbsSyntax
loggingCatsStrIdris.Options
logIBCIdris.AbsSyntax
logLevelIdris.AbsSyntax
LogLvlIdris.REPL.Commands
logLvlIdris.AbsSyntax
logLvlCatsIdris.AbsSyntax
logParserIdris.AbsSyntax
lookAheadMatchesIdris.Parser.Helpers, Idris.Parser
lookupBinderIdris.Core.TT
lookupCtxtIdris.Core.TT
lookupCtxtExactIdris.Core.TT
lookupCtxtNameIdris.Core.TT
lookupDefIdris.Core.Evaluate
lookupDefAccIdris.Core.Evaluate
lookupDefAccExactIdris.Core.Evaluate
lookupDefExactIdris.Core.Evaluate
lookupInjectiveExactIdris.Core.Evaluate
lookupMetaInformationIdris.Core.Evaluate
lookupNameDefIdris.Core.Evaluate
lookupNamesIdris.Core.Evaluate
lookupNameTotalIdris.Core.Evaluate
lookupPIdris.Core.Evaluate
lookupP_allIdris.Core.Evaluate
lookupRigCountIdris.Core.Evaluate
lookupRigCountExactIdris.Core.Evaluate
lookupTotalIdris.Core.Evaluate
lookupTotalExactIdris.Core.Evaluate
lookupTyIdris.Core.Evaluate
lookupTyEnvIdris.Core.Evaluate
lookupTyExactIdris.Core.Evaluate
lookupTyNameIdris.Core.Evaluate
lookupTyNameExactIdris.Core.Evaluate
lookupValIdris.Core.Evaluate
LOpIRTS.Lang, IRTS.Defunctionalise
LOptIRTS.Lang, IRTS.Defunctionalise
LOrIRTS.Lang, IRTS.Defunctionalise
LParIRTS.Lang, IRTS.Defunctionalise
LPlusIRTS.Lang, IRTS.Defunctionalise
LProjIRTS.Lang, IRTS.Defunctionalise
LReadStrIRTS.Lang, IRTS.Defunctionalise
LSIRTS.Lang, IRTS.Defunctionalise
LSDivIRTS.Lang, IRTS.Defunctionalise
LSExtIRTS.Lang, IRTS.Defunctionalise
LSGeIRTS.Lang, IRTS.Defunctionalise
LSGtIRTS.Lang, IRTS.Defunctionalise
LSHLIRTS.Lang, IRTS.Defunctionalise
LSLeIRTS.Lang, IRTS.Defunctionalise
LSLtIRTS.Lang, IRTS.Defunctionalise
LSRemIRTS.Lang, IRTS.Defunctionalise
LStrConcatIRTS.Lang, IRTS.Defunctionalise
LStrConsIRTS.Lang, IRTS.Defunctionalise
LStrEqIRTS.Lang, IRTS.Defunctionalise
LStrFloatIRTS.Lang, IRTS.Defunctionalise
LStrHeadIRTS.Lang, IRTS.Defunctionalise
LStrIndexIRTS.Lang, IRTS.Defunctionalise
LStrIntIRTS.Lang, IRTS.Defunctionalise
LStrLenIRTS.Lang, IRTS.Defunctionalise
LStrLtIRTS.Lang, IRTS.Defunctionalise
LStrRevIRTS.Lang, IRTS.Defunctionalise
LStrSubstrIRTS.Lang, IRTS.Defunctionalise
LStrTailIRTS.Lang, IRTS.Defunctionalise
lsubstIRTS.Lang, IRTS.Defunctionalise
LSystemInfoIRTS.Lang, IRTS.Defunctionalise
ltePropIdris.Parser.Helpers, Idris.Parser
LTimesIRTS.Lang, IRTS.Defunctionalise
ltPropIdris.Parser.Helpers, Idris.Parser
LTruncIRTS.Lang, IRTS.Defunctionalise
LUDivIRTS.Lang, IRTS.Defunctionalise
LURemIRTS.Lang, IRTS.Defunctionalise
LVIRTS.Lang, IRTS.Defunctionalise
LVarIRTS.Lang, IRTS.Defunctionalise
LWriteStrIRTS.Lang, IRTS.Defunctionalise
LXOrIRTS.Lang, IRTS.Defunctionalise
LZExtIRTS.Lang, IRTS.Defunctionalise
machine_genIdris.Core.TT
machine_infIdris.AbsSyntaxTree, Idris.AbsSyntax
makeIdris.Package
MakeCaseIdris.REPL.Commands
makeCaseIdris.Interactive
MakeCaseBlockIdris.IdeMode
MakeDocIdris.REPL.Commands
makefileIdris.Package.Common
MakeLemma 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
makeLemmaIdris.Interactive
MakeWithIdris.REPL.Commands
makeWithIdris.Interactive
MakeWithBlockIdris.IdeMode
ManyIdris.Core.Typecheck
ManyArgsIdris.Help
mapCtxtIdris.Core.TT
mapDefCtxtIdris.Core.Evaluate
mapPDataFCIdris.AbsSyntaxTree, Idris.AbsSyntax
mapPDeclFCIdris.AbsSyntaxTree, Idris.AbsSyntax
mapPTIdris.AbsSyntaxTree, Idris.AbsSyntax
mapPTermFCIdris.AbsSyntaxTree, Idris.AbsSyntax
mapRHSIdris.Elab.Clause
mapRHSdeclIdris.Elab.Clause
mapsndIdris.AbsSyntax
MatchIdris.Core.Unify
matchClauseIdris.AbsSyntax
matchClause'Idris.AbsSyntax
MatchFillIdris.Core.ProofState, Idris.Core.Elaborate
MatchProblemsIdris.Core.ProofState, Idris.Core.Elaborate
matchProblemsIdris.Core.Elaborate
MatchRefineIdris.AbsSyntaxTree, Idris.AbsSyntax
match_applyIdris.Core.Elaborate
match_fillIdris.Core.Elaborate
match_unifyIdris.Core.Unify
maxlineIdris.AbsSyntaxTree, Idris.AbsSyntax
MaybeHolesIdris.Core.TT
maybeWithNSIdris.Parser.Helpers, Idris.Parser
mergeOptionsIdris.Package
MetaInformationIdris.Core.Evaluate
MetaNIdris.Core.TT
MetaVarArgIdris.Help
MetavariablesIdris.IdeMode
metavarNameIdris.Elab.Term
MetavarOutputIdris.Core.TT
MetavarsIdris.REPL.Commands
MethodNIdris.Core.TT
MissingIdris.REPL.Commands
mkAppIdris.Core.TT
mkApplyIRTS.Defunctionalise
mkApply2IRTS.Defunctionalise
mkApplyCaseIRTS.Defunctionalise
mkBigCaseIRTS.Defunctionalise
MKCONIRTS.Bytecode
mkDirCmdIdris.Package
mkEvalIRTS.Defunctionalise
mkFieldNameIdris.Erasure
mkFnConIRTS.Defunctionalise
mkForceIdris.Core.CaseTree
mkListIdris.Reflection
mkMultiPathsIdris.Termination
mkNameIdris.Parser.Helpers, Idris.Parser
mkPAppIdris.AbsSyntax
mkPatTmIdris.Coverage
mkPE_TermDeclIdris.PartialEval
mkPE_TyDeclIdris.PartialEval
mkProofTermIdris.Core.ProofTerm
mkStaticIdris.Elab.Utils
mkStaticTyIdris.Elab.Utils
mkTTNameIdris.DSL
mkTypeIdris.Parser.Expr, Idris.Parser
mkUnderConIRTS.Defunctionalise
mkUniqueNamesIdris.AbsSyntax
mkWithIdris.CaseSplit
MNIdris.Core.TT
ModDocIdris.Docs
modDocNameIdris.AbsSyntaxTree, Idris.AbsSyntax
modifyConstIdris.Parser.Expr, Idris.Parser
ModImportIdris.REPL.Commands
ModuleArgIdris.Help
moduleHeaderIdris.Parser
modulesIdris.Package.Common
ModuleTreeIdris.Chaser
module_aliasesIdris.AbsSyntaxTree, Idris.AbsSyntax
mod_depsIdris.Chaser
mod_needsRecheckIdris.Chaser
mod_pathIdris.Chaser
mod_timeIdris.Chaser
MonadicParsingIdris.Parser.Helpers, Idris.Parser
MoveLastIdris.Core.ProofState, Idris.Core.Elaborate
movelastIdris.Core.Elaborate
moveRegIRTS.Bytecode
MsgIdris.Core.TT
MTreeIdris.Chaser
multiLineCommentIdris.Parser.Helpers, Idris.Parser
MultiPathIdris.Termination
MutualIdris.Core.Evaluate
mutualIdris.Parser
mutual_typesIdris.Core.TT
mut_nestingIdris.AbsSyntaxTree, Idris.AbsSyntax
NameIdris.Core.TT
nameIdris.Parser.Helpers, Idris.Parser
NameArgIdris.Help
NamedImplementationDocIdris.Docs
nameMissingIdris.CaseSplit
NameOutputIdris.Core.TT
NamePartIdris.Core.TT
namequoteIdris.Parser.Expr, Idris.Parser
nameRootIdris.CaseSplit
namesInIdris.AbsSyntaxTree, Idris.AbsSyntax
namesInNSIdris.REPL.Browse
namespace 
1 (Function)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Function)Idris.Parser
NamespaceArgIdris.Help
namespacesInNSIdris.REPL.Browse
namesUsedIdris.Core.CaseTree
NameTArgIdris.Parser.Expr, Idris.Parser
NameTypeIdris.Core.TT
NativeIRTS.Lang, IRTS.Defunctionalise
NativeTyIdris.Core.TT
nativeTyWidthIdris.Core.TT
naturalIdris.Parser.Helpers, Idris.Parser
NeverIdris.Core.Typecheck
NewDefnIdris.REPL.Commands
newProofIdris.Core.ProofState, Idris.Core.Elaborate
new_tyDeclsIdris.AbsSyntaxTree, Idris.AbsSyntax
nextNIRTS.LangOpts
nextNameIdris.Core.TT
nextnameIdris.Core.ProofState, Idris.Core.Elaborate
next_tvarIdris.Core.Evaluate
NLetIdris.Core.TT
NoArgIdris.Help
NoBannerIdris.Options
NoBasePkgsIdris.Options
NoBuiltinsIdris.Options
noCaseLiftIdris.AbsSyntaxTree, Idris.AbsSyntax
NoCoverageIdris.Options
NodeIRTS.CodegenJavaScript
noDocCommentHereIdris.Parser.Helpers, Idris.Parser
noDocsIdris.Docstrings
NoElimDeprecationWarningsIdris.Options
NoEliminatorIdris.Core.TT
noErrorsIdris.AbsSyntax
NoFCIdris.Core.TT
nofixityoperatorIdris.Parser.Ops, Idris.Parser
NoImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
noImplicitsIdris.Parser.Expr, Idris.Parser
NoInlineIRTS.Lang, IRTS.Defunctionalise
NonCollapsiblePostulateIdris.Core.TT
NONEIRTS.CodegenCommon
NonFunctionTypeIdris.Core.TT
noOccurrenceIdris.Core.TT
NoOldTacticDeprecationWarningsIdris.Options
NOP 
1 (Data Constructor)Idris.REPL.Commands
2 (Data Constructor)IRTS.BCImp
noPartialIdris.Termination
NoPreludeIdris.Options
NoREPLIdris.Options
NoRewritingIdris.Core.TT
normalImplicitIdris.Parser.Expr, Idris.Parser
normaliseIdris.Core.Evaluate
normaliseAllIdris.Core.Evaluate
normaliseBlockingIdris.Core.Evaluate
normaliseCIdris.Core.Evaluate
normaliseTraceIdris.Core.Evaluate
NoSuchVariableIdris.Core.TT
NotCoveringIdris.Core.Evaluate
notEndAppIdris.Parser.Helpers, Idris.Parser
notEndBlockIdris.Parser.Helpers, Idris.Parser
NotEqualityIdris.Core.TT
NotInjectiveIdris.Core.TT
notOpenBracesIdris.Parser.Helpers, Idris.Parser
NotPositiveIdris.Core.Evaluate
NotProductiveIdris.Core.Evaluate
notunifiedIdris.Core.ProofState, Idris.Core.Elaborate
NoTypeDeclIdris.Core.TT
NoValidAltsIdris.Core.TT
nowElaboratingPSIdris.Core.ProofState, Idris.Core.Elaborate
now_elaboratingIdris.Core.Elaborate
no_errorsIdris.Core.Elaborate
no_impIdris.AbsSyntaxTree, Idris.AbsSyntax
NSIdris.Core.TT
nsrootIdris.Core.TT
nt_arityIdris.Core.TT
nt_tagIdris.Core.TT
nt_uniqueIdris.Core.TT
NULLIRTS.Bytecode
nullDocstringIdris.Docstrings
NullTypeIdris.Core.TT
NumberArgIdris.Help
ObjectIRTS.CodegenCommon
objsIdris.Package.Common
occurrencesIdris.Core.TT
OKIdris.Core.TT
OLogCatsIdris.Options
OLoggingIdris.Options
OnceIdris.Core.Typecheck
OPIRTS.Bytecode
opCharsIdris.Parser.Helpers, Idris.Parser
openBlockIdris.Parser.Helpers, Idris.Parser
openInterfaceIdris.Parser
OperatorIdris.Core.Evaluate
operatorIdris.Parser.Helpers, Idris.Parser
operatorFCIdris.Parser.Helpers, Idris.Parser
operatorFrontIdris.Parser.Ops, Idris.Parser
operatorLetterIdris.Parser.Helpers, Idris.Parser
opExprIdris.Parser.Expr, Idris.Parser
Opt 
1 (Type/Class)Idris.IdeMode
2 (Type/Class)Idris.Options
optIdris.Options, Idris.CmdOptions
OptimisationIdris.Options
OptimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
OptInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
OptionalArgIdris.Help
OptionArgIdris.Help
OptLevelIdris.Options
opts_idrisCmdlineIdris.ASTUtils
opt_autoimplsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_autoImportIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_autoSolveIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_cmdlineIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_codegenIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_coverageIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_cpuIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_desugarnatsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_detaggableIdris.ASTUtils
opt_errContextIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_evaltypesIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_forceableIdris.ASTUtils
opt_ibcsubdirIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_importdirsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_inaccessibleIdris.ASTUtils
opt_logcatsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_logLevelIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_nobannerIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_optimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_origerrIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_outputTyIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_printdepthIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_quietIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_replIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_showimpIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_sourcedirsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_tripleIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_typecaseIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_typeintypeIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_verboseIdris.AbsSyntaxTree, Idris.AbsSyntax
orderPatsIdris.Elab.Utils
OtherIdris.Core.Evaluate
OutputIdris.Options
OutputAnnotationIdris.Core.TT
outputFileIRTS.CodegenCommon
OutputFmtIdris.Options
OutputModeIdris.AbsSyntaxTree, Idris.AbsSyntax
OutputTyIdris.Options
outputTyIdris.AbsSyntax
OutputTypeIRTS.CodegenCommon
outputTypeIRTS.CodegenCommon
OverlappingDictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
overloadIdris.Parser.Data, Idris.Parser
OverviewIdris.IdeMode
overviewIdris.Docstrings
OverviewDocsIdris.Options
PIdris.Core.TT
pairConIdris.AbsSyntaxTree, Idris.AbsSyntax
pairTyIdris.AbsSyntaxTree, Idris.AbsSyntax
PAlternativeIdris.AbsSyntaxTree, Idris.AbsSyntax
PAltTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
PAppIdris.AbsSyntaxTree, Idris.AbsSyntax
PAppBindIdris.AbsSyntaxTree, Idris.AbsSyntax
PAppImplIdris.AbsSyntaxTree, Idris.AbsSyntax
ParaIdris.Docstrings
paramNamesIdris.Elab.Utils
params 
1 (Function)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Function)Idris.Parser
param_posIdris.Core.TT
ParentNIdris.Core.TT
PArgIdris.AbsSyntaxTree, Idris.AbsSyntax
PArg'Idris.AbsSyntaxTree, Idris.AbsSyntax
pargoptsIdris.AbsSyntaxTree, Idris.AbsSyntax
parseCmdIdris.REPL.Parser
parseCodegenIdris.CmdOptions
parseConsoleWidthIdris.CmdOptions
parseConstIdris.Parser
parseDocstringIdris.Docstrings
parseElabShellStepIdris.Parser
parseExprIdris.Parser
parseFlagsIdris.CmdOptions
parseImportsIdris.Parser
parseLogCatsIdris.CmdOptions
parseMessageIdris.IdeMode
parseProgIdris.Parser
parserIdris.CmdOptions
parserCatsIdris.Options
parserWarningIdris.Parser.Helpers, Idris.Parser
parserWarningsIdris.AbsSyntaxTree, Idris.AbsSyntax
parseTacticIdris.Parser
parseVersionIdris.CmdOptions
Partial 
1 (Data Constructor)Idris.Core.Evaluate
2 (Type/Class)IRTS.JavaScript.Name
3 (Data Constructor)IRTS.JavaScript.Name
partialApplicationsIRTS.JavaScript.Codegen
PartialFnIdris.AbsSyntaxTree, Idris.AbsSyntax
partial_evalIdris.PartialEval
PAsIdris.AbsSyntaxTree, Idris.AbsSyntax
PatBindIdris.Core.ProofState, Idris.Core.Elaborate
patbindIdris.Core.Elaborate
PattelabIdris.REPL.Commands
patternIdris.Parser
PatternSyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
PatVarIdris.Core.ProofState, Idris.Core.Elaborate
patvarIdris.Core.Elaborate
patvar'Idris.Core.Elaborate
pbindsIdris.Elab.Utils
pbtyIdris.Elab.Utils
PCAFIdris.AbsSyntaxTree, Idris.AbsSyntax
PCaseIdris.AbsSyntaxTree, Idris.AbsSyntax
PClause 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
PClause'Idris.AbsSyntaxTree, Idris.AbsSyntax
PClauseRIdris.AbsSyntaxTree, Idris.AbsSyntax
PClausesIdris.AbsSyntaxTree, Idris.AbsSyntax
PCoercedIdris.AbsSyntaxTree, Idris.AbsSyntax
pconstIdris.AbsSyntaxTree, Idris.AbsSyntax
PConstantIdris.AbsSyntaxTree, Idris.AbsSyntax
PConstraintIdris.AbsSyntaxTree, Idris.AbsSyntax
PConstSugarIdris.AbsSyntaxTree, Idris.AbsSyntax
pcountIdris.AbsSyntaxTree, Idris.AbsSyntax
PData 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
PData'Idris.AbsSyntaxTree, Idris.AbsSyntax
PDatadeclIdris.AbsSyntaxTree, Idris.AbsSyntax
PDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
PDecl'Idris.AbsSyntaxTree, Idris.AbsSyntax
PDirectiveIdris.AbsSyntaxTree, Idris.AbsSyntax
PDisambIdris.AbsSyntaxTree, Idris.AbsSyntax
PDoIdris.AbsSyntaxTree, Idris.AbsSyntax
PDo'Idris.AbsSyntaxTree, Idris.AbsSyntax
PDoBlockIdris.AbsSyntaxTree, Idris.AbsSyntax
PDPairIdris.AbsSyntaxTree, Idris.AbsSyntax
PDSLIdris.AbsSyntaxTree, Idris.AbsSyntax
PEArgTypeIdris.PartialEval
PEGeneratedIdris.AbsSyntaxTree, Idris.AbsSyntax
PElabErrorIdris.AbsSyntaxTree, Idris.AbsSyntax
pEraseTypeIdris.Core.TT
performUsageAnalysisIdris.Erasure
PETransformIdris.Options
PExpIdris.AbsSyntaxTree, Idris.AbsSyntax
pexpIdris.AbsSyntaxTree, Idris.AbsSyntax
pe_appIdris.PartialEval
pe_clausesIdris.PartialEval
pe_defIdris.PartialEval
pe_depthIdris.AbsSyntaxTree, Idris.AbsSyntax
pe_simpleIdris.PartialEval
PFixIdris.AbsSyntaxTree, Idris.AbsSyntax
PGoalIdris.AbsSyntaxTree, Idris.AbsSyntax
PhaseIdris.Core.CaseTree
PHiddenIdris.AbsSyntaxTree, Idris.AbsSyntax
PiIdris.Core.TT
piIdris.Parser.Expr, Idris.Parser
piBindIdris.AbsSyntaxTree, Idris.AbsSyntax
piBindpIdris.AbsSyntaxTree, Idris.AbsSyntax
PIdiomIdris.AbsSyntaxTree, Idris.AbsSyntax
PIfThenElseIdris.AbsSyntaxTree, Idris.AbsSyntax
PImpIdris.AbsSyntaxTree, Idris.AbsSyntax
pimpIdris.AbsSyntaxTree, Idris.AbsSyntax
PImplementationIdris.AbsSyntaxTree, Idris.AbsSyntax
PImpossibleIdris.AbsSyntaxTree, Idris.AbsSyntax
PInferRefIdris.AbsSyntaxTree, Idris.AbsSyntax
pinsourceIdris.AbsSyntaxTree, Idris.AbsSyntax
PInterfaceIdris.AbsSyntaxTree, Idris.AbsSyntax
piOptsIdris.Parser.Expr, Idris.Parser
PkgIdris.Options
PkgArgsIdris.Help
pkgauthorIdris.Package.Common
pkgbriefIdris.Package.Common
pkgbugtrackerIdris.Package.Common
PkgBuildIdris.Options
PkgCheckIdris.Options
PkgCleanIdris.Options
pkgdepsIdris.Package.Common
PkgDesc 
1 (Type/Class)Idris.Package.Common
2 (Data Constructor)Idris.Package.Common
PkgDocBuildIdris.Options
PkgDocInstallIdris.Options
pkghomepageIdris.Package.Common
PkgIndexIdris.Options
pkgIndexIdris.Imports
PkgInstallIdris.Options
pkglicenseIdris.Package.Common
pkgmaintainerIdris.Package.Common
pkgnameIdris.Package.Common
pkgreadmeIdris.Package.Common
PkgREPLIdris.Options
pkgsourcelocIdris.Package.Common
PkgTestIdris.Options
pkgversionIdris.Package.Common
PlaceholderIdris.AbsSyntaxTree, Idris.AbsSyntax
PLamIdris.AbsSyntaxTree, Idris.AbsSyntax
pLangExtIdris.Parser
PLaterdeclIdris.AbsSyntaxTree, Idris.AbsSyntax
PLetIdris.AbsSyntaxTree, Idris.AbsSyntax
PlicityIdris.AbsSyntaxTree, Idris.AbsSyntax
plogIdris.Core.ProofState, Idris.Core.Elaborate
pmapIdris.Core.TT
PMatchAppIdris.AbsSyntaxTree, Idris.AbsSyntax
PMetavarIdris.AbsSyntaxTree, Idris.AbsSyntax
PMutualIdris.AbsSyntaxTree, Idris.AbsSyntax
pnameIdris.AbsSyntaxTree, Idris.AbsSyntax
PNamespaceIdris.AbsSyntaxTree, Idris.AbsSyntax
PNoImplicitsIdris.AbsSyntaxTree, Idris.AbsSyntax
POpenInterfacesIdris.AbsSyntaxTree, Idris.AbsSyntax
popIndentIdris.Parser.Helpers, Idris.Parser
pop_estackIdris.AbsSyntax
PortIdris.Options
postulateIdris.Parser
PostulateColourIdris.Colours
postulateColourIdris.Colours
PostulateOutputIdris.Core.TT
PPairIdris.AbsSyntaxTree, Idris.AbsSyntax
pparamIdris.AbsSyntaxTree, Idris.AbsSyntax
PParamsIdris.AbsSyntaxTree, Idris.AbsSyntax
PPatvarIdris.AbsSyntaxTree, Idris.AbsSyntax
PPiIdris.AbsSyntaxTree, Idris.AbsSyntax
PPOption 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
ppOptionIdris.AbsSyntaxTree, Idris.AbsSyntax
ppOptionIstIdris.AbsSyntaxTree, Idris.AbsSyntax
ppopt_depthIdris.AbsSyntaxTree, Idris.AbsSyntax
ppopt_desugarnatsIdris.AbsSyntaxTree, Idris.AbsSyntax
ppopt_implIdris.AbsSyntaxTree, Idris.AbsSyntax
ppopt_pinamesIdris.AbsSyntaxTree, Idris.AbsSyntax
PPostulateIdris.AbsSyntaxTree, Idris.AbsSyntax
PPrintIdris.REPL.Commands
pprintConstDocsIdris.Docs
pprintDelabIdris.Delaborate
pprintDelabTyIdris.Delaborate
pprintDocsIdris.Docs
pprintErrIdris.Delaborate
pprintNoDelabIdris.Delaborate
pprintPTermIdris.AbsSyntaxTree, Idris.AbsSyntax
pprintRawIdris.Core.TT
pprintTTIdris.Core.TT
pprintTTClauseIdris.Core.TT
pprintTypeDocIdris.Docs
PProofIdris.AbsSyntaxTree, Idris.AbsSyntax
PProviderIdris.AbsSyntaxTree, Idris.AbsSyntax
PQuasiquoteIdris.AbsSyntaxTree, Idris.AbsSyntax
PQuoteIdris.AbsSyntaxTree, Idris.AbsSyntax
PQuoteNameIdris.AbsSyntaxTree, Idris.AbsSyntax
PReasonIdris.Core.Evaluate
precIdris.AbsSyntaxTree, Idris.AbsSyntax
PRecordIdris.AbsSyntaxTree, Idris.AbsSyntax
PRefIdris.AbsSyntaxTree, Idris.AbsSyntax
prefixIdris.Parser.Ops, Idris.Parser
PrefixNIdris.AbsSyntaxTree, Idris.AbsSyntax
premisesIdris.Core.ProofTerm, Idris.Core.ProofState, Idris.Core.Elaborate
prepare_applyIdris.Core.Elaborate
PrepFillIdris.Core.ProofState, Idris.Core.Elaborate
preProcOptsIdris.CmdOptions
prep_fillIdris.Core.Elaborate
PResolveTCIdris.AbsSyntaxTree, Idris.AbsSyntax
prettyDocumentedIstIdris.Output
prettyEnvIdris.Core.TT
prettyImpIdris.AbsSyntaxTree, Idris.AbsSyntax
prettyIstIdris.AbsSyntaxTree, Idris.AbsSyntax
prettyNameIdris.AbsSyntaxTree, Idris.AbsSyntax
previousIdris.Core.ProofState, Idris.Core.Elaborate
PRewriteIdris.AbsSyntaxTree, Idris.AbsSyntax
Prim 
1 (Type/Class)Idris.Primitives
2 (Data Constructor)Idris.Primitives
primDBIRTS.JavaScript.PrimOp
PrimDecIRTS.JavaScript.PrimOp
primDefsIdris.AbsSyntaxTree, Idris.AbsSyntax
PrimFIRTS.JavaScript.PrimOp
primfcIdris.AbsSyntaxTree, Idris.AbsSyntax
PrimFnIRTS.Lang, IRTS.Defunctionalise
primitivesIdris.Primitives
primNamesIdris.AbsSyntaxTree, Idris.AbsSyntax
PrintDef 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
printUndefinedNamesIdris.Output
priorityIdris.AbsSyntaxTree, Idris.AbsSyntax
PrivateIdris.Core.Evaluate
problemsIdris.Core.ProofState, Idris.Core.Elaborate
processIdris.REPL
processTacticIdris.Core.ProofState, Idris.Core.Elaborate
processTactic'Idris.Core.Elaborate
processTacticDeclsIdris.Elab.Term
ProductiveIdris.Core.Evaluate
progIdris.Parser
ProgramLineCommentIdris.Core.TT
ProjIdris.Core.TT
ProjCaseIdris.Core.CaseTree
PROJECTIRTS.Bytecode
PROJECTINTOIRTS.Bytecode
PromptColourIdris.Colours
promptColourIdris.Colours
proofIdris.Core.Elaborate
proofExprIdris.Parser.Expr, Idris.Parser
proofFailIdris.Core.Elaborate
ProofsIdris.REPL.Commands
proofsIdris.REPL
ProofSearch 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
proofSearchIdris.ProofSearch
proofSearch'Idris.Elab.Term
ProofSearchFailIdris.Core.TT
ProofState 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Type/Class)Idris.Core.ProofState, Idris.Core.Elaborate
3 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
proofstateIdris.Core.Elaborate
ProofTerm 
1 (Type/Class)Idris.Core.ProofTerm
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
proof_listIdris.AbsSyntaxTree, Idris.AbsSyntax
propagateParamsIdris.Elab.Utils
ProveIdris.REPL.Commands
ProvenanceIdris.Core.TT
proverIdris.Prover
proverCompletionIdris.Completion
ProvideIdris.Providers
ProvidedIdris.Providers
providerIdris.Parser
ProviderErrorIdris.Core.TT
providerTyIdris.Providers
ProvideWhatIdris.AbsSyntaxTree, Idris.AbsSyntax
ProvideWhat'Idris.AbsSyntaxTree, Idris.AbsSyntax
ProvPostulateIdris.AbsSyntaxTree, Idris.AbsSyntax
ProvTermIdris.AbsSyntaxTree, Idris.AbsSyntax
pruneAltIdris.Elab.Term
pruneByTypeIdris.Elab.Utils
PRunElabIdris.AbsSyntaxTree, Idris.AbsSyntax
PRunElabDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
prunStateTIdris.Core.Elaborate
PSIdris.Core.ProofState, Idris.Core.Elaborate
pscopedIdris.AbsSyntaxTree, Idris.AbsSyntax
pscriptIdris.AbsSyntaxTree, Idris.AbsSyntax
pshowIdris.Output
psnamesIdris.Core.ProofState, Idris.Core.Elaborate
psolveIdris.Elab.Utils
pstaticIdris.AbsSyntaxTree, Idris.AbsSyntax
psubstIdris.Core.TT
PSyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
ptacimpIdris.AbsSyntaxTree, Idris.AbsSyntax
PTacImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
PTacticIdris.AbsSyntaxTree, Idris.AbsSyntax
PTactic'Idris.AbsSyntaxTree, Idris.AbsSyntax
PTacticsIdris.AbsSyntaxTree, Idris.AbsSyntax
PTAnyIRTS.JavaScript.PrimOp
PTBoolIRTS.JavaScript.PrimOp
PTermIdris.AbsSyntaxTree, Idris.AbsSyntax
ptermIdris.Core.ProofState, Idris.Core.Elaborate
pToVIdris.Core.TT
pToVsIdris.Core.TT
PTransformIdris.AbsSyntaxTree, Idris.AbsSyntax
PTrueIdris.AbsSyntaxTree, Idris.AbsSyntax
PTyIdris.AbsSyntaxTree, Idris.AbsSyntax
PTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
ptypeIdris.Core.ProofState, Idris.Core.Elaborate
PTypedIdris.AbsSyntaxTree, Idris.AbsSyntax
PublicIdris.Core.Evaluate
PUnifyLogIdris.AbsSyntaxTree, Idris.AbsSyntax
PunInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
PUniverseIdris.AbsSyntaxTree, Idris.AbsSyntax
PUnquoteIdris.AbsSyntaxTree, Idris.AbsSyntax
pureArgParserIdris.CmdOptions
pureTermIdris.Core.TT
pushIndentIdris.Parser.Helpers, Idris.Parser
push_estackIdris.AbsSyntax
putIStateIdris.AbsSyntax
PVarIdris.Core.TT
pvarsIdris.Elab.Utils
PVTyIdris.Core.TT
PWithIdris.AbsSyntaxTree, Idris.AbsSyntax
PWithAppIdris.AbsSyntaxTree, Idris.AbsSyntax
PWithRIdris.AbsSyntaxTree, Idris.AbsSyntax
p_arityIdris.Primitives
p_defIdris.Primitives
p_lexpIdris.Primitives
p_nameIdris.Primitives
p_totalIdris.Primitives
p_typeIdris.Primitives
QEDIdris.Core.ProofState, Idris.Core.Elaborate
QedIdris.AbsSyntaxTree, Idris.AbsSyntax
qedIdris.Core.Elaborate
qshowIdris.Core.Elaborate
qualifyNIRTS.JavaScript.Specialize
quasiquoteIdris.Parser.Expr, Idris.Parser
QuietIdris.Options
QuitIdris.REPL.Commands
QuoteIdris.Core.Evaluate
quoteIdris.Core.Evaluate
quoteGoalIdris.Parser.Expr, Idris.Parser
quoteTermIdris.Core.Evaluate
RAddImplementationIdris.AbsSyntaxTree, Idris.AbsSyntax
RAppIdris.Core.TT
rArgOptsIdris.Reflection
Raw 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)IRTS.CodegenCommon
rawBoolIdris.Reflection
rawConsIdris.Reflection
RawHtmlIdris.Docstrings
rawListIdris.Reflection
rawNilIdris.Reflection
RawOutputIdris.AbsSyntaxTree, Idris.AbsSyntax
rawPairIdris.Reflection
rawPairTyIdris.Reflection
RawPartIdris.Core.TT
rawTripleIdris.Reflection
rawTripleTyIdris.Reflection
raw_applyIdris.Core.TT
raw_unapplyIdris.Core.TT
RBindIdris.Core.TT
RClausesInstrsIdris.AbsSyntaxTree, Idris.AbsSyntax
RConstantIdris.Core.TT
RConstraintIdris.Reflection
RConstructorIdris.Reflection
RConstructorDefnIdris.Reflection
RCtorArgIdris.Reflection
RCtorFieldIdris.Reflection
RCtorParameterIdris.Reflection
RDataDefnIdris.Reflection
RDatatype 
1 (Type/Class)Idris.Reflection
2 (Data Constructor)Idris.Reflection
RDatatypeDeclInstrsIdris.AbsSyntaxTree, Idris.AbsSyntax
RDatatypeDefnInstrsIdris.AbsSyntaxTree, Idris.AbsSyntax
RDeclareIdris.Reflection
RDeclInstructionsIdris.AbsSyntaxTree, Idris.AbsSyntax
RDefineDatatypeIdris.Reflection
RDefineFunIdris.Reflection
readSourceUtil.System
readSourceStrictUtil.System
REBASEIRTS.Bytecode
recentsIdris.Core.ProofState, Idris.Core.Elaborate
recheckIdris.Core.Typecheck
recheckCIdris.Elab.Utils
recheckC_borrowingIdris.Elab.Utils
recheck_borrowingIdris.Core.Typecheck
recinfoIdris.ElabDecls
recordIdris.Parser.Data, Idris.Parser
RecordDocIdris.Docs
recordIIdris.Parser.Data, Idris.Parser
RecordInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
recordParameterIdris.Parser.Data, Idris.Parser
recordTypeIdris.Parser.Expr, Idris.Parser
record_constructorIdris.AbsSyntaxTree, Idris.AbsSyntax
record_parametersIdris.AbsSyntaxTree, Idris.AbsSyntax
record_projectionsIdris.AbsSyntaxTree, Idris.AbsSyntax
recoverableCoverageIdris.Coverage
rec_elabDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
RefIdris.Core.TT
RefineIdris.AbsSyntaxTree, Idris.AbsSyntax
reflCallIdris.Reflection
ReflectIdris.AbsSyntaxTree, Idris.AbsSyntax
reflectIdris.Reflection
reflectArgIdris.Reflection
reflectBinderIdris.Reflection
reflectBinderQuoteIdris.Reflection
reflectBinderQuotePatternIdris.Reflection
reflectConstantIdris.Reflection
reflectCtorArgIdris.Reflection
reflectCtxtIdris.Reflection
reflectDatatypeIdris.Reflection
reflectEnvIdris.Reflection
reflectErasureIdris.Reflection
reflectErrIdris.Reflection
reflectFCIdris.Reflection
reflectFixityIdris.Reflection
reflectFunClauseIdris.Reflection
reflectFunDefnIdris.Reflection
ReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
ReflectionErrorIdris.Core.TT
ReflectionFailedIdris.Core.TT
reflectListIdris.Reflection
reflectNameIdris.Reflection
reflectNameQuotePatternIdris.Reflection
reflectNameTypeIdris.Reflection
reflectPlicityIdris.Reflection
reflectRawIdris.Reflection
reflectRawQuoteIdris.Reflection
reflectRawQuotePatternIdris.Reflection
reflectSpecialNameIdris.Reflection
reflectTTQuoteIdris.Reflection
reflectTTQuotePatternIdris.Reflection
reflectUExpIdris.Reflection
reflectUniverseIdris.Reflection
reflErrNameIdris.Reflection
reflmIdris.Reflection
refocusIdris.Core.ProofTerm
refsInIdris.Core.TT
Reg 
1 (Type/Class)IRTS.Bytecode
2 (Type/Class)IRTS.BCImp
RegretIdris.Core.ProofState, Idris.Core.Elaborate
regretIdris.Core.Elaborate
reifyIdris.Reflection
reifyAppIdris.Reflection
reifyArithTyIdris.Reflection
reifyBoolIdris.Reflection
reifyEnvIdris.Reflection
reifyErasureIdris.Reflection
reifyFCIdris.Reflection
reifyFunDefnIdris.Reflection
reifyIntIdris.Reflection
reifyIntTyIdris.Reflection
reifyListIdris.Reflection
reifyNativeTyIdris.Reflection
reifyPairIdris.Reflection
reifyPlicityIdris.Reflection
reifyRawIdris.Reflection
reifyRawAppIdris.Reflection
reifyRConstructorDefnIdris.Reflection
reifyRDataDefnIdris.Reflection
reifyReportPartIdris.Reflection
reifyReportPartsIdris.Reflection
reifyRFunArgIdris.Reflection
reifyTTIdris.Reflection
reifyTTAppIdris.Reflection
reifyTTBinderIdris.Reflection
reifyTTBinderAppIdris.Reflection
reifyTTConstIdris.Reflection
reifyTTConstAppIdris.Reflection
reifyTTNameIdris.Reflection
reifyTTNameAppIdris.Reflection
reifyTTNamespaceIdris.Reflection
reifyTTNameTypeIdris.Reflection
reifyTTUExpIdris.Reflection
reifyTyDeclIdris.Reflection
reifyUniverseIdris.Reflection
ReloadIdris.REPL.Commands
removeDeadCodeIRTS.JavaScript.LangTransforms
RemoveOptIdris.Options
removeOptimiseIdris.AbsSyntax
renderDocstringIdris.Docstrings
renderDocTermIdris.Docstrings
renderExternalIdris.Output
renderHtmlIdris.Docstrings
ReorderIdris.Core.ProofState, Idris.Core.Elaborate
reorder_claimsIdris.Core.Elaborate
replIdris.REPL
replaceSplitsIdris.CaseSplit
replCompletionIdris.Completion
REPLCompletionsIdris.IdeMode
replPkgIdris.Package
REPLPortIdris.Options
replSettingsIdris.REPL
repl_definitionsIdris.ASTUtils
reportIdris.Error
reportParserWarningsIdris.Parser.Helpers, Idris.Parser
RErasedIdris.Reflection
RErasureIdris.Reflection
RESERVEIRTS.Bytecode
reservedIdris.Parser.Helpers, Idris.Parser
reservedFCIdris.Parser.Helpers, Idris.Parser
reservedHLIdris.Parser.Helpers, Idris.Parser
reservedOpIdris.Parser.Helpers, Idris.Parser
reservedOpFCIdris.Parser.Helpers, Idris.Parser
resetNameIdxIdris.AbsSyntax
resetProofTermIdris.Core.ProofTerm
resolveTCIdris.ProofSearch
resolveTC'Idris.Elab.Term
resugarIdris.Delaborate
resultCaseDeclsIdris.Elab.Term
resultContextIdris.Elab.Term
resultHighlightingIdris.Elab.Term
resultMetavarsIdris.Elab.Term
resultNameIdris.Elab.Term
resultTermIdris.Elab.Term
resultTyDeclsIdris.Elab.Term
Rewrite 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
rewriteIdris.Core.Elaborate
rewriteTermIdris.Parser.Expr, Idris.Parser
RExplicitIdris.Reflection
RFunArg 
1 (Type/Class)Idris.Reflection
2 (Data Constructor)Idris.Reflection
rFunArgToPArgIdris.Reflection
RFunClauseIdris.Reflection
RFunDefnIdris.Reflection
rhsIdris.Parser
rhs_transIdris.AbsSyntaxTree, Idris.AbsSyntax
RIIdris.AbsSyntaxTree, Idris.AbsSyntax
Rig0Idris.Core.TT
Rig1Idris.Core.TT
RigCountIdris.Core.TT
rigEnvIdris.Core.TT
RightOKIdris.AbsSyntax
rigMultIdris.Core.TT
rigPlusIdris.Core.TT
RigWIdris.Core.TT
RImplicitIdris.Reflection
RIndexIdris.Reflection
rmExeIdris.Package
rmFileUtil.System
rmIBCIdris.Package
rmIdxIdris.Package
RMkFunClauseIdris.Reflection
RMkImpossibleClauseIdris.Reflection
RmProofIdris.REPL.Commands
RNotErasedIdris.Reflection
RParameterIdris.Reflection
RPlicityIdris.Reflection
RTyConArgIdris.Reflection
RTyDeclIdris.Reflection
RTyDeclInstrsIdris.AbsSyntaxTree, Idris.AbsSyntax
RTypeIdris.Core.TT
rt_simplifyIdris.Core.Evaluate
RuleIdris.AbsSyntaxTree, Idris.AbsSyntax
runArgParserIdris.CmdOptions
runClientIdris.REPL, Idris.Main
runElab 
1 (Function)Idris.Core.Elaborate
2 (Function)Idris.Parser.Expr, Idris.Parser
runElabActionIdris.Elab.Term
runElabDeclIdris.Parser
runInnerParserIdris.Parser.Helpers, Idris.Parser
runIOIdris.AbsSyntax
runMainIdris.Main
RunningElabScriptIdris.Core.TT
runparserIdris.Parser.Helpers, Idris.Parser
RunShellCommandIdris.REPL.Commands
runTacIdris.Elab.Term
RunTactic'Idris.Core.ProofTerm
RunTimeIdris.Core.CaseTree
RUTypeIdris.Core.TT
RVal 
1 (Data Constructor)IRTS.Bytecode
2 (Data Constructor)IRTS.BCImp
safeForgetIdris.Core.TT
safeForgetEnvIdris.Core.TT
SAltIRTS.Simplified
SameIdris.AbsSyntaxTree, Idris.AbsSyntax
SAppIRTS.Simplified
saveStateIdris.Core.Elaborate
SCIdris.Core.CaseTree
SC'Idris.Core.CaseTree
SCaseIRTS.Simplified
scgIdris.AbsSyntaxTree, Idris.AbsSyntax
SCGEntryIdris.AbsSyntaxTree, Idris.AbsSyntax
SChkCaseIRTS.Simplified
SConIRTS.Simplified
SConCaseIRTS.Simplified
SConstIRTS.Simplified
SConstCaseIRTS.Simplified
scopedImpIdris.Parser.Expr, Idris.Parser
SCtorIRTS.JavaScript.Specialize
SDeclIRTS.Simplified
SDefaultCaseIRTS.Simplified
SearchIdris.REPL.Commands
searchByTypeIdris.TypeSearch
searchPredIdris.TypeSearch
sendHighlightingIdris.Output
sendParserHighlightingIdris.Output
SeqArgsIdris.Help
serializeIRTS.DumpBC
serializeBCIRTS.DumpBC
serializeCaseIRTS.DumpBC
serializeDefaultIRTS.DumpBC
serializeRegIRTS.DumpBC
SErrorIRTS.Simplified
setAccessIdris.Core.Evaluate
setAccessibilityIdris.AbsSyntax
setAndReportIdris.Error
setAutoImplsIdris.AbsSyntax
setAutoSolveIdris.AbsSyntax
setCmdLineIdris.AbsSyntax
setCodegenIdris.AbsSyntax
SetColourIdris.REPL.Commands
setColourIdris.AbsSyntax
setColouriseIdris.AbsSyntax
SetConsoleWidthIdris.REPL.Commands
setContextIdris.AbsSyntax
setCoverageIdris.AbsSyntax
setDepthIdris.AbsSyntax
setDesugarNatsIdris.AbsSyntax
setDetaggableIdris.Elab.Utils
setErrContextIdris.AbsSyntax
setErrSpanIdris.AbsSyntax
setEvalTypesIdris.AbsSyntax
setFlagsIdris.AbsSyntax
setFnInfoIdris.AbsSyntax
setIBCSubDirIdris.AbsSyntax
setIdeModeIdris.AbsSyntax
setImportDirsIdris.AbsSyntax
setImpShowIdris.AbsSyntax
setIndentClauseIdris.AbsSyntax
setIndentWithIdris.AbsSyntax
setinjIdris.Core.Elaborate
SetInjectiveIdris.Core.ProofState, Idris.Core.Elaborate
setInjectiveIdris.Core.Evaluate
setInjectivityIdris.AbsSyntax
setLinearIdris.Elab.Utils
setLogCatsIdris.AbsSyntax
setLogLevelIdris.AbsSyntax
setMetaInformationIdris.Core.Evaluate
setNextNameIdris.Core.Elaborate
setNoBannerIdris.AbsSyntax
setOpenImplIdris.AbsSyntax
SetOpt 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
setOptimiseIdris.AbsSyntax
setOptionsIdris.REPL.Parser
setOptLevelIdris.AbsSyntax
SetOrUpdateIdris.Parser.Expr, Idris.Parser
setOutputTyIdris.AbsSyntax
SetPrinterDepthIdris.REPL.Commands
setQuietIdris.AbsSyntax
setREPLIdris.AbsSyntax
setRigCountIdris.Core.Evaluate
setShowOrigErrIdris.AbsSyntax
setSOIdris.AbsSyntax
setSourceDirsIdris.AbsSyntax
setTargetCPUIdris.AbsSyntax
setTargetTripleIdris.AbsSyntax
setTotalIdris.Core.Evaluate
setTotalityIdris.AbsSyntax
setTypeCaseIdris.AbsSyntax
setTypeInTypeIdris.AbsSyntax
setupBundledCCUtil.System
setVerboseIdris.AbsSyntax
setWidthIdris.AbsSyntax
set_contextIdris.Core.Elaborate
set_datatypesIdris.Core.Elaborate
set_global_nextnameIdris.Core.Elaborate
SExp 
1 (Type/Class)Idris.IdeMode
2 (Type/Class)IRTS.Simplified
SExpableIdris.IdeMode
SexpListIdris.IdeMode
sexpToCommandIdris.IdeMode
sExpToStringIdris.IdeMode
SForeignIRTS.Simplified
SFunIRTS.Simplified
shadowIdris.AbsSyntax
SharedIdris.Core.CaseTree
ShellCommandArgIdris.Help
ShowAllIdris.Options
showCGIdris.Core.TT
showCImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showDeclImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showDeclsIdris.AbsSyntaxTree, Idris.AbsSyntax
showDImpIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowDocDirIdris.Options
showEnvIdris.Core.TT
showEnvDbgIdris.Core.TT
showErrIdris.Error
showExitIdrisCRTSDirIdris.Info.Show
showExitIdrisDataDirIdris.Info.Show
showExitIdrisDocDirIdris.Info.Show
showExitIdrisFlagsIncIdris.Info.Show
showExitIdrisFlagsLibsIdris.Info.Show
showExitIdrisInfoIdris.Info.Show
showExitIdrisInstalledPackagesIdris.Info.Show
showExitIdrisJSRTSDirIdris.Info.Show
showExitIdrisLibDirIdris.Info.Show
showExitIdrisLoggingCategoriesIdris.Info.Show
showIdrisCRTSDirIdris.Info.Show
showIdrisDataDirIdris.Info.Show
showIdrisDocDirIdris.Info.Show
showIdrisFlagsIncIdris.Info.Show
showIdrisFlagsLibsIdris.Info.Show
showIdrisInfoIdris.Info.Show
showIdrisInstalledPackagesIdris.Info.Show
showIdrisJSRTSDirIdris.Info.Show
showIdrisLibDirIdris.Info.Show
showIdrisLoggingCategoriesIdris.Info.Show
ShowImpl 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.Options
ShowIncsIdris.Options
ShowLibDirIdris.Options
ShowLibsIdris.Options
ShowLoggingCatsIdris.Options
showNameIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowOrigErrIdris.Options
showOrigErrIdris.AbsSyntax
ShowPkgsIdris.Options
ShowProofIdris.REPL.Commands
showProofIdris.Prover
showRunElabIdris.Prover
showSepIdris.Core.TT
showTmIdris.AbsSyntaxTree, Idris.AbsSyntax
showTmImplsIdris.AbsSyntaxTree, Idris.AbsSyntax
showTmOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
sigmaConIdris.AbsSyntaxTree, Idris.AbsSyntax
sigmaTyIdris.AbsSyntaxTree, Idris.AbsSyntax
simpleCaseIdris.Core.CaseTree
simpleConstructorIdris.Parser.Data, Idris.Parser
simpleDeclsIRTS.CodegenCommon
SimpleExprIdris.AbsSyntaxTree, Idris.AbsSyntax
simpleExprIdris.Parser.Expr, Idris.Parser
simpleExternalExprIdris.Parser.Expr, Idris.Parser
sImplementationNIdris.Core.TT
simpleWhiteSpaceIdris.Parser.Helpers, Idris.Parser
simple_appIdris.Core.Elaborate
SimplifyIdris.Core.ProofState, Idris.Core.Elaborate
simplify 
1 (Function)Idris.Core.Evaluate
2 (Function)Idris.Core.Elaborate
simplifyCasedefIdris.Core.Evaluate
simplifyDefsIRTS.Simplified
singleLineCommentIdris.Parser.Helpers, Idris.Parser
SizeChangeIdris.AbsSyntaxTree, Idris.AbsSyntax
SkipIdris.AbsSyntaxTree, Idris.AbsSyntax
SLetIRTS.Simplified
SLIDEIRTS.Bytecode
smallIdris.Core.CaseTree
SmallerIdris.AbsSyntaxTree, Idris.AbsSyntax
sMNIdris.Core.TT
SNIdris.Core.TT
sndEnvIdris.Core.TT
SNothingIRTS.Simplified
sNSIdris.Core.TT
SoftBreakIdris.Docstrings
Solve 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
solveIdris.Core.Elaborate
solveAllIdris.Elab.Term
solveAutoIdris.Elab.Term
solveAutosIdris.Elab.Term
solvedIdris.Core.ProofState, Idris.Core.Elaborate
solveDeferredIdris.AbsSyntax
SOpIRTS.Simplified
SourceDirIdris.Options
sourcedirIdris.Package.Common
SourceFCIdris.AbsSyntaxTree, Idris.AbsSyntax
SourceTermIdris.Core.TT
SpaceIdris.Docstrings
spanFCIdris.Core.TT
SpecIdris.REPL.Commands
specialCallIRTS.JavaScript.Specialize
specialCasedIRTS.JavaScript.Specialize
SpecialHeaderArgIdris.Help
SpecialiseIdris.AbsSyntaxTree, Idris.AbsSyntax
specialiseIdris.Core.Evaluate
SpecialNameIdris.Core.TT
specTypeIdris.PartialEval
splitOnLineIdris.CaseSplit
SProj 
1 (Type/Class)IRTS.JavaScript.Specialize
2 (Data Constructor)IRTS.Simplified
SSymbolIdris.AbsSyntaxTree, Idris.AbsSyntax
startServerIdris.REPL
StartUnifyIdris.Core.ProofState, Idris.Core.Elaborate
start_unifyIdris.Core.Elaborate
Static 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
staticIdris.Parser.Expr, Idris.Parser
StaticFnIdris.AbsSyntaxTree, Idris.AbsSyntax
STermIdris.Core.CaseTree
STestIRTS.JavaScript.Specialize
STOREOLDIRTS.Bytecode
Str 
1 (Data Constructor)Idris.Core.TT
2 (Data Constructor)Idris.Docstrings
strIdris.Core.TT
stringIdris.Parser.Helpers, Idris.Parser
StringAtomIdris.IdeMode
stringLiteralIdris.Parser.Helpers, Idris.Parser
StringLitTArgIdris.Parser.Expr, Idris.Parser
stripLinearIdris.AbsSyntax
stripUnmatchableIdris.AbsSyntax
strLogCatIdris.Options
StrongIdris.Docstrings
StrTypeIdris.Core.TT
SubReportIdris.Core.TT
substIdris.Core.TT
substAltIdris.Core.CaseTree
substMatchIdris.AbsSyntax
substMatchesIdris.AbsSyntax
substMatchesShadowIdris.AbsSyntax
substMatchShadowIdris.AbsSyntax
substNamesIdris.Core.TT
substRetTyIdris.Core.TT
substSCIdris.Core.CaseTree
substTermIdris.Core.TT
substVIdris.Core.TT
SucCaseIdris.Core.CaseTree
sUNIdris.Core.TT
SUpdateIRTS.Simplified
SVIRTS.Simplified
SymbolIdris.AbsSyntaxTree, Idris.AbsSyntax
symbolIdris.Parser.Helpers, Idris.Parser
SymbolAtomIdris.IdeMode
symbolFCIdris.Parser.Helpers, Idris.Parser
SymRefIdris.Core.TT
SynIdris.AbsSyntaxTree, Idris.AbsSyntax
SynBindIdris.Parser.Expr, Idris.Parser
SynContextIdris.AbsSyntaxTree, Idris.AbsSyntax
SynMatchIdris.Parser.Expr, Idris.Parser
SyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
syntaxDeclIdris.Parser
SyntaxInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
syntaxNamesIdris.AbsSyntaxTree, Idris.AbsSyntax
syntaxRuleIdris.Parser
SyntaxRules 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
syntaxRulesListIdris.AbsSyntaxTree, Idris.AbsSyntax
syntaxSymIdris.Parser
syntaxSymbolsIdris.AbsSyntaxTree, Idris.AbsSyntax
syntax_keywordsIdris.AbsSyntaxTree, Idris.AbsSyntax
syntax_rulesIdris.AbsSyntaxTree, Idris.AbsSyntax
SynTmIdris.Parser.Expr, Idris.Parser
syn_in_quasiquoteIdris.AbsSyntaxTree, Idris.AbsSyntax
syn_namespaceIdris.AbsSyntaxTree, Idris.AbsSyntax
syn_paramsIdris.AbsSyntaxTree, Idris.AbsSyntax
syn_toplevelIdris.AbsSyntaxTree, Idris.AbsSyntax
TIRTS.Bytecode
tableIdris.Parser.Ops, Idris.Parser
TacImpIdris.AbsSyntaxTree, Idris.AbsSyntax
tacimplIdris.AbsSyntaxTree, Idris.AbsSyntax
tacNIdris.Reflection
TacticIdris.Core.ProofState, Idris.Core.Elaborate
tacticIdris.Parser.Expr, Idris.Parser
TacticArgIdris.Parser.Expr, Idris.Parser
tacticsIdris.Parser.Expr, Idris.Parser
tacticsExprIdris.Parser.Expr, Idris.Parser
TAILCALLIRTS.Bytecode
TargetCPUIdris.Options
targetCPU 
1 (Function)IRTS.CodegenCommon
2 (Function)Idris.AbsSyntax
TargetTripleIdris.Options
targetTriple 
1 (Function)IRTS.CodegenCommon
2 (Function)Idris.AbsSyntax
TCIdris.Core.TT
TCheckIdris.AbsSyntaxTree, Idris.AbsSyntax
TCImplementationIdris.AbsSyntaxTree, Idris.AbsSyntax
tcimplementationIdris.Core.TT
tcliftIdris.Error
tcliftAtIdris.Error
tcnameIdris.Core.TT
TConIdris.Core.TT
tcRecoverableIdris.Elab.Term
tcReducibleIdris.Core.Evaluate
tctryIdris.Error
tc_dictionaryIdris.Core.Evaluate
TDocStrIdris.AbsSyntaxTree, Idris.AbsSyntax
tempfileUtil.System
TermIdris.Core.TT
TermElabIdris.IdeMode
terminatorIdris.Parser.Helpers, Idris.Parser
TermNoImplicitsIdris.IdeMode
TermNormaliseIdris.IdeMode
TermPartIdris.Core.TT
TermShowImplicitsIdris.IdeMode
TermSizeIdris.Core.TT
termsizeIdris.Core.TT
termSmallerThanIdris.Core.TT
TermSyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
TestInlineIdris.REPL.Commands
testLibIdris.Package
testPkgIdris.Package
TEvalIdris.AbsSyntaxTree, Idris.AbsSyntax
TextFormattingIdris.Core.TT
TextPartIdris.Core.TT
TFailIdris.AbsSyntaxTree, Idris.AbsSyntax
tfailIdris.Core.TT
theadIdris.Core.TT
TheWorldIdris.Core.TT
thnameIdris.Core.ProofState, Idris.Core.Elaborate
throwErrorIdris.AbsSyntaxTree, Idris.AbsSyntax
TIIdris.Core.TT
TIDataIdris.AbsSyntaxTree, Idris.AbsSyntax
TIPartialIdris.AbsSyntaxTree, Idris.AbsSyntax
TISolutionIdris.AbsSyntaxTree, Idris.AbsSyntax
tldeclaredIdris.AbsSyntaxTree, Idris.AbsSyntax
TmpIRTS.Bytecode
tnullIdris.Core.TT
toAlistIdris.Core.TT
toBC 
1 (Function)IRTS.Bytecode
2 (Function)IRTS.BCImp
toConsIRTS.Defunctionalise
toConsAIRTS.Defunctionalise
toEitherIdris.AbsSyntax
toIBCFileIdris.Package
TooManyArgsIdris.Core.TT
TooManyArgumentsIdris.Core.TT
TOPBASEIRTS.Bytecode
ToplevelIdris.Termination
toplevelIdris.AbsSyntaxTree, Idris.AbsSyntax
toplevelWithIdris.AbsSyntaxTree, Idris.AbsSyntax
toplevel_impIdris.Core.TT
toSExpIdris.IdeMode
toTableIdris.Parser.Ops, Idris.Parser
TotalIdris.Core.Evaluate
TotalFnIdris.AbsSyntaxTree, Idris.AbsSyntax
TotalityIdris.Core.Evaluate
totalityIdris.Parser
TotCheckIdris.REPL.Commands
totcheckIdris.AbsSyntax
toValueIdris.Core.Evaluate
TRACEIRTS.CodegenCommon
traceWhenIdris.Core.TT
transformIdris.Parser
transformErrIdris.Core.Elaborate
TransformInfoIdris.REPL.Commands
transformPatsIdris.Transforms
transformPatsWithIdris.Transforms
TrivialIdris.AbsSyntaxTree, Idris.AbsSyntax
trivialIdris.ProofSearch
trivial'Idris.Elab.Term
trivialHolesIdris.ProofSearch
trivialHoles'Idris.Elab.Term
TryIdris.AbsSyntaxTree, Idris.AbsSyntax
tryIdris.Core.Elaborate
try'Idris.Core.Elaborate
tryAllIdris.Core.Elaborate
tryAll'Idris.Core.Elaborate
tryCatchIdris.Core.Elaborate
tryFullExprIdris.Parser.Expr, Idris.Parser
TryImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
tryLoadFnUtil.DynamicLinker
tryLoadLibUtil.DynamicLinker
tryWhenIdris.Core.Elaborate
TSearchIdris.AbsSyntaxTree, Idris.AbsSyntax
TSeqIdris.AbsSyntaxTree, Idris.AbsSyntax
TTIdris.Core.TT
TTDeclIdris.Core.Evaluate
ttDeclsIRTS.CodegenCommon
TTypeIdris.Core.TT
tt_ctxtIdris.AbsSyntaxTree, Idris.AbsSyntax
txtIdris.Core.TT
TyDeclIdris.Core.Evaluate
tyOptDeclListIdris.Parser.Expr, Idris.Parser
TypeIdris.Core.TT
type1DocIdris.AbsSyntax
TypeCaseIdris.Options
TypeColourIdris.Colours
typeColourIdris.Colours
typeDeclListIdris.Parser.Expr, Idris.Parser
typeDescriptionIdris.AbsSyntax
typeExprIdris.Parser.Expr, Idris.Parser
TypeInfoIdris.Core.TT
TypeInTypeIdris.Options
typeInTypeIdris.AbsSyntax
TypeOfIdris.IdeMode
TypeOrTermIdris.AbsSyntaxTree, Idris.AbsSyntax
TypeOutputIdris.Core.TT
TypeProvidersIdris.Options
ucheckIdris.Core.Constraints
UConstraint 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
uconstraintIdris.Core.TT
UCsIdris.Core.TT
UExpIdris.Core.TT
ufcIdris.Core.TT
UImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
ULEIdris.Core.TT
ULTIdris.Core.TT
UNIdris.Core.TT
unApplyIdris.Core.TT
unApplyRawIdris.Reflection
unboundPiIdris.Parser.Expr, Idris.Parser
unboundPiNoConstraintIdris.Parser.Expr, Idris.Parser
Unchecked 
1 (Data Constructor)Idris.Docstrings
2 (Data Constructor)Idris.Core.Evaluate
UndefineIdris.REPL.Commands
underlineIdris.Colours
UnderlineTextIdris.Core.TT
Undo 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
undoIdris.Core.Elaborate
UnfocusIdris.AbsSyntaxTree, Idris.AbsSyntax
unfoldIdris.Core.Evaluate
UnguardedIdris.Termination
unIdiomIdris.DSL
unifiedIdris.Core.ProofState, Idris.Core.Elaborate
UnifiedDIdris.PartialEval
UnifyIdris.Core.Unify
unifyIdris.Core.Unify
UnifyAllIdris.Core.ProofState, Idris.Core.Elaborate
UnifyGoalIdris.Core.ProofState, Idris.Core.Elaborate
unifyGoalIdris.Core.Elaborate
unifyLog 
1 (Function)Idris.Core.Elaborate
2 (Function)Idris.Parser.Expr, Idris.Parser
unifylogIdris.Core.ProofState, Idris.Core.Elaborate
UnifyProblemsIdris.Core.ProofState, Idris.Core.Elaborate
unifyProblemsIdris.Core.Elaborate
UnifyScopeIdris.Core.TT
UnifyTermsIdris.Core.ProofState, Idris.Core.Elaborate
unifyTermsIdris.Core.Elaborate
unify_allIdris.Core.Elaborate
uniqueBindersIdris.Core.TT
uniqueBindersCtxtIdris.Core.Evaluate
UniqueErrorIdris.Core.TT
UniqueKindErrorIdris.Core.TT
uniqueNameIdris.Core.TT
uniqueNameCtxtIdris.Core.Evaluate
uniqueNameFromIdris.Core.TT
uniqueNameSetIdris.Core.TT
UniquenessTypesIdris.Options
UniqueTypeIdris.Core.TT
UniqueUseIdris.Core.Typecheck
unique_holeIdris.Core.Elaborate
unique_hole'Idris.Core.Elaborate
unitConIdris.AbsSyntaxTree, Idris.AbsSyntax
unitTyIdris.AbsSyntaxTree, Idris.AbsSyntax
UniverseIdris.Core.TT
UniverseErrorIdris.Core.TT
UniversesIdris.REPL.Commands
UnknownIdris.AbsSyntaxTree, Idris.AbsSyntax
UnknownImpIdris.AbsSyntaxTree, Idris.AbsSyntax
UnknownImplicitIdris.Core.TT
unListIdris.Core.TT
unlitIdris.Unlit
UnmatchedCaseIdris.Core.CaseTree
unquoteIdris.Parser.Expr, Idris.Parser
unrecoverableIdris.Core.Unify
UnsetOptIdris.REPL.Commands
unwrapFCIdris.Core.TT
upairConIdris.AbsSyntaxTree, Idris.AbsSyntax
upairTyIdris.AbsSyntaxTree, Idris.AbsSyntax
UpdatableIdris.Core.CaseTree
UPDATEIRTS.Bytecode
updateAuxIdris.Core.Elaborate
updateContextIdris.AbsSyntax
updateDefIdris.Core.TT
updateIMethodsIdris.AbsSyntax
updateIStateIdris.AbsSyntax
updateNIdris.AbsSyntaxTree, Idris.AbsSyntax
updateNsIdris.AbsSyntaxTree, Idris.AbsSyntax
updatePSIdris.Core.Elaborate
updateSolvedIdris.Core.ProofTerm
updateSolvedTermIdris.Core.ProofTerm
updateSolvedTerm'Idris.Core.ProofTerm
updateSynMatchIdris.Parser.Expr, Idris.Parser
updateSyntaxRulesIdris.AbsSyntaxTree, Idris.AbsSyntax
update_termIdris.Core.Elaborate
updsubstIdris.Core.ProofTerm
UsageReasonIdris.AbsSyntaxTree, Idris.AbsSyntax
UseCodegenIdris.Options
UseConsoleWidthIdris.Options
usedArgIRTS.Lang, IRTS.Defunctionalise
usedBigIntIRTS.JavaScript.Codegen
usedInIRTS.Lang, IRTS.Defunctionalise
usedNamesInIdris.AbsSyntaxTree, Idris.AbsSyntax
usednsIdris.Core.ProofState, Idris.Core.Elaborate
usedposIdris.AbsSyntaxTree, Idris.AbsSyntax
useREPLIdris.AbsSyntax
UseUndefIdris.Core.Evaluate
UsingIdris.AbsSyntaxTree, Idris.AbsSyntax
usingIdris.AbsSyntaxTree, Idris.AbsSyntax
usingDeclIdris.Parser
usingDeclListIdris.Parser
using_Idris.Parser
UTypeIdris.Core.TT
UValIdris.Core.TT
UVarIdris.Core.TT
VIdris.Core.TT
valIBCSubDirIdris.AbsSyntax
validCoverageCaseIdris.Coverage
ValueIdris.Core.Evaluate
VAppIdris.Core.Evaluate
VarIdris.Core.TT
varIdris.DSL
VBindIdris.Core.Evaluate
VBLetIdris.Core.Evaluate
VConstantIdris.Core.Evaluate
VErasedIdris.Core.Evaluate
verbatimStringLiteralIdris.Parser.Expr, Idris.Parser
VerboseIdris.Options
verboseIdris.AbsSyntax
verbosePPOptionIdris.AbsSyntaxTree, Idris.AbsSyntax
VerbosityIdris.REPL.Commands
verifyTotalityIdris.Termination
versionIRTS.System
ViaIdris.Options
VImpossibleIdris.Core.Evaluate
vividIdris.Colours
VoidTypeIdris.Core.TT
VPIdris.Core.Evaluate
VProjIdris.Core.Evaluate
VTmpIdris.Core.Evaluate
vToPIdris.Core.TT
VTypeIdris.Core.Evaluate
VUTypeIdris.Core.Evaluate
VVIdris.Core.Evaluate
warnDisambIdris.Error
WarnOnlyIdris.Options
WarnPartialIdris.Options
WarnReachIdris.Options
warnTacticDeprecationIdris.Parser.Expr, Idris.Parser
warnTotalityIdris.Output
WarrantyIdris.REPL.Commands
warrantyIdris.ModeCommon
WatchIdris.REPL.Commands
weakenTmIdris.Core.TT
WEnvIdris.Core.WHNF
wExprIdris.Parser
WhatDocsIdris.IdeMode
whereBlockIdris.Parser
WhereNIdris.Core.TT
while_elaboratingIdris.Core.ProofState, Idris.Core.Elaborate
whiteSpaceIdris.Parser.Helpers, Idris.Parser
WHNFIdris.REPL.Commands
whnfIdris.Core.WHNF
whnfArgsIdris.Core.WHNF
WHNF_ComputeIdris.Core.ProofState, Idris.Core.Elaborate
whnf_computeIdris.Core.Elaborate
WHNF_ComputeArgsIdris.Core.ProofState, Idris.Core.Elaborate
whnf_compute_argsIdris.Core.Elaborate
WhoCalls 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
whoCallsIdris.WhoCalls
withAppAllowedIdris.AbsSyntaxTree, Idris.AbsSyntax
withContextIdris.AbsSyntax
withContext_Idris.AbsSyntax
withErrorReflectionIdris.Elab.Term
WithFnTypeIdris.Core.TT
WithNIdris.Core.TT
withTempdirUtil.System
WorldTypeIdris.Core.TT
writeHighlightsIdris.Output
writeIBCIdris.IBC
writePkgIndexIdris.IBC
writePortableIRTS.Portable
writeSourceUtil.System
writeSourceTextUtil.System
zipHereIdris.Core.Elaborate
_fc_endIdris.Core.TT
_fc_fnameIdris.Core.TT
_fc_startIdris.Core.TT