Index - Y
| Yes | |
| 1 (Data Constructor) | Mikan.TypeChecking.Patterns.Match |
| 2 (Data Constructor) | Mikan.TypeChecking.Coverage.Match |
| YesAmbiguous | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| YesAxiom | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| YesCatchall | Mikan.Syntax.Common |
| YesCoverageCheck | Mikan.Syntax.Common |
| YesDisplayLHS | Mikan.Syntax.Common |
| YesEta | Mikan.Syntax.Common |
| YesGeneralize | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| YesOverlap | Mikan.Syntax.Common |
| YesPositivityCheck | Mikan.Syntax.Common |
| YesRecursive | Mikan.Syntax.Internal.Clause |
| YesReduction | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| YesSimplification | Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend |
| yesSimplification | Mikan.TypeChecking.Patterns.Match |
| YesUniverseCheck | Mikan.Syntax.Common |