idris-0.12.2: Functional Programming Language with Dependent Types

Index - C

cafIdris.Parser
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.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.AbsSyntaxTree, Idris.AbsSyntax
caseSplitAtIdris.Interactive
cases_compiletimeIdris.Core.Evaluate
cases_inlinedIdris.Core.Evaluate
cases_runtimeIdris.Core.Evaluate
cases_totcheckIdris.Core.Evaluate
CaseTac 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
casetacIdris.Core.Elaborate
CaseTreeIdris.Core.CaseTree
CaseTypeIdris.Core.CaseTree
case_Idris.Elab.Term
case_alwaysinlineIdris.Core.Evaluate
case_declsIdris.AbsSyntaxTree, Idris.AbsSyntax
case_inlinableIdris.Core.Evaluate
catchErrorIdris.AbsSyntaxTree, Idris.AbsSyntax
catchIOUtil.System
CExportIdris.AbsSyntaxTree, Idris.AbsSyntax
CGInfo 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
cg_usedposIdris.ASTUtils
ChIdris.Core.TT
ChangeDirectoryIdris.AbsSyntaxTree, Idris.AbsSyntax
charIdris.Parser.Helpers, Idris.Parser
charLiteralIdris.Parser.Helpers, Idris.Parser
CheckIdris.AbsSyntaxTree, Idris.AbsSyntax
checkIdris.Core.Typecheck
check'Idris.Core.Typecheck
checkAddDefIdris.Elab.Utils
checkAllCoveringIdris.Coverage
checkDeclTotalityIdris.Coverage
checkDefIdris.Elab.Utils
checkDeprecatedIdris.Elab.Utils
checkDocsIdris.Elab.Utils
checkDocstringIdris.Docstrings
checkDSLIdris.Parser.Data, Idris.Parser
CheckedIdris.Docstrings
checkFragileIdris.Elab.Utils
CheckInIdris.Core.ProofState, Idris.Core.Elaborate
checkInferredIdris.Elab.Utils
checkInjectiveIdris.Core.Elaborate
checkMPIdris.Coverage
checkPiGoalIdris.Core.Elaborate
checkPkgIdris.Package
checkPositiveIdris.Coverage
checkPossibleIdris.Elab.Clause
checkSizeChangeIdris.Coverage
checkTotalityIdris.Coverage
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
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)Idris.Package
cleanPkgIdris.Package
clearErrIdris.AbsSyntax
clearHighlightsIdris.Output
clearIBCIdris.AbsSyntax
clearOrigPatsIdris.AbsSyntax
clearParserWarningsIdris.Parser.Helpers, Idris.Parser
clearPTypesIdris.AbsSyntax
clear_totcheckIdris.AbsSyntax
ClientIdris.AbsSyntaxTree, Idris.AbsSyntax
closeBlockIdris.Parser.Helpers, Idris.Parser
CmdArgIdris.Help
cmdOptTypeIdris.AbsSyntax
CodataIdris.Core.TT
codataIdris.Core.TT
CodeIdris.Docstrings
CodeBlockIdris.Docstrings
CodegenIdris.AbsSyntaxTree, Idris.AbsSyntax
codegenIdris.AbsSyntax
CodegenArgsIdris.AbsSyntaxTree, Idris.AbsSyntax
codegenCIRTS.CodegenC
codegenCatsIdris.AbsSyntaxTree, Idris.AbsSyntax
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.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.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.Parser.Helpers, Idris.Parser
CommandIdris.AbsSyntaxTree, Idris.AbsSyntax
commaSeparatedIdris.Parser.Helpers, Idris.Parser
commentMarkersIdris.Parser.Helpers, Idris.Parser
CompileIdris.AbsSyntaxTree, Idris.AbsSyntax
compileIRTS.Compiler
compiled_soIdris.AbsSyntaxTree, Idris.AbsSyntax
compileJSIRTS.JavaScript.AST
compileJS'IRTS.JavaScript.AST
compileLibsIRTS.CodegenCommon
compileObjsIRTS.CodegenCommon
compilerFlagsIRTS.CodegenCommon
CompileTimeIdris.Core.CaseTree
CompleteIdris.Core.TT
CompleteFillIdris.Core.ProofState, Idris.Core.Elaborate
complete_fillIdris.Core.Elaborate
Compute 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
computeIdris.Core.Elaborate
ComputeLetIdris.Core.ProofState, Idris.Core.Elaborate
computeLetIdris.Core.Elaborate
ConCaseIdris.Core.CaseTree
conCaseIRTS.Bytecode
consoleDecorateIdris.AbsSyntaxTree, Idris.AbsSyntax
consoleDisplayAnnotatedIdris.Output
ConsoleWidthIdris.AbsSyntaxTree, Idris.AbsSyntax
ConsoleWidthArgIdris.Help
ConstIdris.Core.TT
constAltIRTS.Bytecode
ConstantIdris.Core.TT
constantIdris.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
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
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.AbsSyntaxTree, Idris.AbsSyntax
coverageIdris.AbsSyntax
CoveringFnIdris.AbsSyntaxTree, Idris.AbsSyntax
CtxtIdris.Core.TT
ctxtAlistIdris.Core.Evaluate
ctxt_lookupIdris.ASTUtils