idris-1.1.1: Functional Programming Language with Dependent Types

Index - C

cafIdris.Parser
calcTotalityIdris.Termination
CALLIRTS.Bytecode
callsIdris.AbsSyntaxTree, Idris.AbsSyntax
CallsWho 
1 (Data Constructor)Idris.IdeMode
2 (Data Constructor)Idris.REPL.Commands
callsWhoIdris.WhoCalls
canBeDConNameIdris.Core.Evaluate
CantConvertIdris.Core.TT
CantInferTypeIdris.Core.TT
CantIntroduceIdris.Core.TT
CantMatchIdris.Core.TT
CantResolveIdris.Core.TT
CantResolveAltsIdris.Core.TT
CantSolveGoalIdris.Core.TT
CantUnifyIdris.Core.TT
CASEIRTS.Bytecode
CaseIdris.Core.CaseTree
CaseAltIdris.Core.CaseTree
caseAltIRTS.Bytecode
CaseAlt'Idris.Core.CaseTree
CaseDef 
1 (Type/Class)Idris.Core.CaseTree
2 (Data Constructor)Idris.Core.CaseTree
CaseDefs 
1 (Type/Class)Idris.Core.Evaluate
2 (Data Constructor)Idris.Core.Evaluate
caseExprIdris.Parser.Expr, Idris.Parser
CaseInfo 
1 (Type/Class)Idris.Core.Evaluate
2 (Data Constructor)Idris.Core.Evaluate
CaseNIdris.Core.TT
caseNameIdris.Core.TT
CaseOpIdris.Core.Evaluate
caseOptionIdris.Parser.Expr, Idris.Parser
CaseSplitIdris.IdeMode
CaseSplitAtIdris.REPL.Commands
caseSplitAtIdris.Interactive
cases_compiletimeIdris.Core.Evaluate
cases_runtimeIdris.Core.Evaluate
CaseTac 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
casetacIdris.Core.Elaborate
CaseTreeIdris.Core.CaseTree
CaseTypeIdris.Core.CaseTree
case_Idris.Elab.Term
case_alwaysinlineIdris.Core.Evaluate
case_declsIdris.AbsSyntaxTree, Idris.AbsSyntax
case_inlinableIdris.Core.Evaluate
catchErrorIdris.AbsSyntaxTree, Idris.AbsSyntax
catchIOUtil.System
CExportIdris.AbsSyntaxTree, Idris.AbsSyntax
CGConf 
1 (Type/Class)IRTS.JavaScript.Codegen
2 (Data Constructor)IRTS.JavaScript.Codegen
CGInfo 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
CGStats 
1 (Type/Class)IRTS.JavaScript.Codegen
2 (Data Constructor)IRTS.JavaScript.Codegen
cg_usedposIdris.ASTUtils
ChIdris.Core.TT
ChangeDirectoryIdris.REPL.Commands
charIdris.Parser.Helpers, Idris.Parser
charLiteralIdris.Parser.Helpers, Idris.Parser
CheckIdris.REPL.Commands
checkIdris.Core.Typecheck
check'Idris.Core.Typecheck
checkAddDefIdris.Elab.Utils
checkAllCoveringIdris.Termination
checkDeclFixityIdris.Parser.Ops, Idris.Parser
checkDeclTotalityIdris.Termination
checkDefIdris.Elab.Utils
checkDeprecatedIdris.Elab.Utils
checkDocsIdris.Elab.Utils
checkDocstringIdris.Docstrings
checkDSLIdris.Parser.Data, Idris.Parser
CheckedIdris.Docstrings
checkFragileIdris.Elab.Utils
checkIfGuardedIdris.Termination
CheckInIdris.Core.ProofState, Idris.Core.Elaborate
checkInferredIdris.Elab.Utils
checkInjectiveIdris.Core.Elaborate
checkMPIdris.Termination
checkNameFixityIdris.Parser.Ops, Idris.Parser
checkPiGoalIdris.Core.Elaborate
checkPkgIdris.Package
checkPositiveIdris.Termination
checkPossibleIdris.Elab.Clause
checkPossiblesIdris.Elab.Clause
checkSizeChangeIdris.Termination
checkTotalityIdris.Termination
checkUndefinedIdris.AbsSyntax
checkUniqueIdris.Core.Typecheck
checkVisibilityIdris.Elab.Utils
check_inIdris.Core.Elaborate
CIIdris.AbsSyntaxTree, Idris.AbsSyntax
Claim 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
claimIdris.Core.Elaborate
ClaimFnIdris.Core.ProofState, Idris.Core.Elaborate
claimFnIdris.Core.Elaborate
claimTyIdris.Reflection
clauseIdris.Parser
clean 
1 (Function)IRTS.Bytecode
2 (Function)Idris.Package
cleanPkgIdris.Package
clearErrIdris.AbsSyntax
clearHighlightsIdris.Output
clearIBCIdris.AbsSyntax
clearOrigPatsIdris.AbsSyntax
clearParserWarningsIdris.Parser.Helpers, Idris.Parser
clearPTypesIdris.AbsSyntax
clear_totcheckIdris.AbsSyntax
ClientIdris.Options
closeBlockIdris.Parser.Helpers, Idris.Parser
CmdArgIdris.Help
cmdOptTypeIdris.AbsSyntax
CodataIdris.Core.TT
codataIdris.Core.TT
CodeIdris.Docstrings
CodeBlockIdris.Docstrings
CodegenIdris.Options
codegenIdris.AbsSyntax
CodegenArgsIdris.Options
codegenCIRTS.CodegenC
codegenCatsIdris.Options
CodeGeneratorIRTS.CodegenCommon
CodegenInfo 
1 (Type/Class)IRTS.CodegenCommon
2 (Data Constructor)IRTS.CodegenCommon
codegenJavaScriptIRTS.CodegenJavaScript
codegenJsIRTS.JavaScript.Codegen
codegenNodeIRTS.CodegenJavaScript
codegen_Idris.Parser
collapseIdris.Termination
collapse'Idris.Termination
collapseNothingIdris.Termination
collectIdris.Parser.Helpers, Idris.Parser
collectDeferredIdris.Elab.Term
colourIdris.Colours
ColourArgIdris.Help
colourise 
1 (Function)Idris.Colours
2 (Function)Idris.AbsSyntax
colouriseBoundIdris.Colours
colouriseDataIdris.Colours
colouriseFunIdris.Colours
colouriseImplicitIdris.Colours
colouriseKeywordIdris.Colours
colouriseKwdIdris.Colours
colourisePostulateIdris.Colours
colourisePromptIdris.Colours
colouriseTypeIdris.Colours
ColourOffIdris.REPL.Commands
ColourOnIdris.REPL.Commands
ColourREPLIdris.Options
ColourTheme 
1 (Type/Class)Idris.Colours
2 (Data Constructor)Idris.Colours
ColourTypeIdris.Colours
ColsWideIdris.Options
columnNumIdris.Parser.Helpers, Idris.Parser
CommandIdris.REPL.Commands
commaSeparatedIdris.Parser.Helpers, Idris.Parser
commentMarkersIdris.Parser.Helpers, Idris.Parser
CompileIdris.REPL.Commands
compileIRTS.Compiler
compiled_soIdris.AbsSyntaxTree, Idris.AbsSyntax
compileLibsIRTS.CodegenCommon
compileObjsIRTS.CodegenCommon
compilerFlagsIRTS.CodegenCommon
CompileTimeIdris.Core.CaseTree
CompleteIdris.Core.TT
CompleteFillIdris.Core.ProofState, Idris.Core.Elaborate
complete_fillIdris.Core.Elaborate
Compute 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
computeIdris.Core.Elaborate
ComputeLetIdris.Core.ProofState, Idris.Core.Elaborate
computeLetIdris.Core.Elaborate
ConCaseIdris.Core.CaseTree
conCaseIRTS.Bytecode
conGuardedIdris.Core.Evaluate
consoleDecorateIdris.AbsSyntaxTree, Idris.AbsSyntax
consoleDisplayAnnotatedIdris.Output
ConsoleWidthIdris.Options
ConsoleWidthArgIdris.Help
ConstIdris.Core.TT
constAltIRTS.Bytecode
ConstantIdris.Core.TT
constantIdris.Parser.Expr, Idris.Parser
constantsIdris.Parser.Expr, Idris.Parser
CONSTCASEIRTS.Bytecode
ConstCaseIdris.Core.CaseTree
constCaseIRTS.Bytecode
constDocsIdris.Core.TT
constIsTypeIdris.Core.TT
ConstraintIdris.AbsSyntaxTree, Idris.AbsSyntax
constraintIdris.AbsSyntaxTree, Idris.AbsSyntax
constraintAllowedIdris.AbsSyntaxTree, Idris.AbsSyntax
constraintArgIdris.Parser.Expr, Idris.Parser
ConstraintDIdris.PartialEval
ConstraintFC 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)Idris.Core.TT
constraintListIdris.Parser.Expr, Idris.Parser
constraintList1Idris.Parser.Expr, Idris.Parser
constraintNSIdris.AbsSyntaxTree, Idris.AbsSyntax
constraintPiIdris.Parser.Expr, Idris.Parser
ConstraintSIdris.PartialEval
constraint_nsIdris.Core.ProofState, Idris.Core.Elaborate
ConstructorIdris.AbsSyntaxTree, Idris.AbsSyntax
constructorIdris.Parser.Data, Idris.Parser
containsHoleIdris.AbsSyntaxTree, Idris.AbsSyntax
containsTextIdris.Docstrings
ContextIdris.Core.Evaluate
contextIdris.Core.ProofState, Idris.Core.Elaborate
convEqIdris.Core.Evaluate
convEq'Idris.Core.Evaluate
convertsIdris.Core.Typecheck
convertsCIdris.Core.Typecheck
convSExpIdris.IdeMode
convTypeIdris.Core.Typecheck
con_namesIdris.Core.TT
CoreIdris.REPL.Commands
coverageIdris.AbsSyntax
CoverageCheckIdris.Core.CaseTree
CoveringFnIdris.AbsSyntaxTree, Idris.AbsSyntax
CtxtIdris.Core.TT
ctxtAlistIdris.Core.Evaluate
ctxt_lookupIdris.ASTUtils