Index - O
| Object | IRTS.CodegenCommon |
| objs | Idris.Package.Common |
| occName | IRTS.Lang, IRTS.Defunctionalise |
| occurrences | Idris.Core.TT |
| OK | Idris.Core.TT |
| OLogCats | Idris.Options |
| OLogging | Idris.Options |
| Once | Idris.Core.Typecheck |
| OP | IRTS.Bytecode |
| opChars | Idris.Parser.Ops, Idris.Parser |
| openBlock | Idris.Parser.Helpers |
| Operator | Idris.Core.Evaluate |
| operatorFront | Idris.Parser.Ops |
| operatorLetter | Idris.Parser.Ops |
| operatorName | Idris.Parser.Ops |
| opExpr | Idris.Parser.Expr |
| Opt | |
| 1 (Type/Class) | Idris.IdeMode |
| 2 (Type/Class) | Idris.Options |
| opt | Idris.Options, Idris.CmdOptions |
| Optimisation | Idris.Options |
| Optimise | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| OptInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| OptionalArg | Idris.Help |
| OptionArg | Idris.Help |
| OptLevel | Idris.Options |
| opts_idrisCmdline | Idris.ASTUtils |
| opt_autoimpls | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 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_desugarnats | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_detaggable | Idris.ASTUtils |
| opt_errContext | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_evaltypes | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_forceable | Idris.ASTUtils |
| opt_ibcsubdir | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_importdirs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_inaccessible | Idris.ASTUtils |
| opt_logcats | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 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_printdepth | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_quiet | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_repl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_showimp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| opt_sourcedirs | 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.Elab.Utils |
| Other | Idris.Core.Evaluate |
| Output | Idris.Options |
| OutputAnnotation | Idris.Core.TT |
| OutputDoc | Idris.Output |
| outputFile | IRTS.CodegenCommon |
| OutputFmt | Idris.Options |
| OutputMode | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| OutputTy | Idris.Options |
| outputTy | Idris.AbsSyntax |
| OutputType | IRTS.CodegenCommon |
| outputType | IRTS.CodegenCommon |
| OverlappingDictionary | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| overload | Idris.Parser.Data |
| Overview | Idris.IdeMode |
| overview | Idris.Docstrings |
| OverviewDocs | Idris.Options |