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