| CA | Idris.ElabDecls |
| caf | Idris.Parser |
| calcProd | Idris.Coverage |
| calcTotality | Idris.Coverage |
| CALL | IRTS.Bytecode |
| call | IRTS.Java.ASTBuilding |
| Callable | IRTS.Java.ASTBuilding |
| callableType | IRTS.Java.JTypes |
| calls | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| CantConvert | Idris.Core.TT |
| CantInferType | Idris.Core.TT |
| CantIntroduce | Idris.Core.TT |
| CantResolve | Idris.Core.TT |
| CantResolveAlts | Idris.Core.TT |
| CantSolveGoal | Idris.Core.TT |
| CantUnify | Idris.Core.TT |
| CASE | IRTS.Bytecode |
| Case | Idris.Core.CaseTree |
| CaseAlt | Idris.Core.CaseTree |
| caseAlt | IRTS.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 |
| caseExpr | Idris.ParseExpr, Idris.Parser |
| CaseInfo | |
| 1 (Type/Class) | Idris.Core.Evaluate |
| 2 (Data Constructor) | Idris.Core.Evaluate |
| CaseN | Idris.Core.TT |
| CaseOp | Idris.Core.Evaluate |
| caseOption | Idris.ParseExpr, Idris.Parser |
| CaseSplit | Idris.IdeSlave |
| CaseSplitAt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| cases_compiletime | Idris.Core.Evaluate |
| cases_inlined | Idris.Core.Evaluate |
| cases_runtime | Idris.Core.Evaluate |
| cases_totcheck | Idris.Core.Evaluate |
| CaseTrans | Idris.Transforms |
| CaseTree | Idris.Core.CaseTree |
| case_inlinable | Idris.Core.Evaluate |
| CExport | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| CGInfo | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Ch | Idris.Core.TT |
| ChangeDirectory | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| char | Idris.ParseHelpers, Idris.Parser |
| charLiteral | Idris.ParseHelpers, Idris.Parser |
| charType | IRTS.Java.JTypes |
| Check | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| check | Idris.Core.Typecheck |
| check' | Idris.Core.Typecheck |
| CheckConv | Idris.Core.TT |
| checkDeclTotality | Idris.Coverage |
| checkDef | Idris.ElabDecls |
| checkDefs | IRTS.Simplified |
| checkDSL | Idris.ParseData, Idris.Parser |
| CheckIn | Idris.Core.ProofState, Idris.Core.Elaborate |
| checkInferred | Idris.ElabDecls |
| checkInjective | Idris.Core.Elaborate |
| checkMP | Idris.Coverage |
| checkPiGoal | Idris.Core.Elaborate |
| checkPkg | Pkg.Package |
| checkPositive | Idris.Coverage |
| checkPossible | Idris.ElabDecls |
| checkSizeChange | Idris.Coverage |
| checkTotality | Idris.Coverage |
| checkUndefined | Idris.AbsSyntax |
| check_in | Idris.Core.Elaborate |
| CI | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Claim | Idris.Core.ProofState, Idris.Core.Elaborate |
| claim | Idris.Core.Elaborate |
| classBlock | Idris.Parser |
| ClassDoc | Idris.Docs |
| ClassInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| classInfo | Idris.REPL |
| class_ | Idris.Parser |
| class_defaults | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| class_default_superclasses | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| class_instances | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| class_methods | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| class_params | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| clause | Idris.Parser |
| clean | |
| 1 (Function) | IRTS.Bytecode |
| 2 (Function) | Pkg.Package |
| cleanPkg | Pkg.Package |
| clearErr | Idris.AbsSyntax |
| clearIBC | Idris.AbsSyntax |
| clearOrigPats | Idris.AbsSyntax |
| clearPTypes | Idris.AbsSyntax |
| clear_totcheck | Idris.AbsSyntax |
| Client | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| closeBlock | Idris.ParseHelpers, Idris.Parser |
| closure | IRTS.Java.ASTBuilding |
| CmdArg | Idris.Help |
| cmdOptType | Idris.AbsSyntax |
| Codata | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| codata | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Codegen | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| codegen | Idris.AbsSyntax |
| codegenC | IRTS.CodegenC |
| codegenJava | IRTS.CodegenJava |
| codegenJavaScript | IRTS.CodegenJavaScript |
| codegen_ | Idris.Parser |
| Coinductive | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| collapse | Idris.Coverage |
| collapse' | Idris.Coverage |
| collapseCons | Idris.DataOpts |
| collapseNothing | Idris.Coverage |
| collapsible | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| collect | Idris.ParseHelpers, Idris.Parser |
| collectDeferred | Idris.ElabTerm |
| colour | Idris.Colours |
| ColourArg | Idris.Help |
| colourise | Idris.AbsSyntax |
| colouriseBound | Idris.Colours |
| colouriseData | Idris.Colours |
| colouriseFun | Idris.Colours |
| colouriseImplicit | Idris.Colours |
| colouriseKwd | Idris.Colours |
| colourisePrompt | Idris.Colours |
| colouriseType | Idris.Colours |
| ColourOff | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ColourOn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ColourREPL | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ColourTheme | |
| 1 (Type/Class) | Idris.Colours |
| 2 (Data Constructor) | Idris.Colours |
| ColourType | Idris.Colours |
| ColsWide | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| columnNum | Idris.ParseHelpers, Idris.Parser |
| Command | |
| 1 (Type/Class) | Idris.Core.Elaborate |
| 2 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Compile | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| compile | IRTS.Compiler |
| compiled_so | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| CompileTime | Idris.Core.CaseTree |
| CompleteFill | Idris.Core.ProofState, Idris.Core.Elaborate |
| complete_fill | Idris.Core.Elaborate |
| comprehension | Idris.ParseExpr, Idris.Parser |
| Compute | |
| 1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| compute | Idris.Core.Elaborate |
| ComputeLet | Idris.Core.ProofState, Idris.Core.Elaborate |
| computeLet | Idris.Core.Elaborate |
| ConCase | Idris.Core.CaseTree |
| conCase | IRTS.Bytecode |
| Conditional | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| consoleDecorate | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| consoleDisplayAnnotated | Idris.AbsSyntax |
| ConsoleWidth | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| ConsoleWidthArg | Idris.Help |
| Const | Idris.Core.TT |
| constAlt | IRTS.Bytecode |
| Constant | Idris.Core.TT |
| constant | Idris.ParseExpr, Idris.Parser |
| CONSTCASE | IRTS.Bytecode |
| ConstCase | Idris.Core.CaseTree |
| constCase | IRTS.Bytecode |
| Constraint | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| constraint | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| constraintArg | Idris.ParseExpr, Idris.Parser |
| constraintList | Idris.ParseExpr, Idris.Parser |
| constructor | Idris.ParseData, Idris.Parser |
| constType | IRTS.Java.JTypes |
| Context | Idris.Core.Evaluate |
| context | Idris.Core.ProofState, Idris.Core.Elaborate |
| contextArray | IRTS.Java.JTypes |
| contextParam | IRTS.Java.JTypes |
| convEq | Idris.Core.Evaluate |
| convEq' | Idris.Core.Evaluate |
| converts | Idris.Core.Typecheck |
| convertsC | Idris.Core.Typecheck |
| convSExp | Idris.IdeSlave |
| con_names | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| coverage | Idris.AbsSyntax |
| Ctxt | Idris.Core.TT |
| ctxtAlist | Idris.Core.Evaluate |