idris-0.9.17.1: 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
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
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
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
AnnBoundNameIdris.Core.TT
AnnConstIdris.Core.TT
AnnDataIdris.Core.TT
AnnErrIdris.Core.TT
AnnFCIdris.Core.TT
AnnKeywordIdris.Core.TT
AnnNameIdris.Core.TT
annNameIdris.Delaborate
annotCodeIdris.Docstrings
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
applyDataOptRTIdris.DataOpts
applyOptsIdris.DataOpts
ApplyTacticIdris.AbsSyntaxTree, Idris.AbsSyntax
applyTransRulesIdris.Transforms
applyTransRulesWithIdris.Transforms
apply_elabIdris.Core.Elaborate
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
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
assumptionNamesIdris.Prover
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
AutomaticWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
autosIdris.Core.ProofState, Idris.Core.Elaborate
AutoSolveIdris.AbsSyntaxTree, Idris.AbsSyntax
AutoWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
B16Idris.Core.TT
B16VIdris.Core.TT
B32Idris.Core.TT
B32VIdris.Core.TT
B64Idris.Core.TT
B64VIdris.Core.TT
B8Idris.Core.TT
B8VIdris.Core.TT
backtickIdris.ParseOps, Idris.Parser
bannerIdris.REPL
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
bdecodeIdris.IBC
BEIRTS.Lang, IRTS.Defunctionalise
BelieveMeIdris.Core.Evaluate
bencodeIdris.IBC
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
bindTCIdris.Core.TT
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
BufferTypeIdris.Core.TT
bugaddrIdris.Delaborate
buildIdris.ElabTerm
buildModsPkg.Package
buildPkgPkg.Package
buildSCGIdris.Coverage
buildSCG'Idris.Coverage
buildTCIdris.ElabTerm
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
caseSensitiveIdris.Imports
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.ElabTerm
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
CheckConvIdris.Core.TT
checkDeclTotalityIdris.Coverage
checkDefIdris.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
claimTTIdris.ElabTerm
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
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.AbsSyntaxTree, Idris.AbsSyntax
codataIdris.AbsSyntaxTree, Idris.AbsSyntax
CodeIdris.Docstrings
CodeBlockIdris.Docstrings
CodegenIdris.AbsSyntaxTree, Idris.AbsSyntax
codegenIdris.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.ElabTerm
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
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
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.AbsSyntaxTree, Idris.AbsSyntax
CoreIdris.AbsSyntaxTree, Idris.AbsSyntax
coverageIdris.AbsSyntax
CoveringFnIdris.AbsSyntaxTree, Idris.AbsSyntax
CtxtIdris.Core.TT
ctxtAlistIdris.Core.Evaluate
ctxt_lookupIdris.ASTUtils
DAltIRTS.Defunctionalise
DAppIRTS.Defunctionalise
DataIdris.Core.TT
DataColourIdris.Colours
dataColourIdris.Colours
DataDocIdris.Docs
DataErrRevIdris.AbsSyntaxTree, Idris.AbsSyntax
dataIIdris.ParseData, Idris.Parser
DataMIIdris.Core.Evaluate
DataOptIdris.AbsSyntaxTree, Idris.AbsSyntax
DataOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
dataOptsIdris.ParseData, Idris.Parser
DataOutputIdris.Core.TT
DatatypeIdris.Core.TT
data_Idris.ParseData, Idris.Parser
data_optsIdris.AbsSyntaxTree, Idris.AbsSyntax
DbgLevelIRTS.CodegenCommon
DCIRTS.Defunctionalise
DCaseIRTS.Defunctionalise
DChkCaseIRTS.Defunctionalise
DConIdris.Core.TT
DConCaseIRTS.Defunctionalise
DConstIRTS.Defunctionalise
DConstCaseIRTS.Defunctionalise
DConstructorIRTS.Defunctionalise
DDeclIRTS.Defunctionalise
DDefaultCaseIRTS.Defunctionalise
DDefsIRTS.Defunctionalise
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
decorateidIdris.Elab.Utils
decorationIdris.AbsSyntaxTree, Idris.AbsSyntax
DefIdris.Core.Evaluate
defaultAltIRTS.Bytecode
DefaultCaseIdris.Core.CaseTree
DefaultCaseFunIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultEliminatorIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultOptimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
DefaultPartialIdris.AbsSyntaxTree, Idris.AbsSyntax
defaultPortIdris.REPL
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
delabTyIdris.Delaborate
delabTy'Idris.Delaborate
delayed_elabIdris.AbsSyntaxTree, Idris.AbsSyntax
delazyIdris.Coverage
delazy'Idris.Coverage
deleteDefExactIdris.Core.TT
DErrorIRTS.Defunctionalise
desugarIdris.DSL
desugarAsIdris.Elab.AsPat
detaggableIdris.AbsSyntaxTree, Idris.AbsSyntax
DExpIRTS.Defunctionalise
DForeignIRTS.Defunctionalise
DFunIRTS.Defunctionalise
DictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
dictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
directiveIdris.Parser
disallowImpIdris.ParseExpr, Idris.Parser
disambIdris.ParseExpr, Idris.Parser
discardIdris.Core.TT
displayHelpIdris.REPL
DLetIRTS.Defunctionalise
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
doesDirectoryExist'Idris.Imports
doesFileExist'Idris.Imports
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
dumpprobsIdris.Core.Elaborate
dumpStateIdris.Prover
DUpdateIRTS.Defunctionalise
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_tconIdris.AbsSyntaxTree, Idris.AbsSyntax
d_typeIdris.Core.TT
d_typenameIdris.Core.TT
d_typetagIdris.Core.TT
d_uniqueIdris.Core.TT
EAllIdris.AbsSyntaxTree, Idris.AbsSyntax
EDefnsIdris.AbsSyntaxTree, Idris.AbsSyntax
EditIdris.AbsSyntaxTree, Idris.AbsSyntax
editIdris.REPL
eEVALIRTS.Defunctionalise
EInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
eInfoNamesIdris.AbsSyntaxTree, Idris.AbsSyntax
EitherErrIdris.AbsSyntax
ElabIdris.Core.Elaborate
elabIdris.ElabTerm
Elab'Idris.Core.Elaborate
elabCaseBlockIdris.Elab.Utils
elabClassIdris.Elab.Class
elabClauseIdris.Elab.Clause
elabClausesIdris.Elab.Clause
ElabCtxt 
1 (Type/Class)Idris.ElabTerm
2 (Data Constructor)Idris.ElabTerm
ElabDIdris.AbsSyntaxTree, Idris.AbsSyntax
elabDataIdris.Elab.Data
ElabDebugIdris.Core.TT
elabDeclIdris.ElabDecls
elabDecl'Idris.ElabDecls
elabDeclsIdris.ElabDecls
elabDocTermsIdris.Elab.Value
elabFCIdris.AbsSyntaxTree, Idris.AbsSyntax
ElabInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
elabInstanceIdris.Elab.Instance
elabMainIdris.ElabDecls
ElabModeIdris.ElabTerm
elaborateIdris.Core.Elaborate
ElaboratingIdris.Core.TT
ElaboratingArgIdris.Core.TT
elaboratingArgErrIdris.ElabTerm
elaborating_appIdris.Core.Elaborate
elabPEIdris.Elab.Clause
elabPostulateIdris.Elab.Type
elabPrimsIdris.ElabDecls
elabProviderIdris.Elab.Provider
elabRecordIdris.Elab.Record
ElabResult 
1 (Type/Class)Idris.ElabTerm
2 (Data Constructor)Idris.ElabTerm
ElabStateIdris.Core.Elaborate
elabStepIdris.Prover
elabTransformIdris.Elab.Transform
elabTypeIdris.Elab.Type
elabType'Idris.Elab.Type
elabValIdris.Elab.Value
elabValBindIdris.Elab.Value
ElabWhatIdris.AbsSyntaxTree, Idris.AbsSyntax
elab_stackIdris.AbsSyntaxTree, Idris.AbsSyntax
ELHSIdris.ElabTerm
ElimNIdris.Core.TT
elogIdris.Core.Elaborate
EmphIdris.Docstrings
emptyContextIdris.Core.TT
emptyDocstringIdris.Docstrings
emptyFCIdris.Core.TT
EmptyMIIdris.Core.Evaluate
emptySyntaxRulesIdris.AbsSyntaxTree, Idris.AbsSyntax
EndiannessIRTS.Lang, IRTS.Defunctionalise
EndUnifyIdris.Core.ProofState, Idris.Core.Elaborate
end_unifyIdris.Core.Elaborate
EntityIdris.Docstrings
EnvIdris.Core.TT
envAtFocusIdris.Core.ProofState, Idris.Core.Elaborate
environmentIRTS.CodegenCommon
envlenIdris.Core.TT
EnvTTIdris.Core.TT
envTupleTypeIdris.ElabTerm
eolIdris.ParseHelpers, Idris.Parser
eqConIdris.AbsSyntaxTree, Idris.AbsSyntax
eqDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
eqDocIdris.AbsSyntaxTree, Idris.AbsSyntax
eqOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
eqParamDocIdris.AbsSyntaxTree, Idris.AbsSyntax
eqPropIdris.ParseHelpers, Idris.Parser
eqTyIdris.AbsSyntaxTree, Idris.AbsSyntax
Equiv 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
equivIdris.Core.Elaborate
ErasedIdris.Core.TT
ErasureInfoIdris.Core.CaseTree
ERHSIdris.ElabTerm
ErrIdris.Core.TT
Err'Idris.Core.TT
errAtIdris.Core.Elaborate
ErrContext 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
errContextIdris.AbsSyntax
errEnvIdris.Core.Typecheck
ERRORIRTS.Bytecode
ErrorIdris.Core.TT
ErrorHandlerIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrorReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrorReportPartIdris.Core.TT
ErrorReverseIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrPPrintIdris.IdeMode
errReverseIdris.ErrReverse
errSpanIdris.AbsSyntaxTree, Idris.AbsSyntax
ErrStringIdris.IdeMode
erunIdris.Core.Elaborate
ESIdris.Core.Elaborate
EState 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
ETyDeclIdris.ElabTerm
ETypesIdris.AbsSyntaxTree, Idris.AbsSyntax
EvalIdris.AbsSyntaxTree, Idris.AbsSyntax
EvalApplyIRTS.Defunctionalise
EvalCaseIRTS.Defunctionalise
evalDIRTS.Inliner
EvalExprIdris.AbsSyntaxTree, Idris.AbsSyntax
EvalInIdris.Core.ProofState, Idris.Core.Elaborate
eval_inIdris.Core.Elaborate
Exact 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
exactIdris.Core.Elaborate
ExampleIdris.Docstrings
execElabIdris.Core.Elaborate
execScriptIdris.REPL
ExecutableIRTS.CodegenCommon
ExecuteIdris.AbsSyntaxTree, Idris.AbsSyntax
executeIdris.Core.Execute
ExecValIdris.AbsSyntaxTree, Idris.AbsSyntax
existsConIdris.AbsSyntaxTree, Idris.AbsSyntax
ExpIdris.AbsSyntaxTree, Idris.AbsSyntax
expandDoIdris.DSL
ExpandLetIdris.Core.ProofState, Idris.Core.Elaborate
expandLetIdris.Core.Elaborate
expandNSIdris.AbsSyntaxTree, Idris.AbsSyntax
expandParamsIdris.AbsSyntax
expandParamsDIdris.AbsSyntax
ExpectedTypeIdris.Core.TT
explIdris.AbsSyntaxTree, Idris.AbsSyntax
explicitIdris.Core.Elaborate
ExplicitDIdris.PartialEval
explicitNamesIdris.Core.TT
ExplicitSIdris.PartialEval
expl_paramIdris.AbsSyntaxTree, Idris.AbsSyntax
Export 
1 (Data Constructor)IRTS.Lang, IRTS.Defunctionalise
2 (Type/Class)IRTS.Lang, IRTS.Defunctionalise
ExportDataIRTS.Lang, IRTS.Defunctionalise
exportDeclsIRTS.CodegenCommon
ExportFunIRTS.Lang, IRTS.Defunctionalise
ExportIFaceIRTS.Lang, IRTS.Defunctionalise
ExprIdris.AbsSyntaxTree, Idris.AbsSyntax
exprIdris.ParseExpr, Idris.Parser
expr'Idris.ParseExpr, Idris.Parser
ExprArgIdris.Help
ExprTArgIdris.ParseExpr, Idris.Parser
ExtensionIdris.AbsSyntaxTree, Idris.AbsSyntax
extensionIdris.ParseExpr, Idris.Parser
extensionsIdris.ParseExpr, Idris.Parser
externalExprIdris.ParseExpr, Idris.Parser
ExternalIOIdris.Core.Evaluate
extractUnquotesIdris.ElabQuasiquote
extraHelpIdris.Help
e_guardedIdris.ElabTerm
e_inargIdris.ElabTerm
e_intypeIdris.ElabTerm
e_isfnIdris.ElabTerm
e_nomatchingIdris.ElabTerm
e_qqIdris.ElabTerm
FailAtIdris.Core.Unify
FailContext 
1 (Type/Class)Idris.Core.Unify
2 (Data Constructor)Idris.Core.Unify
FailingIdris.Docstrings
failMsgIdris.Core.TT
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
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
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
fgetIdris.ASTUtils
fgetStateIdris.ASTUtils
Field 
1 (Type/Class)Idris.ASTUtils
2 (Data Constructor)Idris.ASTUtils
FileArgIdris.Help
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
findImportIdris.Imports
findInPathIdris.Imports
findInstancesIdris.ElabTerm
findPkgIndexIdris.Imports
findStaticsIdris.AbsSyntax
findUniqueIdris.Elab.Clause
findUsedArgsIdris.Core.CaseTree
FIOIRTS.Lang, IRTS.Defunctionalise
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
fmodifyIdris.ASTUtils
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
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.ElabTerm
FrozenIdris.Core.Evaluate
fsetIdris.ASTUtils
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
generateDocsIdris.IdrisDoc
getAllIdris.AbsSyntaxTree, Idris.AbsSyntax
getAllNamesIdris.AbsSyntax
getArgTysIdris.Core.TT
getAutoImportsIdris.AbsSyntax
getAuxIdris.Core.Elaborate
getBCIdris.REPL
getCCIRTS.System
getClauseIdris.CaseSplit
getClientIdris.REPL
getCmdLineIdris.AbsSyntax
getCodegenIdris.REPL
getCoercionsToIdris.AbsSyntax
getColourIdris.REPL
getConsoleWidthIdris.REPL
getConstsIdris.AbsSyntaxTree, Idris.AbsSyntax
getContextIdris.AbsSyntax
getCPUIdris.REPL
getDataDirIRTS.System
getDataFileNameIRTS.System
getDocsIdris.Docs
getDumpCasesIdris.AbsSyntax
getDumpDefunIdris.AbsSyntax
getErasureInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
getErasureUsageIdris.AbsSyntax
getErrSpanIdris.Error
getEvalExprIdris.REPL
getExecScriptIdris.REPL
getExecutablePomIRTS.System
getExpNamesIRTS.Exports
getExportsIdris.AbsSyntax
getExpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getFCIdris.ParseHelpers, Idris.Parser
getFileIdris.REPL
getFixedInTypeIdris.Elab.Utils
getFlagsIdris.AbsSyntax
getFlexInTypeIdris.Elab.Utils
getFnIRTS.Defunctionalise
getFunctionErrorHandlersIdris.AbsSyntax
getHdrsIdris.AbsSyntax
getIBCSubDirIdris.REPL
getIdrisLibDirIRTS.System
getIdrisUserDataDirIdris.REPL
GetIdrisVersionIdris.IdeMode
getImportDirIdris.REPL
getImportedIdris.AbsSyntax
getImpsIdris.AbsSyntaxTree, Idris.AbsSyntax
getIncFlagsIRTS.System
getInferTermIdris.AbsSyntaxTree, Idris.AbsSyntax
getInferTypeIdris.AbsSyntaxTree, Idris.AbsSyntax
getInitScriptIdris.REPL
getInternalAppIdris.AbsSyntax
getIStateIdris.AbsSyntax
getLanguageExtIdris.REPL
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
getOptimisationIdris.REPL
getOptimiseIdris.AbsSyntax
getOptLevelIdris.REPL
GetOptsIdris.IdeMode
getOutputIdris.REPL
getOutputTyIdris.REPL
getParamsInTypeIdris.Elab.Utils
getPArityIdris.AbsSyntaxTree, Idris.AbsSyntax
getPBtysIdris.Elab.Utils
getPkgIdris.REPL
getPkgCheckIdris.REPL
getPkgCleanIdris.REPL
getPkgDirIdris.REPL
getPkgIndexIdris.REPL
getPkgMkDocIdris.REPL
getPkgREPLIdris.REPL
getPkgTestIdris.REPL
getPortIdris.REPL
getPriorityIdris.AbsSyntax
getProofClauseIdris.CaseSplit
getProofTermIdris.Core.ProofTerm
getProvenanceIdris.Core.ProofState, Idris.Core.Elaborate
getProvidedIdris.Providers
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
getTmIdris.AbsSyntaxTree, Idris.AbsSyntax
getTotalityIdris.AbsSyntax
getTripleIdris.REPL
getUnboundImplicitsIdris.AbsSyntax
getUndefinedIdris.AbsSyntax
getUnifyLogIdris.Core.Elaborate
getUniqIdris.CaseSplit
getUniqueUsedIdris.Elab.Utils
getUnmatchableIdris.ElabTerm
getWidthIdris.AbsSyntax
get_autosIdris.Core.Elaborate
get_contextIdris.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
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.ElabTerm
groupsOfIRTS.Defunctionalise
gtePropIdris.ParseHelpers, Idris.Parser
gtPropIdris.ParseHelpers, Idris.Parser
GuardedIdris.Coverage
GuardednessIdris.Coverage
GuessIdris.Core.TT
handleErrorIdris.Core.Elaborate
HeaderIdris.Docstrings
HelpIdris.AbsSyntaxTree, Idris.AbsSyntax
helpIdris.REPLParser
helpheadIdris.REPL
HiddenIdris.Core.Evaluate
HideDisplayIdris.AbsSyntaxTree, Idris.AbsSyntax
hide_listIdris.AbsSyntaxTree, Idris.AbsSyntax
highestFCIdris.AbsSyntaxTree, Idris.AbsSyntax
HNFIdris.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.ProofState, Idris.Core.Elaborate
HowMuchDocsIdris.AbsSyntaxTree, Idris.AbsSyntax
HRuleIdris.Docstrings
hsimpleExprIdris.ParseExpr, Idris.Parser
HtmlBlockIdris.Docstrings
HTMLOutputIdris.AbsSyntaxTree, Idris.AbsSyntax
IIdris.Core.TT
IBCIdris.Imports
ibcIdris.IBC
IBCAccessIdris.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
IBCDocIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCDSLIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCDyLibIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCErrorHandlerIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCErrRevIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCExportIdris.AbsSyntaxTree, Idris.AbsSyntax
IBCFile 
1 (Type/Class)Idris.IBC
2 (Data Constructor)Idris.IBC
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
ibcPathIdris.Imports
ibcPathNoFallbackIdris.Imports
ibcPathWithFallbackIdris.Imports
IBCPostulateIdris.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
ibcVersionIdris.IBC
IBCWriteIdris.AbsSyntaxTree, Idris.AbsSyntax
ibc_accessIdris.IBC
ibc_cgIdris.IBC
ibc_cgflagsIdris.IBC
ibc_classesIdris.IBC
ibc_coercionsIdris.IBC
ibc_datatypesIdris.IBC
ibc_defsIdris.IBC
ibc_docstringsIdris.IBC
ibc_dslsIdris.IBC
ibc_dynamic_libsIdris.IBC
ibc_errorhandlersIdris.IBC
ibc_errRevIdris.IBC
ibc_exportsIdris.IBC
ibc_fixesIdris.IBC
ibc_flagsIdris.IBC
ibc_fninfoIdris.IBC
ibc_function_errorhandlersIdris.IBC
ibc_hdrsIdris.IBC
ibc_implicitsIdris.IBC
ibc_importdirsIdris.IBC
ibc_importsIdris.IBC
ibc_instancesIdris.IBC
ibc_keywordsIdris.IBC
ibc_libsIdris.IBC
ibc_lineappsIdris.IBC
ibc_metainformationIdris.IBC
ibc_metavarsIdris.IBC
ibc_moduledocsIdris.IBC
ibc_namehintsIdris.IBC
ibc_objsIdris.IBC
ibc_optimiseIdris.IBC
ibc_parsedSpanIdris.IBC
ibc_patdefsIdris.IBC
ibc_postulatesIdris.IBC
ibc_staticsIdris.IBC
ibc_syntaxIdris.IBC
ibc_totalIdris.IBC
ibc_totcheckfailIdris.IBC
ibc_transformsIdris.IBC
ibc_usageIdris.IBC
ibc_writeIdris.AbsSyntaxTree, Idris.AbsSyntax
IdeModeIdris.AbsSyntaxTree, Idris.AbsSyntax
IdemodeIdris.AbsSyntaxTree, Idris.AbsSyntax
idemodeIdris.REPL
IdeModeCommandIdris.IdeMode
ideModeEpochIdris.IdeMode
ideModeForceTermImplicitsIdris.REPL
idemodeProcessIdris.REPL
idemodePutSExpIdris.Output
ideModeReturnAnnotatedIdris.Output
ideModeReturnWithStatusIdris.Output
IdemodeSocketIdris.AbsSyntaxTree, Idris.AbsSyntax
idemodeStartIdris.REPL
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_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_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_fixitiesIdris.ASTUtils
idris_flagsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_fninfoIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_function_errorhandlersIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_hdrsIdris.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_patdefsIdris.AbsSyntaxTree, Idris.AbsSyntax
idris_postulatesIdris.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
iLOGIdris.AbsSyntax
ImageIdris.Docstrings
ImpIdris.AbsSyntaxTree, Idris.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
ImplicitSIdris.PartialEval
ImportDirIdris.AbsSyntaxTree, Idris.AbsSyntax
importDirsIRTS.CodegenCommon
importedIdris.AbsSyntaxTree, Idris.AbsSyntax
import_Idris.Parser
ImpossibleIdris.Core.TT
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.ElabTerm
initElaboratorIdris.Core.Elaborate
initEStateIdris.AbsSyntaxTree, Idris.AbsSyntax
initEvalIdris.Core.Evaluate
initIBCIdris.IBC
initIdemodeSocketIdris.REPL
initNextNameFromIdris.Core.Elaborate
initScriptIdris.REPL
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
insertScriptIdris.REPL
installedPackagesIdris.Imports
installIBCPkg.Package
installIdxPkg.Package
installObjPkg.Package
installPkgPkg.Package
InstanceIdris.Core.ProofState, Idris.Core.Elaborate
instanceArgIdris.Core.Elaborate
instanceBlockIdris.Parser
InstanceCtorNIdris.Core.TT
InstanceNIdris.Core.TT
instanceNameIdris.AbsSyntaxTree, Idris.AbsSyntax
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
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
IntTyIdris.Core.TT
intTyNameIdris.Core.TT
intTyWidthIdris.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
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
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
itBitsNameIdris.Core.TT
ITCharIdris.Core.TT
ITFixedIdris.Core.TT
ITNativeIdris.Core.TT
ItselfIdris.Core.Evaluate
ITVecIdris.Core.TT
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
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
LAllocateIRTS.Lang, IRTS.Defunctionalise
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
LAppendIRTS.Lang, IRTS.Defunctionalise
LAppendBufferIRTS.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
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
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
LIdxVecIRTS.Lang, IRTS.Defunctionalise
liftIRTS.Lang, IRTS.Defunctionalise
liftAllIRTS.Lang, IRTS.Defunctionalise
liftDeclsIRTS.CodegenCommon
lifteIdris.Prover
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
litIdris.REPL
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
LMkVecIRTS.Lang, IRTS.Defunctionalise
lnameIRTS.Lang, IRTS.Defunctionalise
LNoOpIRTS.Lang, IRTS.Defunctionalise
LNothingIRTS.Lang, IRTS.Defunctionalise
LNullPtrIRTS.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
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
LPeekIRTS.Lang, IRTS.Defunctionalise
LPlusIRTS.Lang, IRTS.Defunctionalise
LProjIRTS.Lang, IRTS.Defunctionalise
LReadFileIRTS.Lang, IRTS.Defunctionalise
LReadStrIRTS.Lang, IRTS.Defunctionalise
LRegisterPtrIRTS.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
lsrcPathIdris.Imports
LSRemIRTS.Lang, IRTS.Defunctionalise
LStdErrIRTS.Lang, IRTS.Defunctionalise
LStdInIRTS.Lang, IRTS.Defunctionalise
LStdOutIRTS.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
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
LUpdateVecIRTS.Lang, IRTS.Defunctionalise
LURemIRTS.Lang, IRTS.Defunctionalise
LVIRTS.Lang, IRTS.Defunctionalise
LVarIRTS.Lang, IRTS.Defunctionalise
LVMPtrIRTS.Lang, IRTS.Defunctionalise
LWriteFileIRTS.Lang, IRTS.Defunctionalise
LWriteStrIRTS.Lang, IRTS.Defunctionalise
LXOrIRTS.Lang, IRTS.Defunctionalise
LZExtIRTS.Lang, IRTS.Defunctionalise
machine_infIdris.AbsSyntaxTree, Idris.AbsSyntax
makePkg.Package
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
ManagedPtrTypeIdris.Core.TT
ManyIdris.Core.Typecheck
ManyArgsIdris.Help
mapCtxtIdris.Core.TT
mapDefCtxtIdris.Core.Evaluate
mapPTIdris.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
maybeWithNSIdris.ParseHelpers, Idris.Parser
maybe_defaultIdris.ASTUtils
MetaInformationIdris.Core.Evaluate
MetaVarArgIdris.Help
MetavariablesIdris.IdeMode
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
mkIBCIdris.IBC
mkListIdris.ElabTerm
mkMultiPathsIdris.Coverage
mkNameIdris.ParseHelpers, Idris.Parser
mkPAppIdris.AbsSyntax
mkPatTmIdris.Coverage
mkPE_TermDeclIdris.PartialEval
mkPE_TyDeclIdris.PartialEval
mkPromptIdris.REPL
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.AbsSyntaxTree, Idris.AbsSyntax
mut_nestingIdris.AbsSyntaxTree, Idris.AbsSyntax
NameIdris.Core.TT
nameIdris.ParseHelpers, Idris.Parser
NameArgIdris.Help
NamedInstanceDocIdris.Docs
nameMissingIdris.CaseSplit
NameOutputIdris.Core.TT
NamePartIdris.Core.TT
nameRootIdris.CaseSplit
namesInIdris.AbsSyntaxTree, Idris.AbsSyntax
namespace 
1 (Function)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Function)Idris.Parser
NamespaceArgIdris.Help
namesUsedIdris.Core.CaseTree
NameTArgIdris.ParseExpr, Idris.Parser
NameTypeIdris.Core.TT
NativeIRTS.Lang, IRTS.Defunctionalise
NativeTyIdris.Core.TT
nativeTyWidthIdris.Core.TT
naturalIdris.ParseHelpers, Idris.Parser
NErasedIdris.Core.TT
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
NoEliminatorIdris.Core.TT
noErrorsIdris.AbsSyntax
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
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
normaliseIdris.Core.Evaluate
normaliseAllIdris.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
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
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
OptimisableIdris.DataOpts
OptimisationIdris.AbsSyntaxTree, Idris.AbsSyntax
OptimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
OptInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
OptionIdris.Core.TT
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_detaggableIdris.ASTUtils
opt_errContextIdris.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_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
pAccessIdris.IBC
pairConIdris.AbsSyntaxTree, Idris.AbsSyntax
pairTyIdris.AbsSyntaxTree, Idris.AbsSyntax
PAlternativeIdris.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.AbsSyntaxTree, Idris.AbsSyntax
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
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
pbindsIdris.Elab.Utils
pbtyIdris.Elab.Utils
PCAFIdris.AbsSyntaxTree, Idris.AbsSyntax
PCaseIdris.AbsSyntaxTree, Idris.AbsSyntax
pCGIdris.IBC
pCGFlagsIdris.IBC
PClassIdris.AbsSyntaxTree, Idris.AbsSyntax
pClassesIdris.IBC
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
pCoercionsIdris.IBC
pconstIdris.AbsSyntaxTree, Idris.AbsSyntax
PConstantIdris.AbsSyntaxTree, Idris.AbsSyntax
PConstraintIdris.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
pDatatypesIdris.IBC
PDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
PDecl'Idris.AbsSyntaxTree, Idris.AbsSyntax
pDefsIdris.IBC
PDirectiveIdris.AbsSyntaxTree, Idris.AbsSyntax
PDisambIdris.AbsSyntaxTree, Idris.AbsSyntax
PDoIdris.AbsSyntaxTree, Idris.AbsSyntax
PDo'Idris.AbsSyntaxTree, Idris.AbsSyntax
PDoBlockIdris.AbsSyntaxTree, Idris.AbsSyntax
pDocsIdris.IBC
PDPairIdris.AbsSyntaxTree, Idris.AbsSyntax
PDSLIdris.AbsSyntaxTree, Idris.AbsSyntax
pDSLsIdris.IBC
pDyLibsIdris.IBC
PEArgTypeIdris.PartialEval
PElabErrorIdris.AbsSyntaxTree, Idris.AbsSyntax
PEqIdris.AbsSyntaxTree, Idris.AbsSyntax
pEraseTypeIdris.Core.TT
performUsageAnalysisIdris.Erasure
pErrorHandlersIdris.IBC
pErrRevIdris.IBC
PETransformIdris.AbsSyntaxTree, Idris.AbsSyntax
PExpIdris.AbsSyntaxTree, Idris.AbsSyntax
pexpIdris.AbsSyntaxTree, Idris.AbsSyntax
pExportsIdris.IBC
pe_appIdris.PartialEval
pe_clausesIdris.PartialEval
pe_defIdris.PartialEval
pe_simpleIdris.PartialEval
PFixIdris.AbsSyntaxTree, Idris.AbsSyntax
pFixesIdris.IBC
pFlagsIdris.IBC
pFnInfoIdris.IBC
pFunctionErrorHandlersIdris.IBC
PGoalIdris.AbsSyntaxTree, Idris.AbsSyntax
PhaseIdris.Core.CaseTree
pHdrsIdris.IBC
PHiddenIdris.AbsSyntaxTree, Idris.AbsSyntax
PiIdris.Core.TT
piIdris.ParseExpr, Idris.Parser
piBindIdris.AbsSyntaxTree, Idris.AbsSyntax
piBindpIdris.AbsSyntaxTree, Idris.AbsSyntax
PIdiomIdris.AbsSyntaxTree, Idris.AbsSyntax
PImpIdris.AbsSyntaxTree, Idris.AbsSyntax
pimpIdris.AbsSyntaxTree, Idris.AbsSyntax
pImportDirsIdris.IBC
pImportsIdris.IBC
PImpossibleIdris.AbsSyntaxTree, Idris.AbsSyntax
pImpsIdris.IBC
PInferRefIdris.AbsSyntaxTree, Idris.AbsSyntax
PInstanceIdris.AbsSyntaxTree, Idris.AbsSyntax
pInstancesIdris.IBC
piOptsIdris.ParseExpr, Idris.Parser
pKeywordsIdris.IBC
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
pLibsIdris.IBC
PlicityIdris.AbsSyntaxTree, Idris.AbsSyntax
pLineAppsIdris.IBC
plogIdris.Core.ProofState, Idris.Core.Elaborate
ploopIdris.Prover
pmapIdris.Core.TT
PMatchAppIdris.AbsSyntaxTree, Idris.AbsSyntax
pMDocsIdris.IBC
pMetaInformationIdris.IBC
PMetavarIdris.AbsSyntaxTree, Idris.AbsSyntax
pMetavarsIdris.IBC
PMutualIdris.AbsSyntaxTree, Idris.AbsSyntax
pnameIdris.AbsSyntaxTree, Idris.AbsSyntax
pNameHintsIdris.IBC
PNamespaceIdris.AbsSyntaxTree, Idris.AbsSyntax
PNoImplicitsIdris.AbsSyntaxTree, Idris.AbsSyntax
pObjsIdris.IBC
popIndentIdris.ParseHelpers, Idris.Parser
pOptimiseIdris.IBC
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
pParsedSpanIdris.IBC
pPatdefsIdris.IBC
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_implIdris.AbsSyntaxTree, Idris.AbsSyntax
PPostulateIdris.AbsSyntaxTree, Idris.AbsSyntax
pPostulatesIdris.IBC
PPrintIdris.AbsSyntaxTree, Idris.AbsSyntax
pprintConstDocsIdris.Docs
pprintDefIdris.REPL
pprintDelabIdris.Delaborate
pprintDelabTyIdris.Delaborate
pprintDocsIdris.Docs
pprintErrIdris.Delaborate
pprintPTermIdris.AbsSyntaxTree, Idris.AbsSyntax
pprintTTIdris.Core.TT
PProofIdris.AbsSyntaxTree, Idris.AbsSyntax
PProviderIdris.AbsSyntaxTree, Idris.AbsSyntax
PQuasiquoteIdris.AbsSyntaxTree, Idris.AbsSyntax
PQuoteIdris.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
PReflIdris.AbsSyntaxTree, Idris.AbsSyntax
prelIdris.DataOpts
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
process 
1 (Function)Idris.IBC
2 (Function)Idris.REPL
processInputIdris.REPL
processNetCmdIdris.REPL
processTacticIdris.Core.ProofState, Idris.Core.Elaborate
processTactic'Idris.Core.Elaborate
processTacticDeclsIdris.ElabTerm
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
proofsIdris.REPL
ProofSearch 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
proofSearchIdris.ProofSearch
proofSearch'Idris.ElabTerm
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
proveIdris.Prover
ProvenanceIdris.Core.TT
proverIdris.Prover
proverCompletionIdris.Completion
proverSettingsIdris.Prover
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.ElabTerm
pruneByTypeIdris.ElabTerm
prunStateTIdris.Core.Elaborate
PRunTacticsIdris.AbsSyntaxTree, Idris.AbsSyntax
PSIdris.Core.ProofState, Idris.Core.Elaborate
pscopedIdris.AbsSyntaxTree, Idris.AbsSyntax
pscriptIdris.AbsSyntaxTree, Idris.AbsSyntax
pshowIdris.Output
psolveIdris.Elab.Utils
pstaticIdris.AbsSyntaxTree, Idris.AbsSyntax
pStaticsIdris.IBC
psubstIdris.Core.TT
PSyntaxIdris.AbsSyntaxTree, Idris.AbsSyntax
pSyntaxIdris.IBC
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
pTotalIdris.IBC
pTotCheckErrIdris.IBC
pToVIdris.Core.TT
pToV'Idris.Core.TT
pToVsIdris.Core.TT
pTransIdris.IBC
PTransformIdris.AbsSyntaxTree, Idris.AbsSyntax
PtrTypeIdris.Core.TT
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
pUsageIdris.IBC
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
RAppIdris.Core.TT
RArgIdris.Reflection
rArgToPArgIdris.Reflection
Raw 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)IRTS.CodegenCommon
rawBoolIdris.ElabTerm
rawConsIdris.ElabTerm
RawHtmlIdris.Docstrings
rawListIdris.ElabTerm
rawNilIdris.ElabTerm
RawOutputIdris.AbsSyntaxTree, Idris.AbsSyntax
rawPairIdris.ElabTerm
rawPairTyIdris.ElabTerm
raw_applyIdris.Core.TT
raw_unapplyIdris.Core.TT
RBindIdris.Core.TT
RConstantIdris.Core.TT
RConstraintIdris.Reflection
RDeclareIdris.Reflection
REBASEIRTS.Bytecode
receiveInputIdris.Prover
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
recordTypeIdris.ParseExpr, Idris.Parser
rec_elabDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
RefIdris.Core.TT
RefineIdris.AbsSyntaxTree, Idris.AbsSyntax
reflCallIdris.ElabTerm
ReflectIdris.AbsSyntaxTree, Idris.AbsSyntax
reflectIdris.ElabTerm
reflectBinderIdris.ElabTerm
reflectBinderQuoteIdris.ElabTerm
reflectBinderQuotePatternIdris.ElabTerm
reflectConstantIdris.ElabTerm
reflectCtxtIdris.ElabTerm
reflectEnvIdris.ElabTerm
reflectErrIdris.ElabTerm
reflectFCIdris.ElabTerm
ReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
ReflectionErrorIdris.Core.TT
ReflectionFailedIdris.Core.TT
reflectNameIdris.ElabTerm
reflectNameQuotePatternIdris.ElabTerm
reflectNameTypeIdris.ElabTerm
reflectRawIdris.ElabTerm
reflectRawQuoteIdris.ElabTerm
reflectRawQuotePatternIdris.ElabTerm
reflectTTQuoteIdris.ElabTerm
reflectTTQuotePatternIdris.ElabTerm
reflectUExpIdris.ElabTerm
reflectUniverseIdris.ElabTerm
reflErrNameIdris.ElabTerm
reflmIdris.ElabTerm
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.ElabTerm
reifyAppIdris.ElabTerm
reifyArithTyIdris.ElabTerm
reifyIntTyIdris.ElabTerm
reifyNativeTyIdris.ElabTerm
reifyRawIdris.ElabTerm
reifyRawAppIdris.ElabTerm
reifyReportPartIdris.ElabTerm
reifyReportPartsIdris.ElabTerm
reifyTTIdris.ElabTerm
reifyTTAppIdris.ElabTerm
reifyTTBinderIdris.ElabTerm
reifyTTBinderAppIdris.ElabTerm
reifyTTConstIdris.ElabTerm
reifyTTConstAppIdris.ElabTerm
reifyTTNameIdris.ElabTerm
reifyTTNameAppIdris.ElabTerm
reifyTTNamespaceIdris.ElabTerm
reifyTTNameTypeIdris.ElabTerm
reifyTTUExpIdris.ElabTerm
reifyTyDeclIdris.ElabTerm
ReloadIdris.AbsSyntaxTree, Idris.AbsSyntax
RemoveOptIdris.AbsSyntaxTree, Idris.AbsSyntax
removeOptimiseIdris.AbsSyntax
removeProofIdris.REPL
renderDocstringIdris.Docstrings
renderDocTermIdris.Docstrings
renderExternalIdris.Output
renderHtmlIdris.Docstrings
ReorderIdris.Core.ProofState, Idris.Core.Elaborate
reorder_claimsIdris.Core.Elaborate
replIdris.REPL
replaceSplitsIdris.CaseSplit
replCompletionIdris.Completion
REPLCompletionsIdris.IdeMode
replPkgPkg.Package
replSettingsIdris.REPL
repl_definitionsIdris.ASTUtils
reportIdris.Error
reportParserWarningsIdris.ParseHelpers, Idris.Parser
RESERVEIRTS.Bytecode
reservedIdris.ParseHelpers, Idris.Parser
reservedOpIdris.ParseHelpers, Idris.Parser
resetNameIdxIdris.AbsSyntax
resolveProofIdris.REPL
resolveTCIdris.ElabTerm
resTC'Idris.ElabTerm
resultCaseDeclsIdris.ElabTerm
resultContextIdris.ElabTerm
resultMetavarsIdris.ElabTerm
resultTermIdris.ElabTerm
resultTyDeclsIdris.ElabTerm
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
RForceIdris.Core.TT
rhsIdris.Parser
RightOKIdris.AbsSyntax
RImplicitIdris.Reflection
rmFileUtil.System
rmIBCPkg.Package
rmIdxPkg.Package
RmProofIdris.AbsSyntaxTree, Idris.AbsSyntax
RTyDeclIdris.Reflection
RTypeIdris.Core.TT
rt_simplifyIdris.Core.Evaluate
RuleIdris.AbsSyntaxTree, Idris.AbsSyntax
runArgParserIdris.CmdOptions
runClientIdris.REPL
runElabIdris.Core.Elaborate
runIdeModeCommandIdris.REPL
runInnerParserIdris.ParseHelpers, Idris.Parser
runIOIdris.AbsSyntax
runMainIdris.REPL
runparserIdris.ParseHelpers, Idris.Parser
runTacIdris.ElabTerm
RunTactic'Idris.Core.ProofTerm
runTacticalIdris.ElabTerm
runTacticsIdris.ParseExpr, Idris.Parser
RunTimeIdris.Core.CaseTree
RUTypeIdris.Core.TT
RVal 
1 (Data Constructor)IRTS.BCImp
2 (Data Constructor)IRTS.Bytecode
safeForgetIdris.Core.TT
safeForgetEnvIdris.Core.TT
safeToEnumIdris.IBC
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
scoreIdris.Core.TT
SDeclIRTS.Simplified
SDefaultCaseIRTS.Simplified
SearchIdris.AbsSyntaxTree, Idris.AbsSyntax
searchByTypeIdris.TypeSearch
searchPredIdris.TypeSearch
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
setErrContextIdris.AbsSyntax
setErrSpanIdris.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
setOptLevelIdris.AbsSyntax
setOutputTyIdris.AbsSyntax
setQuietIdris.AbsSyntax
setREPLIdris.AbsSyntax
setShowOrigErrIdris.AbsSyntax
setSOIdris.AbsSyntax
setTargetCPUIdris.AbsSyntax
setTargetTripleIdris.AbsSyntax
setTotalIdris.Core.Evaluate
setTotalityIdris.AbsSyntax
setTypeCaseIdris.AbsSyntax
setTypeInTypeIdris.AbsSyntax
setVerboseIdris.AbsSyntax
setWidthIdris.AbsSyntax
set_contextIdris.Core.Elaborate
SExp 
1 (Type/Class)IRTS.Simplified
2 (Type/Class)Idris.IdeMode
SExpableIdris.IdeMode
SexpListIdris.IdeMode
sexpToCommandIdris.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
showEnv'Idris.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
showSepIdris.Core.TT
showTmIdris.AbsSyntaxTree, Idris.AbsSyntax
showTmImplsIdris.AbsSyntaxTree, Idris.AbsSyntax
showTotalIdris.REPL
showTotalNIdris.REPL
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.ElabTerm
solveAutoIdris.ElabTerm
solveAutosIdris.ElabTerm
solvedIdris.Core.ProofState, Idris.Core.Elaborate
solveDeferredIdris.AbsSyntax
SOpIRTS.Simplified
SourceFCIdris.AbsSyntaxTree, Idris.AbsSyntax
sourcefileIdris.IBC
SourceTermIdris.Core.TT
SpaceIdris.Docstrings
sParentNIdris.Core.TT
SpecIdris.AbsSyntaxTree, Idris.AbsSyntax
SpecialHeaderArgIdris.Help
SpecialiseIdris.AbsSyntaxTree, Idris.AbsSyntax
specialiseIdris.Core.Evaluate
SpecialNameIdris.Core.TT
specTypeIdris.PartialEval
splitNameIdris.REPL
splitOnLineIdris.CaseSplit
SProjIRTS.Simplified
srcPathIdris.Imports
SSymbolIdris.AbsSyntaxTree, Idris.AbsSyntax
startServerIdris.REPL
StartUnifyIdris.Core.ProofState, Idris.Core.Elaborate
start_unifyIdris.Core.Elaborate
Static 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
staticIdris.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
symbolsIdris.IBC
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.ElabTerm
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
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
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.AbsSyntaxTree, Idris.AbsSyntax
TIDataIdris.AbsSyntaxTree, Idris.AbsSyntax
timestampOlderIdris.IBC
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
toSExpIdris.IdeMode
toTableIdris.ParseOps, Idris.Parser
TotalIdris.Core.Evaluate
TotalFnIdris.AbsSyntaxTree, Idris.AbsSyntax
TotalityIdris.Core.Evaluate
totalityIdris.Parser
TotCheckIdris.AbsSyntaxTree, Idris.AbsSyntax
totcheckIdris.AbsSyntax
TRACEIRTS.CodegenCommon
traceWhenIdris.Core.TT
transformIdris.Parser
TransformInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
transformPatsIdris.Transforms
transformPatsWithIdris.Transforms
TrivialIdris.AbsSyntaxTree, Idris.AbsSyntax
trivialIdris.ProofSearch
trivial'Idris.ElabTerm
trunIdris.Core.TT
TryIdris.AbsSyntaxTree, Idris.AbsSyntax
tryIdris.Core.Elaborate
try'Idris.Core.Elaborate
tryAllIdris.Core.Elaborate
tryCatchIdris.Core.Elaborate
tryFullExprIdris.ParseExpr, Idris.Parser
tryLoadFnUtil.DynamicLinker
tryLoadLibUtil.DynamicLinker
tryWhenIdris.Core.Elaborate
TSearchIdris.AbsSyntaxTree, Idris.AbsSyntax
TSeqIdris.AbsSyntaxTree, Idris.AbsSyntax
TTIdris.Core.TT
TTypeIdris.Core.TT
TTypeInTTypeIdris.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
typeExprIdris.ParseExpr, Idris.Parser
TypeInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
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
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
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
updateSyntaxRulesIdris.AbsSyntaxTree, Idris.AbsSyntax
update_termIdris.Core.Elaborate
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
ValueIdris.Core.Evaluate
VAppIdris.Core.Evaluate
VarIdris.Core.TT
varIdris.DSL
VBindIdris.Core.Evaluate
VBLetIdris.Core.Evaluate
VConstantIdris.Core.Evaluate
ver 
1 (Function)Idris.IBC
2 (Function)Idris.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
vinstancesIdris.Core.TT
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
warnTotalityIdris.Output
WarrantyIdris.AbsSyntaxTree, Idris.AbsSyntax
warrantyIdris.REPL
weakenEnvIdris.Core.TT
weakenTmIdris.Core.TT
weakenTmEnvIdris.Core.TT
wExprIdris.Parser
WhatDocsIdris.IdeMode
whereBlockIdris.Parser
WhereNIdris.Core.TT
while_elaboratingIdris.Core.ProofState, Idris.Core.Elaborate
whiteSpaceIdris.ParseHelpers, Idris.Parser
WhoCalls 
1 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.IdeMode
whoCallsIdris.WhoCalls
withContextIdris.AbsSyntax
withContext_Idris.AbsSyntax
withErrorReflectionIdris.ElabTerm
WithFnTypeIdris.Core.TT
WithNIdris.Core.TT
withTempdirUtil.System
WkIdris.Core.TT
WkEnvIdris.Core.TT
WkEnvTTIdris.Core.TT
WorldTypeIdris.Core.TT
writeIBCIdris.IBC
writePkgIndexIdris.IBC
zipHereIdris.Core.Elaborate