|
Agda.Syntax.Translation.AbstractToConcrete |
|
|
Description |
The translation of abstract syntax to concrete syntax has two purposes.
First it allows us to pretty print abstract syntax values without having to
write a dedicated pretty printer, and second it serves as a sanity check
for the concrete to abstract translation: translating from concrete to
abstract and then back again should be (more or less) the identity.
|
|
Synopsis |
|
|
|
Documentation |
|
class ToConcrete a c | a -> c where | Source |
|
|
|
|
Translate something in a context of the given precedence.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We make the translation monadic for modularity purposes.
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.1 |