|
Agda.TypeChecking.Coverage.Match |
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
We use a special representation of the patterns we're trying to match
against a clause. In particular we want to keep track of which variables
are blocking a match.
| Constructors | |
|
|
|
|
|
If matching is inconclusive (Block) we want to know which
variable is blocking the match. If a dot pattern is blocking a match
we're screwed.
| Constructors | |
|
|
|
|
|
|
|
|
|
|
|
Match the given patterns against a list of clauses
|
|
|
Check if a clause could match given generously chosen literals
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.0 |