|
Agda.TypeChecking.Rules.Def |
|
|
|
|
|
Synopsis |
|
|
|
|
Definitions by pattern matching
|
|
|
Type check a definition by pattern matching. The first argument
specifies whether the clauses are delayed or not.
|
|
|
Insert some patterns in the in with-clauses LHS of the given RHS
|
|
data WithFunctionProblem | Source |
|
|
|
|
Type check a function clause.
|
|
|
|
|
Type check a where clause. The first argument is the number of variables
bound in the left hand side.
|
|
|
Check if a pattern contains an absurd pattern. For instance, suc ()
|
|
|
|
Produced by Haddock version 2.6.0 |