| T | Mikan.Mimer.Options |
| Tactic | Mikan.Syntax.Concrete |
| TacticAttribute | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Concrete |
| 3 (Data Constructor) | Mikan.Syntax.Concrete.Attribute |
| 4 (Type/Class) | Mikan.Syntax.Abstract |
| TacticAttribute' | Mikan.Syntax.Concrete |
| TacticAttributeNotAllowed | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TacticAttributeNotAllowed_ | Mikan.Interaction.Options.Errors |
| Tag | Mikan.Utils.BiMap |
| tag | Mikan.Utils.BiMap |
| tagFieldName | Mikan.Interaction.JSON |
| TaggedObject | Mikan.Interaction.JSON |
| tagInjectiveFor | Mikan.Utils.BiMap |
| tagSingleConstructors | Mikan.Interaction.JSON |
| tail | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.ListInf |
| 3 (Function) | Mikan.Utils.List2 |
| tailMaybe | Mikan.Utils.List |
| tails | Mikan.Utils.List1 |
| tails1 | Mikan.Utils.List1 |
| tailWithDefault | Mikan.Utils.List |
| take | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.Set |
| 3 (Function) | Mikan.Utils.Set1 |
| 4 (Function) | Mikan.Utils.Map1 |
| 5 (Function) | Mikan.Utils.ListInf |
| take' | Mikan.Utils.List |
| takeAwakeConstraint | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| takeAwakeConstraint' | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| takeConstraints | Mikan.TypeChecking.Monad.Constraints, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| takeExactly | Mikan.Utils.List |
| takeP | Mikan.Utils.Permutation |
| takeTelescope | Mikan.TypeChecking.Telescope |
| takeWhile | Mikan.Utils.List1 |
| takeWhile' | Mikan.Utils.List |
| takeWhileAntitone | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| takeWhileJust | Mikan.Utils.List |
| taking | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Target | Mikan.Termination.Monad |
| target | |
| 1 (Function) | Mikan.Utils.BiMap |
| 2 (Function) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional, Mikan.Termination.CallGraph |
| TargetDef | Mikan.Termination.Monad |
| targetNodes | |
| 1 (Function) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| 2 (Function) | Mikan.Termination.CallGraph |
| TargetOther | Mikan.Termination.Monad |
| TargetRecord | Mikan.Termination.Monad |
| tbFinite | Mikan.Syntax.Abstract |
| TBind | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| tbTacticAttr | Mikan.Syntax.Abstract |
| TCContext | |
| 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 |
| TCEnv | |
| 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 |
| TCErr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tcErrClosErr | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tcErrLocation | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tcErrState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tcErrString | Mikan.TypeChecking.Errors |
| tcExec | Mikan.TypeChecking.Unquote |
| TCM | |
| 1 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TCM# | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TCMError | Mikan.Interaction.ExitCode |
| TCMT | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TCSt | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TCState | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TCWarning | |
| 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 |
| tcWarning | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TCWarning' | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tcWarningCached | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tcWarningDoc | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tcWarningLocation | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tcWarningOrigin | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tcWarningRange | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tcWarnings | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Warnings, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tcWarningsToError | Mikan.TypeChecking.Pretty.Warning, Mikan.TypeChecking.Errors |
| tcWarningString | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TCWorkers | Mikan.Interaction.Imports |
| Tel | |
| 1 (Type/Class) | Mikan.Syntax.Concrete.Pretty |
| 2 (Data Constructor) | Mikan.Syntax.Concrete.Pretty |
| Tele | Mikan.Syntax.Internal.Telescope |
| tele2NamedArgs | Mikan.TypeChecking.Telescope |
| teleApply | Mikan.TypeChecking.Telescope |
| teleApply' | Mikan.TypeChecking.Telescope |
| teleApplyM | Mikan.TypeChecking.Telescope |
| teleArgNames | Mikan.TypeChecking.Telescope |
| teleArgs | Mikan.TypeChecking.Telescope |
| teleCons | Mikan.TypeChecking.Telescope |
| teleDoms | Mikan.TypeChecking.Telescope |
| teleElims | Mikan.TypeChecking.Telescope |
| teleNamedArgs | Mikan.TypeChecking.Telescope |
| teleNames | Mikan.TypeChecking.Telescope |
| TeleNoAbs | Mikan.TypeChecking.Substitute |
| teleNoAbs | Mikan.TypeChecking.Substitute |
| telePatterns | Mikan.TypeChecking.Telescope |
| telePatterns' | Mikan.TypeChecking.Telescope |
| telePi | Mikan.TypeChecking.Substitute |
| telePi' | Mikan.TypeChecking.Substitute |
| telePiPath | Mikan.TypeChecking.Telescope.Path |
| telePiPath_ | Mikan.TypeChecking.Telescope.Path |
| telePiVisible | Mikan.TypeChecking.Substitute |
| telePi_ | Mikan.TypeChecking.Substitute |
| Telescope | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Telescope |
| 2 (Type/Class) | Mikan.Syntax.Concrete |
| 3 (Type/Class) | Mikan.Syntax.Abstract |
| Telescope1 | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| Teletype | Mikan.Syntax.Internal.Telescope |
| teleType | Mikan.TypeChecking.Telescope |
| teleView | Mikan.TypeChecking.Telescope |
| teleViewUpToPath | Mikan.TypeChecking.Telescope |
| teleViewUpToPathBoundary | Mikan.TypeChecking.Telescope |
| telFromList | Mikan.Syntax.Internal.Telescope |
| tell | Mikan.Utils.StrictWriter |
| tell1 | Mikan.Utils.Monad |
| tellDirty | Mikan.Utils.Update |
| tellEmacsToJumpToError | Mikan.Interaction.InteractionTop |
| tellToUpdateHighlighting | Mikan.Interaction.InteractionTop |
| tellUnifyProof | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| tellUnifySolutionPerm | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| tellUnifySubst | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| telToArgs | Mikan.Syntax.Internal.Telescope |
| telToList | Mikan.Syntax.Internal.Telescope |
| TelV | |
| 1 (Type/Class) | Mikan.TypeChecking.Substitute |
| 2 (Data Constructor) | Mikan.TypeChecking.Substitute |
| telVars | Mikan.TypeChecking.Substitute |
| TelView | Mikan.TypeChecking.Substitute |
| telView | Mikan.TypeChecking.Telescope |
| telView' | Mikan.TypeChecking.Substitute |
| telView'Path | Mikan.TypeChecking.Telescope |
| telView'UpTo | Mikan.TypeChecking.Substitute |
| telView'UpToPath | Mikan.TypeChecking.Telescope |
| telViewPath | Mikan.TypeChecking.Telescope |
| telViewPathBoundary | Mikan.TypeChecking.Telescope |
| telViewUpTo | Mikan.TypeChecking.Telescope |
| telViewUpTo' | Mikan.TypeChecking.Telescope |
| telViewUpToPath | Mikan.TypeChecking.Telescope |
| telViewUpToPathBoundary | Mikan.TypeChecking.Telescope |
| telViewUpToPathBoundary' | Mikan.TypeChecking.Telescope |
| TempInstanceTable | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Tentative | Mikan.Syntax.Parser.Monad |
| terAsk | Mikan.Termination.Monad |
| terAsks | Mikan.Termination.Monad |
| terCurrent | Mikan.Termination.Monad |
| terCutOff | Mikan.Termination.Monad |
| TerEnv | |
| 1 (Type/Class) | Mikan.Termination.Monad |
| 2 (Data Constructor) | Mikan.Termination.Monad |
| terGetCurrent | Mikan.Termination.Monad |
| terGetCutOff | Mikan.Termination.Monad |
| terGetGuarded | Mikan.Termination.Monad |
| terGetHaveInlinedWith | Mikan.Termination.Monad |
| terGetMaskResult | Mikan.Termination.Monad |
| terGetMutual | Mikan.Termination.Monad |
| terGetPatterns | Mikan.Termination.Monad |
| terGetTarget | Mikan.Termination.Monad |
| terGetUserNames | Mikan.Termination.Monad |
| terGuarded | Mikan.Termination.Monad |
| terHaveInlinedWith | Mikan.Termination.Monad |
| terLocal | Mikan.Termination.Monad |
| TerM | |
| 1 (Type/Class) | Mikan.Termination.Monad |
| 2 (Data Constructor) | Mikan.Termination.Monad |
| Term | |
| 1 (Type/Class) | Mikan.Syntax.Internal.Term |
| 2 (Type/Class) | Mikan.Syntax.Reflected |
| terM | Mikan.Termination.Monad |
| TermAppHd | Mikan.TypeChecking.Rules.Application |
| terMaskResult | Mikan.Termination.Monad |
| termC | Mikan.TypeChecking.Serialise.Base |
| termDecl | Mikan.Termination.TermCheck |
| termErrCalls | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| termErrFunctions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TermHead | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Terminates | |
| 1 (Type/Class) | Mikan.Termination.Termination |
| 2 (Data Constructor) | Mikan.Termination.Termination |
| terminates | Mikan.Termination.Termination |
| terminatesFilter | Mikan.Termination.Termination |
| TerminatesNot | Mikan.Termination.Termination |
| Terminating | Mikan.Syntax.Common |
| Termination | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| TerminationCheck | |
| 1 (Type/Class) | Mikan.Syntax.Common |
| 2 (Data Constructor) | Mikan.Syntax.Common |
| 3 (Type/Class) | Mikan.Syntax.Concrete.Definitions.Types |
| terminationCheck | Mikan.Syntax.Concrete.Definitions.Types |
| TerminationCheckPragma | Mikan.Syntax.Concrete |
| terminationCheckPragma | Mikan.Syntax.Concrete.Definitions.Monad |
| terminationCounterexample | Mikan.Termination.Termination |
| TerminationError | |
| 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 |
| TerminationIssue | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TerminationIssue_ | Mikan.Interaction.Options.Warnings |
| TerminationProblem | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| TermLike | Mikan.Syntax.Internal.Generic |
| termMutual | Mikan.Termination.TermCheck |
| terModifyGuarded | Mikan.Termination.Monad |
| TermPart | Mikan.TypeChecking.Unquote |
| TermPosition | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| TermSize | Mikan.Syntax.Internal.Term |
| termSize | Mikan.Syntax.Internal.Term |
| termsS | Mikan.TypeChecking.Rules.LHS.Unify.LeftInverse |
| TermSubst | Mikan.TypeChecking.Substitute.Class, Mikan.TypeChecking.Substitute |
| TermToPattern | Mikan.TypeChecking.Patterns.Internal |
| termToPattern | Mikan.TypeChecking.Patterns.Internal |
| terMutual | Mikan.Termination.Monad |
| terPatterns | Mikan.Termination.Monad |
| terPatternsRaise | Mikan.Termination.Monad |
| terRaise | Mikan.Termination.Monad |
| terSetCurrent | Mikan.Termination.Monad |
| terSetGuarded | Mikan.Termination.Monad |
| terSetHaveInlinedWith | Mikan.Termination.Monad |
| terSetMaskResult | Mikan.Termination.Monad |
| terSetPatterns | Mikan.Termination.Monad |
| terSetTarget | Mikan.Termination.Monad |
| terTarget | Mikan.Termination.Monad |
| terUnguarded | Mikan.Termination.Monad |
| terUserNames | Mikan.Termination.Monad |
| TexFileType | Mikan.Syntax.Common |
| Text | Mikan.Utils.DocTree |
| text | |
| 1 (Function) | Mikan.Syntax.Common.Pretty |
| 2 (Function) | Mikan.TypeChecking.Pretty |
| textNonEmpty | Mikan.Syntax.Common.Pretty |
| textPath | Mikan.Utils.FileName |
| tgtNodes | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| theAttr | Mikan.Syntax.Concrete.Attribute |
| theAttribute | Mikan.Syntax.Parser.Helpers |
| theBlocker | Mikan.Syntax.Internal.Blockers, Mikan.Syntax.Internal.Term |
| theBoundary | Mikan.TypeChecking.Telescope |
| theCallGraph | Mikan.Termination.CallGraph |
| theConstraint | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| theCore | Mikan.TypeChecking.Substitute |
| theCurrentFile | Mikan.Interaction.Base |
| theDef | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| theEtaEquality | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| theFileId | Mikan.Utils.FileId |
| theFixity | Mikan.Syntax.Common |
| TheInfo | Mikan.TypeChecking.Coverage.SplitClause |
| theInteractionPoints | Mikan.Interaction.Base |
| theKind | Mikan.Syntax.Scope.Base |
| theMetaSet | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| theNameRange | Mikan.Syntax.Common |
| theNotation | Mikan.Syntax.Common |
| thenReduce | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| thenTCMT | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| theSize | Mikan.Utils.Size |
| theSmallSet | Mikan.Utils.SmallSet |
| theTacticAttribute | Mikan.Syntax.Concrete |
| theTel | Mikan.TypeChecking.Substitute |
| TheVarMap | Mikan.TypeChecking.Free.Base |
| theVarMap | Mikan.TypeChecking.Free.Base, Mikan.TypeChecking.Free |
| TheVarMap' | Mikan.TypeChecking.Free.Base |
| ThingsInScope | Mikan.Syntax.Scope.Base |
| thingsInScope | Mikan.Syntax.Scope.Base |
| ThingWithFixity | |
| 1 (Type/Class) | Mikan.Syntax.Fixity, Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Fixity, Mikan.Syntax.Concrete |
| Three | |
| 1 (Type/Class) | Mikan.Utils.Three |
| 2 (Data Constructor) | Mikan.Utils.Three |
| throwDecode | Mikan.Interaction.JSON |
| throwDecode' | Mikan.Interaction.JSON |
| throwDecodeStrict | Mikan.Interaction.JSON |
| throwDecodeStrict' | Mikan.Interaction.JSON |
| throwDecodeStrictText | Mikan.Interaction.JSON |
| throwImpossible | Mikan.Utils.Impossible |
| throwMultipleFixityDecls | Mikan.Syntax.Concrete.Fixity |
| throwMultiplePolarityPragmas | Mikan.Syntax.Concrete.Fixity |
| tick | Mikan.TypeChecking.Monad.Statistics, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tickICode | Mikan.TypeChecking.Serialise.Base |
| tickMax | Mikan.TypeChecking.Monad.Statistics, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tickN | Mikan.TypeChecking.Monad.Statistics, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Timings | Mikan.Utils.Benchmark |
| timings | Mikan.Utils.Benchmark |
| TLet | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| tLevelUniv | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| tMaybe | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| TmBoundary | Mikan.TypeChecking.Telescope |
| tmBoundary | Mikan.TypeChecking.Telescope |
| tmSort | Mikan.Syntax.Internal.Term |
| tmSSort | Mikan.Syntax.Internal.Term |
| to | |
| 1 (Function) | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Function) | Mikan.Utils.Range, Mikan.Interaction.Highlighting.Range |
| toAbsN | Mikan.TypeChecking.Names |
| ToAbstract | |
| 1 (Type/Class) | Mikan.Syntax.Translation.ReflectedToAbstract |
| 2 (Type/Class) | Mikan.Syntax.Translation.ConcreteToAbstract |
| toAbstract | |
| 1 (Function) | Mikan.Syntax.Translation.ReflectedToAbstract |
| 2 (Function) | Mikan.Syntax.Translation.ConcreteToAbstract |
| toAbstractWithoutImplicit | Mikan.Syntax.Translation.ReflectedToAbstract |
| toAbstract_ | Mikan.Syntax.Translation.ReflectedToAbstract |
| ToArgs | Mikan.Interaction.JSON |
| toArray | Mikan.Utils.HashSet.Ordered |
| toAscList | |
| 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 |
| 7 (Function) | Mikan.Utils.Trie |
| 8 (Function) | Mikan.Utils.CompressedTrie |
| toAscList' | Mikan.TypeChecking.Serialise.Instances.Highlighting |
| toAtoms | Mikan.Interaction.Highlighting.Common |
| toAttribute | Mikan.Syntax.Parser.Helpers |
| toBool | Mikan.Utils.Boolean |
| toByteArray | Mikan.Utils.ShortText |
| ToConcrete | Mikan.Syntax.Translation.AbstractToConcrete |
| toConcrete | Mikan.Syntax.Translation.AbstractToConcrete |
| toConcreteCtx | Mikan.Syntax.Translation.AbstractToConcrete |
| toConPatternInfo | Mikan.Syntax.Internal.Pattern |
| toCType | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| toDescList | |
| 1 (Function) | Mikan.Utils.Set |
| 2 (Function) | Mikan.Utils.Set1 |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.VarSet |
| toDistinctAscendingLists | Mikan.Utils.BiMap |
| toEncoding | Mikan.Interaction.JSON |
| toEncoding1 | Mikan.Interaction.JSON |
| toEncoding2 | Mikan.Interaction.JSON |
| toEncodingList | Mikan.Interaction.JSON |
| toExpandLast | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| toFinitePi | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| toGenericGraph | Mikan.TypeChecking.Positivity.OccurrenceAnalysis |
| ToggleImplicitArgs | Mikan.Interaction.Base |
| ToggleIrrelevantArgs | Mikan.Interaction.Base |
| toIFile | Mikan.Interaction.FindFile |
| toImpossible | Mikan.Utils.Empty |
| ToJSON | Mikan.Interaction.JSON |
| toJSON | Mikan.Interaction.JSON |
| ToJSON1 | Mikan.Interaction.JSON |
| toJSON1 | Mikan.Interaction.JSON |
| ToJSON2 | Mikan.Interaction.JSON |
| toJSON2 | Mikan.Interaction.JSON |
| ToJSONKey | Mikan.Interaction.JSON |
| toJSONKey | Mikan.Interaction.JSON |
| ToJSONKeyFunction | Mikan.Interaction.JSON |
| toJSONKeyList | Mikan.Interaction.JSON |
| ToJSONKeyText | Mikan.Interaction.JSON |
| ToJSONKeyValue | Mikan.Interaction.JSON |
| toJSONList | Mikan.Interaction.JSON |
| tok | Mikan.Utils.Parser.MemoisedCPS |
| TokComment | Mikan.Syntax.Parser.Tokens |
| TokDummy | Mikan.Syntax.Parser.Tokens |
| Token | |
| 1 (Type/Class) | Mikan.Syntax.Parser.Tokens |
| 2 (Type/Class) | Mikan.Mimer.Options |
| token | |
| 1 (Function) | Mikan.Utils.Parser.MemoisedCPS |
| 2 (Function) | Mikan.Syntax.Parser.LexActions |
| TokenBased | |
| 1 (Type/Class) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| 2 (Data Constructor) | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| tokenBased | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| TokenLength | Mikan.Syntax.Parser.Alex |
| tokensParser | |
| 1 (Function) | Mikan.Syntax.Parser.Parser |
| 2 (Function) | Mikan.Syntax.Parser |
| TokEOF | Mikan.Syntax.Parser.Tokens |
| TokId | Mikan.Syntax.Parser.Tokens |
| TokKeyword | Mikan.Syntax.Parser.Tokens |
| TokLiteral | Mikan.Syntax.Parser.Tokens |
| TokMarkup | Mikan.Syntax.Parser.Tokens |
| TokQId | Mikan.Syntax.Parser.Tokens |
| TokQual | Mikan.Syntax.Parser.Tokens |
| TokQual_ | Mikan.Syntax.Parser.Tokens |
| TokString | Mikan.Syntax.Parser.Tokens |
| TokSymbol | Mikan.Syntax.Parser.Tokens |
| TokTeX | Mikan.Syntax.Parser.Tokens |
| toLazy | Mikan.Utils.Maybe.Strict |
| toList | |
| 1 (Function) | Mikan.Utils.List1, Mikan.Utils.List2 |
| 2 (Function) | Mikan.Utils.Set |
| 3 (Function) | Mikan.Utils.Map1 |
| 4 (Function) | Mikan.Utils.Set1 |
| 5 (Function) | Mikan.Utils.BoolSet |
| 6 (Function) | Mikan.Utils.MinimalArray.Prim |
| 7 (Function) | Mikan.Utils.MinimalArray.Lifted |
| 8 (Function) | Mikan.Utils.SmallSet |
| 9 (Function) | Mikan.Utils.Trie |
| 10 (Function) | Mikan.Utils.RangeMap, Mikan.Interaction.Highlighting.Precise |
| 11 (Function) | Mikan.Utils.HashTable |
| 12 (Function) | Mikan.Utils.Favorites |
| 13 (Function) | Mikan.Utils.CompressedTrie |
| 14 (Function) | Mikan.Utils.BiMap |
| 15 (Function) | Mikan.Termination.CallMatrix |
| 16 (Function) | Mikan.Termination.CallGraph |
| toList' | Mikan.Utils.List1 |
| toList1 | Mikan.Utils.List2 |
| toList1Either | Mikan.Utils.List2 |
| toListOrderedBy | Mikan.Utils.Trie |
| toLists | Mikan.Termination.SparseMatrix |
| toLType | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| toMap | |
| 1 (Function) | Mikan.Utils.Map1 |
| 2 (Function) | Mikan.Utils.RangeMap, Mikan.Interaction.Highlighting.Precise |
| toNamedArg | Mikan.Syntax.Concrete |
| TooFewArgumentsToPatternSynonym | Mikan.Syntax.Scope.Errors |
| TooFewArgumentsToPatternSynonym_ | Mikan.Interaction.Options.Errors |
| TooFewPatternsInWithClause | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TooFewPatternsInWithClause_ | Mikan.Interaction.Options.Errors |
| TooManyArgumentsToSort | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TooManyArgumentsToSort_ | Mikan.Interaction.Options.Warnings |
| TooManyFields | |
| 1 (Data Constructor) | Mikan.TypeChecking.Monad.Base.Warning |
| 2 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TooManyFields_ | |
| 1 (Data Constructor) | Mikan.Interaction.Options.Warnings |
| 2 (Data Constructor) | Mikan.Interaction.Options.Errors |
| TooManyParameters | Mikan.TypeChecking.Unquote.Errors |
| TooManyPatternsInWithClause | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TooManyPatternsInWithClause_ | Mikan.Interaction.Options.Errors |
| TooManyPolarities | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TooManyPolarities_ | Mikan.Interaction.Options.Warnings |
| toOrderings | Mikan.Utils.PartialOrd |
| topBlock | Mikan.Syntax.Parser.Monad |
| TopCtx | Mikan.Syntax.Fixity |
| toPiArgs | Mikan.TypeChecking.Telescope |
| topInstantiationDoc | Mikan.Mimer.Monad |
| TopK | Mikan.Syntax.Concrete.Operators.Parser.Monad |
| TopLevel | |
| 1 (Type/Class) | Mikan.Syntax.Translation.ConcreteToAbstract |
| 2 (Data Constructor) | Mikan.Syntax.Translation.ConcreteToAbstract |
| topLevelArg | Mikan.TypeChecking.Injectivity |
| topLevelDecls | Mikan.Syntax.Translation.ConcreteToAbstract |
| topLevelExpectedName | Mikan.Syntax.Translation.ConcreteToAbstract |
| TopLevelInfo | |
| 1 (Type/Class) | Mikan.Syntax.Translation.ConcreteToAbstract |
| 2 (Data Constructor) | Mikan.Syntax.Translation.ConcreteToAbstract |
| topLevelModuleDropper | Mikan.TypeChecking.Errors |
| topLevelModuleFilePath | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TopLevelModuleName | |
| 1 (Data Constructor) | Mikan.Syntax.TopLevelModuleName.Boot, Mikan.Syntax.Common, Mikan.Syntax.TopLevelModuleName |
| 2 (Type/Class) | Mikan.Syntax.TopLevelModuleName, Mikan.TypeChecking.Monad.Base.Types, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| topLevelModuleName | |
| 1 (Function) | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Function) | Mikan.Syntax.Translation.ConcreteToAbstract |
| 3 (Function) | Mikan.Compiler.Common |
| TopLevelModuleName' | Mikan.Syntax.TopLevelModuleName.Boot, Mikan.Syntax.Common, Mikan.Syntax.TopLevelModuleName |
| TopLevelModuleNameParts | Mikan.Syntax.TopLevelModuleName.Boot, Mikan.Syntax.Common, Mikan.Syntax.TopLevelModuleName |
| topLevelModuleNameToQName | Mikan.Syntax.TopLevelModuleName |
| TopLevelModuleNameWithSourceFile | |
| 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 |
| topLevelModuleNameWithSourceFileCompleter | Mikan.TypeChecking.Monad.State, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| topLevelScope | Mikan.Syntax.Translation.ConcreteToAbstract |
| topLevelSourceFile | Mikan.Syntax.Translation.ConcreteToAbstract |
| topLevelTheThing | Mikan.Syntax.Translation.ConcreteToAbstract |
| TopModule | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| TopOpenModule | Mikan.Syntax.Scope.Monad |
| topoSort | Mikan.Utils.Permutation |
| topoSortM | Mikan.Utils.Permutation |
| topSort | Mikan.Utils.Graph.TopSort |
| topVarOcc | Mikan.TypeChecking.Free.Base |
| toReduceDefs | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| toSet | Mikan.Utils.Set1 |
| toSet' | Mikan.Utils.Set1 |
| toSingleton | Mikan.Utils.BoolSet |
| toSomeDiagnostic | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| toSparseRows | Mikan.Termination.SparseMatrix |
| toSplitPatterns | Mikan.TypeChecking.Coverage.SplitPattern |
| toSplitPSubst | Mikan.TypeChecking.Coverage.SplitPattern |
| toStrict | Mikan.Utils.Maybe.Strict |
| toStringWithoutDotZero | Mikan.Utils.Float |
| total | |
| 1 (Function) | Mikan.Utils.BoolSet |
| 2 (Function) | Mikan.Utils.SmallSet |
| ToTerm | Mikan.TypeChecking.Primitive |
| toTerm | Mikan.TypeChecking.Primitive |
| toTermTCM | Mikan.TypeChecking.Primitive |
| toTree | Mikan.TypeChecking.Coverage.SplitTree |
| toTrees | Mikan.TypeChecking.Coverage.SplitTree |
| toVim | Mikan.Interaction.Highlighting.Vim |
| traceCall | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traceCallCPS | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traceCallCPS' | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traceCallM | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traceClosureCall | Mikan.TypeChecking.Monad.Trace, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traceDebugMessage | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traceDebugMessageTCM | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traceEventIO | Mikan.Utils.Trace |
| traceImportsArg | Mikan.Interaction.Options.Arguments |
| traceImportsValues | Mikan.Interaction.Options.Arguments |
| traceMarkerIO | Mikan.Utils.Trace |
| TraceS | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traceS | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traceSDoc | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traceSLn | Mikan.TypeChecking.Monad.Debug, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| trailingWithPatterns | Mikan.Syntax.Abstract.Pattern |
| trampoline | Mikan.Utils.Function |
| trampolineM | Mikan.Utils.Function |
| trampolineWhile | Mikan.Utils.Function |
| trampolineWhileM | Mikan.Utils.Function |
| transitiveClosure | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| transitiveOccurrence | Mikan.TypeChecking.Positivity.OccurrenceAnalysis |
| transitiveReduction | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| translateCompiledClauses | Mikan.TypeChecking.RecordPatterns |
| translateSplitTree | Mikan.TypeChecking.RecordPatterns |
| TransparentDef | Mikan.Syntax.Common |
| TranspError | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| TranspOp | Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| transpose | |
| 1 (Function) | Mikan.Utils.List1 |
| 2 (Function) | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| 3 (Function) | Mikan.Termination.SparseMatrix |
| transposeEdge | Mikan.Utils.Graph.AdjacencyMap.Unidirectional |
| transposeOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| transpPathPTel' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| transpPathTel' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| transpSys | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| transpSysTel' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| transpTel | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| transpTel' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| Traversable | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Traversable1 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Traversal | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traversal | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Traversal' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Traversal1 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Traversal1' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traverse | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traverse1 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traverseAPatternM | Mikan.Syntax.Abstract.Pattern |
| traverseBy | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traverseByOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traverseCPatternA | Mikan.Syntax.Concrete.Pattern |
| traverseCPatternM | Mikan.Syntax.Concrete.Pattern |
| traversed | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traversed1 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traversed64 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TraverseDecl | Mikan.Syntax.Concrete.Generic |
| traverseEither | Mikan.Utils.Either |
| traverseExpr | |
| 1 (Function) | Mikan.Syntax.Concrete.Generic |
| 2 (Function) | Mikan.Syntax.Abstract.Views |
| TraverseExprFn | Mikan.Syntax.Abstract.Views |
| TraverseExprRecFn | Mikan.Syntax.Abstract.Views |
| traverseF | Mikan.Utils.Functor |
| traverseIO' | Mikan.Utils.MinimalArray.Lifted |
| TraverseMax | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traverseMax | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traverseMaybeWithKey | Mikan.Utils.Map1 |
| traverseMaybeWithKey1 | Mikan.Utils.Map1 |
| TraverseMin | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traverseMin | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traverseOf | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| traversePatternM | Mikan.Syntax.Internal.Pattern |
| traverseTermM | Mikan.Syntax.Internal.Generic |
| traverseWithKey | Mikan.Utils.Map1 |
| traverseWithKey1 | Mikan.Utils.Map1 |
| Traversing | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Traversing' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Traversing1 | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| Traversing1' | Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TreeFileType | Mikan.Syntax.Common |
| treeToText | Mikan.Utils.DocTree |
| treeToTextNoAnn | Mikan.Utils.DocTree |
| treeToTextWithAnn | Mikan.Utils.DocTree |
| trFillPathPTel' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| trFillPathTel' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| trFillTel | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| trFillTel' | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| Trie | |
| 1 (Type/Class) | Mikan.Utils.Trie |
| 2 (Data Constructor) | Mikan.Utils.Trie |
| 3 (Type/Class) | Mikan.Utils.CompressedTrie |
| 4 (Data Constructor) | Mikan.Utils.CompressedTrie |
| trieBranches | Mikan.Utils.CompressedTrie |
| TriedToCopyConstrainedPrim | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TriedToCopyConstrainedPrim_ | Mikan.Interaction.Options.Errors |
| trieValue | Mikan.Utils.CompressedTrie |
| trim | Mikan.Utils.String |
| trimLineComment | Mikan.Interaction.Library.Parse |
| true | Mikan.Utils.Boolean |
| Truncate | Mikan.Interaction.Options.BashCompletion |
| truncate | Mikan.Utils.CompressedTrie |
| truncatedCallStack | Mikan.Utils.CallStack |
| truncateSize | Mikan.Utils.CompressedTrie |
| truncateSizeWithLeaves | Mikan.Utils.CompressedTrie |
| tryAddBoundary | Mikan.TypeChecking.MetaVars |
| tryCatch | Mikan.Utils.Monad |
| tryConversion | Mikan.TypeChecking.Conversion |
| tryConversion' | Mikan.TypeChecking.Conversion |
| tryError | Mikan.Utils.Monad |
| tryGetOpen | Mikan.TypeChecking.Monad.Open, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| tryMaybe | Mikan.Utils.Monad |
| tryRecordType | Mikan.TypeChecking.Records |
| tryResolveName | Mikan.Syntax.Scope.Monad |
| tryTranspError | Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive |
| tsize | Mikan.Syntax.Internal.Term |
| ttype | Mikan.TypeChecking.Primitive.Base, Mikan.TypeChecking.Primitive |
| Two | Mikan.Utils.Three |
| TwoElemArray | Mikan.Interaction.JSON |
| twords | Mikan.Syntax.Common.Pretty |
| Type | |
| 1 (Data Constructor) | Mikan.Syntax.Internal.Term |
| 2 (Type/Class) | Mikan.Syntax.Internal.Term |
| 3 (Type/Class) | Mikan.Syntax.Reflected |
| 4 (Type/Class) | Mikan.Syntax.Abstract |
| Type' | Mikan.Syntax.Internal.Term |
| Type'' | Mikan.Syntax.Internal.Term |
| typeAndFacesInMeta | Mikan.Interaction.BasicOps |
| typeAnnotations | Mikan.TypeChecking.Rules.LHS.Problem |
| typeArgsWithTel | Mikan.TypeChecking.Substitute |
| typeArity | Mikan.TypeChecking.Telescope |
| TypeCheck | Mikan.Interaction.Imports |
| TypeCheckAction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| TypeCheckingProblem | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| typeCheckMain | Mikan.Interaction.Imports |
| TypeChecks | Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise |
| Typeclass | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| typeConArgsLeft | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| typeConArgsRight | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| typeConInjectAt | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| TypeConInjectivity | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| typeConstructor | Mikan.TypeChecking.Rules.LHS.Unify.Types |
| TypedAssign | Mikan.Interaction.Base |
| TypedBinding | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| TypedBinding' | Mikan.Syntax.Concrete |
| TypedBindingInfo | |
| 1 (Type/Class) | Mikan.Syntax.Abstract |
| 2 (Data Constructor) | Mikan.Syntax.Abstract |
| typeElims | Mikan.TypeChecking.Records |
| TypeError | |
| 1 (Data Constructor) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| 2 (Type/Class) | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| typeError | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| typeError' | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| typeError'_ | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| typeErrorName | Mikan.TypeChecking.Errors.Names |
| typeErrorString | Mikan.TypeChecking.Errors.Names |
| typeError_ | Mikan.TypeChecking.Monad.Diagnostic, Mikan.TypeChecking.Monad, Mikan.TypeChecking.Errors, Mikan.Compiler.Backend |
| typeInCurrent | Mikan.Interaction.BasicOps |
| typeInMeta | Mikan.Interaction.BasicOps |
| TypeLevelReductions | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| typeLevelReductions | Mikan.TypeChecking.Monad.Env, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| typeName | Mikan.TypeChecking.Level |
| TypeOf | Mikan.Syntax.Internal.Term |
| typeOfBV | Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| typeOfConst | Mikan.TypeChecking.Monad.Signature, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| typeOfMeta | Mikan.Interaction.BasicOps |
| typeOfMeta' | Mikan.Interaction.BasicOps |
| typeOfMetaMI | Mikan.Interaction.BasicOps |
| TypeS | Mikan.Syntax.Reflected |
| TypeSig | |
| 1 (Data Constructor) | Mikan.Syntax.Concrete |
| 2 (Data Constructor) | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| typeSig | Mikan.Syntax.Parser.Helpers |
| TypeSignature | |
| 1 (Type/Class) | Mikan.Syntax.Concrete |
| 2 (Type/Class) | Mikan.Syntax.Abstract |
| TypeSignatureOrInstanceBlock | Mikan.Syntax.Concrete |
| TypeSigsRHS | Mikan.Syntax.Parser.Helpers |
| typesOfHiddenMetas | Mikan.Interaction.BasicOps |
| typesOfVisibleMetas | Mikan.Interaction.BasicOps |
| Typing | Mikan.Benchmarking, Mikan.TypeChecking.Monad.Benchmark |
| TypstFileType | Mikan.Syntax.Common |