Index - A
| A | Mikan.Interaction.Emacs.Lisp |
| abort | Mikan.Interaction.Base |
| abortIfBlocked | Mikan.TypeChecking.Reduce |
| Abs | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Dom |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Dom |
| 3 (Type/Class) | Mikan.Syntax.Reflected |
| 4 (Data Constructor) | Mikan.Syntax.Reflected |
| absApp | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| absAppN | Mikan.TypeChecking.Names |
| absBody | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| AbsentRHSRequiresAbsurdPattern | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AbsentRHSRequiresAbsurdPattern_ | Mikan.Interaction.Options.Errors |
| AbsModule | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| AbsN | |
| 1 (Type/Class) | Mikan.TypeChecking.Names |
| 2 (Data Constructor) | Mikan.TypeChecking.Names |
| AbsName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| absName | Mikan.Syntax.Internal.Dom |
| absNName | Mikan.TypeChecking.Names |
| AbsOfCon | Mikan.Syntax.Translation.ConcreteToAbstract |
| AbsOfRef | Mikan.Syntax.Translation.ReflectedToAbstract |
| absolute | Mikan.Utils.FileName |
| AbsolutePath | |
| 1 (Type/Class) | Mikan.Utils.FileName, Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.Utils.FileName |
| AbsTerm | Mikan.TypeChecking.Abstract |
| absTerm | Mikan.TypeChecking.Abstract |
| Abstract | |
| 1 (Type/Class) | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| abstract | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| AbstractConstructorNotInScope | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AbstractConstructorNotInScope_ | Mikan.Interaction.Options.Errors |
| AbstractDef | Mikan.Syntax.Common |
| AbstractDefn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AbstractInLetBindings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AbstractInLetBindings_ | Mikan.Interaction.Options.Warnings |
| AbstractMode | |
| 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 |
| AbstractModule | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| abstractN | Mikan.TypeChecking.Names |
| AbstractName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| abstractT | Mikan.TypeChecking.Names |
| abstractTerm | Mikan.TypeChecking.Abstract |
| abstractToConcreteCtx | Mikan.Syntax.Translation.AbstractToConcrete |
| abstractToConcreteHiding | Mikan.Syntax.Translation.AbstractToConcrete |
| abstractToConcreteQName | Mikan.Syntax.Translation.AbstractToConcrete |
| abstractToConcreteScope | Mikan.Syntax.Translation.AbstractToConcrete |
| abstractToConcreteTelescope | Mikan.Syntax.Translation.AbstractToConcrete |
| abstractToConcreteUnqualify | Mikan.Syntax.Translation.AbstractToConcrete |
| abstractToConcrete_ | Mikan.Syntax.Translation.AbstractToConcrete |
| abstractType | Mikan.TypeChecking.Abstract |
| Absurd | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.TypeChecking.Rules.LHS.Problem |
| absurd | Mikan.Utils.Empty |
| absurdBinding | Mikan.Syntax.Parser.Helpers |
| AbsurdClause | Mikan.Syntax.Reflected |
| AbsurdLam | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| absurdLambdaName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AbsurdMatch | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| absurdNEMap | Mikan.Utils.Map1 |
| AbsurdP | |
| 1 (Data Constructor) | Mikan.Syntax.Reflected |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| absurdP | Mikan.Syntax.Internal.Pattern |
| AbsurdPattern | Mikan.TypeChecking.Rules.LHS.Problem |
| absurdPatternName | Mikan.Syntax.Internal.Pattern |
| AbsurdPatternRequiresAbsentRHS | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AbsurdPatternRequiresAbsentRHS_ | Mikan.Interaction.Options.Warnings |
| absurdPatterns | Mikan.TypeChecking.Rules.LHS.Problem |
| AbsurdRHS | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| AbsurdRHSS | Mikan.Syntax.Abstract |
| absV | Mikan.TypeChecking.Substitute |
| Access | Mikan.Syntax.Common |
| Accessing | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| acCheckedArgs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Account | |
| 1 (Type/Class) | Mikan.Utils.Benchmark |
| 2 (Type/Class) | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| acData | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| acFun | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ACState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Action | |
| 1 (Type/Class) | Mikan.TypeChecking.CheckInternal |
| 2 (Data Constructor) | Mikan.TypeChecking.CheckInternal |
| activateLoadedFileCache | Mikan.TypeChecking.Monad.Caching, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| activeBackend | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| activeBackendMayEraseType | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| acType | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| acyclic | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| add | |
| 1 (Function) | Mikan.Termination.Semiring |
| 2 (Function) | Mikan.Utils.CompactRegion |
| 3 (Function) | Mikan.Termination.SparseMatrix |
| addAndUnblocker | Mikan.TypeChecking.Constraints |
| addAwakeConstraint | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addAwakeConstraint' | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addClauses | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addColumn | Mikan.Termination.SparseMatrix |
| addCompilerPragma | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addCompositionForRecord | Mikan.TypeChecking.Rules.Record.Cubical |
| addConstant | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addConstant' | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addConstraint | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addConstraint' | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addConstraintTCM | Mikan.TypeChecking.Constraints |
| addConstraintTo | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AddContext | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addContext | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addContextTele | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addConversionContext | Mikan.TypeChecking.Conversion.Errors |
| addCost | Mikan.Mimer.Types |
| addCPUTime | Mikan.Utils.Benchmark |
| addCtx | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addDataCons | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addDefaultLibraries | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addDisplayForm | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addDisplayForms | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addFinalNewLine | Mikan.Utils.String |
| addFlexRig | Mikan.TypeChecking.Free.Base |
| addForeignCode | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addImport | Mikan.TypeChecking.Monad.Imports, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addLetAxiom | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addLetBinding | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addLetBinding' | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addLoneSig | Mikan.Syntax.Concrete.Definitions.Monad |
| addModuleToScope | Mikan.Syntax.Scope.Base |
| addNamePartsToScope | Mikan.Syntax.Scope.Base |
| addNameToInverseScope | Mikan.Syntax.Scope.Monad |
| addNameToNameParts | Mikan.Syntax.Scope.Base |
| addNameToScope | Mikan.Syntax.Scope.Base |
| addOrUnblocker | Mikan.TypeChecking.Constraints |
| addPragma | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addProfileOption | Mikan.Interaction.Options.ProfileOptions |
| addRecordNameContext | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addRow | Mikan.Termination.SparseMatrix |
| addSection | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addSection' | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addSuffix | Mikan.Utils.Suffix |
| addTrustedExecutables | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addType | Mikan.Syntax.Parser.Helpers |
| addTypedInstance | Mikan.TypeChecking.InstanceArguments |
| addTypedInstance' | Mikan.TypeChecking.InstanceArguments |
| addTypedPatterns | Mikan.TypeChecking.Rules.Term |
| addUniqueInts | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| addUnknownInstance | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| addVarToBind | Mikan.Syntax.Scope.Monad |
| addWarning | Mikan.TypeChecking.Warnings |
| aDefToMode | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| adjacencyList | Mikan.TypeChecking.Positivity.OccurrenceAnalysis |
| adjust | |
| 1 (Function) | Mikan.Utils.Map1 |
| 2 (Function) | Mikan.Utils.Trie |
| 3 (Function) | Mikan.Utils.BiMap |
| adjustAt | Mikan.Utils.Map1 |
| adjustM | Mikan.Utils.Map |
| adjustM' | Mikan.Utils.Map |
| adjustMax | Mikan.Utils.Map1 |
| adjustMaxWithKey | Mikan.Utils.Map1 |
| adjustMin | Mikan.Utils.Map1 |
| adjustMinWithKey | Mikan.Utils.Map1 |
| adjustPrecondition | Mikan.Utils.BiMap |
| adjustWithKey | Mikan.Utils.Map1 |
| ADotT | Mikan.Syntax.Abstract.Pattern |
| AesonException | |
| 1 (Type/Class) | Mikan.Interaction.JSON |
| 2 (Data Constructor) | Mikan.Interaction.JSON |
| AffineHole | Mikan.Utils.AffineHole |
| AgdaError | Mikan.Interaction.ExitCode |
| agdaErrorFromInt | Mikan.Interaction.ExitCode |
| agdaErrorToInt | Mikan.Interaction.ExitCode |
| agdaFileExtensions | Mikan.Syntax.Parser |
| AgdaFileType | Mikan.Syntax.Common |
| AgdaLibFile | |
| 1 (Type/Class) | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| 2 (Data Constructor) | Mikan.Interaction.Library.Base, Mikan.Interaction.Library |
| agdaLibFiles | Mikan.Interaction.Library.Base |
| agdaTermType | Mikan.TypeChecking.Unquote |
| agdaTypeType | Mikan.TypeChecking.Unquote |
| ALens | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ALens' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AlexEOF | Mikan.Syntax.Parser.Lexer |
| AlexError | Mikan.Syntax.Parser.Lexer |
| alexGetByte | Mikan.Syntax.Parser.Alex |
| alexGetChar | Mikan.Syntax.Parser.Alex |
| AlexInput | |
| 1 (Type/Class) | Mikan.Syntax.Parser.Alex |
| 2 (Data Constructor) | Mikan.Syntax.Parser.Alex |
| alexInputPrevChar | Mikan.Syntax.Parser.Alex |
| AlexReturn | Mikan.Syntax.Parser.Lexer |
| alexScanUser | Mikan.Syntax.Parser.Lexer |
| AlexSkip | Mikan.Syntax.Parser.Lexer |
| AlexToken | Mikan.Syntax.Parser.Lexer |
| align | |
| 1 (Function) | Mikan.Utils.List |
| 2 (Function) | Mikan.Syntax.Common.Pretty |
| All | |
| 1 (Type/Class) | Mikan.Utils.IndexedList |
| 2 (Type/Class) | Mikan.Utils.TypeLevel |
| allApplyElims | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| AllAreOpaque | Mikan.Syntax.Common |
| allBlockingDefs | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| allBlockingMetas | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| allBlockingProblems | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| allBoundNames | Mikan.Syntax.Abstract.UsedNames |
| allConsecutive | Mikan.Utils.List |
| allDuplicates | Mikan.Utils.List |
| allEqual | |
| 1 (Function) | Mikan.Utils.List |
| 2 (Function) | Mikan.Utils.List1 |
| allFlexVars | Mikan.TypeChecking.Rules.LHS.Problem |
| allFreeVar | Mikan.TypeChecking.Free |
| allHelpTopics | Mikan.Interaction.Options.Help |
| allIndices | Mikan.Utils.IndexedList |
| allJustM | Mikan.Utils.Maybe |
| AllKindsOfNames | Mikan.Syntax.Scope.Base |
| allKindsOfNames | Mikan.Syntax.Scope.Base |
| allLeft | Mikan.Utils.Either |
| allListT | Mikan.Utils.ListT |
| AllLiveNames | Mikan.Syntax.Scope.Base |
| allM | Mikan.Utils.Monad |
| allMetaClasses | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AllMetas | Mikan.Syntax.Internal.MetaVars |
| allMetas | Mikan.Syntax.Internal.MetaVars |
| allMetas' | Mikan.Syntax.Internal.MetaVars |
| allMetasList | Mikan.Syntax.Internal.MetaVars |
| AllModules | Mikan.Mimer.Options |
| allNamesInScope | Mikan.Syntax.Scope.Base |
| allNamesInScope' | Mikan.Syntax.Scope.Base |
| allNameSpaces | Mikan.Syntax.Scope.Base |
| allNodes | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| allNullaryToStringTag | Mikan.Interaction.JSON |
| allOpenMetas | Mikan.Mimer.Monad |
| allowAllReductions | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AllowAmbiguousNames | Mikan.Syntax.Scope.Base |
| AllowedReduction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AllowedReductions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| allowNonTerminatingReductions | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| allowOmittedFields | Mikan.Interaction.JSON |
| allProjElims | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| allPropTel | Mikan.TypeChecking.Irrelevance |
| allReductions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| allRight | Mikan.Utils.Either |
| allThingsInScope | Mikan.Syntax.Scope.Base |
| allUsedNames | Mikan.Syntax.Abstract.UsedNames |
| allVars | Mikan.TypeChecking.Free |
| AllWarnings | Mikan.TypeChecking.Warnings |
| allWarnings | Mikan.Interaction.Options.Warnings |
| alongside | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| alter | |
| 1 (Function) | Mikan.Utils.Map1 |
| 2 (Function) | Mikan.Utils.BiMap |
| alter' | Mikan.Utils.Map1 |
| alterF | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Map1 |
| alterF' | Mikan.Utils.Map1 |
| alterM | Mikan.Utils.BiMap |
| alterPrecondition | Mikan.Utils.BiMap |
| altM1 | Mikan.Utils.Monad |
| AlwaysColour | Mikan.Interaction.Options |
| alwaysMakeAbstract | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| alwaysReportSDoc | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| alwaysReportSLn | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| alwaysTraceSDoc | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| alwaysTraceSLn | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| alwaysUnblock | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| AmbAbstractName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| ambAbstractNames | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| ambigName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| Ambiguous | Mikan.Interaction.FindFile |
| ambiguous | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| AmbiguousAnything | Mikan.Syntax.Scope.Base |
| AmbiguousConProjs | Mikan.Syntax.Scope.Base |
| AmbiguousConstructor | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Errors |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AmbiguousConstructor_ | Mikan.Interaction.Options.Errors |
| AmbiguousDeclName | Mikan.Syntax.Scope.Base |
| AmbiguousField | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AmbiguousField_ | Mikan.Interaction.Options.Errors |
| AmbiguousFunClauses | Mikan.Syntax.Concrete.Definitions.Errors |
| AmbiguousLib | Mikan.Interaction.Library.Base |
| AmbiguousLocalVar | Mikan.Syntax.Scope.Base |
| ambiguousLookups | Mikan.Syntax.Scope.Base |
| AmbiguousModule | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AmbiguousModule_ | Mikan.Interaction.Options.Errors |
| AmbiguousName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AmbiguousNameReason | Mikan.Syntax.Scope.Base |
| ambiguousNamesInReason | Mikan.Syntax.Scope.Base |
| AmbiguousName_ | Mikan.Interaction.Options.Errors |
| AmbiguousNothing | Mikan.Syntax.Scope.Base |
| AmbiguousOverloadedProjection | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AmbiguousOverloadedProjection_ | Mikan.Interaction.Options.Errors |
| AmbiguousParseForApplication | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AmbiguousParseForApplication_ | Mikan.Interaction.Options.Errors |
| AmbiguousParseForLHS | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AmbiguousParseForLHS_ | Mikan.Interaction.Options.Errors |
| AmbiguousProjection | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AmbiguousProjection_ | Mikan.Interaction.Options.Errors |
| AmbiguousQName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| AmbiguousTopLevelModuleName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AmbiguousTopLevelModuleName_ | Mikan.Interaction.Options.Errors |
| AmbQ | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| AmbQName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| AmbQNameEntry | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| AmbWrongProj | Mikan.TypeChecking.Coverage.Errors |
| aModeToDef | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| amodLineage | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| amodName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| anameKind | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| anameLineage | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| anameMetadata | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| anameName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| and2M | Mikan.Utils.Monad |
| andM | Mikan.Utils.Monad |
| andNot# | Mikan.Utils.Word |
| andThen | Mikan.Syntax.Parser.LexActions |
| AnIndexedLens | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AnIndexedLens' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AnIndexedSetter | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AnIndexedSetter' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AnIndexedTraversal | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AnIndexedTraversal' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AnIndexedTraversal1 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AnIndexedTraversal1' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AnIso | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AnIso' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Ann | Mikan.TypeChecking.Rules.LHS.Problem |
| annotate | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.Utils.Parser.MemoisedCPS |
| annotateAspect | Mikan.Syntax.Common.Pretty |
| annotateDecls | Mikan.Syntax.Scope.Monad |
| annotateExpr | Mikan.Syntax.Scope.Monad |
| AnnotationPattern | Mikan.TypeChecking.Rules.LHS.Problem |
| anon | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| antiUnify | Mikan.TypeChecking.Conversion |
| antiUnifyArgs | Mikan.TypeChecking.Conversion |
| antiUnifyElims | Mikan.TypeChecking.Conversion |
| antiUnifyType | Mikan.TypeChecking.Conversion |
| AnyAbstract | Mikan.Syntax.Abstract |
| anyAbstract | Mikan.Syntax.Abstract |
| anyDefs | Mikan.Termination.RecCheck |
| anyEllipsisVar | Mikan.Interaction.MakeCase |
| anyFreeVar | Mikan.TypeChecking.Free |
| AnyIsAbstract | Mikan.Syntax.Common |
| anyIsAbstract | Mikan.Syntax.Common |
| anyListT | Mikan.Utils.ListT |
| anyM | Mikan.Utils.Monad |
| APatternLike | Mikan.Syntax.Abstract.Pattern |
| App | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| 3 (Data Constructor) | Mikan.TypeChecking.EtaContract |
| app | Mikan.Syntax.Abstract |
| appBrackets | Mikan.Syntax.Fixity |
| appBrackets' | Mikan.Syntax.Fixity |
| appDef' | Mikan.TypeChecking.Reduce |
| appDefE' | Mikan.TypeChecking.Reduce |
| appDefE_ | Mikan.TypeChecking.Reduce |
| append | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.ListInf |
| 3 (Function) | Mikan.Utils.List2 |
| appendArgNames | Mikan.Syntax.Common |
| appendList | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.List2 |
| appEndo | |
| 1 (Function) | Mikan.Utils.StrictEndo |
| 2 (Function) | Mikan.Utils.StrictFlipEndo |
| appFwd | Mikan.Utils.Monoid |
| AppHead | Mikan.TypeChecking.Rules.Application |
| AppInfo | |
| 1 (Type/Class) | Mikan.Syntax.Info |
| 2 (Data Constructor) | Mikan.Syntax.Info |
| appInteractionOutputCallback | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AppK | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| Application | Mikan.Syntax.Abstract.Views |
| Applied | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| Apply | |
| 1 (Type/Class) | Mikan.Utils.TypeLevel |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| 3 (Type/Class) | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| 4 (Data Constructor) | Mikan.Syntax.Reflected |
| 5 (Data Constructor) | Mikan.Syntax.Abstract |
| apply | |
| 1 (Function) | Mikan.Utils.AssocList |
| 2 (Function) | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| apply1 | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| apply2 | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| applyAttr | Mikan.Syntax.Parser.Helpers |
| applyAttributes | Mikan.Syntax.Parser.Helpers |
| applyAttrs | Mikan.Syntax.Parser.Helpers |
| applyAttrs1 | Mikan.Syntax.Parser.Helpers |
| applyAttrsDropTactic | Mikan.Syntax.Parser.Helpers |
| applyDef | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| applyE | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| applyFlagsToTCWarnings | Mikan.TypeChecking.Pretty.Warning, Mikan.TypeChecking.Errors |
| applyFlagsToTCWarningsPreserving | Mikan.TypeChecking.Pretty.Warning, Mikan.TypeChecking.Errors |
| applyImportDirective | Mikan.Syntax.Scope.Base |
| applyImportDirectiveM | Mikan.Syntax.Scope.Monad |
| applyImportDirective_ | Mikan.Syntax.Scope.Base |
| applyN | Mikan.TypeChecking.Names |
| applyN' | Mikan.TypeChecking.Names |
| ApplyOrIApply | Mikan.TypeChecking.Coverage.Match |
| applyPatSubst | Mikan.TypeChecking.Substitute |
| applyProj | Mikan.Mimer.Monad |
| ApplyS | Mikan.Syntax.Abstract |
| applys | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| ApplySection | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| applySection | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| applySection' | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| applySplitPSubst | Mikan.TypeChecking.Coverage.SplitPattern |
| applySubst | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| applySubstTerm | Mikan.TypeChecking.Substitute |
| applyTermE | Mikan.TypeChecking.Substitute |
| applyToMetas | Mikan.Mimer.Monad |
| applyToMetasG | Mikan.Mimer.Monad |
| applyUnder | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| applyUnless | Mikan.Utils.Function |
| applyUnlessIts | Mikan.Utils.Function |
| applyUnlessM | Mikan.Utils.Function |
| applyUnlessNull | Mikan.Utils.Null |
| applyWhen | Mikan.Utils.Function |
| applyWhenIts | Mikan.Utils.Function |
| applyWhenJust | Mikan.Utils.Function |
| applyWhenM | Mikan.Utils.Function |
| applyWhenNothing | Mikan.Utils.Function |
| applyWhenVerboseS | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Reduce.Monad, Mikan.Compiler.Backend |
| appOrigin | Mikan.Syntax.Info |
| AppP | Mikan.Syntax.Concrete |
| appP | Mikan.Syntax.Concrete.Operators.Parser |
| appParens | Mikan.Syntax.Info |
| appRange | Mikan.Syntax.Info |
| approxConInduction | Mikan.Syntax.Scope.Base |
| appTel | Mikan.TypeChecking.Names |
| AppV | Mikan.Syntax.Concrete.Operators.Parser |
| AppView | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Type/Class) | Mikan.Syntax.Abstract.Views |
| appView | |
| 1 (Function) | Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract.Views |
| AppView' | Mikan.Syntax.Abstract.Views |
| appView' | Mikan.Syntax.Abstract.Views |
| appViewM | Mikan.TypeChecking.Rules.Term |
| apReduce | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| apTCMT | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| arena | Mikan.TypeChecking.Serialise.Base |
| areWeCaching | Mikan.TypeChecking.Monad.Caching, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Arg | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Common |
| ArgDescr | Mikan.Utils.GetOpt, Mikan.Interaction.Options |
| argFromDom | Mikan.Syntax.Internal.Dom |
| argH | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| ArgInfo | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Common |
| argInfo | Mikan.Syntax.Common |
| argInfoFreeVariables | Mikan.Syntax.Common |
| argInfoHiding | Mikan.Syntax.Common |
| argInfoOrigin | Mikan.Syntax.Common |
| argN | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| ArgName | Mikan.Syntax.Common |
| argNameToString | Mikan.Syntax.Common |
| ArgNode | Mikan.TypeChecking.Positivity.Occurrence, Mikan.TypeChecking.Positivity.OccurrenceAnalysis |
| ArgOrder | Mikan.Utils.GetOpt |
| ArgRanges | Mikan.TypeChecking.Rules.Application |
| Args | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Term |
| 2 (Type/Class) | Mikan.Syntax.Reflected |
| 3 (Type/Class) | Mikan.Syntax.Abstract |
| Args1 | Mikan.Syntax.Internal.Term |
| ArgsCheck | Mikan.TypeChecking.Rules.Application |
| ArgsCheckState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| argsFromElims | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| ArgsK | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| argsP | Mikan.Syntax.Concrete.Operators.Parser |
| argsToElims | Mikan.Syntax.Reflected |
| ArgT | Mikan.TypeChecking.Records |
| Argument | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| argument | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ArgumentCtx | Mikan.Syntax.Fixity |
| argumentCtx_ | Mikan.Syntax.Fixity |
| ArgumentIndex | Mikan.Termination.CallMatrix |
| ArgVars | Mikan.TypeChecking.Names |
| Arity | |
| 1 (Type/Class) | Mikan.Utils.TypeLevel |
| 2 (Type/Class) | Mikan.Syntax.Common |
| arity | Mikan.TypeChecking.CompiledClause |
| arityPiPath | Mikan.TypeChecking.Telescope.Path |
| Array | |
| 1 (Type/Class) | Mikan.Interaction.JSON |
| 2 (Data Constructor) | Mikan.Interaction.JSON |
| 3 (Type/Class) | Mikan.Utils.MinimalArray.Prim |
| 4 (Data Constructor) | Mikan.Utils.MinimalArray.Prim |
| 5 (Type/Class) | Mikan.Utils.MinimalArray.MutablePrim |
| 6 (Data Constructor) | Mikan.Utils.MinimalArray.MutablePrim |
| 7 (Type/Class) | Mikan.Utils.MinimalArray.Lifted |
| 8 (Data Constructor) | Mikan.Utils.MinimalArray.Lifted |
| 9 (Type/Class) | Mikan.Utils.MinimalArray.MutableLifted |
| 10 (Data Constructor) | Mikan.Utils.MinimalArray.MutableLifted |
| arrow | Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty |
| Arrows | Mikan.Utils.TypeLevel |
| As | Mikan.Syntax.Concrete |
| AsB | Mikan.TypeChecking.Rules.LHS.Problem |
| AsBinding | Mikan.TypeChecking.Rules.LHS.Problem |
| AsciiCounter | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Concrete, Mikan.Syntax.Abstract |
| AsciiOnly | Mikan.Syntax.Concrete.Glyph, Mikan.Syntax.Concrete.Pretty, Mikan.Interaction.Options |
| ASetter | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ASetter' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| asFinite | Mikan.Utils.Float |
| AsIs | Mikan.Interaction.Base |
| ask | Mikan.Utils.StrictReader |
| askName | Mikan.Syntax.Translation.ReflectedToAbstract |
| askR | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Reduce.Monad, Mikan.Compiler.Backend |
| asks | Mikan.Utils.StrictReader |
| asksTC | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| askTC | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| askVar | Mikan.Syntax.Translation.ReflectedToAbstract |
| AsName | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| asName | Mikan.Syntax.Concrete |
| AsName' | Mikan.Syntax.Concrete |
| AsP | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| AsPatternInPatternSynonym | Mikan.Syntax.Scope.Errors |
| AsPatternInPatternSynonym_ | Mikan.Interaction.Options.Errors |
| asPatterns | Mikan.TypeChecking.Rules.LHS.Problem |
| AsPatternShadowsConstructorOrPatternSynonym | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AsPatternShadowsConstructorOrPatternSynonym_ | Mikan.Interaction.Options.Warnings |
| Aspect | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| aspect | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| Aspects | |
| 1 (Type/Class) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| asRange | Mikan.Syntax.Concrete |
| Assign | |
| 1 (Type/Class) | Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Interaction.Base |
| assign | Mikan.TypeChecking.MetaVars |
| assignA | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| assignE | Mikan.TypeChecking.Conversion |
| assignMeta | |
| 1 (Function) | Mikan.TypeChecking.MetaVars |
| 2 (Function) | Mikan.Mimer.Monad |
| assignMeta' | Mikan.TypeChecking.MetaVars |
| Assigns | Mikan.Syntax.Abstract |
| assignTerm | Mikan.TypeChecking.MetaVars |
| assignTerm' | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| assignTermTCM' | Mikan.TypeChecking.MetaVars |
| assignV | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| assignWrapper | Mikan.TypeChecking.MetaVars |
| Associativity | Mikan.Syntax.Common |
| AssocList | Mikan.Utils.AssocList |
| assocs | Mikan.Utils.Map1 |
| AsTermsOf | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AsTypes | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| asum | Mikan.Utils.List |
| asum1 | Mikan.Utils.List |
| asView | Mikan.Syntax.Abstract.Views |
| At | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| at | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| atClause | Mikan.TypeChecking.Rules.Def |
| atLeastTwoParts | Mikan.Syntax.Concrete.Operators.Parser |
| Atomic | Mikan.Utils.Atomic |
| atomicLevel | Mikan.Syntax.Internal.Term |
| atomicModifyIORef | Mikan.Utils.IORef.Strict |
| atomizeLayers | Mikan.Syntax.Parser.Literate |
| atomP | Mikan.Syntax.Concrete.Operators.Parser |
| ATraversal | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ATraversal' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ATraversal1 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ATraversal1' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| atTopLevel | |
| 1 (Function) | Mikan.Interaction.BasicOps |
| 2 (Function) | Mikan.Interaction.InteractionTop |
| Attr | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Attribute |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Attribute |
| Attribute | Mikan.Syntax.Concrete.Attribute |
| Attributes | Mikan.Syntax.Concrete.Attribute |
| attributesMap | Mikan.Syntax.Concrete.Attribute |
| attrName | Mikan.Syntax.Concrete.Attribute |
| attrRange | Mikan.Syntax.Concrete.Attribute |
| au | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| auf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| augCallInfo | Mikan.Termination.CallMatrix |
| augCallMatrix | Mikan.Termination.CallMatrix |
| AutoColour | Mikan.Interaction.Options |
| autoInline | Mikan.TypeChecking.Inlining |
| AwakeConstraint | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Axiom | |
| 1 (Data Constructor) | Mikan.Syntax.Reflected |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Types, Mikan.Syntax.Concrete.Definitions |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| 4 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| axiomConstTransp | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AxiomData | |
| 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 |
| AxiomDefn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| AxiomName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| axiomName | Mikan.Syntax.Abstract |
| AxiomS | Mikan.Syntax.Abstract |