idris-1.3.4: Functional Programming Language with Dependent Types

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- Z
- _
- All

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