Agda.Syntax.Internal.Pattern

Tools for clauses

clauseArgs

clauseElims

class FunArity a

Tools for patterns

class LabelPatVars a b i

numberPatVars

unnumberPatVars

dbPatPerm

dbPatPerm'

clausePerm

patternToElim

patternsToElims

patternToTerm

class MapNamedArg f

class PatternLike a b

foldPattern

preTraversePatternM

postTraversePatternM