A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
#
$
%
&
*
+
.
/
<
=
>
?
@
\
^
|
-
_
All

Index - O

obj	Mikan.Interaction.JSON
Object
1 (Type/Class)	Mikan.Interaction.JSON
2 (Data Constructor)	Mikan.Interaction.JSON
object	Mikan.Interaction.JSON
ObjectWithSingleField	Mikan.Interaction.JSON
observeHiding	Mikan.Syntax.Concrete
observeModifiers	Mikan.Syntax.Concrete
OccGraph	Mikan.TypeChecking.Positivity.OccurrenceAnalysis
Occurrence	Mikan.TypeChecking.Positivity.Occurrence
OccursCheck	Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark
occursCheck	Mikan.TypeChecking.MetaVars.Occurs
OccursDef	Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark
OccursPath	Mikan.TypeChecking.Positivity.Occurrence
OccursWhere
1 (Type/Class)	Mikan.TypeChecking.Positivity.Occurrence
2 (Data Constructor)	Mikan.TypeChecking.Positivity.Occurrence
3 (Type/Class)	Mikan.TypeChecking.Positivity.Warnings
4 (Data Constructor)	Mikan.TypeChecking.Positivity.Warnings
ofExpr	Mikan.Interaction.Base
offsideRule	Mikan.Syntax.Parser.Layout
ofName	Mikan.Interaction.Base
OfType	Mikan.Interaction.Base
OfType'	Mikan.Interaction.Base
OldBuiltin	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
OldBuiltin_	Mikan.Interaction.Options.Warnings
OldInteractionScopes	Mikan.Interaction.Base
oldInteractionScopes	Mikan.Interaction.Base
oldOptionName	Mikan.Interaction.Options
omegaFlexRig	Mikan.TypeChecking.Free.Base
omitField	Mikan.Interaction.JSON
omitField1	Mikan.Interaction.JSON
omitField2	Mikan.Interaction.JSON
omitNothingFields	Mikan.Interaction.JSON
omittedField	Mikan.Interaction.JSON
omittedField1	Mikan.Interaction.JSON
omittedField2	Mikan.Interaction.JSON
on	Mikan.Utils.Function
onBlockingMetasM	Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term
One
1 (Type/Class)	Mikan.Interaction.JSON
2 (Data Constructor)	Mikan.Utils.Three
oneFlexRig	Mikan.TypeChecking.Free.Base
oneFreeVariable	Mikan.Syntax.Common
OneHole	Mikan.Utils.AffineHole
OneLineMode	Mikan.Syntax.Common.Pretty
oneVarOcc	Mikan.TypeChecking.Free.Base
onLetBindingType	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
OnlyLazy
1 (Type/Class)	Mikan.TypeChecking.Patterns.Match
2 (Data Constructor)	Mikan.TypeChecking.Patterns.Match
onlyLiveCopies	Mikan.Syntax.Scope.Trimming
OnlyReduceDefs	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
onlyReduceProjections	Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
onlyReduceTypes	Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
onlyShowIfUnsolved	Mikan.TypeChecking.Warnings
onReduceEnv	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
oone	Mikan.Utils.SemiRing
Op	Mikan.TypeChecking.Primitive
OpApp
1 (Data Constructor)	Mikan.Syntax.Concrete
2 (Type/Class)	Mikan.Syntax.Concrete
OpAppArgs	Mikan.Syntax.Concrete
OpAppArgs'	Mikan.Syntax.Concrete
OpAppArgs0	Mikan.Syntax.Concrete
OpAppP	Mikan.Syntax.Concrete
OpAppV	Mikan.Syntax.Concrete.Operators.Parser
Opaque	Mikan.Syntax.Concrete
OpaqueBlock
1 (Type/Class)	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
2 (Data Constructor)	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
opaqueDecls	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
OpaqueDef	Mikan.Syntax.Common
OpaqueId
1 (Type/Class)	Mikan.Syntax.Common
2 (Data Constructor)	Mikan.Syntax.Common
opaqueId	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
OpaqueInMutual	Mikan.Syntax.Concrete.Definitions.Errors
opaqueParent	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
opaqueRange	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
opaqueUnfolding	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
opBrackets	Mikan.Syntax.Fixity
opBrackets'	Mikan.Syntax.Fixity
Open
1 (Data Constructor)	Mikan.Syntax.Concrete
2 (Data Constructor)	Mikan.Syntax.Abstract
3 (Type/Class)	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
open	Mikan.TypeChecking.Names
OpenBracket	Mikan.Syntax.Parser.Monad
openBracket	Mikan.Syntax.Parser.Monad
openBracketInterval	Mikan.Syntax.Parser.Monad
openBracketUnicode	Mikan.Syntax.Parser.Monad
OpenBranch	Mikan.Mimer.Types
OpenDoubleBrace	Mikan.Syntax.Parser.Monad
Opened	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
openedHasDir	Mikan.Syntax.Scope.Base
OpenedModule
1 (Type/Class)	Mikan.Syntax.Scope.Base
2 (Data Constructor)	Mikan.Syntax.Scope.Base
openedModule	Mikan.Syntax.Scope.Base
openedModules	Mikan.Syntax.Scope.Base
openedParent	Mikan.Syntax.Scope.Base
openedRange	Mikan.Syntax.Scope.Base
openedScope	Mikan.Syntax.Scope.Base
OpenIdiomBracket	Mikan.Syntax.Parser.Monad
OpenImportAbstract	Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions
OpenImportAbstract_	Mikan.Interaction.Options.Warnings
OpenImportPrivate	Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions
OpenImportPrivate_	Mikan.Interaction.Options.Warnings
OpenKind	Mikan.Syntax.Scope.Monad
OpenMeta	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
openMetas	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
openMetasToPostulates	Mikan.TypeChecking.MetaVars
openMetasToPostulates'	Mikan.TypeChecking.MetaVars
openModule	Mikan.Syntax.Scope.Monad
openModule_	Mikan.Syntax.Scope.Monad
OpenNotImport	Mikan.Syntax.Concrete.Definitions.Errors
OpenOrImport	Mikan.Syntax.Concrete.Definitions.Errors
OpenS	Mikan.Syntax.Abstract
OpenShortHand	Mikan.Syntax.Concrete
OpenThing	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
openThing	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
openThingCheckpoint	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
openThingCheckpointMap	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
openThingModule	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
openVerboseBracket	Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
OperatorInformation	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
OperatorScope	Mikan.Syntax.Scope.Base, Mikan.Syntax.Scope.Operator
OperatorsExpr	Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark
OperatorsPattern	Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark
OperatorType	Mikan.Syntax.Concrete.Operators.Parser
oplus	Mikan.Utils.SemiRing
opP	Mikan.Syntax.Concrete.Operators.Parser
oppositeDAG	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
oppPO	Mikan.Utils.PartialOrd
OpScope	Mikan.Syntax.Scope.Base, Mikan.Syntax.Scope.Operator
optAbsoluteIncludePaths	Mikan.Interaction.Options
optAllowExec	Mikan.Interaction.Options
optAllowIncompleteMatch	Mikan.Interaction.Options
optAllowUnsolved	Mikan.Interaction.Options
OptArg	Mikan.Utils.GetOpt, Mikan.Interaction.Options
optAutoInline	Mikan.Interaction.Options
optBacktrackingInstances	Mikan.Interaction.Options
optBuildLibrary	Mikan.Interaction.Options
optCaching	Mikan.Interaction.Options
optCallByName	Mikan.Interaction.Options
optCompileNoMain	Mikan.Interaction.Options
optCopatterns	Mikan.Interaction.Options
optCountClusters	Mikan.Interaction.Options
optDefaultLibs	Mikan.Interaction.Options
OptDescr	Mikan.Utils.GetOpt, Mikan.Interaction.Options
optDiagnosticsColour	Mikan.Interaction.Options
optDoubleCheck	Mikan.Interaction.Options
optEmacsMode	Mikan.Interaction.Options
optEta	Mikan.Interaction.Options
optExitOnError	Mikan.Interaction.Options
optExplicitHints	Mikan.Mimer.Options
optFastReduce	Mikan.Interaction.Options
optFirstOrder	Mikan.Interaction.Options
optForcing	Mikan.Interaction.Options
optGenerateVimFile	Mikan.Interaction.Options
optGHCiInteraction	Mikan.Interaction.Options
optHiddenArgumentPuns	Mikan.Interaction.Options
optHintMode	Mikan.Mimer.Options
optIgnoreAllInterfaces	Mikan.Interaction.Options
optIgnoreInterfaces	Mikan.Interaction.Options
optImportSorts	Mikan.Interaction.Options
optIncludePaths	Mikan.Interaction.Options
optInferAbsurdClauses	Mikan.Interaction.Options
optInputFile	Mikan.Interaction.Options
optInstanceSearchDepth	Mikan.Interaction.Options
optInversionMaxDepth	Mikan.Interaction.Options
Option	Mikan.Utils.GetOpt, Mikan.Interaction.Options
OptionError
1 (Data Constructor)	Mikan.Interaction.ExitCode
2 (Type/Class)	Mikan.Interaction.Options
3 (Data Constructor)	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
optionError	Mikan.Main
OptionError_	Mikan.Interaction.Options.Errors
optionGroups	Mikan.Interaction.Options
OptionRedundant	Mikan.Interaction.Options
OptionRedundant_	Mikan.Interaction.Options.Warnings
OptionRenamed	Mikan.Interaction.Options
OptionRenamed_	Mikan.Interaction.Options.Warnings
Options
1 (Type/Class)	Mikan.Interaction.JSON
2 (Data Constructor)	Mikan.Interaction.Options
3 (Type/Class)	Mikan.Mimer.Options
4 (Data Constructor)	Mikan.Mimer.Options
options	Mikan.Compiler.Backend.Base, Mikan.Compiler.Backend
optionsOnReload	Mikan.Interaction.Base
OptionsPragma
1 (Data Constructor)	Mikan.Syntax.Concrete
2 (Data Constructor)	Mikan.Syntax.Abstract
3 (Type/Class)	Mikan.Interaction.Library.Base, Mikan.Interaction.Library
4 (Data Constructor)	Mikan.Interaction.Library.Base, Mikan.Interaction.Library
optionsTrie	Mikan.Interaction.Options.BashCompletion
optionValues	Mikan.Interaction.Options.Arguments
OptionWarning
1 (Type/Class)	Mikan.Interaction.Options
2 (Data Constructor)	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
optionWarningName	Mikan.Interaction.Options
optJSONInteraction	Mikan.Interaction.Options
optKeepCoveringClauses	Mikan.Interaction.Options
optKeepPatternVariables	Mikan.Interaction.Options
optLevelUniverse	Mikan.Interaction.Options
optLibraries	Mikan.Interaction.Options
optList	Mikan.Mimer.Options
optLoadPrimitives	Mikan.Interaction.Options
OptM	Mikan.Interaction.Options
optMdOnlyAgdaBlocks	Mikan.Interaction.Options
optOccurrence	Mikan.Interaction.Options
optOnlyScopeChecking	Mikan.Interaction.Options
optOverrideDefaultsFile	Mikan.Interaction.Options
optOverrideLibrariesFile	Mikan.Interaction.Options
optParallelChecking	Mikan.Interaction.Options
optPatternMatching	Mikan.Interaction.Options
optPositivityCheck	Mikan.Interaction.Options
optPostfixProjections	Mikan.Interaction.Options
optPragmaOptions	Mikan.Interaction.Options
optPrintAppDir	Mikan.Interaction.Options
optPrintDataDir	Mikan.Interaction.Options
optPrintHelp	Mikan.Interaction.Options
optPrintOptions	Mikan.Interaction.Options
optPrintPatternSynonyms	Mikan.Interaction.Options
optPrintVersion	Mikan.Interaction.Options
optProfiling	Mikan.Interaction.Options
optProjectionLike	Mikan.Interaction.Options
optProp	Mikan.Interaction.Options
optQualifiedInstances	Mikan.Interaction.Options
optQuoteMetas	Mikan.Interaction.Options
optRequireUniqueMetaSolutions	Mikan.Interaction.Options
optSafe	Mikan.Interaction.Options
optSaveMetas	Mikan.Interaction.Options
optSetup	Mikan.Interaction.Options
optShowGeneralized	Mikan.Interaction.Options
optShowIdentitySubstitutions	Mikan.Interaction.Options
optShowImplicit	Mikan.Interaction.Options
optShowIrrelevant	Mikan.Interaction.Options
optSkip	Mikan.Mimer.Options
optTerminationCheck	Mikan.Interaction.Options
optTerminationDepth	Mikan.Interaction.Options
optTimeout	Mikan.Mimer.Options
optTraceImports	Mikan.Interaction.Options
optTransliterate	Mikan.Interaction.Options
optTrustedExecutables	Mikan.Interaction.Options
optUseLibs	Mikan.Interaction.Options
optUseUnicode	Mikan.Interaction.Options
optVerbose	Mikan.Interaction.Options
optWarningMode	Mikan.Interaction.Options
optWriteInterfaces	Mikan.Interaction.Options
or2M	Mikan.Utils.Monad
Order	Mikan.Termination.Order
OrderCandidates	Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark
orderFields	Mikan.TypeChecking.Records
orderFieldsFail	Mikan.TypeChecking.Records
orderFieldsWarn	Mikan.TypeChecking.Records
orderSemiring	Mikan.Termination.Order
Ordinal
1 (Type/Class)	Mikan.TypeChecking.Errors
2 (Data Constructor)	Mikan.TypeChecking.Errors
Ordinary	Mikan.Syntax.Concrete
orEitherM	Mikan.Utils.Monad
orEmpty	Mikan.Utils.Maybe
OrgFileType	Mikan.Syntax.Common
Origin	Mikan.Syntax.Common
origProjection	Mikan.TypeChecking.Records
orM	Mikan.Utils.Monad
orPO	Mikan.Utils.PartialOrd
osHasOps	Mikan.Syntax.Scope.Base, Mikan.Syntax.Scope.Operator
osLocals	Mikan.Syntax.Scope.Base, Mikan.Syntax.Scope.Operator
osScope	Mikan.Syntax.Scope.Base, Mikan.Syntax.Scope.Operator
ostar	Mikan.Utils.SemiRing
OTerm	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
OtherAspect	Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise
otherAspects	Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise
OtherBackend	Mikan.Interaction.Base
OtherDefName	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
OtherFlex	Mikan.TypeChecking.Rules.LHS.Problem
otherPatterns	Mikan.TypeChecking.Rules.LHS.Problem
OtherType	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
OtherV	Mikan.Syntax.Concrete.Operators.Parser
otherValue	Mikan.Utils.Graph.AdjacencyMap.Unidirectional
otimes	Mikan.Utils.SemiRing
OType	Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
OutputConstraint	Mikan.Interaction.Output
OutputConstraint'	Mikan.Interaction.Base
OutputConstraint_boot	Mikan.Interaction.Base
OutputContextEntry	Mikan.Interaction.Base
OutputForm
1 (Data Constructor)	Mikan.Interaction.Base
2 (Type/Class)	Mikan.Interaction.Output
outputFormId	Mikan.Interaction.BasicOps
OutputForm_boot	Mikan.Interaction.Base
OutputTypeName
1 (Type/Class)	Mikan.TypeChecking.InstanceArguments
2 (Data Constructor)	Mikan.TypeChecking.InstanceArguments
OutputTypeNameNotYetKnown	Mikan.TypeChecking.InstanceArguments
OutputTypeVar	Mikan.TypeChecking.InstanceArguments
OutputTypeVisiblePi	Mikan.TypeChecking.InstanceArguments
outsideLocalVars	Mikan.Syntax.Scope.Monad
over	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
over'	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
overA	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Overapplied
1 (Type/Class)	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
2 (Data Constructor)	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
overCallSites	Mikan.Utils.CallStack
OverlapMode	Mikan.Syntax.Common
Overlappable
1 (Data Constructor)	Mikan.Syntax.Common
2 (Type/Class)	Mikan.Syntax.Common
Overlapping	Mikan.Syntax.Common
overlapping	Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range
OverlappingProjects	Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
OverlappingProjects_	Mikan.Interaction.Options.Errors
overlappings	Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range
OverlappingTokensError	Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser
OverlappingTokensWarning	Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser
OverlappingTokensWarning_	Mikan.Interaction.Options.Warnings
OverlapPragma
1 (Data Constructor)	Mikan.Syntax.Concrete
2 (Data Constructor)	Mikan.Syntax.Abstract
Overlaps	Mikan.Syntax.Common
ozero	Mikan.Utils.SemiRing