idris-0.9.20: Functional Programming Language with Dependent Types

Index

AbandonIdris.AbsSyntaxTree, Idris.AbsSyntax
accDataIdris.ParseHelpers, Idris.Parser
AccessibilityIdris.Core.Evaluate
accessibilityIdris.ParseHelpers, Idris.Parser
addAccIdris.ParseHelpers, Idris.Parser
addAlistIdris.Core.TT
addAppsIRTS.Defunctionalise
addAutoHintIdris.AbsSyntax
addAutoImportIdris.AbsSyntax
addBinderIdris.Core.TT
addCasedefIdris.Core.Evaluate
addClassIdris.AbsSyntax
AddClauseIdris.IdeMode
AddClauseFromIdris.AbsSyntaxTree, Idris.AbsSyntax
addClauseFromIdris.Interactive
addCoercionIdris.AbsSyntax
addConstraintsIdris.AbsSyntax
addCtxtDefIdris.Core.Evaluate
addDatatypeIdris.Core.Evaluate
addDefIdris.Core.TT
addDeferredIdris.AbsSyntax
addDeferred'Idris.AbsSyntax
addDeferredTyConIdris.AbsSyntax
addDeprecatedIdris.AbsSyntax
addDocStrIdris.AbsSyntax
addDyLibIdris.AbsSyntax
addErasureUsageIdris.AbsSyntax
addErrRevIdris.AbsSyntax
addExportIdris.AbsSyntax
addFlagIdris.AbsSyntax
addFnIRTS.Lang, IRTS.Defunctionalise
addFunctionErrorHandlersIdris.AbsSyntax
addHdrIdris.AbsSyntax
addHidesIdris.Parser
addIBCIdris.AbsSyntax
addImplIdris.AbsSyntax
addImpl'Idris.AbsSyntax
addImplBoundIdris.AbsSyntax
addImplBoundInfIdris.AbsSyntax
addImplPatIdris.AbsSyntax
addImportDirIdris.AbsSyntax
addImportedIdris.AbsSyntax
addInstanceIdris.AbsSyntax
addInternalAppIdris.AbsSyntax
addLangExtIdris.AbsSyntax
addLibIdris.AbsSyntax
AddMissing 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
addMissingIdris.Interactive
addNameHintIdris.AbsSyntax
addNameIdxIdris.AbsSyntax
addNameIdx'Idris.AbsSyntax
addObjectFileIdris.AbsSyntax
addOperatorIdris.Core.Evaluate
AddOptIdris.AbsSyntaxTree, Idris.AbsSyntax
addOptimiseIdris.AbsSyntax
AddProofIdris.AbsSyntaxTree, Idris.AbsSyntax
AddProofClauseIdris.IdeMode
AddProofClauseFromIdris.AbsSyntaxTree, Idris.AbsSyntax
addProofClauseFromIdris.Interactive
addPSnameIdris.Core.Elaborate
addRecordIdris.AbsSyntax
addReplSyntaxIdris.Parser
addStaticsIdris.AbsSyntax
addSyntaxIdris.Parser
addTagsIRTS.Lang, IRTS.Defunctionalise
addToCalledGIdris.AbsSyntax
addToCGIdris.AbsSyntax
addToCtxtIdris.Core.Evaluate
ADDTOPIRTS.Bytecode
addToUsingIdris.AbsSyntax
addTransIdris.AbsSyntax
addTyDeclIdris.Core.Evaluate
addTyInfConstraintsIdris.AbsSyntax
addTyInferredIdris.AbsSyntax
addUsedNameIdris.AbsSyntax
addUsingConstraintsIdris.AbsSyntax
addUsingImplsIdris.AbsSyntax
aiFnIdris.AbsSyntax
allHelpIdris.REPLParser
allImportDirsIdris.AbsSyntax
allNamesIdris.AbsSyntax
allNamesInIdris.AbsSyntaxTree, Idris.AbsSyntax
allNothingIdris.Coverage
allocUniqueIRTS.Lang, IRTS.Defunctionalise
allowImpIdris.ParseExpr, Idris.Parser
allTTNamesIdris.Core.TT
AllTypesIdris.Core.TT
AlreadyDefinedIdris.Core.TT
altIdris.ParseExpr, Idris.Parser
AltsTArgIdris.ParseExpr, 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.ParseExpr, Idris.Parser
applyIdris.Core.Elaborate
apply'Idris.Core.Elaborate
apply2Idris.Core.Elaborate
ApplyCaseIRTS.Defunctionalise
applyOptsIdris.DataOpts
ApplyTacticIdris.AbsSyntaxTree, Idris.AbsSyntax
applyTransRulesIdris.Transforms
applyTransRulesWithIdris.Transforms
apply_elabIdris.Core.Elaborate
AppStatusIdris.Core.TT
Apropos 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
aproposIdris.Apropos
aproposModulesIdris.Apropos
arg 
1 (Function)Idris.Core.Elaborate
2 (Function)Idris.ParseExpr, Idris.Parser
argExprIdris.Parser
argNameIdris.Reflection
ArgOptIdris.AbsSyntaxTree, Idris.AbsSyntax
argoptsIdris.AbsSyntaxTree, Idris.AbsSyntax
argPlicityIdris.Reflection
argsdefIdris.AbsSyntaxTree, Idris.AbsSyntax
argsusedIdris.AbsSyntaxTree, Idris.AbsSyntax
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
AutoArgIdris.Core.ProofState, Idris.Core.Elaborate
autoArgIdris.Core.Elaborate
AutoHintIdris.AbsSyntaxTree, Idris.AbsSyntax
autoImplicitIdris.ParseExpr, Idris.Parser
AutomaticWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
autosIdris.Core.ProofState, Idris.Core.Elaborate
AutoSolveIdris.AbsSyntaxTree, Idris.AbsSyntax
AutoWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
B16Idris.Core.TT
B32Idris.Core.TT
B64Idris.Core.TT
B8Idris.Core.TT
backtickIdris.ParseOps, Idris.Parser
basenameIdris.AbsSyntaxTree, Idris.AbsSyntax
BASETOPIRTS.Bytecode
BC 
1 (Type/Class)IRTS.BCImp
2 (Type/Class)IRTS.Bytecode
bc 
1 (Function)IRTS.BCImp
2 (Function)IRTS.Bytecode
BCAsmIdris.AbsSyntaxTree, Idris.AbsSyntax
BEIRTS.Lang, IRTS.Defunctionalise
BelieveMeIdris.Core.Evaluate
BIIdris.Core.TT
biIdris.AbsSyntaxTree, Idris.AbsSyntax
BiggerIdris.AbsSyntaxTree, Idris.AbsSyntax
binaryIdris.ParseOps, Idris.Parser
BindIdris.Core.TT
bindAllIdris.Core.TT
BinderIdris.Core.TT
binderImplIdris.Core.TT
binderKindIdris.Core.TT
binderTyIdris.Core.TT
binderValIdris.Core.TT
BindingIdris.AbsSyntaxTree, Idris.AbsSyntax
bindingOfIdris.Core.TT
bindListIdris.ParseHelpers, Idris.Parser
bindsymbolIdris.ParseExpr, 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.ParseExpr, Idris.Parser
bracketed'Idris.ParseExpr, Idris.Parser
bracketedExprIdris.ParseExpr, Idris.Parser
BrowseIdris.AbsSyntaxTree, Idris.AbsSyntax
BrowseNSIdris.IdeMode
bugaddrIdris.Delaborate
buildIdris.Elab.Term
buildDatatypesIdris.Reflection
buildModsPkg.Package
buildPkgPkg.Package
buildSCGIdris.Coverage
buildSCG'Idris.Coverage
buildTCIdris.Elab.Term
buildTreeIdris.Chaser
buildTypeIdris.Elab.Type
ByReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
BytecodeIdris.AbsSyntaxTree, Idris.AbsSyntax
cafIdris.Parser
calcProdIdris.Coverage
calcTotalityIdris.Coverage
CALLIRTS.Bytecode
callsIdris.AbsSyntaxTree, Idris.AbsSyntax
CallsWho 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
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.ParseExpr, Idris.Parser
CaseInfo 
1 (Type/Class)Idris.Core.Evaluate
2 (Data Constructor)Idris.Core.Evaluate
CaseNIdris.Core.TT
CaseOpIdris.Core.Evaluate
caseOptionIdris.ParseExpr, Idris.Parser
CaseSplitIdris.IdeMode
CaseSplitAtIdris.AbsSyntaxTree, Idris.AbsSyntax
caseSplitAtIdris.Interactive
cases_compiletimeIdris.Core.Evaluate
cases_inlinedIdris.Core.Evaluate
cases_runtimeIdris.Core.Evaluate
cases_totcheckIdris.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
CGInfo 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
cg_usedposIdris.ASTUtils
ChIdris.Core.TT
ChangeDirectoryIdris.AbsSyntaxTree, Idris.AbsSyntax
charIdris.ParseHelpers, Idris.Parser
charLiteralIdris.ParseHelpers, Idris.Parser
CheckIdris.AbsSyntaxTree, Idris.AbsSyntax
checkIdris.Core.Typecheck
check'Idris.Core.Typecheck
checkAddDefIdris.Elab.Utils
checkAllCoveringIdris.Coverage
checkDeclTotalityIdris.Coverage
checkDefIdris.Elab.Utils
checkDeprecatedIdris.Elab.Utils
checkDocsIdris.Elab.Utils
checkDocstringIdris.Docstrings
checkDSLIdris.ParseData, Idris.Parser
CheckedIdris.Docstrings
CheckInIdris.Core.ProofState, Idris.Core.Elaborate
checkInferredIdris.Elab.Utils
checkInjectiveIdris.Core.Elaborate
checkMPIdris.Coverage
checkPiGoalIdris.Core.Elaborate
checkPkgPkg.Package
checkPositiveIdris.Coverage
checkPossibleIdris.Elab.Clause
checkSizeChangeIdris.Coverage
checkTotalityIdris.Coverage
checkUndefinedIdris.AbsSyntax
checkUniqueIdris.Core.Typecheck
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
classBlockIdris.Parser
ClassDocIdris.Docs
ClassInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
class_Idris.Parser
class_defaultsIdris.AbsSyntaxTree, Idris.AbsSyntax
class_default_superclassesIdris.AbsSyntaxTree, Idris.AbsSyntax
class_determinersIdris.AbsSyntaxTree, Idris.AbsSyntax
class_instancesIdris.AbsSyntaxTree, Idris.AbsSyntax
class_methodsIdris.AbsSyntaxTree, Idris.AbsSyntax
class_paramsIdris.AbsSyntaxTree, Idris.AbsSyntax
clauseIdris.Parser
clean 
1 (Function)IRTS.Bytecode
2 (Function)Pkg.Package
cleanPkgPkg.Package
clearErrIdris.AbsSyntax
clearHighlightsIdris.Output
clearIBCIdris.AbsSyntax
clearOrigPatsIdris.AbsSyntax
clearParserWarningsIdris.ParseHelpers, Idris.Parser
clearPTypesIdris.AbsSyntax
clear_totcheckIdris.AbsSyntax
ClientIdris.AbsSyntaxTree, Idris.AbsSyntax
closeBlockIdris.ParseHelpers, Idris.Parser
CmdArgIdris.Help
cmdOptTypeIdris.AbsSyntax
CodataIdris.Core.TT
codataIdris.Core.TT
CodeIdris.Docstrings
CodeBlockIdris.Docstrings
CodegenIdris.AbsSyntaxTree, Idris.AbsSyntax
codegenIdris.AbsSyntax
CodegenArgsIdris.AbsSyntaxTree, Idris.AbsSyntax
codegenCIRTS.CodegenC
CodeGeneratorIRTS.CodegenCommon
CodegenInfo 
1 (Type/Class)IRTS.CodegenCommon
2 (Data Constructor)IRTS.CodegenCommon
codegenJavaScriptIRTS.CodegenJavaScript
codegenNodeIRTS.CodegenJavaScript
codegen_Idris.Parser
CoinductiveIdris.AbsSyntaxTree, Idris.AbsSyntax
collapseIdris.Coverage
collapse'Idris.Coverage
collapseNothingIdris.Coverage
collectIdris.ParseHelpers, 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.AbsSyntaxTree, Idris.AbsSyntax
ColourOnIdris.AbsSyntaxTree, Idris.AbsSyntax
ColourREPLIdris.AbsSyntaxTree, Idris.AbsSyntax
ColourTheme 
1 (Type/Class)Idris.Colours
2 (Data Constructor)Idris.Colours
ColourTypeIdris.Colours
ColsWideIdris.AbsSyntaxTree, Idris.AbsSyntax
columnNumIdris.ParseHelpers, Idris.Parser
CommandIdris.AbsSyntaxTree, Idris.AbsSyntax
commaSeparatedIdris.ParseHelpers, Idris.Parser
commentMarkersIdris.ParseHelpers, Idris.Parser
CompileIdris.AbsSyntaxTree, Idris.AbsSyntax
compileIRTS.Compiler
compiled_soIdris.AbsSyntaxTree, Idris.AbsSyntax
compileJSIRTS.JavaScript.AST
compileJS'IRTS.JavaScript.AST
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
consoleDecorateIdris.AbsSyntaxTree, Idris.AbsSyntax
consoleDisplayAnnotatedIdris.Output
ConsoleWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
ConsoleWidthArgIdris.Help
ConstIdris.Core.TT
constAltIRTS.Bytecode
ConstantIdris.Core.TT
constantIdris.ParseExpr, Idris.Parser
constantsIdris.ParseExpr, Idris.Parser
CONSTCASEIRTS.Bytecode
ConstCaseIdris.Core.CaseTree
constCaseIRTS.Bytecode
constDocsIdris.Core.TT
constIsTypeIdris.Core.TT
ConstraintIdris.AbsSyntaxTree, Idris.AbsSyntax
constraintIdris.AbsSyntaxTree, Idris.AbsSyntax
constraintArgIdris.ParseExpr, Idris.Parser
ConstraintFC 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)Idris.Core.TT
constraintListIdris.ParseExpr, Idris.Parser
constraintList1Idris.ParseExpr, Idris.Parser
ConstructorIdris.AbsSyntaxTree, Idris.AbsSyntax
constructorIdris.ParseData, 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
con_namesIdris.Core.TT
CoreIdris.AbsSyntaxTree, Idris.AbsSyntax
coverageIdris.AbsSyntax
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.ParseData, Idris.Parser
DataMIIdris.Core.Evaluate
DataOptIdris.Core.TT
DataOptsIdris.Core.TT
dataOptsIdris.ParseData, Idris.Parser
DataOutputIdris.Core.TT
DatatypeIdris.Core.TT
datatypesIdris.Core.ProofState, Idris.Core.Elaborate
data_Idris.ParseData, Idris.Parser
data_optsIdris.Core.TT
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.AbsSyntaxTree, Idris.AbsSyntax
debugLevelIRTS.CodegenCommon
DebugUnifyIdris.AbsSyntaxTree, Idris.AbsSyntax
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
DefaultEliminatorIdris.Core.TT
defaultImplicitIdris.ParseExpr, Idris.Parser
defaultOptimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultPartialIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultPPOptionIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultScoreFunctionIdris.TypeSearch
defaultSyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultThemeIdris.Colours
DefaultTotalIdris.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.AbsSyntaxTree, Idris.AbsSyntax
defunctionaliseIRTS.Defunctionalise
defunDeclsIRTS.CodegenCommon
delabIdris.Delaborate
delab'Idris.Delaborate
delabMVIdris.Delaborate
delabSugaredIdris.Delaborate
delabTyIdris.Delaborate
delabTy'Idris.Delaborate
delayed_elabIdris.AbsSyntaxTree, Idris.AbsSyntax
delazyIdris.Coverage
delazy'Idris.Coverage
deleteDefExactIdris.Core.TT
DErrorIRTS.Defunctionalise
DErrorHandlersIdris.AbsSyntaxTree, Idris.AbsSyntax
desugarIdris.DSL
desugarAsIdris.Elab.AsPat
DesugarNatsIdris.AbsSyntaxTree, Idris.AbsSyntax
detaggableIdris.AbsSyntaxTree, Idris.AbsSyntax
DExpIRTS.Defunctionalise
DFlagIdris.AbsSyntaxTree, Idris.AbsSyntax
DForeignIRTS.Defunctionalise
DFreezeIdris.AbsSyntaxTree, Idris.AbsSyntax
DFunIRTS.Defunctionalise
DHideIdris.AbsSyntaxTree, Idris.AbsSyntax
DictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
dictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
DIncludeIdris.AbsSyntaxTree, Idris.AbsSyntax
DirectiveIdris.AbsSyntaxTree, Idris.AbsSyntax
directiveIdris.Parser
directiveActionIdris.Directives
disallowImpIdris.ParseExpr, Idris.Parser
disambIdris.ParseExpr, Idris.Parser
discardIdris.Core.TT
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.ParseExpr, Idris.Parser
docCommentIdris.ParseHelpers, Idris.Parser
DocsIdris.Docs
Docs'Idris.Docs
DocsForIdris.IdeMode
DocStrIdris.AbsSyntaxTree, Idris.AbsSyntax
DocStringIdris.Docstrings
DocstringIdris.Docstrings
docstringIdris.Parser
DocTermIdris.Docstrings
documentPkgPkg.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
dontunifyIdris.Core.ProofState, Idris.Core.Elaborate
DOpIRTS.Defunctionalise
DoProofSearchIdris.AbsSyntaxTree, Idris.AbsSyntax
doProofSearchIdris.Interactive
dottedIdris.Core.ProofState, Idris.Core.Elaborate
dottermIdris.Core.Elaborate
DoUnifyIdris.AbsSyntaxTree, Idris.AbsSyntax
do_Idris.ParseExpr, Idris.Parser
do_altIdris.ParseExpr, Idris.Parser
DProjIRTS.Defunctionalise
dropGivenIdris.Core.ProofState, Idris.Core.Elaborate
DSL 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
dslIdris.ParseData, Idris.Parser
DSL'Idris.AbsSyntaxTree, Idris.AbsSyntax
dslifyIdris.DSL
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_returnIdris.AbsSyntaxTree, Idris.AbsSyntax
dsl_varIdris.AbsSyntaxTree, Idris.AbsSyntax
dumpBCIRTS.DumpBC
DumpCasesIdris.AbsSyntaxTree, Idris.AbsSyntax
DumpDefunIdris.AbsSyntaxTree, Idris.AbsSyntax
dumpDefunsIRTS.Defunctionalise
DumpHighlightsIdris.AbsSyntaxTree, Idris.AbsSyntax
dumpprobsIdris.Core.Elaborate
DUpdateIRTS.Defunctionalise
DUsedIdris.AbsSyntaxTree, Idris.AbsSyntax
DVIRTS.Defunctionalise
DynamicIdris.AbsSyntaxTree, Idris.AbsSyntax
DynamicLibUtil.DynamicLinker
DynamicLinkIdris.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
EDocStrIdris.AbsSyntaxTree, Idris.AbsSyntax
EEvalIdris.AbsSyntaxTree, Idris.AbsSyntax
eEVALIRTS.Defunctionalise
EInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
eInfoNamesIdris.AbsSyntaxTree, Idris.AbsSyntax
EitherErrIdris.AbsSyntax
ElabIdris.Core.Elaborate
elabIdris.Elab.Term
Elab'Idris.Core.Elaborate
elabCaseBlockIdris.Elab.Utils
elabClassIdris.Elab.Class
elabClauseIdris.Elab.Clause
elabClausesIdris.Elab.Clause
ElabCtxt 
1 (Type/Class)Idris.Elab.Term
2 (Data Constructor)Idris.Elab.Term
ElabDIdris.AbsSyntaxTree, Idris.AbsSyntax
elabDataIdris.Elab.Data
elabDeclIdris.ElabDecls
elabDecl'Idris.ElabDecls
elabDeclsIdris.ElabDecls
elabDocTermsIdris.Elab.Value
elabExecIdris.Elab.Value
elabExternIdris.Elab.Type
elabFCIdris.AbsSyntaxTree, Idris.AbsSyntax
ElabInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
elabInstanceIdris.Elab.Instance
elabMainIdris.ElabDecls
ElabModeIdris.Elab.Term
elaborateIdris.Core.Elaborate
ElaboratingIdris.Core.TT
ElaboratingArgIdris.Core.TT
elaboratingArgErrIdris.Elab.Term
elaborating_appIdris.Core.Elaborate
elabPEIdris.Elab.Clause
elabPostulateIdris.Elab.Type
elabPrimsIdris.ElabDecls
elabProviderIdris.Elab.Provider
elabRecordIdris.Elab.Record
elabREPLIdris.Elab.Value
ElabResult 
1 (Type/Class)Idris.Elab.Term
2 (Data Constructor)Idris.Elab.Term
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
environmentIRTS.CodegenCommon
envlenIdris.Core.TT
EnvTTIdris.Core.TT
envTupleTypeIdris.Reflection
eolIdris.ParseHelpers, 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.ParseHelpers, Idris.Parser
eqTyIdris.AbsSyntaxTree, Idris.AbsSyntax
Equiv 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
equivIdris.Core.Elaborate
ErasedIdris.Core.TT
erasureIdris.Reflection
ErasureInfoIdris.Core.CaseTree
ERHSIdris.Elab.Term
ErrIdris.Core.TT
Err'Idris.Core.TT
errAtIdris.Core.Elaborate
ErrContext 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
errContextIdris.AbsSyntax
errEnvIdris.Core.Typecheck
ERRORIRTS.Bytecode
ErrorIdris.Core.TT
ErrorHandlerIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrorReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrorReportPartIdris.Core.TT
ErrorReverseIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrPPrintIdris.IdeMode
errReverseIdris.ErrReverse
errSpanIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrStringIdris.IdeMode
erunIdris.Core.Elaborate
ESIdris.Core.Elaborate
ESearchIdris.AbsSyntaxTree, Idris.AbsSyntax
EState 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
ETransLHSIdris.Elab.Term
ETyDeclIdris.Elab.Term
ETypesIdris.AbsSyntaxTree, Idris.AbsSyntax
EUndoIdris.AbsSyntaxTree, Idris.AbsSyntax
EvalIdris.AbsSyntaxTree, Idris.AbsSyntax
EvalApplyIRTS.Defunctionalise
EvalCaseIRTS.Defunctionalise
evalDIRTS.Inliner
EvalExprIdris.AbsSyntaxTree, Idris.AbsSyntax
EvalInIdris.Core.ProofState, Idris.Core.Elaborate
EvalTypesIdris.AbsSyntaxTree, Idris.AbsSyntax
eval_inIdris.Core.Elaborate
Exact 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
exactIdris.Core.Elaborate
ExactlyOneIdris.AbsSyntaxTree, Idris.AbsSyntax
ExampleIdris.Docstrings
execElabIdris.Core.Elaborate
ExecutableIRTS.CodegenCommon
ExecuteIdris.AbsSyntaxTree, Idris.AbsSyntax
executeIdris.Core.Execute
ExecValIdris.AbsSyntaxTree, Idris.AbsSyntax
ExpIdris.AbsSyntaxTree, Idris.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.ParseExpr, 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.ParseExpr, Idris.Parser
expr'Idris.ParseExpr, Idris.Parser
ExprArgIdris.Help
ExprTArgIdris.ParseExpr, Idris.Parser
ExtensionIdris.AbsSyntaxTree, Idris.AbsSyntax
extensionIdris.ParseExpr, Idris.Parser
extensionsIdris.ParseExpr, Idris.Parser
externalDeclIdris.Parser
externalExprIdris.ParseExpr, Idris.Parser
ExternalIOIdris.Core.Evaluate
extractUnquotesIdris.ElabQuasiquote
extraHelpIdris.Help
e_guardedIdris.Elab.Term
e_inargIdris.Elab.Term
e_intypeIdris.Elab.Term
e_isfnIdris.Elab.Term
e_nomatchingIdris.Elab.Term
e_qqIdris.Elab.Term
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
fcInIdris.Core.TT
FConIRTS.Lang, IRTS.Defunctionalise
FConstructorIRTS.Lang, IRTS.Defunctionalise
fc_endIdris.Core.TT
fc_fnameIdris.Core.TT
fc_startIdris.Core.TT
FDIdris.Docs
FDescIRTS.Lang, IRTS.Defunctionalise
FFIIRTS.JavaScript.AST
ffiIRTS.JavaScript.AST
FFIArgIRTS.JavaScript.AST
FFICodeIRTS.JavaScript.AST
FFIErrorIRTS.JavaScript.AST
FFunctionIRTS.Lang, IRTS.Defunctionalise
FFunctionIOIRTS.Lang, IRTS.Defunctionalise
fgetStateIdris.ASTUtils
FieldIdris.ASTUtils
FileArgIdris.Help
FileFCIdris.Core.TT
fileFCIdris.Core.TT
FilenameIdris.AbsSyntaxTree, Idris.AbsSyntax
fileNameIdris.ParseHelpers, 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
findExportsIRTS.Exports
findFCIdris.Parser
findHighlightIdris.Elab.Term
findImportIdris.Imports
findInPathIdris.Imports
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.ParseHelpers, Idris.Parser
FixityIdris.AbsSyntaxTree, Idris.AbsSyntax
fixityIdris.ParseOps, Idris.Parser
fixityTypeIdris.ParseOps, Idris.Parser
FlIdris.Core.TT
floatIdris.ParseHelpers, 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.ParseOps, Idris.Parser
FnOptIdris.AbsSyntaxTree, Idris.AbsSyntax
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
ForallIdris.Core.ProofState, Idris.Core.Elaborate
forallIdris.Core.Elaborate
forall_constraintIdris.AbsSyntaxTree, Idris.AbsSyntax
forall_impIdris.AbsSyntaxTree, Idris.AbsSyntax
forceDefCtxtIdris.Core.DeepSeq, Idris.DeepSeq
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
FStrIRTS.Lang, IRTS.Defunctionalise
FStringIRTS.Lang, IRTS.Defunctionalise
FTypeIRTS.Lang, IRTS.Defunctionalise
FullIdris.IdeMode
FullDocsIdris.AbsSyntaxTree, Idris.AbsSyntax
fullExprIdris.ParseExpr, Idris.Parser
fullTacticIdris.ParseExpr, 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
genAllIdris.Coverage
genArgsIRTS.Defunctionalise
genClausesIdris.Coverage
generateIRTS.Compiler
GeneratedIdris.Core.Evaluate
generateDocsIdris.IdrisDoc
getAllIdris.AbsSyntaxTree, Idris.AbsSyntax
getAllNamesIdris.AbsSyntax
getArgsIdris.Reflection
getArgTysIdris.Core.TT
getAutoHintsIdris.AbsSyntax
getAutoImportsIdris.AbsSyntax
getAuxIdris.Core.Elaborate
getCCIRTS.System
getClauseIdris.CaseSplit
getClientIdris.REPL
getCmdLineIdris.AbsSyntax
getCoercionsToIdris.AbsSyntax
getConstsIdris.AbsSyntaxTree, Idris.AbsSyntax
getContextIdris.AbsSyntax
getDataDirIRTS.System
getDataFileNameIRTS.System
getDeprecatedIdris.AbsSyntax
getDesugarNatsIdris.AbsSyntax
getDocsIdris.Docs
getDumpCasesIdris.AbsSyntax
getDumpDefunIdris.AbsSyntax
getDumpHighlightingIdris.AbsSyntax
getEnvFlagsIRTS.System
getErasureInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
getErasureUsageIdris.AbsSyntax
getErrSpanIdris.Error
getExecutablePomIRTS.System
getExpNamesIRTS.Exports
getExportsIdris.AbsSyntax
getExpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getFCIdris.ParseHelpers, Idris.Parser
getFixedInTypeIdris.Elab.Utils
getFlagsIdris.AbsSyntax
getFlexInTypeIdris.Elab.Utils
getFnIRTS.Defunctionalise
getFunctionErrorHandlersIdris.AbsSyntax
getHdrsIdris.AbsSyntax
getIdrisLibDirIRTS.System
GetIdrisVersionIdris.IdeMode
getImportedIdris.AbsSyntax
getImportsIdris.Chaser
getImpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getIncFlagsIRTS.System
getInferTermIdris.AbsSyntaxTree, Idris.AbsSyntax
getInferTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
getInternalAppIdris.AbsSyntax
getIStateIdris.AbsSyntax
getLastTokenSpanIdris.ParseHelpers, Idris.Parser
getLenIdris.IdeMode
getLibFlagsIRTS.System
getLibsIdris.AbsSyntax
getLogIdris.Core.Elaborate
getModuleFilesIdris.Chaser
getMvnIRTS.System
getNameIdris.AbsSyntax
getNameFromIdris.Core.Elaborate
getNameHintsIdris.AbsSyntax
getNCharIdris.IdeMode
getNextNameIRTS.Lang, IRTS.Defunctionalise
getNoBannerIdris.AbsSyntax
getObjectFilesIdris.AbsSyntax
getOptimiseIdris.AbsSyntax
GetOptsIdris.IdeMode
getParamsInTypeIdris.Elab.Utils
getPArityIdris.AbsSyntaxTree, Idris.AbsSyntax
getPBtysIdris.Elab.Utils
getPkgIdris.REPL
getPkgCheckIdris.REPL
getPkgCleanIdris.REPL
getPkgMkDocIdris.REPL
getPkgREPLIdris.REPL
getPkgTestIdris.REPL
getPortIdris.REPL
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
getSpecAppsIdris.PartialEval
getStaticNamesIdris.Elab.Utils
getStaticsIdris.Elab.Utils
getSymbolIdris.AbsSyntax
getTargetDirIRTS.System
getTCinjIdris.Elab.Utils
getTCParamsInTypeIdris.Elab.Utils
getTmIdris.AbsSyntaxTree, Idris.AbsSyntax
getTotalityIdris.AbsSyntax
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_guessIdris.Core.Elaborate
get_holesIdris.Core.Elaborate
get_injIdris.Core.Elaborate
get_instancesIdris.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
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.ParseHelpers, Idris.Parser
gtPropIdris.ParseHelpers, Idris.Parser
GuardedIdris.Coverage
GuardednessIdris.Coverage
GuessIdris.Core.TT
handleErrorIdris.Core.Elaborate
HasLastTokenSpanIdris.ParseHelpers, Idris.Parser
hasValidIBCVersionIdris.IBC
HeaderIdris.Docstrings
HelpIdris.AbsSyntaxTree, Idris.AbsSyntax
helpIdris.REPLParser
hEndColouriseIdris.Colours
HiddenIdris.Core.Evaluate
HideDisplayIdris.AbsSyntaxTree, Idris.AbsSyntax
hide_listIdris.AbsSyntaxTree, Idris.AbsSyntax
highestFCIdris.AbsSyntaxTree, Idris.AbsSyntax
highlightingIdris.AbsSyntaxTree, Idris.AbsSyntax
highlightPIdris.ParseHelpers, Idris.Parser
highlightSourceIdris.AbsSyntaxTree, Idris.AbsSyntax
hnfIdris.Core.Evaluate
HNF_ComputeIdris.Core.ProofState, Idris.Core.Elaborate
hnf_computeIdris.Core.Elaborate
Hole 
1 (Data Constructor)Idris.Core.TT
2 (Type/Class)Idris.Core.ProofTerm
HolesIdris.Core.TT
holesIdris.Core.ProofState, Idris.Core.Elaborate
HowMuchDocsIdris.AbsSyntaxTree, Idris.AbsSyntax
HRuleIdris.Docstrings
hsimpleExprIdris.ParseExpr, Idris.Parser
hStartColouriseIdris.Colours
HtmlBlockIdris.Docstrings
HTMLOutputIdris.AbsSyntaxTree, Idris.AbsSyntax
hWriteDocIdris.Output
IIdris.Core.TT
IBCIdris.Imports
IBCAccessIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCAutoHintIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCCGIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCCGFlagIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCClassIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCCoercionIdris.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
IBCErrRevIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCExportIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCExternIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCFixIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCFlagsIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCFnInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCFunctionErrorHandlerIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCHeaderIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCImpIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCImportIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCImportDirIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCInstanceIdris.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
IBCPostulateIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCRecordIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCStaticIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCSubDirIdris.AbsSyntaxTree, Idris.AbsSyntax
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_writeIdris.AbsSyntaxTree, Idris.AbsSyntax
IdeModeIdris.AbsSyntaxTree, Idris.AbsSyntax
IdemodeIdris.AbsSyntaxTree, Idris.AbsSyntax
IdeModeCommandIdris.IdeMode
ideModeEpochIdris.IdeMode
idemodePutSExpIdris.Output
ideModeReturnAnnotatedIdris.Output
ideModeReturnWithStatusIdris.Output
IdemodeSocketIdris.AbsSyntaxTree, Idris.AbsSyntax
identifierIdris.ParseHelpers, Idris.Parser
iderrIdris.Elab.Utils
idiomIdris.ParseExpr, Idris.Parser
IDRIdris.Imports
IdrisIdris.AbsSyntaxTree, Idris.AbsSyntax
idrisIdris.REPL
idrisCatchIdris.Error
IdrisColour 
1 (Type/Class)Idris.Colours
2 (Data Constructor)Idris.Colours
idrisInitIdris.AbsSyntaxTree, Idris.AbsSyntax
IdrisInnerParser 
1 (Type/Class)Idris.ParseHelpers, Idris.Parser
2 (Data Constructor)Idris.ParseHelpers, Idris.Parser
idrisMainIdris.REPL
IdrisParserIdris.ParseHelpers, Idris.Parser
idrisStyleIdris.ParseHelpers, Idris.Parser
idris_autohintsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_calledgraphIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_callgraphIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_callswhoIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_cgflagsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_classesIdris.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_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_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_language_extensionsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_libsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_lineappsIdris.AbsSyntaxTree, Idris.AbsSyntax
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_optimisationIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_optionsIdris.AbsSyntaxTree, Idris.AbsSyntax
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_totcheckIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_totcheckfailIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_transformsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_tyinfodataIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_whocallsIdris.AbsSyntaxTree, Idris.AbsSyntax
ierrorIdris.Error
ifailIdris.Error
IFileTypeIdris.Imports
if_Idris.ParseExpr, Idris.Parser
ImageIdris.Docstrings
ImpIdris.AbsSyntaxTree, Idris.AbsSyntax
impInIdris.AbsSyntax
ImplIdris.Core.TT
implIdris.AbsSyntaxTree, Idris.AbsSyntax
ImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
implicitIdris.AbsSyntax
implicit'Idris.AbsSyntax
implicitableIdris.Core.TT
implicitAllowedIdris.AbsSyntaxTree, Idris.AbsSyntax
implicitArgIdris.ParseExpr, Idris.Parser
ImplicitColourIdris.Colours
implicitColourIdris.Colours
ImplicitDIdris.PartialEval
ImplicitInfoIdris.Core.TT
implicitiseIdris.AbsSyntax
implicitNamesInIdris.AbsSyntaxTree, Idris.AbsSyntax
implicitPiIdris.ParseExpr, Idris.Parser
ImplicitSIdris.PartialEval
ImportDirIdris.AbsSyntaxTree, Idris.AbsSyntax
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.ParseExpr, 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.ParseHelpers, Idris.Parser
inblockIdris.AbsSyntaxTree, Idris.AbsSyntax
includesIRTS.CodegenCommon
IncompleteTermIdris.Core.TT
indent 
1 (Function)IRTS.DumpBC
2 (Function)Idris.ParseHelpers, Idris.Parser
indentedIdris.ParseHelpers, Idris.Parser
indentedBlockIdris.ParseHelpers, Idris.Parser
indentedBlock1Idris.ParseHelpers, Idris.Parser
indentedBlockSIdris.ParseHelpers, Idris.Parser
IndentProperty 
1 (Type/Class)Idris.ParseHelpers, Idris.Parser
2 (Data Constructor)Idris.ParseHelpers, Idris.Parser
indentPropHoldsIdris.ParseHelpers, Idris.Parser
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
inferredDiffIdris.Elab.Utils
InferredValIdris.Core.TT
inferTyIdris.AbsSyntaxTree, Idris.AbsSyntax
InfinitelyWideIdris.AbsSyntaxTree, Idris.AbsSyntax
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
initNextNameFromIdris.Core.Elaborate
initsEndAtIdris.ParseHelpers, Idris.Parser
injectiveIdris.Core.ProofState, Idris.Core.Elaborate
inlIRTS.Inliner
InlinableIdris.AbsSyntaxTree, Idris.AbsSyntax
inlinableIdris.AbsSyntaxTree, Idris.AbsSyntax
Inline 
1 (Data Constructor)IRTS.Lang, IRTS.Defunctionalise
2 (Type/Class)Idris.Docstrings
inlineIRTS.Inliner
inlineAllIRTS.LangOpts
inlineDefIdris.Inliner
inlineTermIdris.Inliner
inPatternIdris.AbsSyntaxTree, Idris.AbsSyntax
inPkgDirPkg.Package
installedPackagesIdris.Imports
installIBCPkg.Package
installIdxPkg.Package
installObjPkg.Package
installPkgPkg.Package
InstanceIdris.Core.ProofState, Idris.Core.Elaborate
instanceArgIdris.Core.Elaborate
instanceBlockIdris.Parser
InstanceCtorNIdris.Core.TT
instanceCtorNameIdris.AbsSyntaxTree, Idris.AbsSyntax
InstanceNIdris.Core.TT
instancesIdris.Core.ProofState, Idris.Core.Elaborate
instance_Idris.Parser
instantiateIdris.Core.TT
integerIdris.ParseHelpers, Idris.Parser
IntegerAtomIdris.IdeMode
integerReaderIdris.CmdOptions
InterfaceIdris.AbsSyntaxTree, Idris.AbsSyntax
interfacesIRTS.CodegenCommon
interMapIRTS.DumpBC
internalDeclIdris.Parser
internalExprIdris.ParseExpr, Idris.Parser
InternalMsgIdris.Core.TT
InterpretIdris.IdeMode
InterpretScriptIdris.AbsSyntaxTree, Idris.AbsSyntax
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.ParseHelpers, Idris.Parser
InvalidTCArgIdris.Core.TT
IOption 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
iPrintErrorIdris.Output
iPrintFunTypesIdris.Output
iPrintResultIdris.Output
iPrintTermWithTypeIdris.Output
iPrintWithStatusIdris.Output
iputGoalIdris.Output
iputStrLnIdris.Output
iRenderIdris.Output
iRenderErrorIdris.Output
iRenderOutputIdris.Output
iRenderResultIdris.Output
isATTYUtil.System
isConNameIdris.Core.Evaluate
isConstIRTS.Bytecode
isDConNameIdris.Core.Evaluate
isEolIdris.ParseHelpers, Idris.Parser
isetLoadedRegionIdris.AbsSyntax
isetPromptIdris.AbsSyntax
isFnNameIdris.Core.Evaluate
isHoleIdris.Core.Typecheck
isHoleNameIdris.AbsSyntaxTree, Idris.AbsSyntax
isInjectiveIdris.Core.TT
isMetavarNameIdris.AbsSyntax
isPlausibleIdris.Elab.Term
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
JSIRTS.JavaScript.AST
JSAllocIRTS.JavaScript.AST
jsAndIRTS.JavaScript.AST
JSAnnotation 
1 (Data Constructor)IRTS.JavaScript.AST
2 (Type/Class)IRTS.JavaScript.AST
JSAppIRTS.JavaScript.AST
JSArrayIRTS.JavaScript.AST
JSAssignIRTS.JavaScript.AST
JSBigIntIRTS.JavaScript.AST
jsBigIntIRTS.JavaScript.AST
JSBigIntExprIRTS.JavaScript.AST
JSBigOneIRTS.JavaScript.AST
JSBigZeroIRTS.JavaScript.AST
JSBinOpIRTS.JavaScript.AST
jsCallIRTS.JavaScript.AST
JSCharTyIRTS.JavaScript.AST
JSCondIRTS.JavaScript.AST
JSConstructorIRTS.JavaScript.AST
JSDeleteIRTS.JavaScript.AST
jsEqIRTS.JavaScript.AST
JSErrorIRTS.JavaScript.AST
JSFalseIRTS.JavaScript.AST
JSFFIIRTS.JavaScript.AST
JSFloatIRTS.JavaScript.AST
JSFloatTyIRTS.JavaScript.AST
JSForgotTyIRTS.JavaScript.AST
JSFunctionIRTS.JavaScript.AST
JSIdentIRTS.JavaScript.AST
JSIndexIRTS.JavaScript.AST
jsInstanceOfIRTS.JavaScript.AST
JSIntIRTS.JavaScript.AST
JSInteger 
1 (Data Constructor)IRTS.JavaScript.AST
2 (Type/Class)IRTS.JavaScript.AST
JSIntegerTyIRTS.JavaScript.AST
JSIntTyIRTS.JavaScript.AST
jsIsNullIRTS.JavaScript.AST
jsIsNumberIRTS.JavaScript.AST
jsMethIRTS.JavaScript.AST
JSNewIRTS.JavaScript.AST
JSNoopIRTS.JavaScript.AST
jsNotEqIRTS.JavaScript.AST
JSNullIRTS.JavaScript.AST
JSNum 
1 (Data Constructor)IRTS.JavaScript.AST
2 (Type/Class)IRTS.JavaScript.AST
jsOrIRTS.JavaScript.AST
jsPackSBits16IRTS.JavaScript.AST
jsPackSBits32IRTS.JavaScript.AST
jsPackSBits8IRTS.JavaScript.AST
jsPackUBits16IRTS.JavaScript.AST
jsPackUBits32IRTS.JavaScript.AST
jsPackUBits8IRTS.JavaScript.AST
JSParensIRTS.JavaScript.AST
JSPostOpIRTS.JavaScript.AST
JSPreOpIRTS.JavaScript.AST
JSProjIRTS.JavaScript.AST
JSPtrTyIRTS.JavaScript.AST
JSRawIRTS.JavaScript.AST
JSReturnIRTS.JavaScript.AST
JSSeqIRTS.JavaScript.AST
JSStringIRTS.JavaScript.AST
JSStringTyIRTS.JavaScript.AST
JSSwitchIRTS.JavaScript.AST
JSTargetIRTS.CodegenJavaScript
JSTernaryIRTS.JavaScript.AST
JSThisIRTS.JavaScript.AST
JSTrueIRTS.JavaScript.AST
JSType 
1 (Data Constructor)IRTS.JavaScript.AST
2 (Type/Class)IRTS.JavaScript.AST
jsTypeOfIRTS.JavaScript.AST
JSUndefinedIRTS.JavaScript.AST
jsUnPackBitsIRTS.JavaScript.AST
JSWhileIRTS.JavaScript.AST
JSWord 
1 (Data Constructor)IRTS.JavaScript.AST
2 (Type/Class)IRTS.JavaScript.AST
JSWord16IRTS.JavaScript.AST
JSWord32IRTS.JavaScript.AST
JSWord64IRTS.JavaScript.AST
JSWord8IRTS.JavaScript.AST
keepGivenIdris.Core.ProofState, Idris.Core.Elaborate
keepTerminatorIdris.ParseHelpers, Idris.Parser
KeywordIdris.AbsSyntaxTree, Idris.AbsSyntax
KeywordColourIdris.Colours
keywordColourIdris.Colours
known_classesIdris.ASTUtils
known_termsIdris.ASTUtils
L 
1 (Data Constructor)IRTS.BCImp
2 (Data Constructor)IRTS.Bytecode
LAltIRTS.Lang, IRTS.Defunctionalise
LAlt'IRTS.Lang, IRTS.Defunctionalise
LamIdris.Core.TT
lambdaIdris.ParseExpr, Idris.Parser
lambdaLiftIRTS.Lang, IRTS.Defunctionalise
LAndIRTS.Lang, IRTS.Defunctionalise
LanguageExtIdris.AbsSyntaxTree, Idris.AbsSyntax
LAppIRTS.Lang, IRTS.Defunctionalise
LASHRIRTS.Lang, IRTS.Defunctionalise
lastIndentIdris.ParseHelpers, Idris.Parser
lastParseIdris.AbsSyntaxTree, Idris.AbsSyntax
lastTokenSpanIdris.AbsSyntaxTree, Idris.AbsSyntax
LaTeXOutputIdris.AbsSyntaxTree, Idris.AbsSyntax
LBitCastIRTS.Lang, IRTS.Defunctionalise
LCaseIRTS.Lang, IRTS.Defunctionalise
lcharIdris.ParseHelpers, Idris.Parser
lcharFCIdris.ParseHelpers, 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
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.ParseExpr, Idris.Parser
let_bindingIdris.ParseExpr, 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
lib_handleUtil.DynamicLinker
lib_nameUtil.DynamicLinker
LIDRIdris.Imports
liftIRTS.Lang, IRTS.Defunctionalise
liftAllIRTS.Lang, IRTS.Defunctionalise
liftDeclsIRTS.CodegenCommon
liftnameIdris.AbsSyntaxTree, Idris.AbsSyntax
liftPatsIdris.Core.TT
LiftStateIRTS.Lang, IRTS.Defunctionalise
LineBreakIdris.Docstrings
lineNumIdris.ParseHelpers, Idris.Parser
LinkIdris.Docstrings
LIntChIRTS.Lang, IRTS.Defunctionalise
LIntFloatIRTS.Lang, IRTS.Defunctionalise
LIntStrIRTS.Lang, IRTS.Defunctionalise
ListIdris.Docstrings
ListDynamicIdris.AbsSyntaxTree, Idris.AbsSyntax
ListErrorHandlersIdris.AbsSyntaxTree, Idris.AbsSyntax
listExprIdris.ParseExpr, 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.AbsSyntaxTree, Idris.AbsSyntax
LoadFileIdris.IdeMode
loadFromIFileIdris.Parser
loadIBCIdris.IBC
LoadingFailedIdris.Core.TT
loadInputsIdris.REPL
loadModuleIdris.Parser
loadModule'Idris.Parser
loadPkgIndexIdris.IBC
loadSourceIdris.Parser
loadSource'Idris.Parser
loadStateIdris.Core.Elaborate
LocIRTS.Lang, IRTS.Defunctionalise
localnamesIdris.Core.TT
logLevelIdris.AbsSyntax
LogLvlIdris.AbsSyntaxTree, Idris.AbsSyntax
logLvlIdris.AbsSyntax
lookAheadMatchesIdris.ParseHelpers, Idris.Parser
lookupCtxtIdris.Core.TT
lookupCtxtExactIdris.Core.TT
lookupCtxtNameIdris.Core.TT
lookupDefIdris.Core.Evaluate
lookupDefAccIdris.Core.Evaluate
lookupDefAccExactIdris.Core.Evaluate
lookupDefExactIdris.Core.Evaluate
lookupMetaInformationIdris.Core.Evaluate
lookupNameDefIdris.Core.Evaluate
lookupNamesIdris.Core.Evaluate
lookupNameTotalIdris.Core.Evaluate
lookupPIdris.Core.Evaluate
lookupP_allIdris.Core.Evaluate
lookupTotalIdris.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
LSystemInfoIRTS.Lang, IRTS.Defunctionalise
ltePropIdris.ParseHelpers, Idris.Parser
LTimesIRTS.Lang, IRTS.Defunctionalise
ltPropIdris.ParseHelpers, 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_infIdris.AbsSyntaxTree, Idris.AbsSyntax
makePkg.Package
MakeCaseIdris.AbsSyntaxTree, Idris.AbsSyntax
makeCaseIdris.Interactive
MakeCaseBlockIdris.IdeMode
MakeDocIdris.AbsSyntaxTree, Idris.AbsSyntax
MakeLemma 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
makeLemmaIdris.Interactive
MakeWithIdris.AbsSyntaxTree, Idris.AbsSyntax
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
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
MavenProjectIRTS.CodegenCommon
maxlineIdris.AbsSyntaxTree, Idris.AbsSyntax
MaybeHolesIdris.Core.TT
maybeWithNSIdris.ParseHelpers, Idris.Parser
MetaInformationIdris.Core.Evaluate
MetaNIdris.Core.TT
MetaVarArgIdris.Help
MetavariablesIdris.IdeMode
metavarNameIdris.Elab.Term
MetavarOutputIdris.Core.TT
MetavarsIdris.AbsSyntaxTree, Idris.AbsSyntax
MethodNIdris.Core.TT
MissingIdris.AbsSyntaxTree, Idris.AbsSyntax
mkAppIdris.Core.TT
mkApplyIRTS.Defunctionalise
mkApplyCaseIRTS.Defunctionalise
mkBigCaseIRTS.Defunctionalise
MKCONIRTS.Bytecode
mkDirCmdPkg.Package
mkEvalIRTS.Defunctionalise
mkFieldNameIdris.Erasure
mkFnConIRTS.Defunctionalise
mkForceIdris.Core.CaseTree
mkListIdris.Reflection
mkMultiPathsIdris.Coverage
mkNameIdris.ParseHelpers, Idris.Parser
mkPAppIdris.AbsSyntax
mkPatTmIdris.Coverage
mkPE_TermDeclIdris.PartialEval
mkPE_TyDeclIdris.PartialEval
mkProofTermIdris.Core.ProofTerm
mkStaticIdris.Elab.Utils
mkStaticTyIdris.Elab.Utils
mkTTNameIdris.DSL
mkTypeIdris.ParseExpr, Idris.Parser
mkUnderConIRTS.Defunctionalise
mkUniqueNamesIdris.AbsSyntax
mkWithIdris.CaseSplit
MNIdris.Core.TT
ModDocIdris.Docs
modDocNameIdris.AbsSyntaxTree, Idris.AbsSyntax
modifyConstIdris.ParseExpr, Idris.Parser
ModImportIdris.AbsSyntaxTree, Idris.AbsSyntax
ModuleArgIdris.Help
moduleHeaderIdris.Parser
ModuleTreeIdris.Chaser
module_aliasesIdris.AbsSyntaxTree, Idris.AbsSyntax
mod_depsIdris.Chaser
mod_needsRecheckIdris.Chaser
mod_pathIdris.Chaser
mod_timeIdris.Chaser
MonadicParsingIdris.ParseHelpers, Idris.Parser
MoveLastIdris.Core.ProofState, Idris.Core.Elaborate
movelastIdris.Core.Elaborate
moveRegIRTS.Bytecode
MsgIdris.Core.TT
MTreeIdris.Chaser
multiLineCommentIdris.ParseHelpers, Idris.Parser
MultiPathIdris.Coverage
MutualIdris.Core.Evaluate
mutualIdris.Parser
mutual_typesIdris.Core.TT
mut_nestingIdris.AbsSyntaxTree, Idris.AbsSyntax
NameIdris.Core.TT
nameIdris.ParseHelpers, Idris.Parser
NameArgIdris.Help
NamedInstanceDocIdris.Docs
nameMissingIdris.CaseSplit
NameOutputIdris.Core.TT
NamePartIdris.Core.TT
namequoteIdris.ParseExpr, 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.ParseExpr, Idris.Parser
NameTypeIdris.Core.TT
NativeIRTS.Lang, IRTS.Defunctionalise
NativeTyIdris.Core.TT
nativeTyWidthIdris.Core.TT
naturalIdris.ParseHelpers, Idris.Parser
NeverIdris.Core.Typecheck
NewDefnIdris.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
NoBasePkgsIdris.AbsSyntaxTree, Idris.AbsSyntax
NoBuiltinsIdris.AbsSyntaxTree, Idris.AbsSyntax
NoCoverageIdris.AbsSyntaxTree, Idris.AbsSyntax
NodeIRTS.CodegenJavaScript
noDocCommentHereIdris.ParseHelpers, Idris.Parser
noDocsIdris.Docstrings
NoElimDeprecationWarningsIdris.AbsSyntaxTree, Idris.AbsSyntax
NoEliminatorIdris.Core.TT
noErrorsIdris.AbsSyntax
NoFCIdris.Core.TT
nofixityoperatorIdris.ParseOps, Idris.Parser
NoImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
noImplicitsIdris.ParseExpr, Idris.Parser
NoInlineIRTS.Lang, IRTS.Defunctionalise
NonCollapsiblePostulateIdris.Core.TT
NONEIRTS.CodegenCommon
NonFunctionTypeIdris.Core.TT
noOccurrenceIdris.Core.TT
NoOldTacticDeprecationWarningsIdris.AbsSyntaxTree, Idris.AbsSyntax
NOP 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)IRTS.BCImp
noPartialIdris.Coverage
NoPreludeIdris.AbsSyntaxTree, Idris.AbsSyntax
NoREPLIdris.AbsSyntaxTree, Idris.AbsSyntax
NoRewritingIdris.Core.TT
normalImplicitIdris.ParseExpr, Idris.Parser
normaliseIdris.Core.Evaluate
normaliseAllIdris.Core.Evaluate
normaliseBlockingIdris.Core.Evaluate
normaliseCIdris.Core.Evaluate
normaliseTraceIdris.Core.Evaluate
NoSuchVariableIdris.Core.TT
NotCoveringIdris.Core.Evaluate
notEndAppIdris.ParseHelpers, Idris.Parser
notEndBlockIdris.ParseHelpers, Idris.Parser
NotEqualityIdris.Core.TT
NotInjectiveIdris.Core.TT
notOpenBracesIdris.ParseHelpers, 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
occurrencesIdris.Core.TT
OKIdris.Core.TT
OLoggingIdris.AbsSyntaxTree, Idris.AbsSyntax
OnceIdris.Core.Typecheck
OPIRTS.Bytecode
opCharsIdris.ParseHelpers, Idris.Parser
openBlockIdris.ParseHelpers, Idris.Parser
OperatorIdris.Core.Evaluate
operatorIdris.ParseHelpers, Idris.Parser
operatorFCIdris.ParseHelpers, Idris.Parser
operatorFrontIdris.ParseOps, Idris.Parser
operatorLetterIdris.ParseHelpers, Idris.Parser
opExprIdris.ParseExpr, Idris.Parser
Opt 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Type/Class)Idris.IdeMode
optIdris.REPL
OptimisationIdris.AbsSyntaxTree, Idris.AbsSyntax
OptimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
OptInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
OptionalArgIdris.Help
OptionArgIdris.Help
OptLevelIdris.AbsSyntaxTree, Idris.AbsSyntax
opts_idrisCmdlineIdris.ASTUtils
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_ibcsubdirIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_importdirsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_inaccessibleIdris.ASTUtils
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_tripleIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_typecaseIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_typeintypeIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_verboseIdris.AbsSyntaxTree, Idris.AbsSyntax
orderPatsIdris.Core.TT
OtherIdris.Core.Evaluate
OutputIdris.AbsSyntaxTree, Idris.AbsSyntax
OutputAnnotationIdris.Core.TT
outputFileIRTS.CodegenCommon
OutputFmtIdris.AbsSyntaxTree, Idris.AbsSyntax
OutputModeIdris.AbsSyntaxTree, Idris.AbsSyntax
OutputTyIdris.AbsSyntaxTree, Idris.AbsSyntax
outputTyIdris.AbsSyntax
OutputTypeIRTS.CodegenCommon
outputTypeIRTS.CodegenCommon
overloadIdris.ParseData, Idris.Parser
OverviewIdris.IdeMode
overviewIdris.Docstrings
OverviewDocsIdris.AbsSyntaxTree, Idris.AbsSyntax
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.REPLParser
parseCodegenIdris.CmdOptions
parseConsoleWidthIdris.CmdOptions
parseConstIdris.Parser
parseDocstringIdris.Docstrings
parseElabShellStepIdris.Parser
parseExprIdris.Parser
parseFlagsIdris.CmdOptions
parseImportsIdris.Parser
parseMessageIdris.IdeMode
parseProgIdris.Parser
parserIdris.CmdOptions
parserWarningsIdris.AbsSyntaxTree, Idris.AbsSyntax
parseTacticIdris.Parser
parseVersionIdris.CmdOptions
PartialIdris.Core.Evaluate
PartialFnIdris.AbsSyntaxTree, Idris.AbsSyntax
partial_evalIdris.PartialEval
PAsIdris.AbsSyntaxTree, Idris.AbsSyntax
PatBindIdris.Core.ProofState, Idris.Core.Elaborate
patbindIdris.Core.Elaborate
PattelabIdris.AbsSyntaxTree, Idris.AbsSyntax
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
PClassIdris.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
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.AbsSyntaxTree, Idris.AbsSyntax
PExpIdris.AbsSyntaxTree, Idris.AbsSyntax
pexpIdris.AbsSyntaxTree, Idris.AbsSyntax
pe_appIdris.PartialEval
pe_clausesIdris.PartialEval
pe_defIdris.PartialEval
pe_simpleIdris.PartialEval
PFixIdris.AbsSyntaxTree, Idris.AbsSyntax
PGoalIdris.AbsSyntaxTree, Idris.AbsSyntax
PhaseIdris.Core.CaseTree
PHiddenIdris.AbsSyntaxTree, Idris.AbsSyntax
PiIdris.Core.TT
piIdris.ParseExpr, 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
PImpossibleIdris.AbsSyntaxTree, Idris.AbsSyntax
PInferRefIdris.AbsSyntaxTree, Idris.AbsSyntax
PInstanceIdris.AbsSyntaxTree, Idris.AbsSyntax
piOptsIdris.ParseExpr, Idris.Parser
PkgIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgArgsIdris.Help
PkgBuildIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgCheckIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgCleanIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgIndexIdris.AbsSyntaxTree, Idris.AbsSyntax
pkgIndexIdris.Imports
PkgInstallIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgMkDocIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgREPLIdris.AbsSyntaxTree, Idris.AbsSyntax
PkgTestIdris.AbsSyntaxTree, Idris.AbsSyntax
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
popIndentIdris.ParseHelpers, Idris.Parser
pop_estackIdris.AbsSyntax
PortIdris.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
pprintConstDocsIdris.Docs
pprintDelabIdris.Delaborate
pprintDelabTyIdris.Delaborate
pprintDocsIdris.Docs
pprintErrIdris.Delaborate
pprintNoDelabIdris.Delaborate
pprintPTermIdris.AbsSyntaxTree, Idris.AbsSyntax
pprintRawIdris.Core.TT
pprintTTIdris.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.ParseOps, 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
PReturnIdris.AbsSyntaxTree, Idris.AbsSyntax
previousIdris.Core.ProofState, Idris.Core.Elaborate
PRewriteIdris.AbsSyntaxTree, Idris.AbsSyntax
Prim 
1 (Type/Class)Idris.Primitives
2 (Data Constructor)Idris.Primitives
primDefsIdris.AbsSyntaxTree, Idris.AbsSyntax
PrimFnIRTS.Lang, IRTS.Defunctionalise
primitivesIdris.Primitives
primNamesIdris.AbsSyntaxTree, Idris.AbsSyntax
PrintDef 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
printUndefinedNamesIdris.Output
priorityIdris.AbsSyntaxTree, Idris.AbsSyntax
problemsIdris.Core.ProofState, Idris.Core.Elaborate
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.ParseExpr, Idris.Parser
proofFailIdris.Core.Elaborate
ProofsIdris.AbsSyntaxTree, Idris.AbsSyntax
ProofSearch 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
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.Clause
ProveIdris.AbsSyntaxTree, Idris.AbsSyntax
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.Term
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
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.ParseHelpers, Idris.Parser
push_estackIdris.AbsSyntax
putIStateIdris.AbsSyntax
PVarIdris.Core.TT
pvarsIdris.Elab.Utils
PVTyIdris.Core.TT
PWithIdris.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
quasiquoteIdris.ParseExpr, Idris.Parser
QuietIdris.AbsSyntaxTree, Idris.AbsSyntax
QuitIdris.AbsSyntaxTree, Idris.AbsSyntax
QuoteIdris.Core.Evaluate
quoteIdris.Core.Evaluate
quoteGoalIdris.ParseExpr, Idris.Parser
quoteTermIdris.Core.Evaluate
RAddInstanceIdris.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
RCtorArgIdris.Reflection
RCtorFieldIdris.Reflection
RCtorParameterIdris.Reflection
RDatatype 
1 (Type/Class)Idris.Reflection
2 (Data Constructor)Idris.Reflection
RDeclareIdris.Reflection
RDeclInstructionsIdris.AbsSyntaxTree, Idris.AbsSyntax
RDefineFunIdris.Reflection
readSourceUtil.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.ParseData, Idris.Parser
RecordDocIdris.Docs
recordIIdris.ParseData, Idris.Parser
RecordInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
recordParameterIdris.ParseData, Idris.Parser
recordTypeIdris.ParseExpr, 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
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.BCImp
2 (Type/Class)IRTS.Bytecode
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
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.AbsSyntaxTree, Idris.AbsSyntax
RemoveOptIdris.AbsSyntaxTree, Idris.AbsSyntax
removeOptimiseIdris.AbsSyntax
renderDocstringIdris.Docstrings
renderDocTermIdris.Docstrings
renderExternalIdris.Output
renderHtmlIdris.Docstrings
ReorderIdris.Core.ProofState, Idris.Core.Elaborate
reorder_claimsIdris.Core.Elaborate
replaceSplitsIdris.CaseSplit
replCompletionIdris.Completion
REPLCompletionsIdris.IdeMode
replPkgPkg.Package
repl_definitionsIdris.ASTUtils
reportIdris.Error
reportParserWarningsIdris.ParseHelpers, Idris.Parser
RErasedIdris.Reflection
RErasureIdris.Reflection
RESERVEIRTS.Bytecode
reservedIdris.ParseHelpers, Idris.Parser
reservedFCIdris.ParseHelpers, Idris.Parser
reservedHLIdris.ParseHelpers, Idris.Parser
reservedOpIdris.ParseHelpers, Idris.Parser
reservedOpFCIdris.ParseHelpers, 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
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.ParseExpr, Idris.Parser
RExplicitIdris.Reflection
RFunArg 
1 (Type/Class)Idris.Reflection
2 (Data Constructor)Idris.Reflection
rFunArgToPArgIdris.Reflection
RFunClauseIdris.Reflection
RFunDefnIdris.Reflection
rhsIdris.Parser
RIIdris.AbsSyntaxTree, Idris.AbsSyntax
RightOKIdris.AbsSyntax
RImplicitIdris.Reflection
RIndexIdris.Reflection
rmExePkg.Package
rmFileUtil.System
rmIBCPkg.Package
rmIdxPkg.Package
RMkFunClauseIdris.Reflection
RMkImpossibleClauseIdris.Reflection
RmProofIdris.AbsSyntaxTree, Idris.AbsSyntax
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
runElab 
1 (Function)Idris.Core.Elaborate
2 (Function)Idris.ParseExpr, Idris.Parser
runElabActionIdris.Elab.Term
runElabDeclIdris.Parser
runInnerParserIdris.ParseHelpers, Idris.Parser
runIOIdris.AbsSyntax
runMainIdris.REPL
RunningElabScriptIdris.Core.TT
runparserIdris.ParseHelpers, Idris.Parser
runTacIdris.Elab.Term
RunTactic'Idris.Core.ProofTerm
RunTimeIdris.Core.CaseTree
RUTypeIdris.Core.TT
RVal 
1 (Data Constructor)IRTS.BCImp
2 (Data Constructor)IRTS.Bytecode
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
SDeclIRTS.Simplified
SDefaultCaseIRTS.Simplified
SearchIdris.AbsSyntaxTree, Idris.AbsSyntax
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
setAutoSolveIdris.AbsSyntax
setCmdLineIdris.AbsSyntax
setCodegenIdris.AbsSyntax
SetColourIdris.AbsSyntaxTree, Idris.AbsSyntax
setColourIdris.AbsSyntax
setColouriseIdris.AbsSyntax
SetConsoleWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
setContextIdris.AbsSyntax
setCoverageIdris.AbsSyntax
setDepthIdris.AbsSyntax
setDesugarNatsIdris.AbsSyntax
setErrContextIdris.AbsSyntax
setErrSpanIdris.AbsSyntax
setEvalTypesIdris.AbsSyntax
setFlagsIdris.AbsSyntax
setFnInfoIdris.AbsSyntax
setIBCSubDirIdris.AbsSyntax
setIdeModeIdris.AbsSyntax
setImportDirsIdris.AbsSyntax
setImpShowIdris.AbsSyntax
setinjIdris.Core.Elaborate
SetInjectiveIdris.Core.ProofState, Idris.Core.Elaborate
setLogLevelIdris.AbsSyntax
setMetaInformationIdris.Core.Evaluate
setNextNameIdris.Core.Elaborate
setNoBannerIdris.AbsSyntax
SetOpt 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
setOptimiseIdris.AbsSyntax
setOptionsIdris.REPLParser
setOptLevelIdris.AbsSyntax
setOutputTyIdris.AbsSyntax
SetPrinterDepthIdris.AbsSyntaxTree, Idris.AbsSyntax
setQuietIdris.AbsSyntax
setREPLIdris.AbsSyntax
setShowOrigErrIdris.AbsSyntax
setSOIdris.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
SExp 
1 (Type/Class)IRTS.Simplified
2 (Type/Class)Idris.IdeMode
SExpableIdris.IdeMode
SexpListIdris.IdeMode
sexpToCommandIdris.IdeMode
sExpToStringIdris.IdeMode
SForeignIRTS.Simplified
SFunIRTS.Simplified
shadowIdris.AbsSyntax
SharedIdris.Core.CaseTree
showCGIdris.Core.TT
showCImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showDeclImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showDeclsIdris.AbsSyntaxTree, Idris.AbsSyntax
showDImpIdris.AbsSyntaxTree, Idris.AbsSyntax
showEnvIdris.Core.TT
showEnvDbgIdris.Core.TT
showErrIdris.Error
ShowImpl 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
ShowIncsIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowLibdirIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowLibsIdris.AbsSyntaxTree, Idris.AbsSyntax
showNameIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowOrigErrIdris.AbsSyntaxTree, Idris.AbsSyntax
showOrigErrIdris.AbsSyntax
ShowPkgsIdris.AbsSyntaxTree, Idris.AbsSyntax
ShowProofIdris.AbsSyntaxTree, Idris.AbsSyntax
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.ParseData, Idris.Parser
simpleDeclsIRTS.CodegenCommon
SimpleExprIdris.AbsSyntaxTree, Idris.AbsSyntax
simpleExprIdris.ParseExpr, Idris.Parser
simpleExternalExprIdris.ParseExpr, Idris.Parser
simpleWhiteSpaceIdris.ParseHelpers, 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.ParseHelpers, Idris.Parser
sInstanceNIdris.Core.TT
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
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
SourceFCIdris.AbsSyntaxTree, Idris.AbsSyntax
SourceTermIdris.Core.TT
SpaceIdris.Docstrings
spanFCIdris.Core.TT
SpecIdris.AbsSyntaxTree, Idris.AbsSyntax
SpecialHeaderArgIdris.Help
SpecialiseIdris.AbsSyntaxTree, Idris.AbsSyntax
specialiseIdris.Core.Evaluate
SpecialNameIdris.Core.TT
specTypeIdris.PartialEval
splitOnLineIdris.CaseSplit
SProjIRTS.Simplified
SSymbolIdris.AbsSyntaxTree, Idris.AbsSyntax
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.ParseExpr, Idris.Parser
STermIdris.Core.CaseTree
STOREOLDIRTS.Bytecode
Str 
1 (Data Constructor)Idris.Core.TT
2 (Data Constructor)Idris.Docstrings
strIdris.Core.TT
stringIdris.ParseHelpers, Idris.Parser
StringAtomIdris.IdeMode
stringLiteralIdris.ParseHelpers, Idris.Parser
StringLitTArgIdris.ParseExpr, Idris.Parser
stripLinearIdris.AbsSyntax
stripUnmatchableIdris.AbsSyntax
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
substSCIdris.Core.CaseTree
substTermIdris.Core.TT
substVIdris.Core.TT
SucCaseIdris.Core.CaseTree
sUNIdris.Core.TT
SUpdateIRTS.Simplified
SVIRTS.Simplified
SymbolIdris.AbsSyntaxTree, Idris.AbsSyntax
symbolIdris.ParseHelpers, Idris.Parser
SymbolAtomIdris.IdeMode
symbolFCIdris.ParseHelpers, Idris.Parser
SymRefIdris.Core.TT
SynIdris.AbsSyntaxTree, Idris.AbsSyntax
SynBindIdris.ParseExpr, Idris.Parser
SynContextIdris.AbsSyntaxTree, Idris.AbsSyntax
SynMatchIdris.ParseExpr, 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.ParseExpr, Idris.Parser
syn_in_quasiquoteIdris.AbsSyntaxTree, Idris.AbsSyntax
syn_namespaceIdris.AbsSyntaxTree, Idris.AbsSyntax
syn_paramsIdris.AbsSyntaxTree, Idris.AbsSyntax
TIRTS.Bytecode
tableIdris.ParseOps, Idris.Parser
TacImpIdris.AbsSyntaxTree, Idris.AbsSyntax
tacimplIdris.AbsSyntaxTree, Idris.AbsSyntax
tacNIdris.Reflection
TacticIdris.Core.ProofState, Idris.Core.Elaborate
tacticIdris.ParseExpr, Idris.Parser
TacticArgIdris.ParseExpr, Idris.Parser
tacticsIdris.ParseExpr, Idris.Parser
tacticsExprIdris.ParseExpr, Idris.Parser
TAILCALLIRTS.Bytecode
TargetCPUIdris.AbsSyntaxTree, Idris.AbsSyntax
targetCPU 
1 (Function)IRTS.CodegenCommon
2 (Function)Idris.AbsSyntax
TargetTripleIdris.AbsSyntaxTree, Idris.AbsSyntax
targetTriple 
1 (Function)IRTS.CodegenCommon
2 (Function)Idris.AbsSyntax
TCIdris.Core.TT
TCheckIdris.AbsSyntaxTree, Idris.AbsSyntax
TCInstanceIdris.AbsSyntaxTree, Idris.AbsSyntax
tcinstanceIdris.Core.TT
tcliftIdris.Error
tcnameIdris.Core.TT
TConIdris.Core.TT
tcRecoverableIdris.Elab.Term
tctryIdris.Error
tc_dictionaryIdris.Core.Evaluate
TDocStrIdris.AbsSyntaxTree, Idris.AbsSyntax
tempfileUtil.System
TermIdris.Core.TT
TermElabIdris.IdeMode
terminatorIdris.ParseHelpers, 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.AbsSyntaxTree, Idris.AbsSyntax
testLibPkg.Package
testPkgPkg.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.BCImp
2 (Function)IRTS.Bytecode
toConsIRTS.Defunctionalise
toConsAIRTS.Defunctionalise
toEitherIdris.AbsSyntax
toIBCFilePkg.Package
TooManyArgsIdris.Core.TT
TooManyArgumentsIdris.Core.TT
TOPBASEIRTS.Bytecode
ToplevelIdris.Coverage
toplevelIdris.AbsSyntaxTree, Idris.AbsSyntax
toplevel_impIdris.Core.TT
toSExpIdris.IdeMode
toTableIdris.ParseOps, Idris.Parser
TotalIdris.Core.Evaluate
TotalFnIdris.AbsSyntaxTree, Idris.AbsSyntax
TotalityIdris.Core.Evaluate
totalityIdris.Parser
TotCheckIdris.AbsSyntaxTree, Idris.AbsSyntax
totcheckIdris.AbsSyntax
toValueIdris.Core.Evaluate
TRACEIRTS.CodegenCommon
traceWhenIdris.Core.TT
transformIdris.Parser
transformErrIdris.Core.Elaborate
TransformInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
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
tryCatchIdris.Core.Elaborate
tryFullExprIdris.ParseExpr, Idris.Parser
TryImplicitIdris.AbsSyntaxTree, Idris.AbsSyntax
tryLoadFnUtil.DynamicLinker
tryLoadLibUtil.DynamicLinker
tryWhenIdris.Core.Elaborate
TSearchIdris.AbsSyntaxTree, Idris.AbsSyntax
TSeqIdris.AbsSyntaxTree, Idris.AbsSyntax
TTIdris.Core.TT
TTypeIdris.Core.TT
tt_ctxtIdris.AbsSyntaxTree, Idris.AbsSyntax
txtIdris.Core.TT
TyDeclIdris.Core.Evaluate
tyOptDeclListIdris.ParseExpr, Idris.Parser
TypeIdris.Core.TT
type1DocIdris.AbsSyntax
TypeCaseIdris.AbsSyntaxTree, Idris.AbsSyntax
TypeColourIdris.Colours
typeColourIdris.Colours
typeDeclListIdris.ParseExpr, Idris.Parser
typeDescriptionIdris.AbsSyntax
typeExprIdris.ParseExpr, Idris.Parser
TypeInfoIdris.Core.TT
TypeInTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
typeInTypeIdris.AbsSyntax
TypeOfIdris.IdeMode
TypeOrTermIdris.AbsSyntaxTree, Idris.AbsSyntax
TypeOutputIdris.Core.TT
TypeProvidersIdris.AbsSyntaxTree, Idris.AbsSyntax
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.ParseExpr, Idris.Parser
Unchecked 
1 (Data Constructor)Idris.Core.Evaluate
2 (Data Constructor)Idris.Docstrings
UndefineIdris.AbsSyntaxTree, Idris.AbsSyntax
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
UnguardedIdris.Coverage
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.ParseExpr, Idris.Parser
unifylogIdris.Core.ProofState, Idris.Core.Elaborate
UnifyProblemsIdris.Core.ProofState, Idris.Core.Elaborate
unifyProblemsIdris.Core.Elaborate
UnifyScopeIdris.Core.TT
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
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.AbsSyntaxTree, Idris.AbsSyntax
UnknownIdris.AbsSyntaxTree, Idris.AbsSyntax
UnknownImpIdris.AbsSyntaxTree, Idris.AbsSyntax
UnknownImplicitIdris.Core.TT
unListIdris.Core.TT
unlitIdris.Unlit
UnmatchedCaseIdris.Core.CaseTree
unquoteIdris.ParseExpr, Idris.Parser
unrecoverableIdris.Core.Unify
UnsetOptIdris.AbsSyntaxTree, Idris.AbsSyntax
unwrapFCIdris.Core.TT
upairConIdris.AbsSyntaxTree, Idris.AbsSyntax
upairTyIdris.AbsSyntaxTree, Idris.AbsSyntax
updIdris.Coverage
UpdatableIdris.Core.CaseTree
UPDATEIRTS.Bytecode
updateAuxIdris.Core.Elaborate
updateContextIdris.AbsSyntax
updateDefIdris.Core.TT
updateIStateIdris.AbsSyntax
updateNIdris.AbsSyntaxTree, Idris.AbsSyntax
updateNsIdris.AbsSyntaxTree, Idris.AbsSyntax
updatePSIdris.Core.Elaborate
updateSolvedIdris.Core.ProofTerm
updateSolvedTermIdris.Core.ProofTerm
updateSolvedTerm'Idris.Core.ProofTerm
updateSynMatchIdris.ParseExpr, Idris.Parser
updateSyntaxRulesIdris.AbsSyntaxTree, Idris.AbsSyntax
update_termIdris.Core.Elaborate
updsubstIdris.Core.ProofTerm
UsageReasonIdris.AbsSyntaxTree, Idris.AbsSyntax
UseCodegenIdris.AbsSyntaxTree, Idris.AbsSyntax
UseConsoleWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
usedArgIRTS.Lang, IRTS.Defunctionalise
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
verIdris.REPL
VErasedIdris.Core.Evaluate
verbatimStringLiteralIdris.ParseExpr, Idris.Parser
VerboseIdris.AbsSyntaxTree, Idris.AbsSyntax
verboseIdris.AbsSyntax
verbosePPOptionIdris.AbsSyntaxTree, Idris.AbsSyntax
versionIRTS.System
ViaIdris.AbsSyntaxTree, Idris.AbsSyntax
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.AbsSyntaxTree, Idris.AbsSyntax
WarnPartialIdris.AbsSyntaxTree, Idris.AbsSyntax
WarnReachIdris.AbsSyntaxTree, Idris.AbsSyntax
warnTacticDeprecationIdris.ParseExpr, Idris.Parser
warnTotalityIdris.Output
WarrantyIdris.AbsSyntaxTree, Idris.AbsSyntax
weakenTmIdris.Core.TT
WEnvIdris.Core.WHNF
wExprIdris.Parser
WhatDocsIdris.IdeMode
whereBlockIdris.Parser
WhereNIdris.Core.TT
while_elaboratingIdris.Core.ProofState, Idris.Core.Elaborate
whiteSpaceIdris.ParseHelpers, Idris.Parser
WHNFIdris.AbsSyntaxTree, Idris.AbsSyntax
whnfIdris.Core.WHNF
WhoCalls 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
whoCallsIdris.WhoCalls
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
writeSourceUtil.System
writeSourceTextUtil.System
zipHereIdris.Core.Elaborate
_fc_endIdris.Core.TT
_fc_fnameIdris.Core.TT
_fc_startIdris.Core.TT