Yes | |
1 (Data Constructor) | Agda.TypeChecking.Patterns.Match |
2 (Data Constructor) | Agda.TypeChecking.Coverage.Match |
3 (Data Constructor) | Agda.TypeChecking.InstanceArguments |
YesAbove | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
YesBelow | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
YesEta | Agda.TypeChecking.Datatypes |
yesMatchLit | Agda.TypeChecking.Coverage.Match |
YesNoMaybe | Agda.TypeChecking.InstanceArguments |
YesOverlap | Agda.Syntax.Common |
YesReduction | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
YesSimplification | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend |
yesSimplification | Agda.TypeChecking.Patterns.Match |
YesUnfold | Agda.TypeChecking.MetaVars.Occurs |