idris-1.3.2: Functional Programming Language with Dependent Types

Index - C

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
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
CaseSplitIdris.IdeMode
CaseSplitAtIdris.REPL.Commands
caseSplitAtIdris.Interactive
cases_compiletimeIdris.Core.Evaluate
cases_runtimeIdris.Core.Evaluate
CaseTreeIdris.Core.CaseTree
CaseTypeIdris.Core.CaseTree
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
charLiteralIdris.Parser.Helpers
CheckIdris.REPL.Commands
checkIdris.Core.Typecheck
check'Idris.Core.Typecheck
checkAddDefIdris.Elab.Utils
checkAllCoveringIdris.Termination
checkDeclFixityIdris.Parser.Ops
checkDeclTotalityIdris.Termination
checkDefIdris.Elab.Utils
checkDeprecatedIdris.Elab.Utils
checkDocsIdris.Elab.Utils
checkDocstringIdris.Docstrings
checkDSLIdris.Parser.Data
CheckedIdris.Docstrings
checkFragileIdris.Elab.Utils
checkIfGuardedIdris.Termination
CheckInIdris.Core.ProofState, Idris.Core.Elaborate
checkInferredIdris.Elab.Utils
checkInjectiveIdris.Core.Elaborate
checkNameFixityIdris.Parser.Ops
checkPiGoalIdris.Core.Elaborate
checkPkgIdris.Package
checkPositiveIdris.Termination
checkPossibleIdris.Elab.Clause
checkPossiblesIdris.Elab.Clause
checkSizeChangeIdris.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
clauseIdris.Package.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
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
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
CommandIdris.REPL.Commands
commaSepIdris.Package.Parser
commaSeparatedIdris.Parser.Helpers
commentMarkersIdris.Parser.Ops
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
ConsoleWidthIdris.Options
ConsoleWidthArgIdris.Help
ConstIdris.Core.TT
constAltIRTS.Bytecode
ConstantIdris.Core.TT
constantIdris.Parser.Expr
constantsIdris.Parser.Expr
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
ConstraintDIdris.PartialEval
ConstraintFC 
1 (Type/Class)Idris.Core.TT
2 (Data Constructor)Idris.Core.TT
constraintListIdris.Parser.Expr
constraintList1Idris.Parser.Expr
constraintNSIdris.AbsSyntaxTree, Idris.AbsSyntax
constraintPiIdris.Parser.Expr
ConstraintSIdris.PartialEval
constraint_nsIdris.Core.ProofState, Idris.Core.Elaborate
ConstructorIdris.AbsSyntaxTree, Idris.AbsSyntax
constructorIdris.Parser.Data
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