Agda.Syntax.Abstract.Pattern

Generic traversals

type NAP

class MapNamedArgPattern a

class APatternLike a p

foldAPattern

preTraverseAPatternM

postTraverseAPatternM

Specific folds

patternVars

containsAPattern

containsAbsurdPattern

containsAsPattern