Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Syntax.Internal.Pattern
Documentation
data
OneHolePatterns
Source
Constructors
OHPats
[
Arg
Pattern
] (
Arg
OneHolePattern
) [
Arg
Pattern
]
data
OneHolePattern
Source
Constructors
Hole
OHCon
QName
OneHolePatterns
plugHole
::
Pattern
->
OneHolePatterns
-> [
Arg
Pattern
]
Source
allHoles
:: [
Arg
Pattern
] -> [
OneHolePatterns
]
Source
allHolesWithContents
:: [
Arg
Pattern
] -> [(
Pattern
,
OneHolePatterns
)]
Source
Produced by
Haddock
version 2.6.0