Agda-2.3.0.1: A dependently typed functional programming language and proof assistant

Index - O

OAgda.Auto.Convert
ObjectAgda.Compiler.JS.Syntax
object 
1 (Function)Agda.Compiler.JS.Substitution
2 (Function)Agda.Compiler.JS.Parser
OccAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
OccClauseAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
occClauseAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
OccConAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
occConstructorAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
occDatatypeAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
occFunctionAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
OccPosAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
occPositionAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
Occurrence 
1 (Type/Class)Agda.TypeChecking.Free
2 (Type/Class)Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
occurrenceAgda.TypeChecking.Free
OccurrencesAgda.TypeChecking.Positivity
occurrencesAgda.TypeChecking.Positivity
OccursAgda.TypeChecking.MetaVars.Occurs
occursAgda.TypeChecking.MetaVars.Occurs
occursAsAgda.TypeChecking.Positivity
occursCheck 
1 (Function)Agda.TypeChecking.MetaVars.Occurs
2 (Function)Agda.TypeChecking.Rules.LHS.Unify
OccursCtxAgda.TypeChecking.MetaVars.Occurs
OccursWhereAgda.TypeChecking.Positivity
octDigitAgda.Utils.Char
ofExprAgda.Interaction.BasicOps
offsideRuleAgda.Syntax.Parser.Layout
ofNameAgda.Interaction.BasicOps
OfTypeAgda.Interaction.BasicOps
OfType'Agda.Interaction.BasicOps
OHConAgda.Syntax.Internal.Pattern
OHPatsAgda.Syntax.Internal.Pattern
OKAgda.Auto.NarrowingSearch
OKHandleAgda.Auto.NarrowingSearch
OKMetaAgda.Auto.NarrowingSearch
OKVal 
1 (Type/Class)Agda.Auto.NarrowingSearch
2 (Data Constructor)Agda.Auto.NarrowingSearch
OldModuleNameAgda.Syntax.Translation.ConcreteToAbstract, Agda.Interaction.GhciTop
OldName 
1 (Type/Class)Agda.Syntax.Translation.ConcreteToAbstract, Agda.Interaction.GhciTop
2 (Data Constructor)Agda.Syntax.Translation.ConcreteToAbstract, Agda.Interaction.GhciTop
OldQNameAgda.Syntax.Translation.ConcreteToAbstract, Agda.Interaction.GhciTop
oldToNewNotationAgda.Syntax.Fixity
onAgda.Interaction.Highlighting.Vim
OneHolePatternAgda.Syntax.Internal.Pattern
OneHolePatternsAgda.Syntax.Internal.Pattern
OneLineModeAgda.Utils.Pretty
oneofAgda.Utils.QuickCheck
OnlyQualifiedAgda.Syntax.Common
OnlyQualifiedNSAgda.Syntax.Scope.Base, Agda.Interaction.GhciTop
onSubAgda.TypeChecking.Rules.LHS.Unify
onTopLevelAgda.TypeChecking.Monad.Env, Agda.TypeChecking.Monad
OpAgda.TypeChecking.Primitive
OpApp 
1 (Data Constructor)Agda.Syntax.Concrete
2 (Type/Class)Agda.Syntax.Concrete
OpAppPAgda.Syntax.Concrete
OpAppVAgda.Syntax.Concrete.Operators.Parser
opBracketsAgda.Syntax.Fixity
Open 
1 (Data Constructor)Agda.Syntax.Concrete
2 (Data Constructor)Agda.Syntax.Abstract
3 (Data Constructor)Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
4 (Type/Class)Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
openBraceAgda.Syntax.Parser.Layout
OpenIFSAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
openModule_Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop
OpenShortHandAgda.Syntax.Concrete
OpenThingAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
oplusAgda.Utils.SemiRing
opPAgda.Syntax.Concrete.Operators.Parser
optAllowUnsolvedAgda.Interaction.Options
optCompileAgda.Interaction.Options
optCompileDirAgda.Interaction.Options
optCompletenessCheckAgda.Interaction.Options
optCSSFileAgda.Interaction.Options
optDependencyGraphAgda.Interaction.Options
optDisablePositivityAgda.Interaction.Options
optEpicCompileAgda.Interaction.Options
optEpicFlagsAgda.Interaction.Options
optExperimentalIrrelevanceAgda.Interaction.Options
optForcingAgda.Interaction.Options
optGenerateHTMLAgda.Interaction.Options
optGenerateVimFileAgda.Interaction.Options
optGhcFlagsAgda.Interaction.Options
optGuardingTypeConstructorsAgda.Interaction.Options
optHTMLDirAgda.Interaction.Options
optIgnoreInterfacesAgda.Interaction.Options
optIncludeDirsAgda.Interaction.Options
optInjectiveTypeConstructorsAgda.Interaction.Options
optInputFileAgda.Interaction.Options
optInteractiveAgda.Interaction.Options
optionAgda.Utils.ReadP
optionalAgda.Utils.ReadP
optionErrorAgda.Main
OptionsAgda.Interaction.Options
OptionsPragma 
1 (Type/Class)Agda.Interaction.Options
2 (Data Constructor)Agda.Syntax.Concrete
3 (Data Constructor)Agda.Syntax.Abstract
optIrrelevantProjectionsAgda.Interaction.Options
optJSCompileAgda.Interaction.Options
optPragmaOptionsAgda.Interaction.Options
optProgramNameAgda.Interaction.Options
optProofIrrelevanceAgda.Interaction.Options
optRunTestsAgda.Interaction.Options
optSafeAgda.Interaction.Options
optShowHelpAgda.Interaction.Options
optShowImplicitAgda.Interaction.Options
optShowVersionAgda.Interaction.Options
optSizedTypesAgda.Interaction.Options
optTerminationCheckAgda.Interaction.Options
optTerminationDepthAgda.Interaction.Options
optUniverseCheckAgda.Interaction.Options
optUniversePolymorphismAgda.Interaction.Options
optVerboseAgda.Interaction.Options
optWithoutKAgda.Interaction.Options
OrAgda.Auto.NarrowingSearch
OrderAgda.Termination.CallGraph
OrderedAgda.Utils.QuickCheck
OrderedListAgda.Utils.QuickCheck
orderedListAgda.Utils.QuickCheck
orderFieldsAgda.TypeChecking.Records
orderMatAgda.Termination.CallGraph
OrdinaryAgda.Syntax.Concrete
OtherAspectAgda.Interaction.Highlighting.Precise
otherAspectsAgda.Interaction.Highlighting.Precise
OtherSizeAgda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad
OtherVAgda.Syntax.Concrete.Operators.Parser
otimesAgda.Utils.SemiRing
OutAgda.Syntax.Scope.Monad, Agda.Interaction.GhciTop
outFile 
1 (Function)Agda.Compiler.MAlonzo.Compiler
2 (Function)Agda.Compiler.JS.Compiler
outFile'Agda.Compiler.MAlonzo.Compiler
outFile_ 
1 (Function)Agda.Compiler.MAlonzo.Compiler
2 (Function)Agda.Compiler.JS.Compiler
outputAgda.Utils.QuickCheck
OutputConstraintAgda.Interaction.BasicOps
OutputConstraint'Agda.Interaction.BasicOps
OutputForm 
1 (Type/Class)Agda.Interaction.BasicOps
2 (Data Constructor)Agda.Interaction.BasicOps
outputFormIdAgda.Interaction.BasicOps
outsideScopeAgda.Syntax.Translation.ConcreteToAbstract, Agda.Interaction.GhciTop
overlappingAgda.Interaction.Highlighting.Range
OverlappingProjectsAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad