idris-1.3.2: Functional Programming Language with Dependent Types

Index - O

ObjectIRTS.CodegenCommon
objsIdris.Package.Common
occNameIRTS.Lang, IRTS.Defunctionalise
occurrencesIdris.Core.TT
OKIdris.Core.TT
OLogCatsIdris.Options
OLoggingIdris.Options
OnceIdris.Core.Typecheck
OPIRTS.Bytecode
opCharsIdris.Parser.Ops, Idris.Parser
openBlockIdris.Parser.Helpers
OperatorIdris.Core.Evaluate
operatorFrontIdris.Parser.Ops
operatorLetterIdris.Parser.Ops
operatorNameIdris.Parser.Ops
opExprIdris.Parser.Expr
Opt 
1 (Type/Class)Idris.IdeMode
2 (Type/Class)Idris.Options
optIdris.Options, Idris.CmdOptions
OptimisationIdris.Options
OptimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
OptInfoIdris.AbsSyntaxTree, Idris.AbsSyntax
OptionalArgIdris.Help
OptionArgIdris.Help
OptLevelIdris.Options
opts_idrisCmdlineIdris.ASTUtils
opt_autoimplsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_autoImportIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_autoSolveIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_cmdlineIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_codegenIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_coverageIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_cpuIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_desugarnatsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_detaggableIdris.ASTUtils
opt_errContextIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_evaltypesIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_forceableIdris.ASTUtils
opt_ibcsubdirIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_importdirsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_inaccessibleIdris.ASTUtils
opt_logcatsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_logLevelIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_nobannerIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_optimiseIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_origerrIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_outputTyIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_printdepthIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_quietIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_replIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_showimpIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_sourcedirsIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_tripleIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_typecaseIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_typeintypeIdris.AbsSyntaxTree, Idris.AbsSyntax
opt_verboseIdris.AbsSyntaxTree, Idris.AbsSyntax
orderPatsIdris.Elab.Utils
OtherIdris.Core.Evaluate
OutputIdris.Options
OutputAnnotationIdris.Core.TT
OutputDocIdris.Output
outputFileIRTS.CodegenCommon
OutputFmtIdris.Options
OutputModeIdris.AbsSyntaxTree, Idris.AbsSyntax
OutputTyIdris.Options
outputTyIdris.AbsSyntax
OutputTypeIRTS.CodegenCommon
outputTypeIRTS.CodegenCommon
OverlappingDictionaryIdris.AbsSyntaxTree, Idris.AbsSyntax
overloadIdris.Parser.Data
OverviewIdris.IdeMode
overviewIdris.Docstrings
OverviewDocsIdris.Options