Index - L
| L | |
| 1 (Data Constructor) | Mikan.Interaction.Emacs.Lisp |
| 2 (Data Constructor) | Mikan.Mimer.Options |
| label | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| Lam | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Reflected |
| 3 (Data Constructor) | Mikan.Syntax.Concrete |
| 4 (Data Constructor) | Mikan.Syntax.Abstract |
| lam | Mikan.TypeChecking.Names |
| lambda | Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty |
| lambdaAddContext | Mikan.TypeChecking.Rules.Term |
| LambdaBound | Mikan.Syntax.Scope.Base |
| LambdaHole | Mikan.Syntax.Notation |
| lambdaLiftExpr | Mikan.Syntax.Abstract |
| LamBinding | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| LamBinding' | Mikan.Syntax.Concrete |
| lamBindings | Mikan.Syntax.Parser.Helpers |
| LamBinds | |
| 1 (Type/Class) | Mikan.Syntax.Parser.Helpers |
| 2 (Data Constructor) | Mikan.Syntax.Parser.Helpers |
| LamBinds' | Mikan.Syntax.Parser.Helpers |
| lamBrackets | Mikan.Syntax.Fixity |
| lamCatchall | Mikan.Syntax.Concrete |
| LamClause | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| lamLHS | Mikan.Syntax.Concrete |
| LamNotPi | Mikan.TypeChecking.Rules.Term |
| LamOrPi | Mikan.TypeChecking.Rules.Term |
| lamRHS | Mikan.Syntax.Concrete |
| lamTel | Mikan.TypeChecking.Names |
| LamV | Mikan.Syntax.Concrete.Operators.Parser |
| LamView | |
| 1 (Type/Class) | Mikan.Syntax.Abstract.Views |
| 2 (Data Constructor) | Mikan.Syntax.Abstract.Views |
| lamView | |
| 1 (Function) | Mikan.Syntax.Abstract.Views |
| 2 (Function) | Mikan.TypeChecking.Substitute |
| LargeSort | Mikan.TypeChecking.Substitute |
| last | Mikan.Utils.List1 |
| last1 | Mikan.Utils.List |
| last2 | |
| 1 (Function) | Mikan.Utils.List |
| 2 (Function) | Mikan.Utils.List1 |
| last2' | Mikan.Utils.List |
| lastIdPart | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| lastMaybe | Mikan.Utils.List |
| lastWithDefault | Mikan.Utils.List |
| LaTeX | Mikan.Interaction.Base |
| latexBackend | Mikan.Interaction.Highlighting.LaTeX.Backend, Mikan.Interaction.Highlighting.LaTeX |
| latexBackendName | Mikan.Interaction.Highlighting.LaTeX.Backend, Mikan.Interaction.Highlighting.LaTeX |
| latexOptCountClusters | Mikan.Interaction.Highlighting.LaTeX.Base |
| LaTeXOptions | |
| 1 (Type/Class) | Mikan.Interaction.Highlighting.LaTeX.Base |
| 2 (Data Constructor) | Mikan.Interaction.Highlighting.LaTeX.Base |
| latexOptOutDir | Mikan.Interaction.Highlighting.LaTeX.Base |
| latexOptSourceFileName | Mikan.Interaction.Highlighting.LaTeX.Base |
| latexPragmaOptions | Mikan.Interaction.Options |
| Layer | |
| 1 (Type/Class) | Mikan.Syntax.Parser.Literate |
| 2 (Data Constructor) | Mikan.Syntax.Parser.Literate |
| layerContent | Mikan.Syntax.Parser.Literate |
| LayerRole | Mikan.Syntax.Parser.Literate |
| layerRole | Mikan.Syntax.Parser.Literate |
| Layers | Mikan.Syntax.Parser.Literate |
| Layout | Mikan.Syntax.Parser.Monad |
| layout | Mikan.Syntax.Parser.Lexer |
| LayoutBlock | Mikan.Syntax.Parser.Monad |
| LayoutContext | Mikan.Syntax.Parser.Monad |
| layoutKeywords | Mikan.Syntax.Parser.Tokens |
| LayoutStatus | Mikan.Syntax.Parser.Monad |
| Lazy | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lazy | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lazyAbsApp | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| lazyMatch | Mikan.TypeChecking.CompiledClause |
| LazySplit | |
| 1 (Type/Class) | Mikan.TypeChecking.Coverage.SplitTree |
| 2 (Data Constructor) | Mikan.TypeChecking.Coverage.SplitTree |
| lblBindings | Mikan.TypeChecking.Coverage.SplitTree |
| lblConstructorName | Mikan.TypeChecking.Coverage.SplitTree |
| lblLazy | Mikan.TypeChecking.Coverage.SplitTree |
| lblSplitArg | Mikan.TypeChecking.Coverage.SplitTree |
| lbrace | Mikan.Syntax.Common.Pretty |
| lbrack | Mikan.Syntax.Common.Pretty |
| le | Mikan.Termination.Order |
| LeaveSection | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LeftAssoc | Mikan.Syntax.Common |
| LeftClosedPOMonoid | Mikan.Utils.POMonoid |
| leftIdiomBrkt | Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty |
| LeftLet | Mikan.Syntax.Common |
| LeftMode | Mikan.Syntax.Common.Pretty |
| LeftOfArrow | |
| 1 (Data Constructor) | Mikan.TypeChecking.Positivity.Occurrence |
| 2 (Data Constructor) | Mikan.TypeChecking.Positivity.Warnings |
| LeftOperandCtx | Mikan.Syntax.Fixity |
| LeftoverPatterns | |
| 1 (Type/Class) | Mikan.TypeChecking.Rules.LHS.Problem |
| 2 (Data Constructor) | Mikan.TypeChecking.Rules.LHS.Problem |
| LeftPK | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| lefts | Mikan.Utils.List1 |
| LEl | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| length | Mikan.Utils.List1 |
| lengthBytes | Mikan.Utils.ShortText |
| Lens | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lens | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Lens' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensAccumStatistics | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensAccumStatisticsP | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensAmbiguousLookups | Mikan.Syntax.Scope.Base |
| lensAmodName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| lensAnameName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| lensAreWeCaching | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensArgInfo | Mikan.Syntax.Common |
| lensAwakeConstraints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensBackends | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensBuiltinModuleIds | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensClosure | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensClosure | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensCollapseDefault | Mikan.Utils.WithDefault |
| LensCommandLineOptions | Mikan.Interaction.Options.Lenses |
| lensConcreteNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensConfigAbove | Mikan.Interaction.Library.Base |
| LensConName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| lensConName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| lensConsideringInstance | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensConstructor | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensCopiedNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensCurrentModule | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensDirty | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensDisambiguatedNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensEqTel | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| lensEra | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFileDict | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFileDictBuilder | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFileDictBuiltinModuleIds | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFileDictFileDictBuilder | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFileDictPrimitiveLibDir | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensFixity | Mikan.Syntax.Common |
| lensFixity | Mikan.Syntax.Common |
| LensFixity' | Mikan.Syntax.Common |
| lensFixity' | Mikan.Syntax.Common |
| LensFlexRig | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| lensFlexRig | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| lensForeignCode | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensFreeVariables | Mikan.Syntax.Common |
| lensFreshCheckpointId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFreshInt | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFreshInteractionId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFreshMetaId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFreshMutualId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFreshNameId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFreshOpaqueId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFreshProblemId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensFunction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensGeneralizedVars | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensGet | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensHead | Mikan.Utils.List1 |
| LensHiding | Mikan.Syntax.Common |
| lensImportedBuiltins | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensImportedDisplayForms | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensImportedMetaStore | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensImportedModules | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensImportedPartialDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensImportedUserWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensImports | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensImportsDisplayForms | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensIncludePaths | Mikan.Interaction.Options.Lenses |
| LensInScope | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| lensInScope | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| lensInstanceHack | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensInstantiateBlocking | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensInteractionOutputCallback | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensInteractionPoints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensIsAbstract | Mikan.Syntax.Common |
| lensIsAbstract | Mikan.Syntax.Common |
| LensIsOpaque | Mikan.Syntax.Common |
| lensIsOpaque | Mikan.Syntax.Common |
| lensKeepDefault | Mikan.Utils.WithDefault |
| lensLast | Mikan.Utils.List1 |
| lensLexInput | Mikan.Syntax.Parser.Alex |
| lensLibCache | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensLoadedFileCache | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensLocalBuiltins | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensLocalPartialDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensLocalUserWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensMap | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensModuleCheckpoints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensModuleToSource | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensModuleToSourceId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensMutualBlocks | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensNameCopies | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensNamed | Mikan.Syntax.Common |
| lensNamed | Mikan.Syntax.Common |
| lensNameId | Mikan.Syntax.Concrete.Definitions.Monad |
| lensNameParts | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| lensOccursCheckDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensOpaqueBlocks | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensOpaqueIds | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensOpenedModules | Mikan.Syntax.Scope.Base |
| lensOpenMetaStore | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensOptAllowExec | Mikan.Interaction.Options |
| lensOptAllowIncompleteMatch | Mikan.Interaction.Options |
| lensOptAllowUnsolved | Mikan.Interaction.Options |
| lensOptAutoInline | Mikan.Interaction.Options |
| lensOptBacktrackingInstances | Mikan.Interaction.Options |
| lensOptCaching | Mikan.Interaction.Options |
| lensOptCallByName | Mikan.Interaction.Options |
| lensOptCompileMain | Mikan.Interaction.Options |
| lensOptCopatterns | Mikan.Interaction.Options |
| lensOptCountClusters | Mikan.Interaction.Options |
| lensOptDoubleCheck | Mikan.Interaction.Options |
| lensOptEta | Mikan.Interaction.Options |
| lensOptExactSplit | Mikan.Interaction.Options |
| lensOptExperimentalLazyInstances | Mikan.Interaction.Options |
| lensOptFastReduce | Mikan.Interaction.Options |
| lensOptFirstOrder | Mikan.Interaction.Options |
| lensOptForcing | Mikan.Interaction.Options |
| lensOptHiddenArgumentPuns | Mikan.Interaction.Options |
| lensOptImportSorts | Mikan.Interaction.Options |
| lensOptInferAbsurdClauses | Mikan.Interaction.Options |
| lensOptInstanceSearchDepth | Mikan.Interaction.Options |
| lensOptInversionMaxDepth | Mikan.Interaction.Options |
| lensOptKeepCoveringClauses | Mikan.Interaction.Options |
| lensOptKeepPatternVariables | Mikan.Interaction.Options |
| lensOptLevelUniverse | Mikan.Interaction.Options |
| lensOptLoadPrimitives | Mikan.Interaction.Options |
| lensOptOccurrence | Mikan.Interaction.Options |
| lensOptPatternMatching | Mikan.Interaction.Options |
| lensOptPositivityCheck | Mikan.Interaction.Options |
| lensOptPostfixProjections | Mikan.Interaction.Options |
| lensOptPrintPatternSynonyms | Mikan.Interaction.Options |
| lensOptProfiling | Mikan.Interaction.Options |
| lensOptProjectionLike | Mikan.Interaction.Options |
| lensOptProp | Mikan.Interaction.Options |
| lensOptQualifiedInstances | Mikan.Interaction.Options |
| lensOptRequireUniqueMetaSolutions | Mikan.Interaction.Options |
| lensOptSafe | Mikan.Interaction.Options |
| lensOptSaveMetas | Mikan.Interaction.Options |
| lensOptShowIdentitySubstitutions | Mikan.Interaction.Options |
| lensOptShowImplicit | Mikan.Interaction.Options |
| lensOptShowIrrelevant | Mikan.Interaction.Options |
| lensOptTerminationCheck | Mikan.Interaction.Options |
| lensOptTerminationDepth | Mikan.Interaction.Options |
| lensOptUseUnicode | Mikan.Interaction.Options |
| lensOptVerbose | Mikan.Interaction.Options |
| lensOptWarningMode | Mikan.Interaction.Options |
| LensOrigin | Mikan.Syntax.Common |
| lensOverlapMode | Mikan.Syntax.Common |
| lensPairModuleToSource | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensPatternSynImports | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensPatternSyns | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensPersistentSession | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensPersistentState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensPersistentVerbosity | Mikan.Interaction.Options.Lenses |
| lensPostponeInstanceSearch | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensPostScopeState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensPragmaOptions | Mikan.Interaction.Options |
| lensPragmaOptions | Mikan.Interaction.Options |
| lensPreScopeState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensPreTokens | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensPrimitiveLibDir | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensProduct | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensQNameName | |
| 1 (Function) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| lensReadFileCache | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensRecEta | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensRecord | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensRecTel | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensRfcFiles | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensSafeMode | Mikan.Interaction.Options.Lenses |
| lensScope | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensSet | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensSignature | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensSingleWarning | Mikan.Interaction.Options.Warnings |
| lensSleepingConstraints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensSolvedMetaStore | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensSort | Mikan.Syntax.Internal.Term |
| lensSort | Mikan.Syntax.Internal.Term |
| lensStatistics | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensSyntaxInfo | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LensTCEnv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensTCEnv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensTCWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensTemporaryInstances | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensTheDef | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensTopLevelModuleNameParts | Mikan.Syntax.TopLevelModuleName |
| lensTopLevelModuleNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensUnambiguousLookups | Mikan.Syntax.Scope.Base |
| lensUnusedImportsState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensVarTel | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| LensVerbosity | Mikan.Interaction.Options.Lenses |
| lensVisitedModules | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lensWarningOnImport | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| leqConj | Mikan.TypeChecking.Conversion |
| leqInterval | Mikan.TypeChecking.Conversion |
| leqLevel | Mikan.TypeChecking.Conversion |
| leqPO | Mikan.Utils.PartialOrd |
| leqSort | Mikan.TypeChecking.Conversion |
| leqType | Mikan.TypeChecking.Conversion |
| leqType_ | Mikan.TypeChecking.Rules.Term |
| Let | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| LetApply | Mikan.Syntax.Abstract |
| LetAxiom | Mikan.Syntax.Abstract |
| letAxiom | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LetBind | Mikan.Syntax.Abstract |
| LetBinding | |
| 1 (Type/Class) | Mikan.Syntax.Abstract |
| 2 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 3 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LetBindings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LetBound | Mikan.Syntax.Scope.Base |
| LetExpressions | Mikan.Interaction.Options.Errors, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LetInfo | Mikan.Syntax.Info |
| LetLHS | Mikan.TypeChecking.Rules.LHS |
| LetOpen | Mikan.Syntax.Abstract |
| LetOpenModule | Mikan.Syntax.Scope.Monad |
| LetOrClause | Mikan.TypeChecking.Rules.LHS |
| letOrigin | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LetPatBind | Mikan.Syntax.Abstract |
| LetRange | Mikan.Syntax.Info |
| letTerm | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| letType | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Level | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Term |
| 3 (Data Constructor) | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| 4 (Type/Class) | Mikan.Interaction.Highlighting.Generate |
| Level' | Mikan.Syntax.Internal.Term |
| LevelAtom | Mikan.Syntax.Internal.Term |
| LevelCmp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LevelKit | |
| 1 (Type/Class) | Mikan.TypeChecking.Level |
| 2 (Data Constructor) | Mikan.TypeChecking.Level |
| levelLowerBound | Mikan.TypeChecking.Level |
| levelLub | Mikan.TypeChecking.Substitute |
| levelMax | Mikan.TypeChecking.Substitute |
| levelMaxDiff | Mikan.TypeChecking.Level |
| levelMaxView | Mikan.TypeChecking.Level |
| levelPlus | Mikan.Syntax.Internal.Term |
| levelPlusView | Mikan.TypeChecking.Level |
| LevelReductions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Levels | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| levelSuc | Mikan.Syntax.Internal.Term |
| levelTm | Mikan.TypeChecking.Substitute |
| levelType | Mikan.TypeChecking.Level |
| levelType' | Mikan.TypeChecking.Level |
| LevelUniv | Mikan.Syntax.Internal.Term |
| levelView | Mikan.TypeChecking.Level |
| levelView' | Mikan.TypeChecking.Level |
| LexAction | |
| 1 (Type/Class) | Mikan.Syntax.Parser.Alex |
| 2 (Data Constructor) | Mikan.Syntax.Parser.Alex |
| lexer | Mikan.Syntax.Parser.Lexer |
| lexError | Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser.LexActions |
| lexInput | Mikan.Syntax.Parser.Alex |
| lexPos | Mikan.Syntax.Parser.Alex |
| LexPredicate | Mikan.Syntax.Parser.Alex |
| lexPrevChar | Mikan.Syntax.Parser.Alex |
| lexSrcFile | Mikan.Syntax.Parser.Alex |
| LexState | Mikan.Syntax.Parser.Monad |
| lexToken | Mikan.Syntax.Parser.LexActions |
| lfcCached | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lfcCurrent | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lfExists | Mikan.Interaction.Library.Base |
| lfPath | Mikan.Interaction.Library.Base |
| LHS | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Type/Class) | Mikan.Syntax.Abstract |
| 4 (Data Constructor) | Mikan.Syntax.Abstract |
| LHSAppP | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete.Pattern |
| 2 (Data Constructor) | Mikan.Syntax.Abstract.Pattern |
| lhsAsBindings | Mikan.TypeChecking.Rules.LHS |
| lhsBodyType | Mikan.TypeChecking.Rules.LHS |
| LHSCore | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| lhsCore | Mikan.Syntax.Abstract |
| LHSCore' | Mikan.Syntax.Abstract |
| lhsCoreAddChunk | Mikan.Syntax.Abstract.Pattern |
| lhsCoreAddSpine | |
| 1 (Function) | Mikan.Syntax.Concrete.Pattern |
| 2 (Function) | Mikan.Syntax.Abstract.Pattern |
| lhsCoreAllPatterns | Mikan.Syntax.Abstract.Pattern |
| lhsCoreApp | |
| 1 (Function) | Mikan.Syntax.Concrete.Pattern |
| 2 (Function) | Mikan.Syntax.Abstract.Pattern |
| lhsCoreToPattern | Mikan.Syntax.Abstract.Pattern |
| lhsCoreToSpine | Mikan.Syntax.Abstract.Pattern |
| lhsCoreWith | |
| 1 (Function) | Mikan.Syntax.Concrete.Pattern |
| 2 (Function) | Mikan.Syntax.Abstract.Pattern |
| lhsDefName | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract |
| lhsDestructor | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract |
| LHSEllipsis | Mikan.Syntax.Concrete |
| lhsEllipsis | Mikan.Syntax.Info |
| lhsEllipsisPat | Mikan.Syntax.Concrete |
| lhsEllipsisRange | Mikan.Syntax.Concrete |
| lhsFocus | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract |
| lhsHasAbsurd | Mikan.TypeChecking.Rules.LHS |
| LHSHead | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| lhsHead | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract |
| lhsIndexedSplit | Mikan.TypeChecking.Rules.LHS |
| LHSInfo | |
| 1 (Type/Class) | Mikan.Syntax.Info |
| 2 (Data Constructor) | Mikan.Syntax.Info |
| lhsInfo | Mikan.Syntax.Abstract |
| lhsOriginalPattern | Mikan.Syntax.Concrete |
| LHSOrPatSyn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lhsOutPat | Mikan.TypeChecking.Rules.LHS.Problem |
| lhsParameters | Mikan.TypeChecking.Rules.LHS |
| lhsPartialSplit | Mikan.TypeChecking.Rules.LHS |
| lhsPats | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract |
| lhsPatsLeft | Mikan.Syntax.Concrete |
| lhsPatSubst | Mikan.TypeChecking.Rules.LHS |
| lhsPatterns | Mikan.TypeChecking.Rules.LHS |
| LHSPatternView | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Pattern |
| 2 (Type/Class) | Mikan.Syntax.Abstract.Pattern |
| lhsPatternView | |
| 1 (Function) | Mikan.Syntax.Concrete.Pattern |
| 2 (Function) | Mikan.Syntax.Abstract.Pattern |
| lhsProblem | Mikan.TypeChecking.Rules.LHS.Problem |
| LHSProj | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| LHSProjP | Mikan.Syntax.Abstract.Pattern |
| lhsRange | Mikan.Syntax.Info |
| LHSResult | |
| 1 (Type/Class) | Mikan.TypeChecking.Rules.LHS |
| 2 (Data Constructor) | Mikan.TypeChecking.Rules.LHS |
| lhsRewriteEqn | Mikan.Syntax.Concrete |
| LHSState | |
| 1 (Type/Class) | Mikan.TypeChecking.Rules.LHS.Problem |
| 2 (Data Constructor) | Mikan.TypeChecking.Rules.LHS.Problem |
| LHSSubstitutionCase | Mikan.TypeChecking.Rules.LHS |
| lhsTarget | Mikan.TypeChecking.Rules.LHS.Problem |
| lhsTel | Mikan.TypeChecking.Rules.LHS.Problem |
| LHSToSpine | Mikan.Syntax.Abstract.Pattern |
| lhsToSpine | Mikan.Syntax.Abstract.Pattern |
| lhsVarTele | Mikan.TypeChecking.Rules.LHS |
| LHSWith | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| lhsWithExpr | Mikan.Syntax.Concrete |
| LHSWithP | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete.Pattern |
| 2 (Data Constructor) | Mikan.Syntax.Abstract.Pattern |
| lhsWithPatterns | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract |
| libAbove | Mikan.Interaction.Library.Base |
| LibCache | |
| 1 (Type/Class) | Mikan.Interaction.Library.Base |
| 2 (Data Constructor) | Mikan.Interaction.Library.Base |
| libDepends | Mikan.Interaction.Library.Base |
| LibError | |
| 1 (Type/Class) | Mikan.Interaction.Library.Base |
| 2 (Data Constructor) | Mikan.Interaction.Library.Base |
| LibError' | Mikan.Interaction.Library.Base |
| LibErrorIO | Mikan.Interaction.Library.Base |
| LibErrors | |
| 1 (Type/Class) | Mikan.Interaction.Library.Base |
| 2 (Data Constructor) | Mikan.Interaction.Library.Base |
| libErrors | Mikan.Interaction.Library.Base |
| libErrorsInstalledLibraries | Mikan.Interaction.Library.Base |
| LibErrWarns | Mikan.Interaction.Library.Base |
| libFile | Mikan.Interaction.Library.Base |
| libFilePos | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| libIncludes | Mikan.Interaction.Library.Base |
| LibM | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| LibName | |
| 1 (Type/Class) | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| 2 (Data Constructor) | Mikan.Interaction.Library.Base |
| libName | Mikan.Interaction.Library.Base |
| libNameBase | Mikan.Interaction.Library.Base |
| libNameForCurrentDir | Mikan.Interaction.Library.Base |
| libNameVersion | Mikan.Interaction.Library.Base |
| LibNotFound | Mikan.Interaction.Library.Base |
| LibParseError | |
| 1 (Data Constructor) | Mikan.Interaction.Library.Base |
| 2 (Type/Class) | Mikan.Interaction.Library.Base |
| LibPositionInfo | |
| 1 (Type/Class) | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| 2 (Data Constructor) | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| libPragmas | Mikan.Interaction.Library.Base |
| LibrariesFile | |
| 1 (Type/Class) | Mikan.Interaction.Library.Base |
| 2 (Data Constructor) | Mikan.Interaction.Library.Base |
| LibrariesFileNotFound | Mikan.Interaction.Library.Base |
| LibraryError | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LibraryError_ | Mikan.Interaction.Options.Errors |
| libraryIncludePaths | Mikan.Interaction.Library |
| LibraryWarning | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| libraryWarningName | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| LibState | Mikan.Interaction.Library.Base |
| LibTooFarDown | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LibTooFarDown_ | Mikan.Interaction.Options.Errors |
| libToTCM | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LibUnknownField_ | Mikan.Interaction.Options.Warnings |
| LibWarning | |
| 1 (Type/Class) | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| 2 (Data Constructor) | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| LibWarning' | Mikan.Interaction.Library.Base |
| Lift | Mikan.Syntax.Internal.Term, Mikan.TypeChecking.Substitute |
| lift | Mikan.Utils.Monad |
| liftA2 | Mikan.Utils.Monad |
| liftA4 | Mikan.Utils.Applicative |
| liftCommandMT | Mikan.Interaction.InteractionTop |
| liftCommandMTLocalState | Mikan.Interaction.InteractionTop |
| lifted | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LiftedRep | Mikan.Utils.ExpandCase |
| liftListT | Mikan.Utils.ListT |
| liftLocalState | Mikan.Interaction.Command |
| liftM2 | Mikan.Utils.Monad |
| liftM3 | Mikan.Utils.Monad |
| liftM4 | Mikan.Utils.Monad |
| liftMaybe | Mikan.Utils.Maybe |
| liftOmitField | Mikan.Interaction.JSON |
| liftOmitField2 | Mikan.Interaction.JSON |
| liftOmittedField | Mikan.Interaction.JSON |
| liftOmittedField2 | Mikan.Interaction.JSON |
| liftP | |
| 1 (Function) | Mikan.Utils.Permutation |
| 2 (Function) | Mikan.Syntax.Parser.LookAhead |
| liftParseJSON | Mikan.Interaction.JSON |
| liftParseJSON2 | Mikan.Interaction.JSON |
| liftParseJSONList | Mikan.Interaction.JSON |
| liftParseJSONList2 | Mikan.Interaction.JSON |
| liftReduce | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| liftS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| liftTCM | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| liftToEncoding | Mikan.Interaction.JSON |
| liftToEncoding2 | Mikan.Interaction.JSON |
| liftToEncodingList | Mikan.Interaction.JSON |
| liftToEncodingList2 | Mikan.Interaction.JSON |
| liftToJSON | Mikan.Interaction.JSON |
| liftToJSON2 | Mikan.Interaction.JSON |
| liftToJSONList | Mikan.Interaction.JSON |
| liftToJSONList2 | Mikan.Interaction.JSON |
| liftU1 | Mikan.TypeChecking.Unquote |
| liftU2 | Mikan.TypeChecking.Unquote |
| like | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lIndex | Mikan.Utils.IndexedList |
| lineLength | Mikan.Syntax.Common.Pretty |
| LineNumber | Mikan.Interaction.Library.Base |
| lineNumPos | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| Lisp | Mikan.Interaction.Emacs.Lisp |
| lispifyHighlightingInfo | Mikan.Interaction.Highlighting.Emacs |
| lispifyHighlightingInfo_ | Mikan.Interaction.Highlighting.Emacs |
| lispifyTokenBased | Mikan.Interaction.Highlighting.Emacs |
| List | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| list | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| List1 | Mikan.Utils.List1 |
| List2 | |
| 1 (Type/Class) | Mikan.Utils.List2 |
| 2 (Data Constructor) | Mikan.Utils.List2 |
| listCase | Mikan.Utils.List |
| listen | Mikan.Utils.StrictWriter |
| listenDirty | Mikan.Utils.Update |
| Listener | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| listening | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| listenings | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| listenToMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ListInf | Mikan.Utils.ListInf |
| listS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| ListT | |
| 1 (Type/Class) | Mikan.Utils.ListT |
| 2 (Data Constructor) | Mikan.Utils.ListT |
| ListTel | Mikan.Syntax.Internal.Telescope |
| listTel | Mikan.Syntax.Internal.Telescope |
| ListTel' | Mikan.Syntax.Internal.Telescope |
| listToMaybe | |
| 1 (Function) | Mikan.Utils.Maybe |
| 2 (Function) | Mikan.Utils.Maybe.Strict |
| ListZip | Mikan.Utils.Zipper |
| ListZipper | Mikan.Utils.Zipper |
| Lit | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Reflected |
| 3 (Data Constructor) | Mikan.Syntax.Concrete |
| 4 (Data Constructor) | Mikan.Syntax.Abstract |
| litBranches | Mikan.TypeChecking.CompiledClause |
| litCase | Mikan.TypeChecking.CompiledClause |
| LitChar | Mikan.Syntax.Literal |
| litChar | Mikan.Syntax.Parser.StringLiterals |
| LitConflict | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| litConflictAt | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| litConflictLeft | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| litConflictRight | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| Literal | Mikan.Syntax.Literal |
| literal | Mikan.Syntax.Parser.LexActions |
| literal' | Mikan.Syntax.Parser.LexActions |
| LiteralTooBig | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LiteralTooBig_ | Mikan.Interaction.Options.Errors |
| literateMd | Mikan.Syntax.Parser.Literate |
| literateOrg | Mikan.Syntax.Parser.Literate |
| literateProcessors | Mikan.Syntax.Parser.Literate |
| literateRsT | Mikan.Syntax.Parser.Literate |
| literateTeX | Mikan.Syntax.Parser.Literate |
| LitFloat | Mikan.Syntax.Literal |
| LitMeta | Mikan.Syntax.Literal |
| LitNat | Mikan.Syntax.Literal |
| LitP | |
| 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 |
| litP | Mikan.Syntax.Internal.Pattern |
| LitQName | Mikan.Syntax.Literal |
| LitS | Mikan.Syntax.Reflected |
| LitString | Mikan.Syntax.Literal |
| litString | Mikan.Syntax.Parser.StringLiterals |
| litType | |
| 1 (Function) | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Function) | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| liveModules | Mikan.Syntax.Scope.Base |
| LiveNames | Mikan.Syntax.Scope.Base |
| liveNames | Mikan.Syntax.Scope.Base |
| LM | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| lmap | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lmapping | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LoadedFileCache | |
| 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 |
| local | Mikan.Utils.StrictReader |
| localBindingSource | Mikan.Syntax.Scope.Base |
| localCache | Mikan.TypeChecking.Monad.Caching, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LocalCandidate | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LocalDisplayForm | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LocalK | Mikan.TypeChecking.DiscrimTree.Types |
| locally | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| locallyReconstructed | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| locallyReduceAllDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| locallyReduceDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| locallyScope | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| locallyState | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| locallyTC | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| locallyTCState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LocalMetaStore | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| LocalMetaStores | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| localNames | Mikan.Syntax.Scope.Operator |
| localNameSpace | Mikan.Syntax.Scope.Base |
| localR | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| localScope | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| localShadowedBy | Mikan.Syntax.Scope.Base |
| localState | Mikan.Utils.Monad |
| localStateCommandM | Mikan.Interaction.Command |
| localTC | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| localTCState | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| localTCStateSaving | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| localTCStateSavingWarnings | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| localToAbstract | Mikan.Syntax.Translation.ConcreteToAbstract |
| LocalV | Mikan.Syntax.Concrete.Operators.Parser |
| LocalVar | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Base |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Base |
| localVar | Mikan.Syntax.Scope.Base |
| localVarCount | Mikan.Mimer.Monad |
| LocalVars | Mikan.Syntax.Scope.Base |
| LocalWhere | Mikan.Syntax.Concrete |
| LocalWhere_ | Mikan.Syntax.Concrete |
| locatedTypeError | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| locateFlag | Mikan.Setup.EmacsMode |
| loci | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| locus | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| logHtml | Mikan.Interaction.Highlighting.HTML.Base |
| LogHtmlT | Mikan.Interaction.Highlighting.HTML.Base |
| logLaTeX | Mikan.Interaction.Highlighting.LaTeX.Base |
| LogMessage | |
| 1 (Type/Class) | Mikan.Interaction.Highlighting.LaTeX.Base |
| 2 (Data Constructor) | Mikan.Interaction.Highlighting.LaTeX.Base |
| logMsgToText | Mikan.Interaction.Highlighting.LaTeX.Base |
| LoneConstructor | Mikan.Syntax.Concrete |
| loneFuns | Mikan.Syntax.Concrete.Definitions.Monad |
| LoneProjectionLike | Mikan.TypeChecking.ProjectionLike |
| LoneProjectionLikeToLambda | |
| 1 (Type/Class) | Mikan.TypeChecking.ProjectionLike |
| 2 (Data Constructor) | Mikan.TypeChecking.ProjectionLike |
| LoneSig | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Definitions.Monad |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Monad |
| loneSigKind | Mikan.Syntax.Concrete.Definitions.Monad |
| loneSigName | Mikan.Syntax.Concrete.Definitions.Monad |
| loneSigRange | Mikan.Syntax.Concrete.Definitions.Monad |
| LoneSigs | Mikan.Syntax.Concrete.Definitions.Monad |
| loneSigs | Mikan.Syntax.Concrete.Definitions.Monad |
| loneSigsFromLoneNames | Mikan.Syntax.Concrete.Definitions.Monad |
| longestPaths | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| LookAhead | Mikan.Syntax.Parser.LookAhead |
| lookAheadError | Mikan.Syntax.Parser.LookAhead |
| lookedupName | Mikan.Syntax.Scope.UnusedImports |
| lookup | |
| 1 (Function) | Mikan.Utils.AssocList |
| 2 (Function) | Mikan.Utils.Map1 |
| 3 (Function) | Mikan.Utils.Trie |
| 4 (Function) | Mikan.Utils.HashTable |
| 5 (Function) | Mikan.Utils.BiMap |
| 6 (Function) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| lookupBackend | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupBV | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupBV' | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupBV_ | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupCPS | Mikan.Utils.HashTable |
| lookupDT | Mikan.TypeChecking.DiscrimTree |
| lookupGE | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| lookupGT | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| lookupImportedName | Mikan.Syntax.Scope.Monad |
| lookupIndex | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.IndexedList |
| lookupInteractionId | Mikan.Interaction.BasicOps |
| lookupInteractionMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupInteractionMeta_ | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupInteractionPoint | Mikan.Interaction.BasicOps |
| lookupKey | Mikan.Utils.Set |
| lookupLE | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| lookupLocalMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupLocalMeta' | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupLT | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| lookupMax | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.VarSet |
| lookupME | Mikan.TypeChecking.Serialise.Base |
| lookupMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupMetaInstantiation | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupMetaJudgement | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupMin | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.BoolSet |
| 3 (Function) | Mikan.Utils.VarSet |
| lookupMutualBlock | Mikan.TypeChecking.Monad.Mutual, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupNode | Mikan.TypeChecking.Positivity.OccurrenceAnalysis |
| lookupP | Mikan.Utils.Permutation |
| lookupPath | Mikan.Utils.Trie |
| lookupPatternSyn | Mikan.Syntax.Scope.Errors |
| lookupPrimitiveFunction | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| lookupPrimitiveFunctionQ | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| lookupRP | Mikan.Utils.Permutation |
| lookupS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| lookupSection | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupSinglePatternSyn | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lookupSVar | Mikan.TypeChecking.Substitute |
| lookupTrie | Mikan.Utils.Trie |
| lookupUnifyDT | Mikan.TypeChecking.DiscrimTree |
| lookupVarMap | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| loops | |
| 1 (Function) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| 2 (Function) | Mikan.Termination.CallGraph |
| lowestBitWord# | Mikan.Utils.Word |
| lowMetaPriority | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| lparen | Mikan.Syntax.Common.Pretty |
| lt | Mikan.Termination.Order |
| ltrim | Mikan.Utils.String |
| LType | |
| 1 (Data Constructor) | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| 2 (Type/Class) | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| lTypeLevel | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| Lvl | |
| 1 (Type/Class) | Mikan.TypeChecking.Primitive |
| 2 (Data Constructor) | Mikan.TypeChecking.Primitive |
| lvlMax | Mikan.TypeChecking.Level |
| lvlSuc | Mikan.TypeChecking.Level |
| lvlType | Mikan.TypeChecking.Level |
| lvlZero | Mikan.TypeChecking.Level |