idris-1.0: 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
occurrences | Idris.Core.TT
OK | Idris.Core.TT
OLogCats | Idris.AbsSyntaxTree, Idris.AbsSyntax
OLogging | Idris.AbsSyntaxTree, Idris.AbsSyntax
Once | Idris.Core.Typecheck
OP | IRTS.Bytecode
opChars | Idris.Parser.Helpers, Idris.Parser
openBlock | Idris.Parser.Helpers, Idris.Parser
openInterface | Idris.Parser
Operator | Idris.Core.Evaluate
operator | Idris.Parser.Helpers, Idris.Parser
operatorFC | Idris.Parser.Helpers, Idris.Parser
operatorFront | Idris.Parser.Ops, Idris.Parser
operatorLetter | Idris.Parser.Helpers, Idris.Parser
opExpr | Idris.Parser.Expr, Idris.Parser
Opt |
1 (Type/Class) | Idris.IdeMode
2 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax
opt | Idris.AbsSyntax, Idris.CmdOptions
Optimisation | Idris.AbsSyntaxTree, Idris.AbsSyntax
Optimise | Idris.AbsSyntaxTree, Idris.AbsSyntax
OptInfo | Idris.AbsSyntaxTree, Idris.AbsSyntax
OptionalArg | Idris.Help
OptionArg | Idris.Help
OptLevel | Idris.AbsSyntaxTree, Idris.AbsSyntax
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.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
OverlappingDictionary | Idris.AbsSyntaxTree, Idris.AbsSyntax
overload | Idris.Parser.Data, Idris.Parser
Overview | Idris.IdeMode
overview | Idris.Docstrings
OverviewDocs | Idris.AbsSyntaxTree, Idris.AbsSyntax