|
Agda.Syntax.Concrete.Definitions |
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
The nice declarations. No fixity declarations and function definitions are
contained in a single constructor instead of spread out between type
signatures and clauses. The private, postulate, and abstract
modifiers have been distributed to the individual declarations.
| Constructors | | Instances | |
|
|
|
A definition without its type signature.
| Constructors | | Instances | |
|
|
|
Only Axioms.
|
|
|
Only Axioms.
|
|
|
One clause in a function definition. There is no guarantee that the LHS
actually declares the Name. We will have to check that later.
| Constructors | | Instances | |
|
|
data DeclarationException | Source |
|
The exception type.
| Constructors | | Instances | |
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |