Index - D
| DAG | |
| 1 (Type/Class) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| 2 (Data Constructor) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| dagComponentMap | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| dagGraph | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| dagInvariant | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| dagNodeMap | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| Data | Mikan.Syntax.Concrete |
| dataAbstr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DataBlock | Mikan.Syntax.Concrete.Definitions.Types |
| dataClause | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DataCon | Mikan.TypeChecking.Datatypes |
| dataCons | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DataConstructor | Mikan.Syntax.Reflected |
| DataDef | |
| 1 (Data Constructor) | Mikan.Syntax.Reflected |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| dataDefGeneralizedParams | Mikan.Syntax.Abstract |
| DataDefParams | |
| 1 (Type/Class) | Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| dataDefParams | Mikan.Syntax.Abstract |
| DataDefS | Mikan.Syntax.Abstract |
| dataFiles | Mikan.Setup.DataFiles |
| dataIxs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dataMutual | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DataName | |
| 1 (Data Constructor) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Types |
| DataName_ | Mikan.Interaction.Options.Errors |
| DataOrRecord | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Type/Class) | Mikan.TypeChecking.Rules.LHS |
| DataOrRecord' | Mikan.Syntax.Common |
| DataOrRecordE | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DataOrRecordModule | Mikan.Syntax.Scope.Base |
| DataOrRecord_ | Mikan.Syntax.Common |
| DataOrRecSig | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DataOrRecSigData | |
| 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 |
| DataOrRecSigDefn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dataPars | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dataPath | Mikan.Setup.DataFiles |
| dataPathCons | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dataPositivityCheck | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DataRecOrFun | Mikan.Syntax.Concrete.Definitions.Types |
| dataRecOrFunString | Mikan.Interaction.Options.Errors |
| DataRecOrFun_ | Mikan.Interaction.Options.Errors |
| datarecPars | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DataSig | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| DataSigS | Mikan.Syntax.Abstract |
| DataSort | Mikan.Interaction.Base |
| dataSort | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dataTransp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dataTranspIx | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Datatype | |
| 1 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DatatypeData | |
| 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 |
| DatatypeDefn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dbPatPerm | Mikan.Syntax.Internal.Pattern |
| dbPatPerm' | Mikan.Syntax.Internal.Pattern |
| DBPatVar | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Pattern |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Pattern |
| dbPatVarIndex | Mikan.Syntax.Internal.Pattern |
| dbPatVarName | Mikan.Syntax.Internal.Pattern |
| dbraces | |
| 1 (Function) | Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| DCon | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DDef | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DDot | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DDot' | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DeadCode | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| Deadcode | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| DeadCodeReachable | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| deadStandardOptions | Mikan.Interaction.Options |
| DeBruijn | Mikan.TypeChecking.Substitute.DeBruijn, Mikan.TypeChecking.Substitute |
| DeBruijnIndexOutOfScope | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DeBruijnIndexOutOfScope_ | Mikan.Interaction.Options.Errors |
| deBruijnNamedVar | Mikan.TypeChecking.Substitute.DeBruijn, Mikan.TypeChecking.Substitute |
| DeBruijnPattern | Mikan.Syntax.Internal.Pattern |
| deBruijnVar | Mikan.TypeChecking.Substitute.DeBruijn, Mikan.TypeChecking.Substitute |
| deBruijnView | Mikan.TypeChecking.Substitute.DeBruijn, Mikan.TypeChecking.Substitute |
| debugClause | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| debugConstraints | Mikan.TypeChecking.Constraints |
| debugPrintDecl | Mikan.TypeChecking.Rules.Decl |
| decideRecursive | Mikan.Syntax.Internal.Clause |
| Decl | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Declaration | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| DeclarationException | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| declarationException | Mikan.Syntax.Concrete.Definitions.Monad |
| DeclarationException' | Mikan.Syntax.Concrete.Definitions.Errors |
| declarationQnames | Mikan.Mimer.Monad |
| DeclarationsAfterTopLevelModule | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DeclarationsAfterTopLevelModule_ | Mikan.Interaction.Options.Errors |
| DeclarationSpine | Mikan.Syntax.Abstract |
| declarationSpine | Mikan.Syntax.Abstract |
| DeclarationWarning | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| declarationWarning | Mikan.Syntax.Concrete.Definitions.Monad |
| DeclarationWarning' | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| declarationWarning' | Mikan.Syntax.Concrete.Definitions.Monad |
| declarationWarningName | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| declarationWarningName' | Mikan.Syntax.Concrete.Definitions.Errors |
| DeclaredNames | Mikan.Syntax.Abstract.Views |
| declaredNames | Mikan.Syntax.Abstract.Views |
| DeclInfo | |
| 1 (Type/Class) | Mikan.Syntax.Info |
| 2 (Data Constructor) | Mikan.Syntax.Info |
| declName | |
| 1 (Function) | Mikan.Syntax.Concrete.Definitions.Types |
| 2 (Function) | Mikan.Syntax.Info |
| DeclNum | Mikan.Syntax.Concrete.Definitions.Types |
| declRange | Mikan.Syntax.Info |
| Decode | |
| 1 (Type/Class) | Mikan.TypeChecking.Serialise.Base |
| 2 (Data Constructor) | Mikan.TypeChecking.Serialise.Base |
| decode | |
| 1 (Function) | Mikan.Interaction.JSON |
| 2 (Function) | Mikan.TypeChecking.Serialise |
| decode' | Mikan.Interaction.JSON |
| DecodedModules | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| decodeFile | Mikan.TypeChecking.Serialise |
| decodeFileStrict | Mikan.Interaction.JSON |
| decodeFileStrict' | Mikan.Interaction.JSON |
| decodeInterface | Mikan.TypeChecking.Serialise |
| decodeStrict | Mikan.Interaction.JSON |
| decodeStrict' | Mikan.Interaction.JSON |
| decodeStrictText | Mikan.Interaction.JSON |
| decomposeInterval | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| decomposeInterval' | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| decorate | Mikan.Interaction.InteractionTop |
| Decoration | Mikan.Utils.Functor |
| Decr | Mikan.Termination.Order |
| decr | Mikan.Termination.Order |
| decrease | Mikan.Termination.Order |
| decreasing | Mikan.Termination.Order |
| deepOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| deepUnscope | Mikan.Syntax.Abstract.Views |
| deepUnscopeDecl | Mikan.Syntax.Abstract.Views |
| DeepUnscopeDecls | Mikan.Syntax.Abstract.Views |
| deepUnscopeDecls | Mikan.Syntax.Abstract.Views |
| deException | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| Def | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Reflected |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| Def' | Mikan.Syntax.Abstract |
| defAbstract | |
| 1 (Function) | Mikan.Syntax.Info |
| 2 (Function) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defAccess | Mikan.Syntax.Info |
| defApp | Mikan.TypeChecking.Substitute |
| DefArg | |
| 1 (Data Constructor) | Mikan.TypeChecking.Positivity.Occurrence |
| 2 (Data Constructor) | Mikan.TypeChecking.Positivity.Warnings |
| defArgInfo | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defArgOccurrences | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Default | Mikan.Utils.WithDefault |
| defaultAction | Mikan.TypeChecking.CheckInternal |
| defaultAddCtx | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultAddLetBinding' | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultAppInfo | Mikan.Syntax.Info |
| defaultAppInfo_ | Mikan.Syntax.Info |
| defaultArg | Mikan.Syntax.Common |
| defaultArgDom | Mikan.Syntax.Internal.Dom |
| defaultArgInfo | Mikan.Syntax.Common |
| defaultAxiom | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultBuildDoStmt | Mikan.Syntax.Parser.Helpers |
| DefaultCompute | Mikan.Interaction.Base |
| defaultCosts | Mikan.Mimer.Types |
| defaultCutOff | Mikan.Termination.CutOff, Mikan.Interaction.Options |
| defaultDefn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultDisplayForm | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultDom | Mikan.Syntax.Internal.Dom |
| defaultErrorNameString | Mikan.Interaction.Options.Errors |
| defaultFixity | Mikan.Syntax.Common |
| defaultGetConstInfo | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultGetProfileOptions | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultGetVerbosity | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultImportDir | Mikan.Syntax.Common |
| defaultInteractionOptions | Mikan.Interaction.Options |
| defaultInteractionOutputCallback | Mikan.TypeChecking.Monad.Base, Mikan.Interaction.Response, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultInteractor | Mikan.Main |
| defaultIsDebugPrinting | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultJSONKeyOptions | Mikan.Interaction.JSON |
| defaultNamedArg | Mikan.Syntax.Common |
| defaultNamedArgDom | Mikan.Syntax.Internal.Dom |
| defaultNowDebugPrinting | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultOptions | |
| 1 (Function) | Mikan.Interaction.JSON |
| 2 (Function) | Mikan.Interaction.Options.Default, Mikan.Interaction.Options |
| DefaultOverlap | Mikan.Syntax.Common |
| defaultPageGen | Mikan.Interaction.Highlighting.HTML.Base |
| defaultParseFlags | Mikan.Syntax.Parser.Monad |
| defaultPatternInfo | Mikan.Syntax.Internal.Pattern |
| defaultPragmaOptions | Mikan.Interaction.Options.Default, Mikan.Interaction.Options |
| DefaultProjectConfig | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| DefaultsFileNotFound | Mikan.Interaction.Library.Base |
| defaultTaggedObject | Mikan.Interaction.JSON |
| defaultTerEnv | Mikan.Termination.Monad |
| defaultUnderConstructor | Mikan.TypeChecking.Free.Generic |
| defaultUnderFlexRig | Mikan.TypeChecking.Free.Generic |
| defaultUnquoteFlags | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defaultWarningMode | Mikan.Interaction.Options.Warnings |
| defaultWarningSet | Mikan.Interaction.Options.Warnings |
| defBlocked | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defClauses | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defCompiled | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defCompiledRep | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defCompilerPragmas | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defConstructors | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defCopatternLHS | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defCopy | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defDisplay | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DeferredError | Mikan.TypeChecking.Errors.Deferred |
| deferredErrorTerm | Mikan.TypeChecking.Errors.Deferred |
| defFixity | Mikan.Syntax.Info |
| defForced | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defGeneralizedParams | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defineCompData | Mikan.TypeChecking.Rules.Data |
| defineConClause | Mikan.TypeChecking.Rules.Data |
| Defined | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| definedAt | Mikan.Syntax.Common.Pretty |
| DefineDataNotData | Mikan.TypeChecking.Unquote.Errors |
| DefinedName | Mikan.Syntax.Scope.Base |
| defineHCompForFields | Mikan.TypeChecking.Rules.Data |
| defineKanOperationForFields | Mikan.TypeChecking.Rules.Data |
| defineProjections | Mikan.TypeChecking.Rules.Data |
| defineTranspForFields | Mikan.TypeChecking.Rules.Data |
| defineTranspFun | Mikan.TypeChecking.Rules.Data |
| defineTranspIx | Mikan.TypeChecking.Rules.Data |
| DefInfo | |
| 1 (Data Constructor) | Mikan.Syntax.Info |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| defInfo | Mikan.Syntax.Info |
| DefInfo' | Mikan.Syntax.Info |
| definitelyNonRecursive_ | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Definition | |
| 1 (Type/Class) | Mikan.Syntax.Reflected |
| 2 (Data Constructor) | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| 3 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DefinitionBeforeDeclaration | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DefinitionBeforeDeclaration_ | Mikan.Interaction.Options.Warnings |
| DefinitionInDifferentModule | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DefinitionInDifferentModule_ | Mikan.Interaction.Options.Errors |
| Definitions | |
| 1 (Data Constructor) | Mikan.Interaction.Options.ProfileOptions |
| 2 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DefinitionSite | |
| 1 (Type/Class) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| definitionSite | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| defInjective | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defInstance | |
| 1 (Function) | Mikan.Syntax.Info |
| 2 (Function) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DefInsteadOfCon | Mikan.TypeChecking.Unquote.Errors |
| defInverse | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defIsDataOrRecord | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defIsRecord | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defMacro | Mikan.Syntax.Info |
| defMightContainMetas | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defMutual | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Defn | |
| 1 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defNameKinds | Mikan.Syntax.Scope.Base |
| defNoCompilation | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DefNode | Mikan.TypeChecking.Positivity.Occurrence, Mikan.TypeChecking.Positivity.OccurrenceAnalysis |
| defNonterminating | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defnToNameKind | Mikan.TypeChecking.Pretty |
| defOpaque | |
| 1 (Function) | Mikan.Syntax.Info |
| 2 (Function) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defOrVar | Mikan.TypeChecking.Rules.Term |
| DefP | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Pattern |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| DefParameters | Mikan.Syntax.Concrete |
| defParameters | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defParametersToParameters | Mikan.Syntax.Concrete |
| defPolarity | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DefS | Mikan.Syntax.Internal.Term |
| defSiteAnchor | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| defSiteHere | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| defSiteModule | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| defSitePos | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| defTactic | Mikan.Syntax.Info |
| defTerminationUnconfirmed | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| defType | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DelayedMerge | |
| 1 (Type/Class) | Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Interaction.Highlighting.Precise |
| delayedMergeInvariant | Mikan.Interaction.Highlighting.Precise |
| delete | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.BoolSet |
| 5 (Function) | Mikan.Utils.AssocList |
| 6 (Function) | Mikan.Utils.VarSet |
| 7 (Function) | Mikan.Utils.SmallSet |
| 8 (Function) | Mikan.Utils.Trie |
| deleteAt | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| deleteCompMeta | Mikan.Mimer.Types |
| deleteFindMax | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| deleteFindMin | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| deleteFromDT | Mikan.TypeChecking.DiscrimTree |
| deleteLeft | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| deleteMax | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| deleteMin | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| deleteP | Mikan.Utils.Permutation |
| deleteRight | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| deleteType | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| Deletion | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| delimiter | Mikan.Utils.String |
| deLocation | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| dependencySortMetas | Mikan.TypeChecking.MetaVars |
| DeprecationWarning | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DeprecationWarning_ | Mikan.Interaction.Options.Warnings |
| Deserialization | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| deserialize | Mikan.Utils.Serialize |
| deserializeHashes | Mikan.TypeChecking.Serialise |
| deserializeInterface | Mikan.TypeChecking.Serialise |
| deserializePure | Mikan.Utils.Serialize |
| desugarDoNotation | Mikan.Syntax.DoNotation |
| DEtaExpandVar | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse |
| devoid | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dfPats | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dfPatternVars | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dfRHS | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dget | Mikan.Utils.Functor |
| DiagError | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| Diagnostic | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| DiagnosticReason | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| diagnosticReason | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| DiagnosticsColours | Mikan.Interaction.Options |
| diagnosticString | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| Diagonal | Mikan.Termination.SparseMatrix |
| diagonal | |
| 1 (Function) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| 2 (Function) | Mikan.Termination.SparseMatrix |
| DiagWarning | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| Dict | |
| 1 (Type/Class) | Mikan.TypeChecking.Serialise.Base |
| 2 (Data Constructor) | Mikan.TypeChecking.Serialise.Base |
| difference | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.BoolSet |
| 5 (Function) | Mikan.Utils.VarSet |
| 6 (Function) | Mikan.Utils.SmallSet |
| differenceWith | Mikan.Utils.Map1 |
| differenceWithKey | Mikan.Utils.Map1 |
| DifferentOpaque | Mikan.Syntax.Common |
| DigestedUnifyLog | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse |
| DigestedUnifyLogEntry | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse |
| DigestedUnifyStep | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse |
| digestUnifyLog | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse |
| dimap | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dimapping | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dInfo | Mikan.Syntax.Internal.Dom |
| Direct | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DirEq | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DirGeq | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DirLeq | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dirToCmp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Dirty | |
| 1 (Type/Class) | Mikan.TypeChecking.Unquote |
| 2 (Data Constructor) | Mikan.TypeChecking.Unquote |
| dirty | Mikan.Utils.Update |
| disableDisplayForms | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DisallowedGeneralizeName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| DisallowedInterleavedMutual | Mikan.Syntax.Concrete.Definitions.Errors |
| disallowGeneralizedVars | Mikan.Syntax.Scope.Base |
| DisambiguateConstructor | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| disambiguateConstructor' | Mikan.TypeChecking.Rules.Application |
| DisambiguatedName | |
| 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 |
| DisambiguatedNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| disambiguateRecordFields | Mikan.Interaction.Highlighting.Generate |
| discrete | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| DiscrimTree | Mikan.TypeChecking.DiscrimTree.Types |
| dIsFinite | Mikan.Syntax.Internal.Dom |
| disjoint | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.VarSet |
| disjointUnion | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| disjointWord# | Mikan.Utils.Word |
| Display | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| displayDebugMessage | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DisplayForm | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| displayForm | Mikan.TypeChecking.DisplayForm |
| DisplayForms | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| displayFormsEnabled | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DisplayInfo | Mikan.Interaction.Response |
| displayInfo | Mikan.Interaction.EmacsCommand |
| DisplayInfo_boot | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| DisplayLHS | Mikan.Syntax.Common |
| DisplayPragma | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| displayRunningInfo | Mikan.Interaction.EmacsCommand |
| displayStatus | Mikan.Interaction.InteractionTop |
| DisplayTerm | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| displayVerboseInfo | Mikan.Interaction.EmacsCommand |
| display_info | Mikan.Interaction.InteractionTop |
| distinct | Mikan.Utils.List |
| distributeF | Mikan.Utils.Functor |
| dmap | Mikan.Utils.Functor |
| DoBind | Mikan.Syntax.Concrete |
| DoBlock | Mikan.Syntax.Concrete |
| Doc | |
| 1 (Type/Class) | Mikan.Syntax.Common.Pretty |
| 2 (Type/Class) | Mikan.TypeChecking.Pretty |
| doc | |
| 1 (Function) | Mikan.Utils.Parser.MemoisedCPS |
| 2 (Function) | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| doCompile | Mikan.Compiler.Common |
| doCompile' | Mikan.Compiler.Common |
| docsUrl | Mikan.Version |
| DocTree | |
| 1 (Type/Class) | Mikan.Utils.DocTree |
| 2 (Type/Class) | Mikan.Syntax.Common.Pretty |
| DoDrop | Mikan.Utils.Permutation |
| doDrop | Mikan.Utils.Permutation |
| doesFileExistCaseSensitive | Mikan.Utils.FileName |
| DoesNotCorrespondToValidModuleName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| doExpandLast | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DoGeneralize | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| doGlueKanOp | Mikan.TypeChecking.Primitive.Cubical.Glue, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| DoHComp | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| doHCompUKanOp | Mikan.TypeChecking.Primitive.Cubical.HCompU, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| DoHighlightModuleContents | Mikan.TypeChecking.Rules.Decl |
| DoLet | Mikan.Syntax.Concrete |
| Dom | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Dom |
| 2 (Type/Class) | Mikan.Syntax.Internal.Term |
| Dom' | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Dom |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Dom |
| DomainFree | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| domainFree | Mikan.TypeChecking.Rules.Term |
| DomainFull | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| Domains | Mikan.Utils.TypeLevel |
| Domains' | Mikan.Utils.TypeLevel |
| domainUniv | Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term |
| domDomInfo | Mikan.Syntax.Internal.Dom |
| domFromArg | Mikan.Syntax.Internal.Dom |
| domFromNamedArg | Mikan.Syntax.Internal.Dom |
| domFromNamedArgName | Mikan.TypeChecking.Substitute |
| domH | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| dominated | Mikan.Utils.Favorites |
| Dominates | Mikan.Utils.Favorites |
| dominator | Mikan.Utils.Favorites |
| DomInfo | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Dom |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Dom |
| domInfo | Mikan.Syntax.Internal.Dom |
| domInfoArgInfo | Mikan.Syntax.Internal.Dom |
| domInfoIsFinite | Mikan.Syntax.Internal.Dom |
| domInfoName | Mikan.Syntax.Internal.Dom |
| domInfoTactic | Mikan.Syntax.Internal.Dom |
| domIsFinite | Mikan.Syntax.Internal.Dom |
| domN | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| domNameFromNamedArgName | Mikan.TypeChecking.Substitute |
| domOfBV | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| domTactic | Mikan.Syntax.Internal.Dom |
| Done | |
| 1 (Data Constructor) | Mikan.TypeChecking.CompiledClause |
| 2 (Data Constructor) | Mikan.Interaction.Base |
| DoneDT | Mikan.TypeChecking.DiscrimTree.Types |
| Done_ | Mikan.TypeChecking.CompiledClause |
| DoNotationError | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DoNotationError_ | Mikan.Interaction.Options.Errors |
| DoNotParseSections | Mikan.Syntax.Concrete.Operators.Parser |
| dontAssignMetas | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DontCare | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| dontCare | Mikan.Syntax.Internal.Term |
| DontCutOff | Mikan.Termination.CutOff |
| DontExpand | |
| 1 (Type/Class) | Mikan.Utils.ExpandCase |
| 2 (Data Constructor) | Mikan.Utils.ExpandCase |
| DontExpandLast | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dontExpandLast | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dontFoldLetBindings | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DontHightlightModuleContents | Mikan.TypeChecking.Rules.Decl |
| DontKnow | Mikan.TypeChecking.Patterns.Match |
| DontOpen | Mikan.Syntax.Concrete |
| DontReduceDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DontRunMetaOccursCheck | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DontRunRecordPatternTranslation | Mikan.TypeChecking.CompiledClause.Compile |
| DontWakeUp | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| DoOpen | Mikan.Syntax.Concrete |
| doPathPKanOp | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| doPiKanOp | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| DoQuoteTerm | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| doQuoteTerm | Mikan.TypeChecking.Rules.Term |
| DoStmt | Mikan.Syntax.Concrete |
| Dot | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| 3 (Data Constructor) | Mikan.TypeChecking.Rules.LHS.Problem |
| dot | Mikan.Syntax.Common.Pretty |
| dotBackend | Mikan.Interaction.Highlighting.Dot.Backend, Mikan.Interaction.Highlighting.Dot |
| DotFlex | Mikan.TypeChecking.Rules.LHS.Problem |
| DotGraph | Mikan.Interaction.Highlighting.Dot.Base |
| DoThen | Mikan.Syntax.Concrete |
| DotNetTime | |
| 1 (Type/Class) | Mikan.Interaction.JSON |
| 2 (Data Constructor) | Mikan.Interaction.JSON |
| DotP | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Pattern |
| 2 (Data Constructor) | Mikan.Syntax.Reflected |
| 3 (Data Constructor) | Mikan.Syntax.Concrete |
| 4 (Data Constructor) | Mikan.Syntax.Abstract |
| dotP | Mikan.Syntax.Internal.Pattern |
| DotPattern | Mikan.TypeChecking.Rules.LHS.Problem |
| DotPatternCtx | Mikan.Syntax.Fixity |
| DotPatternInPatternSynonym | Mikan.Syntax.Scope.Errors |
| DotPatternInPatternSynonym_ | Mikan.Interaction.Options.Errors |
| dotPatterns | Mikan.TypeChecking.Rules.LHS.Problem |
| dotPatternsToPatterns | Mikan.TypeChecking.Patterns.Internal |
| DoTransp | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| DottedPattern | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| double | Mikan.Syntax.Common.Pretty |
| doubleA | Mikan.TypeChecking.Serialise.Base |
| doubleACos | Mikan.Utils.Float |
| doubleACosh | Mikan.Utils.Float |
| doubleASin | Mikan.Utils.Float |
| doubleASinh | Mikan.Utils.Float |
| doubleATan | Mikan.Utils.Float |
| doubleATan2 | Mikan.Utils.Float |
| doubleATanh | Mikan.Utils.Float |
| doubleC | Mikan.TypeChecking.Serialise.Base |
| doubleCeiling | Mikan.Utils.Float |
| doubleCos | Mikan.Utils.Float |
| doubleCosh | Mikan.Utils.Float |
| doubleD | Mikan.TypeChecking.Serialise.Base |
| doubleDecode | Mikan.Utils.Float |
| doubleDenotEq | Mikan.Utils.Float |
| doubleDenotOrd | Mikan.Utils.Float |
| doubleDiv | Mikan.Utils.Float |
| doubleEncode | Mikan.Utils.Float |
| doubleEq | Mikan.Utils.Float |
| doubleExp | Mikan.Utils.Float |
| doubleFloor | Mikan.Utils.Float |
| doubleLe | Mikan.Utils.Float |
| doubleLog | Mikan.Utils.Float |
| doubleLt | Mikan.Utils.Float |
| doubleMinus | Mikan.Utils.Float |
| doubleNegate | Mikan.Utils.Float |
| doublePlus | Mikan.Utils.Float |
| doublePow | Mikan.Utils.Float |
| doubleQuotes | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| doubleRound | Mikan.Utils.Float |
| doubleSin | Mikan.Utils.Float |
| doubleSinh | Mikan.Utils.Float |
| doubleSqrt | Mikan.Utils.Float |
| doubleTan | Mikan.Utils.Float |
| doubleTanh | Mikan.Utils.Float |
| doubleTimes | Mikan.Utils.Float |
| doubleToRatio | Mikan.Utils.Float |
| doubleToWord64 | Mikan.Utils.Float |
| DoWarn | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Fixity |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Fixity |
| downFrom | Mikan.Utils.List |
| Drop | |
| 1 (Type/Class) | Mikan.Utils.Permutation |
| 2 (Data Constructor) | Mikan.Utils.Permutation |
| drop | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.Set |
| 3 (Function) | Mikan.Utils.Set1 |
| 4 (Function) | Mikan.Utils.Map1 |
| 5 (Function) | Mikan.Utils.ListInf |
| dropAgdaExtension | Mikan.Interaction.FindFile |
| DropArgs | Mikan.TypeChecking.DropArgs |
| dropArgs | Mikan.TypeChecking.DropArgs |
| dropAt | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| dropCommon | Mikan.Utils.List |
| dropConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dropDecodedModule | Mikan.TypeChecking.Monad.Imports, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dropEnd | Mikan.Utils.List |
| dropEndTelescope | Mikan.TypeChecking.Telescope |
| dropFrom | |
| 1 (Function) | Mikan.Utils.List |
| 2 (Function) | Mikan.Utils.Permutation |
| dropMore | Mikan.Utils.Permutation |
| dropN | Mikan.Utils.Permutation |
| dropParameters | Mikan.TypeChecking.ReconstructParameters |
| droppedP | Mikan.Utils.Permutation |
| droppedPars | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dropping | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dropS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| dropTopLevelModule | Mikan.TypeChecking.Errors |
| dropWhile | Mikan.Utils.List1 |
| dropWhileAntitone | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| dropWhileEndM | Mikan.Utils.Monad |
| dropWhileM | Mikan.Utils.Monad |
| DSolution | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse |
| dTactic | Mikan.Syntax.Internal.Dom |
| DTerm | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DTerm' | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dumbUnifier | Mikan.Mimer.Monad |
| Dummy | Mikan.Syntax.Internal.Term |
| DummyBrave | Mikan.Syntax.Internal.Term |
| DummyDisplay | Mikan.Syntax.Internal.Term |
| DummyNamed | Mikan.Syntax.Internal.Term |
| DummyS | Mikan.Syntax.Internal.Term |
| DummyTermKind | Mikan.Syntax.Internal.Term |
| DUnificationStep | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse |
| DuplicateAnonDeclaration | Mikan.Syntax.Concrete.Definitions.Errors |
| DuplicateBuiltinBinding | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DuplicateBuiltinBinding_ | Mikan.Interaction.Options.Errors |
| DuplicateConstructors | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DuplicateConstructors_ | Mikan.Interaction.Options.Errors |
| DuplicateDefinition | Mikan.Syntax.Concrete.Definitions.Errors |
| DuplicateExecutable | Mikan.Interaction.Library.Base |
| DuplicateFields | |
| 1 (Data Constructor) | Mikan.TypeChecking.Monad.Base.Warning |
| 2 (Data Constructor) | Mikan.Interaction.Library.Base |
| 3 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DuplicateFields_ | |
| 1 (Data Constructor) | Mikan.Interaction.Options.Warnings |
| 2 (Data Constructor) | Mikan.Interaction.Options.Errors |
| DuplicateImports | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DuplicateImports_ | Mikan.Interaction.Options.Errors |
| DuplicateOverlapPragma | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DuplicateOverlapPragma_ | Mikan.Interaction.Options.Errors |
| DuplicatePrimitiveBinding | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DuplicatePrimitiveBinding_ | Mikan.Interaction.Options.Errors |
| DuplicateRecordDirective | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DuplicateRecordDirective_ | Mikan.Interaction.Options.Warnings |
| duplicates | Mikan.Utils.List |
| DuplicateUsing | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| DuplicateUsing_ | Mikan.Interaction.Options.Warnings |
| DWithApp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| dwLocation | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| dwWarning | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |