Index - O
| Object | IRTS.CodegenCommon |
| occurrences | Idris.Core.TT |
| OK | Idris.Core.TT |
| OLogging | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Once | Idris.Core.Typecheck |
| OP | IRTS.Bytecode |
| opChars | Idris.ParseHelpers, Idris.Parser |
| openBlock | Idris.ParseHelpers, Idris.Parser |
| Operator | Idris.Core.Evaluate |
| operator | Idris.ParseHelpers, Idris.Parser |
| operatorFront | Idris.ParseOps, Idris.Parser |
| operatorLetter | Idris.ParseHelpers, Idris.Parser |
| opExpr | Idris.ParseExpr, Idris.Parser |
| Opt | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Type/Class) | Idris.IdeMode |
| opt | Idris.REPL |
| Optimisable | Idris.DataOpts |
| Optimisation | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Optimise | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| OptInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Option | Idris.Core.TT |
| OptionalArg | Idris.Help |
| OptionArg | Idris.Help |
| OptLevel | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opts_idrisCmdline | Idris.ASTUtils |
| opt_autoImport | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_autoSolve | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_cmdline | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_codegen | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_coverage | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_cpu | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_detaggable | Idris.ASTUtils |
| opt_errContext | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_ibcsubdir | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_importdirs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_inaccessible | Idris.ASTUtils |
| opt_logLevel | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_nobanner | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_optimise | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_origerr | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_outputTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_quiet | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_repl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_showimp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_triple | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_typecase | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_typeintype | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_verbose | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| orderPats | Idris.Core.TT |
| Other | Idris.Core.Evaluate |
| Output | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| OutputAnnotation | Idris.Core.TT |
| outputFile | IRTS.CodegenCommon |
| OutputFmt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| OutputMode | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| OutputTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| outputTy | Idris.AbsSyntax |
| OutputType | IRTS.CodegenCommon |
| outputType | IRTS.CodegenCommon |
| overload | Idris.ParseData, Idris.Parser |
| Overview | Idris.IdeMode |
| overview | Idris.Docstrings |
| OverviewDocs | Idris.AbsSyntaxTree, Idris.AbsSyntax |