| N0 | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N1 | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N1# | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N2 | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N2# | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N3 | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N3# | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N4 | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N4# | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N5 | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N5# | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N6 | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| N6# | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| NakedUnquote | Mikan.TypeChecking.Unquote.Errors |
| Name | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Type/Class) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| 3 (Data Constructor) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| 4 (Type/Class) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| 5 (Data Constructor) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| nameBindingSite | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| nameC | Mikan.TypeChecking.Serialise.Base |
| nameCanonical | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| nameConcrete | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| Named | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Common |
| nameD | Mikan.TypeChecking.Serialise.Base |
| named | Mikan.Syntax.Common |
| NamedArg | Mikan.Syntax.Common |
| namedArg | Mikan.Syntax.Common |
| namedArgFromDom | Mikan.Syntax.Internal.Dom |
| namedArgName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| NamedArgs | Mikan.Syntax.Internal.Term |
| NamedArgs1 | Mikan.Syntax.Internal.Term |
| nameDataGeneralizedVars | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| nameDataIsInstance | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| NamedBinding | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Pretty |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Pretty |
| namedBinding | Mikan.Syntax.Concrete.Pretty |
| namedBindsToTel | Mikan.TypeChecking.Substitute |
| namedBindsToTel1 | Mikan.TypeChecking.Substitute |
| NamedClause | |
| 1 (Type/Class) | Mikan.Syntax.Translation.InternalToAbstract |
| 2 (Data Constructor) | Mikan.Syntax.Translation.InternalToAbstract |
| namedClausePats | Mikan.Syntax.Internal.Clause |
| namedDBVarP | Mikan.Syntax.Internal.Pattern |
| NamedMeta | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| namedMetaOf | Mikan.Interaction.BasicOps, Mikan.Interaction.EmacsTop |
| NamedName | Mikan.Syntax.Common |
| NamedRecCon | Mikan.Syntax.Abstract |
| namedSame | Mikan.Syntax.Common |
| namedTelVars | Mikan.TypeChecking.Substitute |
| namedThing | Mikan.Syntax.Common |
| namedVarP | Mikan.Syntax.Internal.Pattern |
| Named_ | Mikan.Syntax.Common |
| nameFieldA | Mikan.Syntax.Concrete |
| nameFixity | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| NameId | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Common |
| nameId | |
| 1 (Function) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| NameIdR | |
| 1 (Type/Class) | Mikan.TypeChecking.Serialise.Base |
| 2 (Data Constructor) | Mikan.TypeChecking.Serialise.Base |
| nameIdR | Mikan.TypeChecking.Serialise.Base |
| NameInScope | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| nameInScope | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| nameIsRecordName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| NameKind | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| NameKinds | Mikan.Interaction.Highlighting.FromAbstract |
| NameMap | Mikan.Syntax.Scope.Base |
| NameMapEntry | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Base |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Base |
| NameMetadata | |
| 1 (Type/Class) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| nameNameParts | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| NameNotModule | Mikan.Syntax.Scope.Base |
| NameOf | Mikan.Syntax.Common, Mikan.Syntax.Common |
| nameOf | Mikan.Syntax.Common |
| nameOfBV | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| nameOfBV' | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| nameOfHComp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| nameOfTransp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| nameOfUniv | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NameOrModule | Mikan.Syntax.Scope.Base |
| NamePart | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.TypeChecking.Unquote |
| NameParts | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| nameParts | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| NamePartsInScope | Mikan.Syntax.Scope.Base |
| nameRange | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| NameResolutionError | Mikan.Syntax.Scope.Base |
| nameRoot | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| Names | Mikan.TypeChecking.Names |
| namesAndMetasIn | Mikan.Syntax.Internal.Names |
| namesAndMetasIn' | Mikan.Syntax.Internal.Names |
| NamesIn | Mikan.Syntax.Internal.Names |
| namesIn | Mikan.Syntax.Internal.Names |
| namesIn' | Mikan.Syntax.Internal.Names |
| NamesInScope | Mikan.Syntax.Scope.Base |
| namesInScope | Mikan.Syntax.Scope.Base |
| NameSpace | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Base |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Base |
| nameSpaceAccess | Mikan.Syntax.Scope.Base |
| NameSpaceId | Mikan.Syntax.Scope.Base |
| NamesT | |
| 1 (Type/Class) | Mikan.TypeChecking.Names |
| 2 (Data Constructor) | Mikan.TypeChecking.Names |
| namesToNotation | Mikan.Syntax.Notation |
| nameStringParts | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| nameSuffix | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| nameSuffixView | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| NameTag | Mikan.Syntax.Scope.Base |
| nameToArgName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| NameToExpr | Mikan.Syntax.Abstract |
| nameToExpr | Mikan.Syntax.Abstract |
| nameToPatVarName | Mikan.Syntax.Internal.Pattern |
| nameToRawName | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| NAP | Mikan.Syntax.Abstract.Pattern |
| NAPs | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Pattern |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| NAPs1 | Mikan.Syntax.Abstract |
| Nat | |
| 1 (Type/Class) | Mikan.Utils.TypeLevel |
| 2 (Type/Class) | Mikan.Syntax.Common |
| 3 (Type/Class) | Mikan.TypeChecking.Primitive |
| 4 (Data Constructor) | Mikan.TypeChecking.Primitive |
| Nat1 | Mikan.Syntax.Common |
| natSize | Mikan.Utils.Size |
| nceConstraints | Mikan.TypeChecking.Constraints |
| NeedOptionAllowExec | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NeedOptionAllowExec_ | Mikan.Interaction.Options.Errors |
| NeedOptionCopatterns | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NeedOptionCopatterns_ | Mikan.Interaction.Options.Errors |
| NeedOptionCubical_ | Mikan.Interaction.Options.Errors |
| NeedOptionPatternMatching | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NeedOptionPatternMatching_ | Mikan.Interaction.Options.Errors |
| NeedOptionProp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NeedOptionProp_ | Mikan.Interaction.Options.Errors |
| NegativeLiteralInPattern | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NegativeLiteralInPattern_ | Mikan.Interaction.Options.Errors |
| NegativeUnification | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| negativeUnificationErrorNameString | Mikan.Interaction.Options.Errors |
| NegativeUnification_ | Mikan.Interaction.Options.Errors |
| neighbours | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| neighboursMap | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| NEMap | Mikan.Utils.Map1 |
| NESet | Mikan.Utils.Set1 |
| nest | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| nestedComment | Mikan.Syntax.Parser.Comments |
| NeutralArg | Mikan.TypeChecking.MetaVars |
| NeverColour | Mikan.Interaction.Options |
| NeverProjection | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| neverUnblock | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| new | |
| 1 (Function) | Mikan.Utils.CompactRegion |
| 2 (Function) | Mikan.Utils.MinimalArray.MutablePrim |
| 3 (Function) | Mikan.Utils.MinimalArray.MutableLifted |
| 4 (Function) | Mikan.Utils.HashSet.Ordered |
| newAtomic | Mikan.Utils.Atomic |
| newComponent | Mikan.Mimer.Monad |
| newComponentQ | Mikan.Mimer.Monad |
| newInstanceMeta | Mikan.TypeChecking.MetaVars |
| newInstanceMetaCtx | Mikan.TypeChecking.MetaVars |
| newInteractionMetaArg | Mikan.TypeChecking.Implicit |
| newIntVar# | Mikan.Utils.IntVar |
| newIORef | Mikan.Utils.IORef.Strict |
| newLayoutBlock | Mikan.Syntax.Parser.Layout |
| newLevelMeta | Mikan.TypeChecking.MetaVars |
| newMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| newMeta' | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| newMetaArg | Mikan.TypeChecking.Implicit |
| newMetaTCM' | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| newNamedValueMeta | Mikan.TypeChecking.MetaVars |
| newNamedValueMeta' | Mikan.TypeChecking.MetaVars |
| NewNotation | |
| 1 (Type/Class) | Mikan.Syntax.Notation |
| 2 (Data Constructor) | Mikan.Syntax.Notation |
| newOptionName | Mikan.Interaction.Options |
| newProblem | Mikan.TypeChecking.Constraints |
| newProblemDontWake_ | Mikan.TypeChecking.Constraints |
| newProblem_ | Mikan.TypeChecking.Constraints |
| newQuestionMark | Mikan.TypeChecking.MetaVars |
| newQuestionMark' | Mikan.TypeChecking.MetaVars |
| newRecordMeta | Mikan.TypeChecking.MetaVars |
| newRecordMetaCtx | Mikan.TypeChecking.MetaVars |
| newScopeCopyRef | Mikan.Syntax.Scope.Trimming |
| newSection | Mikan.TypeChecking.Rules.Def |
| newSortMeta | Mikan.TypeChecking.MetaVars |
| newSortMetaCtx | Mikan.TypeChecking.MetaVars |
| newTelMeta | Mikan.TypeChecking.MetaVars |
| newTelMetaCtx | Mikan.TypeChecking.MetaVars |
| newTelMetaCtxSubst | Mikan.TypeChecking.MetaVars |
| newTelMetaSubst | Mikan.TypeChecking.MetaVars |
| newTypeMeta | Mikan.TypeChecking.MetaVars |
| newTypeMeta' | Mikan.TypeChecking.MetaVars |
| newTypeMeta_ | Mikan.TypeChecking.MetaVars |
| newValueMeta | Mikan.TypeChecking.MetaVars |
| newValueMeta' | Mikan.TypeChecking.MetaVars |
| newValueMetaCtx | Mikan.TypeChecking.MetaVars |
| newValueMetaCtx' | Mikan.TypeChecking.MetaVars |
| newValueMetaOfKind | Mikan.TypeChecking.MetaVars |
| nextChar | Mikan.Syntax.Parser.LookAhead |
| nextFileId | Mikan.Utils.FileId |
| nextFresh | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| nextFresh' | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| nextGoal | Mikan.Mimer.Types |
| nextHole | Mikan.Utils.Zipper |
| nextIsForced | Mikan.TypeChecking.Forcing |
| nextLocalMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| nextName | |
| 1 (Function) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| nextNameId | Mikan.Syntax.Concrete.Definitions.Monad |
| nextPolarity | Mikan.TypeChecking.Polarity |
| nextRawName | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| nextSplit | Mikan.TypeChecking.CompiledClause.Compile |
| nextSuffix | Mikan.Utils.Suffix |
| Nice | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Definitions.Monad, Mikan.Syntax.Concrete.Definitions |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Monad |
| NiceConstructor | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceDataDef | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceDataSig | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceDeclaration | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| niceDeclarations | Mikan.Syntax.Concrete.Definitions |
| NiceEnv | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Definitions.Monad, Mikan.Syntax.Concrete.Definitions |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Monad, Mikan.Syntax.Concrete.Definitions |
| NiceField | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceFunClause | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceGeneralize | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| niceHasAbstract | Mikan.Syntax.Concrete.Definitions |
| NiceImport | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceLoneConstructor | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceModule | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceModuleMacro | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceMutual | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceOpaque | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceOpen | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NicePatternSyn | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NicePragma | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceRecDef | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceRecSig | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceState | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Definitions.Monad |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Monad |
| NiceTypeSignature | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceUnquoteData | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceUnquoteDecl | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| NiceUnquoteDef | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| niceWarn | Mikan.Syntax.Concrete.Definitions.Monad |
| niceWarning | Mikan.Syntax.Concrete.Definitions.Monad |
| NiceWarnings | Mikan.Syntax.Concrete.Definitions.Monad |
| nidBindingSite | Mikan.TypeChecking.Serialise.Base |
| nidNameId | Mikan.TypeChecking.Serialise.Base |
| Nil | |
| 1 (Data Constructor) | Mikan.Utils.IndexedList |
| 2 (Data Constructor) | Mikan.TypeChecking.Serialise.Instances.General |
| 3 (Data Constructor) | Mikan.TypeChecking.Serialise.Instances.Highlighting |
| nilListT | Mikan.Utils.ListT |
| NK | Mikan.Syntax.Concrete.Operators.Parser |
| nmid | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| nmSuggestion | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| No | |
| 1 (Data Constructor) | Mikan.TypeChecking.Patterns.Match |
| 2 (Data Constructor) | Mikan.TypeChecking.Coverage.Match |
| NoAbs | Mikan.Syntax.Internal.Dom |
| noabsApp | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| NoActionForInteractionPoint | Mikan.Interaction.Errors |
| NoApp | Mikan.TypeChecking.EtaContract |
| NoArg | Mikan.Utils.GetOpt, Mikan.Interaction.Options |
| noAug | Mikan.Termination.CallMatrix |
| NoAxiom | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoBindingForBuiltin | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoBindingForBuiltin_ | Mikan.Interaction.Options.Errors |
| NoBindingForPrimitive | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoBindingForPrimitive_ | Mikan.Interaction.Options.Errors |
| NoCatchall | Mikan.Syntax.Common |
| noCompiledRep | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| noConPatternInfo | Mikan.Syntax.Internal.Pattern |
| noConstraints | Mikan.TypeChecking.Constraints |
| noConstraints' | Mikan.TypeChecking.Constraints |
| NoConstraintsError | |
| 1 (Type/Class) | Mikan.TypeChecking.Constraints |
| 2 (Data Constructor) | Mikan.TypeChecking.Constraints |
| noCost | Mikan.Mimer.Types |
| NoCoverageCheck | Mikan.Syntax.Common |
| NoCoverageCheckPragma | Mikan.Syntax.Concrete |
| NoCubical | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse, Mikan.TypeChecking.Rules.LHS.Unify |
| noDataDefParams | Mikan.Syntax.Abstract |
| Node | |
| 1 (Data Constructor) | Mikan.Utils.DocTree |
| 2 (Type/Class) | Mikan.TypeChecking.Serialise.Node, Mikan.TypeChecking.Serialise.Base |
| 3 (Type/Class) | Mikan.Termination.CallGraph |
| 4 (Type/Class) | Mikan.TypeChecking.Positivity.Occurrence, Mikan.TypeChecking.Positivity.OccurrenceAnalysis |
| nodeA | Mikan.TypeChecking.Serialise.Base |
| nodeC | Mikan.TypeChecking.Serialise.Base |
| nodeD | Mikan.TypeChecking.Serialise.Base |
| NodeK | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| nodeMemo | Mikan.TypeChecking.Serialise.Base |
| Nodes | |
| 1 (Type/Class) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| 2 (Data Constructor) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| nodes | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| NoDisplayLHS | Mikan.Syntax.Common |
| noDotOrEqPattern | Mikan.Syntax.Abstract.Pattern |
| NoEllipsis | Mikan.Syntax.Common |
| NoEta | Mikan.Syntax.Common |
| noFixity | Mikan.Syntax.Common |
| noFixity' | Mikan.Syntax.Common |
| noFreeVariables | Mikan.Syntax.Common |
| NoGeneralize | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| noGeneralizedVarsIfLetOpen | Mikan.Syntax.Scope.Monad |
| NoHighlighting | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoHints | Mikan.Mimer.Options |
| NoInfo | Mikan.TypeChecking.Coverage.SplitClause |
| NoInsertNeeded | Mikan.TypeChecking.Implicit |
| NoInv | Mikan.TypeChecking.Injectivity |
| NoKnownRecordWithSuchFields | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoKnownRecordWithSuchFields_ | Mikan.Interaction.Options.Errors |
| nolam | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| NoLeftInv | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse, Mikan.TypeChecking.Rules.LHS.Unify |
| noLoneSigs | Mikan.Syntax.Concrete.Definitions.Monad |
| NoMain | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoMain_ | Mikan.Interaction.Options.Warnings |
| noMetadata | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| noMetas | Mikan.Syntax.Internal.MetaVars |
| noModuleName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| noModuleNameHash | Mikan.Syntax.TopLevelModuleName.Boot, Mikan.Syntax.Common, Mikan.Syntax.TopLevelModuleName |
| noMutualBlock | Mikan.TypeChecking.Monad.Mutual, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Non | Mikan.Syntax.Concrete.Operators.Parser |
| non | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| non' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoName | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| noName | |
| 1 (Function) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Mimer.Types |
| noName_ | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| NonAssoc | Mikan.Syntax.Common |
| NonCanonical | Mikan.TypeChecking.Unquote.Errors |
| nonConstraining | Mikan.TypeChecking.Constraints |
| None | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NonEmpty | Mikan.Utils.List1 |
| nonEmpty | Mikan.Utils.List1 |
| nonEmptyMap | Mikan.Utils.Map1 |
| nonEmptySet | Mikan.Utils.Set1 |
| NonFatalErrors | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| nonFatalErrors | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Warnings, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NonFatalErrors_ | Mikan.Interaction.Options.Errors |
| NonfixK | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| NonfixNotation | Mikan.Syntax.Notation |
| nonFreeVars | Mikan.TypeChecking.Free.Reduce |
| nonIncreasing | Mikan.Termination.Order |
| NonInteractive | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NonLazy | Mikan.TypeChecking.Patterns.Match |
| NonLocalWhere | Mikan.Syntax.Concrete |
| NonLocalWhereModuleInRefinedContext | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NonLocalWhereModuleInRefinedContext_ | Mikan.Interaction.Options.Errors |
| NonLocalWhere_ | Mikan.Syntax.Concrete |
| NoNoError | Mikan.Interaction.Options.Warnings |
| NoNotation | Mikan.Syntax.Notation |
| noNotation | Mikan.Syntax.Common |
| nonRecursiveRecord | Mikan.TypeChecking.Records |
| NonTerminating | Mikan.Syntax.Common |
| NonTerminatingReductions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Nonvariant | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoOpaque | Mikan.Syntax.Common |
| NoOutputTypeName | Mikan.TypeChecking.InstanceArguments |
| NoOverlap | Mikan.Syntax.Common |
| NoParameterOfName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoParameterOfName_ | Mikan.Interaction.Options.Errors |
| NoParseForApplication | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoParseForApplication_ | Mikan.Interaction.Options.Errors |
| NoParseForLHS | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoParseForLHS_ | Mikan.Interaction.Options.Errors |
| NoPlaceholder | Mikan.Syntax.Common |
| noPlaceholder | Mikan.Syntax.Common |
| NoPositivityCheck | Mikan.Syntax.Common |
| NoPositivityCheckPragma | Mikan.Syntax.Concrete |
| NoPragmaFor | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoPragmaFor_ | Mikan.Interaction.Options.Errors |
| noProblemRest | Mikan.TypeChecking.Rules.LHS.ProblemRest |
| noProfileOptions | Mikan.Interaction.Options.ProfileOptions |
| NoProjectedVar | Mikan.TypeChecking.MetaVars |
| noProjectedVar | Mikan.TypeChecking.MetaVars |
| NoProjection | Mikan.TypeChecking.ProjectionLike |
| NoRange | Mikan.Syntax.Position |
| noRange | Mikan.Syntax.Position |
| NoReduction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| normal | Mikan.Syntax.Parser.Lexer |
| normalForm | Mikan.Interaction.BasicOps |
| NormalFunSubst | Mikan.TypeChecking.Rules.LHS |
| Normalise | Mikan.TypeChecking.Reduce |
| normalise | Mikan.TypeChecking.Reduce |
| normalise' | Mikan.TypeChecking.Reduce |
| Normalised | Mikan.Interaction.Base |
| NormaliseProjP | Mikan.TypeChecking.Records |
| normaliseProjP | Mikan.TypeChecking.Records, Mikan.TypeChecking.Coverage |
| normaliseSolution | Mikan.Mimer.Monad |
| normalMetaPriority | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| noSection | Mikan.Syntax.Notation |
| NoSimplification | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoSolution | Mikan.Mimer.Types |
| NoSubst | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Term |
| NoSuchBuiltinName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoSuchBuiltinName_ | Mikan.Interaction.Options.Errors |
| NoSuchInteractionPoint | Mikan.Interaction.Errors |
| NoSuchModule | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoSuchModule_ | Mikan.Interaction.Options.Errors |
| NoSuchName | Mikan.TypeChecking.Implicit |
| NoSuchPrimitiveFunction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoSuchPrimitiveFunction_ | Mikan.Interaction.Options.Errors |
| NoSuffix | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| Not | Mikan.Utils.TypeLevel |
| not | Mikan.Utils.Boolean |
| not' | |
| 1 (Function) | Mikan.Utils.WithDefault |
| 2 (Function) | Mikan.Syntax.Parser.Alex |
| NotADatatype | Mikan.TypeChecking.Coverage.Errors |
| NotADatatype_ | Mikan.Interaction.Options.Errors |
| NotAffectedByOpaque | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotAffectedByOpaque_ | Mikan.Interaction.Options.Warnings |
| notaFixity | Mikan.Syntax.Notation |
| notAHaskellTypeErrorName | Mikan.TypeChecking.Errors.Names |
| notAHaskellTypeErrorNameString | Mikan.Interaction.Options.Errors |
| NotAHaskellType_ | Mikan.Interaction.Options.Errors |
| notaIsOperator | Mikan.Syntax.Notation |
| noTakenNames | Mikan.Syntax.Translation.AbstractToConcrete |
| NotAllowedInDotPatterns | |
| 1 (Type/Class) | Mikan.Interaction.Options.Errors, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| notAllowedInDotPatternsString | Mikan.Interaction.Options.Errors |
| NotAllowedInDotPatterns_ | Mikan.Interaction.Options.Errors |
| NotAllowedInMutual | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| NotAllowedInMutual_ | Mikan.Interaction.Options.Warnings |
| NotAmbiguous | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| notaName | Mikan.Syntax.Notation |
| notaNames | Mikan.Syntax.Notation |
| NotAnExpression | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotAnExpression_ | Mikan.Interaction.Options.Errors |
| Notation | Mikan.Syntax.Common |
| notation | Mikan.Syntax.Notation |
| NotationKind | Mikan.Syntax.Notation |
| notationKind | Mikan.Syntax.Notation |
| notationNames | Mikan.Syntax.Notation |
| NotationPart | Mikan.Syntax.Common |
| NotationSection | |
| 1 (Type/Class) | Mikan.Syntax.Notation |
| 2 (Data Constructor) | Mikan.Syntax.Notation |
| NotAValidLetBinding | |
| 1 (Type/Class) | Mikan.Interaction.Options.Errors, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| notAValidLetBindingString | Mikan.Interaction.Options.Errors |
| NotAValidLetBinding_ | Mikan.Interaction.Options.Errors |
| NotAValidLetExpression | |
| 1 (Type/Class) | Mikan.Interaction.Options.Errors, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| notAValidLetExpressionString | Mikan.Interaction.Options.Errors |
| NotAValidLetExpression_ | Mikan.Interaction.Options.Errors |
| NotAValidLetPattern | Mikan.Interaction.Options.Errors, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotBlocked | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| 2 (Type/Class) | Mikan.Syntax.Internal.Term |
| notBlocked | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| NotBlocked' | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| NotBlockedOnResult | Mikan.TypeChecking.Coverage.Match |
| notBlocked_ | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| NotCheckedTarget | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotCompiled | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotCompiled_ | Mikan.Interaction.Options.Errors |
| notDominated | Mikan.Utils.Favorites |
| note | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| NoTerminationCheck | Mikan.Syntax.Common |
| NotForced | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotFound | Mikan.Interaction.FindFile |
| NotFree | Mikan.TypeChecking.Free.Reduce |
| NotHidden | Mikan.Syntax.Common |
| Nothing | |
| 1 (Data Constructor) | Mikan.Utils.Maybe |
| 2 (Data Constructor) | Mikan.Utils.Maybe.Strict |
| Nothing# | Mikan.Utils.Maybe.Unboxable |
| NothingToPrune | Mikan.TypeChecking.MetaVars.Occurs |
| NotInjective | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotInMutual | Mikan.Syntax.Concrete.Definitions.Types |
| NotInScope | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| notInScopeError | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotInScopeW | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| notInScopeWarning | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotInScope_ | |
| 1 (Data Constructor) | Mikan.Interaction.Options.Warnings |
| 2 (Data Constructor) | Mikan.Interaction.Options.Errors |
| NotInstanceDef | Mikan.Syntax.Common |
| NotLeqSort | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotLeqSort_ | Mikan.Interaction.Options.Errors |
| NotMacroDef | Mikan.Syntax.Common |
| NotMain | Mikan.Syntax.Common, Mikan.Compiler.Common, Mikan.Compiler.Backend |
| NotMainInterface | Mikan.Interaction.Imports |
| notMember | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.BoolSet |
| 5 (Function) | Mikan.Utils.SmallSet |
| NotOnlyTokenBased | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| NotOverapplied | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotProjectionLikePragma | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| NotRecursive | Mikan.Syntax.Internal.Clause |
| NotReduced | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| notReduced | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| notShadowedLocal | Mikan.Syntax.Scope.Base |
| notShadowedLocals | Mikan.Syntax.Scope.Base |
| notSoNiceDeclarations | Mikan.Syntax.Concrete.Definitions |
| NotStrictlyPositive | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotStrictlyPositive_ | Mikan.Interaction.Options.Warnings |
| notUnderOpaque | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotValidBeforeField | Mikan.Syntax.Scope.Errors |
| NotValidBeforeField_ | Mikan.Interaction.Options.Errors |
| notVisible | Mikan.Syntax.Common |
| NotWithFunction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NotWorse | Mikan.Termination.Order |
| notWorse | Mikan.Termination.Order |
| NoUnify | Mikan.TypeChecking.Rules.LHS.Unify |
| NoUniverseCheck | Mikan.Syntax.Common |
| NoUniverseCheckPragma | Mikan.Syntax.Concrete |
| NoUnusedImportsAll | Mikan.Interaction.Options.Warnings |
| NoWarn | Mikan.Syntax.Concrete.Fixity |
| noWarnings | Mikan.Interaction.Options.Warnings |
| nowConversionChecking | Mikan.TypeChecking.Conversion.Errors |
| nowConversionChecking' | Mikan.TypeChecking.Conversion.Errors |
| nowDebugPrinting | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NoWhere | Mikan.Syntax.Concrete |
| NoWhere_ | Mikan.Syntax.Concrete |
| NoWithFunction | Mikan.TypeChecking.Rules.Def |
| nowSolvingConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| nPi | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| nPi' | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| nsInScope | Mikan.Syntax.Scope.Base |
| nsModules | Mikan.Syntax.Scope.Base |
| nsNameParts | Mikan.Syntax.Scope.Base |
| nsNames | Mikan.Syntax.Scope.Base |
| nub | Mikan.Utils.List1 |
| nubAndDuplicatesOn | Mikan.Utils.List |
| nubBy | Mikan.Utils.List1 |
| nubFavouriteOn | Mikan.Utils.List |
| nubM | |
| 1 (Function) | Mikan.Utils.List |
| 2 (Function) | Mikan.Utils.List1 |
| nubOn | Mikan.Utils.List |
| Null | |
| 1 (Data Constructor) | Mikan.Interaction.JSON |
| 2 (Type/Class) | Mikan.Utils.Null |
| null | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.BoolSet |
| 3 (Function) | Mikan.Utils.VarSet |
| 4 (Function) | Mikan.Utils.Null |
| 5 (Function) | Mikan.Utils.SmallSet |
| Number | |
| 1 (Data Constructor) | Mikan.Interaction.JSON |
| 2 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| numberOfWithPatterns | Mikan.Syntax.Concrete.Pattern |
| NumGeneralizableArgs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| NumHoles | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| numHoles | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |