Agda.Syntax.Internal.Pattern
Documentation
data OneHolePatterns Source
Instances
allHoles :: [Arg Pattern] -> [OneHolePatterns]Source
allHolesWithContents :: [Arg Pattern] -> [(Pattern, OneHolePatterns)]Source
Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Syntax.Internal.Pattern
data OneHolePatterns Source
Instances
allHoles :: [Arg Pattern] -> [OneHolePatterns]Source
allHolesWithContents :: [Arg Pattern] -> [(Pattern, OneHolePatterns)]Source