idris-0.12.2: Functional Programming Language with Dependent Types

Index - O

ObjectIRTS.CodegenCommon
objsIdris.Package.Common
occurrencesIdris.Core.TT
OKIdris.Core.TT
OLogCatsIdris.AbsSyntaxTree, Idris.AbsSyntax
OLoggingIdris.AbsSyntaxTree, Idris.AbsSyntax
OnceIdris.Core.Typecheck
OPIRTS.Bytecode
opCharsIdris.Parser.Helpers, Idris.Parser
openBlockIdris.Parser.Helpers, Idris.Parser
openInterfaceIdris.Parser
OperatorIdris.Core.Evaluate
operatorIdris.Parser.Helpers, Idris.Parser
operatorFCIdris.Parser.Helpers, Idris.Parser
operatorFrontIdris.Parser.Ops, Idris.Parser
operatorLetterIdris.Parser.Helpers, Idris.Parser
opExprIdris.Parser.Expr, Idris.Parser
Opt 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Type/Class)Idris.IdeMode
optIdris.REPL
OptimisationIdris.AbsSyntaxTree, Idris.AbsSyntax
OptimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
OptInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
OptionalArgIdris.Help
OptionArgIdris.Help
OptLevelIdris.AbsSyntaxTree, Idris.AbsSyntax
opts_idrisCmdlineIdris.ASTUtils
opt_autoimplsIdris.AbsSyntaxTree, Idris.AbsSyntax
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_desugarnatsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_detaggableIdris.ASTUtils
opt_errContextIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_evaltypesIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_ibcsubdirIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_importdirsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_inaccessibleIdris.ASTUtils
opt_logcatsIdris.AbsSyntaxTree, Idris.AbsSyntax
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_printdepthIdris.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.Elab.Utils
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.Parser.Data, Idris.Parser
OverviewIdris.IdeMode
overviewIdris.Docstrings
OverviewDocsIdris.AbsSyntaxTree, Idris.AbsSyntax