idris-0.9.17.1: Functional Programming Language with Dependent Types

Index - O

ObjectIRTS.CodegenCommon
occurrencesIdris.Core.TT
OKIdris.Core.TT
OLoggingIdris.AbsSyntaxTree, Idris.AbsSyntax
OnceIdris.Core.Typecheck
OPIRTS.Bytecode
opCharsIdris.ParseHelpers, Idris.Parser
openBlockIdris.ParseHelpers, Idris.Parser
OperatorIdris.Core.Evaluate
operatorIdris.ParseHelpers, Idris.Parser
operatorFrontIdris.ParseOps, Idris.Parser
operatorLetterIdris.ParseHelpers, Idris.Parser
opExprIdris.ParseExpr, Idris.Parser
Opt 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Type/Class)Idris.IdeMode
optIdris.REPL
OptimisableIdris.DataOpts
OptimisationIdris.AbsSyntaxTree, Idris.AbsSyntax
OptimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
OptInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
OptionIdris.Core.TT
OptionalArgIdris.Help
OptionArgIdris.Help
OptLevelIdris.AbsSyntaxTree, Idris.AbsSyntax
opts_idrisCmdlineIdris.ASTUtils
opt_autoImportIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_autoSolveIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_cmdlineIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_codegenIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_coverageIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_cpuIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_detaggableIdris.ASTUtils
opt_errContextIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_ibcsubdirIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_importdirsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_inaccessibleIdris.ASTUtils
opt_logLevelIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_nobannerIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_optimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_origerrIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_outputTyIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_quietIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_replIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_showimpIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_tripleIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_typecaseIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_typeintypeIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_verboseIdris.AbsSyntaxTree, Idris.AbsSyntax
orderPatsIdris.Core.TT
OtherIdris.Core.Evaluate
OutputIdris.AbsSyntaxTree, Idris.AbsSyntax
OutputAnnotationIdris.Core.TT
outputFileIRTS.CodegenCommon
OutputFmtIdris.AbsSyntaxTree, Idris.AbsSyntax
OutputModeIdris.AbsSyntaxTree, Idris.AbsSyntax
OutputTyIdris.AbsSyntaxTree, Idris.AbsSyntax
outputTyIdris.AbsSyntax
OutputTypeIRTS.CodegenCommon
outputTypeIRTS.CodegenCommon
overloadIdris.ParseData, Idris.Parser
OverviewIdris.IdeMode
overviewIdris.Docstrings
OverviewDocsIdris.AbsSyntaxTree, Idris.AbsSyntax