Index - O
| Object | IRTS.CodegenCommon |
| objectType | IRTS.Java.JTypes |
| OK | Idris.Core.TC, Idris.Core.TT |
| OLogging | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 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 |
| opName | IRTS.Java.JTypes |
| Opt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt | Idris.REPL |
| Optimisable | Idris.DataOpts |
| Optimise | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| OptInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Option | Idris.Core.TT |
| OptionArg | Idris.Help |
| OptLevel | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| optLevel | 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_errContext | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_ibcsubdir | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_importdirs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_logLevel | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_nobanner | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_optLevel | 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 |
| OutputMode | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| OutputTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| outputTy | Idris.AbsSyntax |
| OutputType | IRTS.CodegenCommon |
| overload | Idris.ParseData, Idris.Parser |