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 |