Index - I
| IApply | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| IApplyP | Mikan.Syntax.Internal.Pattern |
| IApplyVars | Mikan.TypeChecking.Telescope.Path |
| iApplyVars | Mikan.TypeChecking.Telescope.Path |
| iat | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iBuiltin | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| icensoring | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ICODE | Mikan.TypeChecking.Serialise.Base |
| icode | Mikan.TypeChecking.Serialise.Base |
| icodeArgs | Mikan.TypeChecking.Serialise.Base |
| icodeByteArray | Mikan.TypeChecking.Serialise.Base |
| icodeDouble | Mikan.TypeChecking.Serialise.Base |
| icodeInteger | Mikan.TypeChecking.Serialise.Base |
| icodeList | Mikan.TypeChecking.Serialise.Instances.General |
| icodeListPair | Mikan.TypeChecking.Serialise.Instances.General |
| icodeMemo | Mikan.TypeChecking.Serialise.Base |
| icodeN | Mikan.TypeChecking.Serialise.Base |
| icodeN' | Mikan.TypeChecking.Serialise.Base |
| icodeNode | Mikan.TypeChecking.Serialise.Base |
| icodeString | Mikan.TypeChecking.Serialise.Base |
| icodeVarSet | Mikan.TypeChecking.Serialise.Base |
| icodRM | Mikan.TypeChecking.Serialise.Instances.Highlighting |
| icod_ | Mikan.TypeChecking.Serialise.Base |
| icontains | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ICOption | Mikan.Interaction.Options |
| icOptionActive | Mikan.Interaction.Options |
| icOptionDescription | Mikan.Interaction.Options |
| icOptionKind | Mikan.Interaction.Options |
| icOptionOK | Mikan.Interaction.Options |
| icOptionWarning | Mikan.Interaction.Options |
| Id | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| iDefaultPragmaOptions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| idempotentEndos | Mikan.Termination.Termination |
| Ident | Mikan.Syntax.Concrete |
| Identity | |
| 1 (Type/Class) | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IdentP | Mikan.Syntax.Concrete |
| idFromFile | Mikan.Utils.FileId, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IdiomBracketError | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IdiomBracketError_ | Mikan.Interaction.Options.Errors |
| IdiomBrackets | Mikan.Syntax.Concrete |
| IdiomType | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iDisplayForms | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| idP | Mikan.Utils.Permutation |
| IdPart | Mikan.Syntax.Common |
| IdS | Mikan.Syntax.Internal.Term, Mikan.TypeChecking.Substitute |
| idS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| IdToFile | Mikan.Utils.FileId |
| idToFile | Mikan.Utils.FileId |
| iEnd | Mikan.Syntax.Position |
| iEnd' | Mikan.Syntax.Position |
| If | Mikan.Utils.TypeLevel |
| ifaceFilePaths | Mikan.Interaction.Library.Base |
| ifailover | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ifBlocked | Mikan.TypeChecking.Reduce |
| iFilePragmaOptions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iFileType | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ifImpureConv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ifIsSort | Mikan.TypeChecking.Sort |
| ifJust | Mikan.Utils.Maybe |
| ifJustM | |
| 1 (Function) | Mikan.Utils.Maybe.Strict |
| 2 (Function) | Mikan.Utils.Maybe |
| ifM | Mikan.Utils.Monad |
| ifNoConstraints | Mikan.TypeChecking.Constraints |
| ifNoConstraints_ | Mikan.TypeChecking.Constraints |
| ifNotM | Mikan.Utils.Monad |
| ifNotNull | |
| 1 (Function) | Mikan.Utils.Null |
| 2 (Function) | Mikan.Utils.List1 |
| ifNotNullM | Mikan.Utils.Null |
| ifNotPathB | Mikan.TypeChecking.Telescope |
| ifNotPi | Mikan.TypeChecking.Telescope |
| ifNotPiOrPathB | Mikan.TypeChecking.Telescope |
| ifNotPiOrPathType | Mikan.TypeChecking.Telescope |
| ifNotPiType | Mikan.TypeChecking.Telescope |
| ifNotSort | Mikan.TypeChecking.Sort |
| ifNull | |
| 1 (Function) | Mikan.Utils.Map1 |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Null |
| 4 (Function) | Mikan.Utils.List1 |
| ifNullM | Mikan.Utils.Null |
| iForeignCode | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iforMOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iforM_ | Mikan.Utils.Monad |
| iforOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ifPath | Mikan.TypeChecking.Telescope |
| ifPathB | Mikan.TypeChecking.Telescope |
| ifPi | Mikan.TypeChecking.Telescope |
| ifPiB | Mikan.TypeChecking.Telescope |
| ifPiOrPathB | Mikan.TypeChecking.Telescope |
| ifPiType | Mikan.TypeChecking.Telescope |
| ifPiTypeB | Mikan.TypeChecking.Telescope |
| ifThenElse | Mikan.Utils.Boolean |
| ifTopLevelAndHighlightingLevelIs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ifTopLevelAndHighlightingLevelIsOr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iFullHash | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IgnoreAbstract | Mikan.Interaction.Base |
| IgnoreAbstractMode | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ignoreAbstractMode | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IgnoreAll | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| ignoreBlocking | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| ignored | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IgnoredRecordDeclaration | Mikan.Syntax.Scope.Errors |
| IgnoreInAnnotations | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| IgnoreNot | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| ignoreReduced | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IgnoreSorts | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| ignoreSorts' | Mikan.TypeChecking.Free.Generic |
| iHighlighting | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iImportedModules | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iImportWarning | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IInfo | Mikan.TypeChecking.Coverage.SplitClause |
| iInsideScope | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iix | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iLength | Mikan.Syntax.Position |
| ilens | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ilike | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ilistening | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ilistenings | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Illegal | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse, Mikan.TypeChecking.Rules.LHS.Unify |
| IllegalAmbiguity | Mikan.Syntax.Scope.Base |
| IllegalDeclarationBeforeTopLevelModule | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IllegalDeclarationBeforeTopLevelModule_ | Mikan.Interaction.Options.Errors |
| IllegalDeclarationInDataDefinition | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IllegalDeclarationInDataDefinition_ | Mikan.Interaction.Options.Warnings |
| IllegalHidingInPostfixProjection | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IllegalHidingInPostfixProjection_ | Mikan.Interaction.Options.Errors |
| IllegalInstanceVariableInPatternSynonym | Mikan.Syntax.Scope.Errors |
| IllegalInstanceVariableInPatternSynonym_ | Mikan.Interaction.Options.Errors |
| IllegalLetInTelescope | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IllegalLetInTelescope_ | Mikan.Interaction.Options.Errors |
| IllegalPatternInTelescope | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IllegalPatternInTelescope_ | Mikan.Interaction.Options.Errors |
| IllformedAsClause | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IllformedAsClause_ | Mikan.Interaction.Options.Warnings |
| IllformedProjectionPatternAbstract | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IllformedProjectionPatternAbstract_ | Mikan.Interaction.Options.Errors |
| IllformedProjectionPatternConcrete | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IllformedProjectionPatternConcrete_ | Mikan.Interaction.Options.Errors |
| illiterate | Mikan.Syntax.Parser.Literate |
| IllTypedPatternAfterWithAbstraction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IllTypedPatternAfterWithAbstraction_ | Mikan.Interaction.Options.Errors |
| ilocally | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iloci | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IM | Mikan.Interaction.Monad |
| imagma | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| imapAccumLOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| imapAccumROf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| imapMOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| imapM_ | Mikan.Utils.Monad |
| imapOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IMax | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| imax | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| iMetaBindings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IMin | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| imin | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| imodifying | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| imoduleMap | Mikan.Syntax.Scope.Monad |
| iModuleName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ImpInsert | Mikan.TypeChecking.Implicit |
| implicitArgs | Mikan.TypeChecking.Implicit |
| implicitCheckedArgs | Mikan.TypeChecking.Implicit |
| ImplicitFlex | Mikan.TypeChecking.Rules.LHS.Problem |
| ImplicitInsertion | Mikan.TypeChecking.Implicit |
| implicitNamedArgs | Mikan.TypeChecking.Implicit |
| implicitP | Mikan.TypeChecking.Rules.LHS.Implicit |
| ImpliedPragmaOption | Mikan.Interaction.Options |
| impliedPragmaOptions | Mikan.Interaction.Options |
| implies | Mikan.Utils.Boolean |
| ImpliesPragmaOption | Mikan.Interaction.Options |
| ImpMissingDefinitions | Mikan.Utils.Impossible |
| Import | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| 3 (Data Constructor) | Mikan.Syntax.Abstract |
| ImportDirective | |
| 1 (Data Constructor) | Mikan.Syntax.Common |
| 2 (Type/Class) | Mikan.Syntax.Concrete |
| 3 (Type/Class) | Mikan.Syntax.Abstract |
| ImportDirective' | Mikan.Syntax.Common |
| importDirRange | Mikan.Syntax.Common |
| ImportedModule | Mikan.Syntax.Common |
| ImportedModules | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ImportedName | |
| 1 (Data Constructor) | Mikan.Syntax.Common |
| 2 (Type/Class) | Mikan.Syntax.Concrete |
| 3 (Type/Class) | Mikan.Syntax.Abstract |
| ImportedName' | Mikan.Syntax.Common |
| ImportedNameMap | |
| 1 (Type/Class) | Mikan.Syntax.Scope.Monad |
| 2 (Data Constructor) | Mikan.Syntax.Scope.Monad |
| importedNameMapFromList | Mikan.Syntax.Scope.Monad |
| ImportedNS | Mikan.Syntax.Scope.Base |
| ImportMayOpen | Mikan.Syntax.Concrete.Definitions.Errors |
| importPrimitiveModules | Mikan.Interaction.Imports |
| importPrimitives | Mikan.Syntax.Translation.ConcreteToAbstract |
| ImportS | Mikan.Syntax.Abstract |
| Impossible | |
| 1 (Type/Class) | Mikan.Utils.Impossible |
| 2 (Data Constructor) | Mikan.Utils.Impossible |
| impossible | Mikan.Utils.Impossible |
| ImpossibleConstructor | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| impossibleConstructorErrorName | Mikan.TypeChecking.Errors.Names |
| ImpossibleConstructor_ | Mikan.Interaction.Options.Errors |
| ImpossibleError | Mikan.Interaction.ExitCode |
| ImpossiblePragma | Mikan.Syntax.Concrete |
| impossibleTerm | Mikan.Syntax.Internal.Term |
| impossibleTest | Mikan.ImpossibleTest |
| impossibleTestReduceM | Mikan.ImpossibleTest |
| impRenaming | Mikan.Syntax.Common |
| ImproperInstHead | Mikan.TypeChecking.InstanceArguments.Errors |
| ImproperInstTele | Mikan.TypeChecking.InstanceArguments.Errors |
| imp_dir | Mikan.Syntax.Parser.Lexer |
| In | Mikan.Syntax.Concrete.Operators.Parser |
| In1 | Mikan.Utils.Three |
| In2 | Mikan.Utils.Three |
| In3 | Mikan.Utils.Three |
| inAbstractMode | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| inameMap | Mikan.Syntax.Scope.Monad |
| incCompGen | Mikan.Mimer.Types |
| incCompHit | Mikan.Mimer.Types |
| incCompNoRegen | Mikan.Mimer.Types |
| incCompRegen | Mikan.Mimer.Types |
| InClause | |
| 1 (Data Constructor) | Mikan.TypeChecking.Positivity.Occurrence |
| 2 (Data Constructor) | Mikan.TypeChecking.Positivity.Warnings |
| includes | Mikan.TypeChecking.Serialise.Base |
| Inclusion | |
| 1 (Type/Class) | Mikan.Utils.PartialOrd |
| 2 (Data Constructor) | Mikan.Utils.PartialOrd |
| inclusion | Mikan.Utils.PartialOrd |
| incMetasCreated | Mikan.Mimer.Types |
| Incoherent | Mikan.Syntax.Common |
| inCompilerEnv | Mikan.Compiler.Common |
| incompleteMatchWarnings | Mikan.Interaction.Options.Warnings |
| inConcreteMode | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| inConcreteOrAbstractMode | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| increase | Mikan.Termination.Order |
| incRefineFail | Mikan.Mimer.Types |
| incRefineSuccess | Mikan.Mimer.Types |
| incrementUserEra | Mikan.Utils.Trace |
| incrementUserEra_ | Mikan.Utils.Trace |
| incTypeEqChecks | Mikan.Mimer.Types |
| inCxt | Mikan.TypeChecking.Names |
| IndArgType | |
| 1 (Data Constructor) | Mikan.TypeChecking.Positivity.Occurrence |
| 2 (Data Constructor) | Mikan.TypeChecking.Positivity.Warnings |
| Indefinite | |
| 1 (Type/Class) | Mikan.TypeChecking.Errors |
| 2 (Data Constructor) | Mikan.TypeChecking.Errors |
| InDefOf | |
| 1 (Data Constructor) | Mikan.TypeChecking.Positivity.Occurrence |
| 2 (Data Constructor) | Mikan.TypeChecking.Positivity.Warnings |
| indent | Mikan.Utils.String |
| independent | Mikan.Interaction.InteractionTop |
| Index | |
| 1 (Type/Class) | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Type/Class) | Mikan.Utils.IndexedList |
| 3 (Data Constructor) | Mikan.Utils.Suffix |
| index | |
| 1 (Function) | Mikan.Utils.MinimalArray.Prim |
| 2 (Function) | Mikan.Utils.MinimalArray.Lifted |
| 3 (Function) | Mikan.Utils.HashSet.Ordered |
| IndexedGetter | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IndexedGetting | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IndexedLens | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IndexedLens' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IndexedSetter | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IndexedSetter' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IndexedTraversal | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IndexedTraversal' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IndexedTraversal1 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IndexedTraversal1' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| indexWithDefault | Mikan.Utils.List |
| Indirect | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Induction | |
| 1 (Type/Class) | Mikan.Syntax.Common.Aspect, Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| InductionAndEta | |
| 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 |
| Inductive | Mikan.Syntax.Common.Aspect, Mikan.Syntax.Common |
| INeg | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ineg | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| Inf | Mikan.Syntax.Internal.Term |
| infallibleSortKit | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Infective | Mikan.Interaction.Options |
| InfectiveCoinfective | Mikan.Interaction.Options |
| InfectiveCoinfectiveOption | Mikan.Interaction.Options |
| infectiveCoinfectiveOptions | Mikan.Interaction.Options |
| InfectiveImport | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InfectiveImport_ | Mikan.Interaction.Options.Warnings |
| infer | Mikan.TypeChecking.CheckInternal |
| inferApplication | Mikan.TypeChecking.Rules.Application |
| InferDef | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InferExpr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| inferExpr | Mikan.TypeChecking.Rules.Term, Mikan.TheTypeChecker |
| inferExpr' | Mikan.TypeChecking.Rules.Term |
| inferExprForWith | Mikan.TypeChecking.Rules.Term |
| inferFunSort | Mikan.TypeChecking.Sort |
| inferInternal | Mikan.TypeChecking.CheckInternal |
| inferInternal' | Mikan.TypeChecking.CheckInternal |
| inferMeta | Mikan.TypeChecking.Rules.Term |
| inferNeutral | Mikan.TypeChecking.ProjectionLike |
| inferPiSort | Mikan.TypeChecking.Sort |
| Inferred | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| inferredBlock | Mikan.Syntax.Concrete.Definitions.Types |
| inferredChecks | Mikan.Syntax.Concrete.Definitions.Types |
| inferredLeftovers | Mikan.Syntax.Concrete.Definitions.Types |
| InferredMutual | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Definitions.Types |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Types |
| inferSpine | Mikan.TypeChecking.CheckInternal |
| inferUnivSort | Mikan.TypeChecking.Sort |
| InferVar | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| infimum | Mikan.Termination.Order |
| Infix | Mikan.Syntax.Concrete |
| InfixDef | Mikan.Syntax.Common |
| InfixNotation | Mikan.Syntax.Notation |
| infoEqLHS | Mikan.TypeChecking.Coverage.SplitClause |
| infoEqRHS | Mikan.TypeChecking.Coverage.SplitClause |
| infoEqTel | Mikan.TypeChecking.Coverage.SplitClause |
| infoLeftInv | Mikan.TypeChecking.Coverage.SplitClause |
| infoRho | Mikan.TypeChecking.Coverage.SplitClause |
| inform | Mikan.Setup.EmacsMode |
| infoTau | Mikan.TypeChecking.Coverage.SplitClause |
| infoTel | Mikan.TypeChecking.Coverage.SplitClause |
| infoTel0 | Mikan.TypeChecking.Coverage.SplitClause |
| Info_AllGoalsWarnings | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_Auto | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_CompilationError | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_CompilationOk | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_Constraints | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_Context | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_Error | |
| 1 (Data Constructor) | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| 2 (Type/Class) | Mikan.Interaction.Response |
| Info_Error_boot | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_GenericError | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_GoalSpecific | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_HighlightingParseError | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_HighlightingScopeCheckError | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_InferredType | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_Intro_ConstructorUnknown | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_Intro_NotFound | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_ModuleContents | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_NormalForm | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_SearchAbout | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_Time | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_Version | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| Info_WhyInScope | Mikan.Interaction.Response.Base, Mikan.Interaction.Response |
| inFreshModuleIfFreeParams | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InfS | Mikan.Syntax.Reflected |
| inGoalEnv | Mikan.Mimer.Monad |
| INice | Mikan.Syntax.Concrete.Definitions.Monad |
| InIndex | |
| 1 (Data Constructor) | Mikan.TypeChecking.Positivity.Occurrence |
| 2 (Data Constructor) | Mikan.TypeChecking.Positivity.Warnings |
| init | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.List2 |
| init1 | Mikan.Utils.List |
| initColdEnv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initCommandState | Mikan.Interaction.Base |
| initEnv | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initEnvFlags | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initFileDict | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InitialCandidates | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| initialiseCommandQueue | Mikan.Interaction.InteractionTop |
| initialMetaId | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initLast | |
| 1 (Function) | Mikan.Utils.List |
| 2 (Function) | Mikan.Utils.List1 |
| initLast' | Mikan.Utils.List |
| initLast1 | Mikan.Utils.List |
| initLast1' | Mikan.Utils.List |
| initLHSState | Mikan.TypeChecking.Rules.LHS.ProblemRest |
| initMaybe | Mikan.Utils.List |
| initNiceState | Mikan.Syntax.Concrete.Definitions.Monad |
| initPersistentStateFromSessionState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initPostColdState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initPostFlags | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initPostMetaState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initPostNamesCheckpoints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initPostScopeState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initPreScopeState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| inits | Mikan.Utils.List1 |
| inits1 | Mikan.Utils.List1 |
| initSessionState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initState | |
| 1 (Function) | Mikan.Syntax.Parser.Monad |
| 2 (Function) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initStateFromPersistentState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initStateFromSessionState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initStateIO | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initTCContext | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| initUnifyState | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| initWithDefault | Mikan.Utils.List |
| injectAt | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| injectConstructor | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| injectDatatype | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| injectIndices | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| InjectiveForInferencePragma | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| InjectivePragma | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| Injectivity | |
| 1 (Data Constructor) | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| 2 (Data Constructor) | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| injectParameters | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| injectType | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| InLevel | |
| 1 (Data Constructor) | Mikan.TypeChecking.Positivity.Occurrence |
| 2 (Data Constructor) | Mikan.TypeChecking.Positivity.Warnings |
| InlineNoExactSplit | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InlineNoExactSplit_ | Mikan.Interaction.Options.Warnings |
| InlinePragma | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| InlineReductions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InMutual | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Definitions.Types |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Definitions.Types |
| inMutualBlock | Mikan.TypeChecking.Monad.Mutual, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| inNameSpace | Mikan.Syntax.Scope.Base |
| inOriginalContext | Mikan.TypeChecking.Unquote |
| inplaceS | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| inputFlag | Mikan.Interaction.Options |
| inRange | Mikan.Utils.VarSet |
| InScope | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Scope.Base |
| inScopeBecause | Mikan.Syntax.Scope.Base |
| InScopeSet | Mikan.Syntax.Scope.Base |
| InScopeTag | Mikan.Syntax.Scope.Base |
| inScopeTag | Mikan.Syntax.Scope.Base |
| insert | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.Set |
| 3 (Function) | Mikan.Utils.Set1 |
| 4 (Function) | Mikan.Utils.Map1 |
| 5 (Function) | Mikan.Utils.BoolSet |
| 6 (Function) | Mikan.Utils.AssocList |
| 7 (Function) | Mikan.Utils.VarSet |
| 8 (Function) | Mikan.Utils.SmallSet |
| 9 (Function) | Mikan.Utils.Trie |
| 10 (Function) | Mikan.Utils.RangeMap |
| 11 (Function) | Mikan.Utils.HashTable |
| 12 (Function) | Mikan.Utils.Favorites |
| 13 (Function) | Mikan.Utils.BiMap |
| 14 (Function) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| 15 (Function) | Mikan.Termination.CallMatrix |
| 16 (Function) | Mikan.Termination.CallGraph |
| insertCompared | Mikan.Utils.Favorites |
| insertDT | Mikan.TypeChecking.DiscrimTree |
| Inserted | Mikan.Syntax.Common |
| insertedBinder | Mikan.Syntax.Abstract |
| InsertedBinderName | Mikan.Syntax.Common |
| insertedBinder_ | Mikan.Syntax.Abstract |
| insertEdge | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| insertEdgeWith | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| insertImplicit | Mikan.TypeChecking.Implicit |
| insertImplicit' | Mikan.TypeChecking.Implicit |
| insertImplicitPatSynArgs | Mikan.Syntax.Abstract |
| insertImplicitPatterns | Mikan.TypeChecking.Rules.LHS.Implicit |
| insertImplicitPatternsT | Mikan.TypeChecking.Rules.LHS.Implicit |
| insertingIfAbsent | |
| 1 (Function) | Mikan.Utils.HashSet.Ordered |
| 2 (Function) | Mikan.Utils.HashTable |
| insertInspects | Mikan.TypeChecking.Rules.Def |
| insertLookupWithKey | |
| 1 (Function) | Mikan.Utils.Map1 |
| 2 (Function) | Mikan.Utils.BiMap |
| insertLookupWithKeyPrecondition | Mikan.Utils.BiMap |
| insertMap | Mikan.Utils.Map1 |
| insertMapMax | Mikan.Utils.Map1 |
| insertMapMin | Mikan.Utils.Map1 |
| insertMapWith | Mikan.Utils.Map1 |
| insertMapWithKey | Mikan.Utils.Map1 |
| insertMetaSet | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| insertMetaVar | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| insertMissingFields | Mikan.TypeChecking.Records |
| insertMissingFieldsFail | Mikan.TypeChecking.Records |
| insertMissingFieldsWarn | Mikan.TypeChecking.Records |
| insertMutualBlockInfo | Mikan.TypeChecking.Monad.Mutual, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| insertOldInteractionScope | Mikan.Interaction.InteractionTop |
| insertPatterns | Mikan.TypeChecking.Rules.Def |
| insertPatternsLHSCore | Mikan.TypeChecking.Rules.Def |
| insertPrecondition | Mikan.Utils.BiMap |
| inserts | Mikan.Utils.VarSet |
| insertsDesc | Mikan.Utils.VarSet |
| insertSet | Mikan.Utils.Set1 |
| insertSetMax | Mikan.Utils.Set1 |
| insertSetMin | Mikan.Utils.Set1 |
| insertTrailingArgs | Mikan.TypeChecking.Coverage |
| insertWith | |
| 1 (Function) | Mikan.Utils.Map1 |
| 2 (Function) | Mikan.Utils.Trie |
| 3 (Function) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| insertWithGood | Mikan.Utils.Map |
| insertWithKey | Mikan.Utils.Map1 |
| inside | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| insideAndOutside | Mikan.Utils.RangeMap, Mikan.Interaction.Highlighting.Precise |
| insideDotPattern | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InsideOperandCtx | Mikan.Syntax.Fixity |
| Instance | Mikan.Syntax.Common |
| InstanceArg | Mikan.Syntax.Concrete |
| InstanceArgV | Mikan.Syntax.Concrete.Operators.Parser |
| InstanceArgWithExplicitArg | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InstanceArgWithExplicitArg_ | Mikan.Interaction.Options.Warnings |
| InstanceB | Mikan.Syntax.Concrete |
| instanceClass | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InstanceDef | Mikan.Syntax.Common |
| InstanceInfo | |
| 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 |
| InstanceMeta | Mikan.Syntax.Info |
| instanceMetadata | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| InstanceNoCandidate | Mikan.TypeChecking.InstanceArguments.Errors |
| InstanceNoOutputTypeName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InstanceNoOutputTypeName_ | Mikan.Interaction.Options.Warnings |
| InstanceNotInArgumentPosition | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InstanceNotInArgumentPosition_ | Mikan.Interaction.Options.Warnings |
| instanceOverlap | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InstanceP | Mikan.Syntax.Concrete |
| InstanceProblem | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| Instances | Mikan.Interaction.Options.ProfileOptions |
| InstanceSearch | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| InstanceSearchDepthExhausted | Mikan.TypeChecking.InstanceArguments.Errors |
| InstanceSearchError | Mikan.TypeChecking.InstanceArguments.Errors |
| InstanceTable | |
| 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 |
| InstanceWithExplicitArg | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InstanceWithExplicitArg_ | Mikan.Interaction.Options.Warnings |
| Instantiable | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Instantiate | Mikan.TypeChecking.Reduce |
| instantiate | Mikan.TypeChecking.Reduce |
| instantiate' | Mikan.TypeChecking.Reduce |
| Instantiated | Mikan.Interaction.Base |
| instantiateDef | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| instantiateDefinitionType | Mikan.TypeChecking.Rules.Decl |
| InstantiateFull | Mikan.TypeChecking.Reduce |
| instantiateFull | Mikan.TypeChecking.Reduce |
| instantiateFull' | Mikan.TypeChecking.Reduce |
| instantiateTelescope | Mikan.TypeChecking.Telescope |
| instantiateVarHeads | Mikan.TypeChecking.Injectivity |
| instantiateWhen | Mikan.TypeChecking.Reduce |
| Instantiation | |
| 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 |
| inState | Mikan.Syntax.Parser.LexActions |
| instBody | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| instTel | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InstV | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| int | Mikan.Syntax.Common.Pretty |
| integer | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.Syntax.Parser.LexActions |
| integerA | Mikan.TypeChecking.Serialise.Base |
| integerC | Mikan.TypeChecking.Serialise.Base |
| integerD | Mikan.TypeChecking.Serialise.Base |
| integerSemiring | Mikan.Termination.Semiring |
| integerToChar | Mikan.Utils.Char |
| Interaction | Mikan.Interaction.Base |
| Interaction' | Mikan.Interaction.Base |
| InteractionEmacs | Mikan.Main |
| InteractionError | Mikan.Interaction.Errors |
| InteractionFormat | Mikan.Main |
| InteractionId | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Common |
| interactionId | Mikan.Syntax.Common |
| interactionIdToMetaId | Mikan.Interaction.BasicOps |
| interactionInteractor | Mikan.Main |
| InteractionJson | Mikan.Main |
| InteractionMetaBoundaries | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InteractionMetaBoundaries_ | Mikan.Interaction.Options.Warnings |
| InteractionOutputCallback | Mikan.TypeChecking.Monad.Base, Mikan.Interaction.Response, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InteractionPoint | |
| 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 |
| InteractionPoints | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Interactive | |
| 1 (Data Constructor) | Mikan.Interaction.Options.ProfileOptions |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Interactor | Mikan.Main |
| interAssocWith | Mikan.Termination.SparseMatrix |
| interestingCall | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| interestingConstraint | Mikan.TypeChecking.Pretty.Constraint |
| Interface | |
| 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 |
| InterfaceFile | Mikan.Interaction.FindFile |
| InterfaceInstantiateFull | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| InterfacePrefix | Mikan.TypeChecking.Serialise |
| interleavedCurrentDeclNum | Mikan.Syntax.Concrete.Definitions.Types |
| InterleavedData | Mikan.Syntax.Concrete.Definitions.Types |
| interleavedDataCons | Mikan.Syntax.Concrete.Definitions.Types |
| InterleavedDecl | Mikan.Syntax.Concrete.Definitions.Types |
| interleavedDeclNum | Mikan.Syntax.Concrete.Definitions.Types |
| interleavedDeclSig | Mikan.Syntax.Concrete.Definitions.Types |
| InterleavedFun | Mikan.Syntax.Concrete.Definitions.Types |
| interleavedFunClauses | Mikan.Syntax.Concrete.Definitions.Types |
| InterleavedMutual | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Concrete.Definitions.Types |
| interleavedMutual | Mikan.Syntax.Concrete.Definitions.Types |
| interleavedMutualChecks | Mikan.Syntax.Concrete.Definitions.Types |
| InterleavedState | Mikan.Syntax.Concrete.Definitions.Types |
| interleaveRanges | Mikan.Syntax.Position |
| Internal | Mikan.Interaction.Options.ProfileOptions |
| InternalError | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| internalError | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| internalErrorDiagnostic | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| InternalError_ | Mikan.Interaction.Options.Errors |
| interpret | Mikan.Interaction.InteractionTop |
| intersection | |
| 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 |
| intersectionWith | Mikan.Utils.Map1 |
| intersectionWithKey | Mikan.Utils.Map1 |
| intersectVars | Mikan.TypeChecking.Conversion |
| intersectWith | Mikan.Termination.SparseMatrix |
| intersperse | Mikan.Utils.List1 |
| Interval | |
| 1 (Type/Class) | Mikan.Syntax.Position |
| 2 (Data Constructor) | Mikan.Syntax.Position |
| interval | Mikan.Syntax.Parser.Literate |
| Interval' | Mikan.Syntax.Position |
| intervalInvariant | Mikan.Syntax.Position |
| intervalSort | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| intervalsToRange | Mikan.Syntax.Position |
| intervalToRange | Mikan.Syntax.Position |
| IntervalUniv | Mikan.Syntax.Internal.Term |
| intervalUnview | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| intervalUnview' | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IntervalView | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| intervalView | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| intervalView' | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IntervalWithoutFile | Mikan.Syntax.Position |
| IntervalWithoutFile' | Mikan.Syntax.Position |
| intFilePath | Mikan.Interaction.FindFile |
| inTopContext | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Intro | Mikan.Interaction.InteractionTop |
| introTactic | Mikan.Interaction.BasicOps |
| intSemiring | Mikan.Termination.Semiring |
| intSignature | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| intToDouble | Mikan.Utils.Float |
| IntVar# | |
| 1 (Type/Class) | Mikan.Utils.IntVar |
| 2 (Data Constructor) | Mikan.Utils.IntVar |
| Inv | Mikan.TypeChecking.Injectivity |
| InvalidBuiltin | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InvalidBuiltin_ | Mikan.Interaction.Options.Errors |
| InvalidCatchallPragma | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| InvalidCatchallPragma_ | Mikan.Interaction.Options.Warnings |
| InvalidCharacterLiteral | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InvalidCharacterLiteral_ | Mikan.Interaction.Options.Warnings |
| InvalidConstructorBlock | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| InvalidConstructorBlock_ | Mikan.Interaction.Options.Warnings |
| InvalidCoverageCheckPragma | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| InvalidCoverageCheckPragma_ | Mikan.Interaction.Options.Warnings |
| InvalidDataOrRecDefParameter | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| InvalidDataOrRecDefParameter_ | Mikan.Interaction.Options.Warnings |
| InvalidDisplayForm | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InvalidDisplayForm_ | Mikan.Interaction.Options.Warnings |
| InvalidDottedExpression | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InvalidDottedExpression_ | Mikan.Interaction.Options.Errors |
| InvalidExtensionError | Mikan.Syntax.Parser.Monad, Mikan.Syntax.Parser |
| InvalidFileName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InvalidFileNameReason | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InvalidFileName_ | Mikan.Interaction.Options.Errors |
| InvalidInstanceHeadType | Mikan.TypeChecking.InstanceArguments.Errors |
| InvalidNoPositivityCheckPragma | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| InvalidNoPositivityCheckPragma_ | Mikan.Interaction.Options.Warnings |
| InvalidNoUniverseCheckPragma | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| InvalidNoUniverseCheckPragma_ | Mikan.Interaction.Options.Warnings |
| InvalidPattern | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InvalidPattern_ | Mikan.Interaction.Options.Errors |
| InvalidProjectionParameter | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InvalidProjectionParameter_ | Mikan.Interaction.Options.Errors |
| InvalidPun | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InvalidPun_ | Mikan.Interaction.Options.Errors |
| InvalidTacticAttribute | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| InvalidTacticAttribute_ | Mikan.Interaction.Options.Warnings |
| InvalidTerminationCheckMutual | Mikan.Syntax.Concrete.Definitions.Errors |
| InvalidTerminationCheckPragma | Mikan.Syntax.Concrete.Definitions.Errors, Mikan.Syntax.Concrete.Definitions |
| InvalidTerminationCheckPragma_ | Mikan.Interaction.Options.Warnings |
| InvalidTypeSort | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InvalidTypeSort_ | Mikan.Interaction.Options.Errors |
| Invariant | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| invariant | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| Inverse | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| inverseCompose | Mikan.Utils.POMonoid |
| InverseInScope | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| InverseInScopeRecompute | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| InverseModuleLookup | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| InverseNameLookup | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| InverseNameModuleRecompute | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| InversePermute | Mikan.Utils.Permutation |
| inversePermute | Mikan.Utils.Permutation |
| inverseScopeLookupModule | Mikan.Syntax.Scope.Base |
| inverseScopeLookupModule' | Mikan.Syntax.Scope.Base |
| inverseScopeLookupName | Mikan.Syntax.Scope.Base |
| inverseScopeLookupName' | Mikan.Syntax.Scope.Base |
| inverseScopeLookupName'' | Mikan.Syntax.Scope.Base |
| inverseSubst' | Mikan.TypeChecking.MetaVars |
| InversionDepthReached | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InversionDepthReached_ | Mikan.Interaction.Options.Warnings |
| InversionMap | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Invert | Mikan.Syntax.Common |
| InvertExcept | Mikan.TypeChecking.MetaVars |
| invertFunction | Mikan.TypeChecking.Injectivity |
| invertP | Mikan.Utils.Permutation |
| invLookup | Mikan.Utils.BiMap |
| involuted | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| InvView | Mikan.TypeChecking.Injectivity |
| IOArray | |
| 1 (Type/Class) | Mikan.Utils.MinimalArray.MutablePrim |
| 2 (Type/Class) | Mikan.Utils.MinimalArray.MutableLifted |
| IOException | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IOne | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iOpaqueBlocks | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iOpaqueNames | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iOptionsUsed | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IORef | Mikan.Utils.IORef.Strict |
| IOTCM | |
| 1 (Type/Class) | Mikan.Interaction.Base |
| 2 (Data Constructor) | Mikan.Interaction.Base |
| IOTCM' | Mikan.Interaction.Base |
| iover | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iPartialDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipartsOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipartsOf' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipassing | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iPatternSyns | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IPBoundary | |
| 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 |
| ipBoundary | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IPBoundary' | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipcClause | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipcClauseNo | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipcClosure | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IPClause | |
| 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 |
| ipClause | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipcQName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipcType | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipcWithSub | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IPFace' | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iplens | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipMeta | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IPNoClause | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipRange | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ipSolved | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isAbs | Mikan.Syntax.Internal.Dom |
| IsAbstract | Mikan.Syntax.Common |
| isAbsurdLambdaName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isAbsurdP | Mikan.Syntax.Concrete |
| isAccessibleDef | Mikan.TypeChecking.Opacity |
| isAHole | Mikan.Syntax.Notation |
| isAlias | Mikan.TypeChecking.Rules.Def |
| IsAmbiguous | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isAmbiguous | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| isAnonymousModuleName | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| IsApply | Mikan.TypeChecking.Coverage.Match |
| isApplyElim | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| isApplyElim' | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| IsAxiom | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsBase | Mikan.Utils.TypeLevel |
| IsBasicRangeMap | Mikan.Utils.RangeMap, Mikan.Interaction.Highlighting.Precise |
| isBenchmarkOn | Mikan.Utils.Benchmark |
| isBinder | Mikan.Syntax.Notation |
| isBinderP | Mikan.Syntax.Concrete |
| isBinderUsed | Mikan.TypeChecking.Free |
| isBlocked | Mikan.TypeChecking.Reduce |
| isBlockedTerm | Mikan.TypeChecking.MetaVars |
| isBlockingConstraint | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsBool | Mikan.Utils.Boolean |
| IsBuiltin | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isBuiltin | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| IsBuiltinModule | |
| 1 (Type/Class) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isBuiltinModule | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsBuiltinModuleWithSafePostulates | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isBuiltinModuleWithSafePostulates | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isBuiltinNoDef | Mikan.Syntax.Builtin, Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isCanonical | Mikan.TypeChecking.Conversion |
| isCaseSensitive | Mikan.Utils.IO.Directory |
| isClosed | Mikan.TypeChecking.Monad.Open, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isCode | Mikan.Syntax.Parser.Literate |
| isCodeLayer | Mikan.Syntax.Parser.Literate |
| IsCodomainNormalised | Mikan.TypeChecking.Substitute |
| isCoFibrantSort | Mikan.TypeChecking.Irrelevance |
| isCoinductive | Mikan.TypeChecking.Rules.Data |
| isCoinductiveProjection | Mikan.Termination.Monad |
| isCon | Mikan.TypeChecking.Unquote |
| isConName | Mikan.Syntax.Scope.Base |
| isConstrainedPrimitive | Mikan.TypeChecking.Rules.Cubical |
| IsConstructor | Mikan.Syntax.Common |
| isConstructor | Mikan.TypeChecking.Datatypes |
| isCopatternLHS | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iScope | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isCovered | Mikan.TypeChecking.Coverage |
| isCubicalSubtype | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| IsData | Mikan.Syntax.Common |
| IsDataModule | Mikan.Syntax.Scope.Base |
| isDataOrRecord | Mikan.TypeChecking.Datatypes |
| isDataOrRecordType | Mikan.TypeChecking.Datatypes |
| isDatatype | |
| 1 (Function) | Mikan.TypeChecking.Positivity |
| 2 (Function) | Mikan.TypeChecking.Datatypes |
| isDatatypeModule | Mikan.Syntax.Scope.Monad |
| isDebugPrinting | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isDecr | Mikan.Termination.Order |
| isDef | Mikan.TypeChecking.Unquote |
| isDefAccount | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| isDefaultImportDir | Mikan.Syntax.Common |
| isDefName | Mikan.Syntax.Scope.Base |
| IsDominated | Mikan.Utils.Favorites |
| isDontExpandLast | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsEllipsis | Mikan.Syntax.Concrete.Pattern |
| isEllipsis | Mikan.Syntax.Concrete.Pattern |
| IsEmpty | |
| 1 (Data Constructor) | Mikan.Utils.Set1 |
| 2 (Data Constructor) | Mikan.Utils.Map1 |
| 3 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isEmpty | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.Termination.SparseMatrix |
| isEmptyFunction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isEmptyTel | Mikan.TypeChecking.Empty |
| IsEmptyType | Mikan.Interaction.Base |
| isEmptyType | Mikan.TypeChecking.Empty |
| isEnabled | Mikan.Compiler.Backend.Base, Mikan.Compiler.Backend |
| isEqualityType | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iset | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isEtaCon | Mikan.TypeChecking.Records |
| isEtaExpandable | Mikan.TypeChecking.MetaVars |
| isEtaOrCoinductiveRecordConstructor | Mikan.TypeChecking.Records |
| isEtaRecord | Mikan.TypeChecking.Records |
| isEtaRecordConstructor | Mikan.TypeChecking.Records |
| isEtaRecordDef | Mikan.TypeChecking.Records |
| isEtaRecordType | Mikan.TypeChecking.Records |
| isEtaVar | Mikan.TypeChecking.Records |
| isets | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isExpandLast | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsExpr | |
| 1 (Data Constructor) | Mikan.Syntax.Common |
| 2 (Type/Class) | Mikan.Syntax.Concrete.Operators.Parser |
| isExtendedLambda | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isExtendedLambdaName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isFaceConstraint | Mikan.TypeChecking.MetaVars |
| IsFam | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| IsFibrant | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term |
| 2 (Data Constructor) | Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term |
| isFibrant | Mikan.TypeChecking.Irrelevance |
| isFibrant' | Mikan.TypeChecking.Irrelevance |
| isFlexible | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| IsFlexiblePattern | Mikan.TypeChecking.Rules.LHS |
| isFlexiblePattern | Mikan.TypeChecking.Rules.LHS |
| IsForced | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isForced | Mikan.TypeChecking.Forcing |
| IsFree | Mikan.TypeChecking.Free.Reduce |
| isFrozen | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isFunName | Mikan.Syntax.Concrete.Definitions.Types |
| isGeneralizableMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isGeneralizedVarName | Mikan.Interaction.MakeCase |
| isHole | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| IsIApply | Mikan.TypeChecking.Coverage.Match |
| iSignature | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isIncoherent | Mikan.Syntax.Common |
| isInductiveRecord | Mikan.TypeChecking.Records |
| IsInfix | Mikan.Syntax.Common |
| isInfix | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| isInlineFun | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isInModule | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| isInScope | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| isInsertedHidden | Mikan.Syntax.Common |
| isInsideDotPattern | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsInstance | Mikan.Syntax.Common |
| isInstance | Mikan.Syntax.Common |
| isInstanceConstraint | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.TypeChecking.InstanceArguments, Mikan.Compiler.Backend |
| IsInstanceDef | Mikan.Syntax.Common |
| isInstanceDef | Mikan.Syntax.Common |
| isInstantiatedMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isInstantiatedMeta' | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isInteractionMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isInteractionMetaB | Mikan.TypeChecking.MetaVars |
| isInterleavedData | Mikan.Syntax.Concrete.Definitions.Types |
| isInterleavedFun | Mikan.Syntax.Concrete.Definitions.Types |
| isInternalAccount | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| isInterval | Mikan.TypeChecking.Telescope.Path |
| isIOne | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isJust | |
| 1 (Function) | Mikan.Utils.Maybe |
| 2 (Function) | Mikan.Utils.Maybe.Strict |
| isKindPattern | Mikan.Syntax.Common |
| isLabeled | Mikan.Syntax.Concrete.Pretty |
| isLambdaHole | Mikan.Syntax.Notation |
| isLambdaNotation | Mikan.Syntax.Notation |
| isLeChildModuleOf | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| isLeft | Mikan.Utils.Either |
| isLeParentModuleOf | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| isLevelType | Mikan.TypeChecking.Level |
| isLevelUniverseEnabled | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsLHS | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsList | Mikan.Utils.List1 |
| isLocal | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isLtChildModuleOf | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| isLtParentModuleOf | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| IsMacro | Mikan.Syntax.Common |
| isMacro | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsMain | |
| 1 (Type/Class) | Mikan.Syntax.Common, Mikan.Compiler.Common, Mikan.Compiler.Backend |
| 2 (Data Constructor) | Mikan.Syntax.Common, Mikan.Compiler.Common, Mikan.Compiler.Backend |
| IsMeta | Mikan.TypeChecking.Reduce |
| isMeta | Mikan.TypeChecking.Reduce |
| isMetaTCWarning | Mikan.TypeChecking.Warnings |
| isModule | Mikan.Syntax.Parser.Helpers |
| isModuleAccount | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| isModuleAlive | Mikan.Syntax.Scope.Base |
| isModuleFreeVar | Mikan.TypeChecking.Rules.Term |
| isName | Mikan.Interaction.BasicOps |
| isNameAlive | Mikan.Syntax.Scope.Base |
| isNameInScope | Mikan.Syntax.Scope.Base |
| isNameInScopeUnqualified | Mikan.Syntax.Scope.Base |
| isNameOfUniv | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isNegInf | Mikan.Utils.Float |
| isNegZero | Mikan.Utils.Float |
| isNewerThan | Mikan.Utils.FileName |
| isNoAbs | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| IsNoName | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Concrete, Mikan.Syntax.Abstract |
| isNoName | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Concrete, Mikan.Syntax.Abstract |
| IsNonEmpty | |
| 1 (Data Constructor) | Mikan.Utils.Set1 |
| 2 (Data Constructor) | Mikan.Utils.Map1 |
| isNonfix | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| isNoResult | Mikan.Mimer.Types |
| IsNot | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| isNothing | |
| 1 (Function) | Mikan.Utils.Maybe |
| 2 (Function) | Mikan.Utils.Maybe.Strict |
| Iso | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iso | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Iso' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isolatedNodes | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| isoMaybeLazy | Mikan.Utils.Maybe.Strict |
| IsOpaque | Mikan.Syntax.Common |
| isOpenMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isOpenMixfix | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| isOperator | |
| 1 (Function) | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| 2 (Function) | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| isOrder | Mikan.Termination.Order |
| iSource | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iSourceHash | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isOverlappable | Mikan.Syntax.Common |
| isOverlapping | Mikan.Syntax.Common |
| isPath | Mikan.TypeChecking.Telescope |
| IsPathCons | Mikan.TypeChecking.Rules.Data |
| isPathCons | Mikan.TypeChecking.Datatypes |
| isPathType | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsPatSyn | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsPattern | Mikan.Syntax.Common |
| isPattern | Mikan.Syntax.Concrete |
| IsPatternSynonym | Mikan.Syntax.Common |
| isPosInf | Mikan.Utils.Float |
| isPostfix | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| isPosZero | Mikan.Utils.Float |
| isPragma | Mikan.Syntax.Concrete |
| isPrefix | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| IsPrefixOf | Mikan.TypeChecking.Abstract |
| isPrefixOf | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.TypeChecking.Abstract |
| isPrimitive | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsPrimitiveModule | Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isPrimitiveModule | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isProblemCompletelySolved | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isProblemSolved | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isProblemSolved' | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isProblemSolved'' | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isProjection | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isProjectionButNotCoinductive | Mikan.Termination.Monad |
| isProjectionDefinition | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isProjectionDefn | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsProjElim | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| isProjElim | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| IsProjP | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| isProjP | Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract |
| isProp | Mikan.Syntax.Internal.Term |
| isPropEnabled | Mikan.TypeChecking.Monad.Options, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isProperApplyElim | Mikan.Syntax.Internal.Elim, Mikan.Syntax.Internal.Term |
| isProperProjection | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isProperProjection_ | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isProperSubmapOf | Mikan.Utils.Map1 |
| isProperSubmapOfBy | Mikan.Utils.Map1 |
| isProperSubsetOf | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| isPropM | Mikan.TypeChecking.Irrelevance |
| isQName | Mikan.Interaction.BasicOps |
| isQualified | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| isReconstructed | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsRecord | Mikan.Syntax.Common |
| isRecord | Mikan.TypeChecking.Records |
| isRecordConstructor | |
| 1 (Function) | Mikan.Syntax.Scope.Monad |
| 2 (Function) | Mikan.TypeChecking.Records |
| IsRecordModule | Mikan.Syntax.Scope.Base |
| isRecordType | Mikan.TypeChecking.Records |
| IsRecord_ | Mikan.Syntax.Common |
| isRecursiveRecord | Mikan.TypeChecking.Records |
| IsReduced | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isReduced | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isRemoteMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isRight | Mikan.Utils.Either |
| isSafeInteger | Mikan.Utils.Float |
| isSimpleName | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| isSingleBranch | Mikan.Utils.CompressedTrie |
| isSingleIdentifierP | Mikan.Syntax.Concrete |
| isSingleMap | Mikan.Utils.Map |
| isSingleton | Mikan.Termination.SparseMatrix |
| isSingletonRecord | Mikan.TypeChecking.Records |
| isSingletonRecord' | Mikan.TypeChecking.Records |
| isSingletonRecordModuloRelevance | Mikan.TypeChecking.Records |
| isSingletonType | Mikan.TypeChecking.Records |
| isSingletonType' | Mikan.TypeChecking.Records |
| isSingletonTypeModuloRelevance | Mikan.TypeChecking.Records |
| isSmallSort | Mikan.TypeChecking.Substitute |
| isSolvingConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsSort | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isSort | Mikan.Syntax.Internal.Term |
| isSortJudgement | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isSortMeta | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isSortMeta_ | Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsStrict | Mikan.Syntax.Internal.Univ, Mikan.Syntax.Internal.Term |
| isStrictDataSort | Mikan.Syntax.Internal.Term |
| isStronglyRigid | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| isSubmapOf | Mikan.Utils.Map1 |
| isSubmapOfBy | Mikan.Utils.Map1 |
| isSubsetOf | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.BoolSet |
| 4 (Function) | Mikan.Utils.VarSet |
| isSurrogateCodePoint | Mikan.Utils.Char |
| ISt | Mikan.Syntax.Concrete.Definitions.Types |
| iStart | Mikan.Syntax.Position |
| iStart' | Mikan.Syntax.Position |
| isTrivialPattern | Mikan.TypeChecking.Coverage.SplitPattern |
| isType | Mikan.TypeChecking.Rules.Term |
| isType' | Mikan.TypeChecking.Rules.Term |
| IsTypeCall | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isTypeDatatype | Mikan.Mimer.Monad |
| isTypeEqualTo | Mikan.TypeChecking.Rules.Term |
| IsType_ | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| isType_ | Mikan.TypeChecking.Rules.Term |
| isUnderscore | Mikan.Syntax.Common |
| isUnguarded | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| isUnifyStateSolved | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| isUnnamed | Mikan.Syntax.Common |
| isUnqualified | Mikan.Syntax.Concrete.Name, Mikan.Syntax.Concrete |
| isUnsolvedWarning | Mikan.TypeChecking.Warnings |
| isUnstableDef | Mikan.TypeChecking.Injectivity |
| isUntypedBuiltin | Mikan.TypeChecking.Rules.Builtin |
| isVar | Mikan.TypeChecking.CompiledClause.Compile |
| isWeaklyRigid | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| isWithFunction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IsWithP | Mikan.Syntax.Concrete.Pattern |
| isWithP | Mikan.Syntax.Concrete.Pattern |
| isWithPattern | Mikan.Syntax.Concrete.Pattern |
| isYesOverlap | Mikan.Syntax.Common |
| IsZero | Mikan.Utils.TypeLevel |
| itableCounts | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| itableTree | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Item | Mikan.Utils.List1, Mikan.Utils.List1 |
| iterate | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.ListInf |
| iterate' | Mikan.Utils.Function |
| iterateUntil | Mikan.Utils.Function |
| iterateUntilM | Mikan.Utils.Function |
| iterWhile | Mikan.Utils.Function |
| ito | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iTopLevelModuleName | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| itraverseOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| itsRange | Mikan.Syntax.Common |
| iunsafePartsOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iunsafePartsOf' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iuse | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iUserWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iuses | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iview | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iviews | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| iWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Ix | Mikan.Utils.SmallSet |
| ix | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| ixAt | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Ixed | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IxValue | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| IZero | Mikan.TypeChecking.Monad.Builtin, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |