Agda.TypeChecking.Rules.LHS
flexiblePatterns
class IsFlexiblePattern a
updateInPatterns
isSolvedProblem
problemAllVariables
noShadowingOfConstructors
checkDotPattern
type Projectn
type Projectns
checkLeftoverDotPatterns
bindLHSVars
bindAsPatterns
data LHSResult
checkLeftHandSide
checkLHS
noPatternMatchingOnCodata
checkStrippedDotPattern