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