Agda.TypeChecking.Rules.LHS
flexiblePatterns
class IsFlexiblePattern a
dotPatternInsts
instantiatePattern
instantiatePattern'
isSolvedProblem
noShadowingOfConstructors
checkDotPattern
bindLHSVars
bindAsPatterns
data LHSResult
checkLeftHandSide
checkLHS
noPatternMatchingOnCodata