|
Agda.Syntax.Translation.ConcreteToAbstract |
|
|
Description |
Translation from Agda.Syntax.Concrete to Agda.Syntax.Abstract. Involves scope analysis,
figuring out infix operator precedences and tidying up definitions.
|
|
Synopsis |
|
|
|
Documentation |
|
class ToAbstract concrete abstract | concrete -> abstract where | Source |
|
Things that can be translated to abstract syntax are instances of this
class.
| | Methods | |
|
|
|
This operation does not affect the scope, i.e. the original scope
is restored upon completion.
|
|
|
Computes the range of all the "to" keywords used in a renaming
directive.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The top-level module name.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.0 |