|
Agda.Compiler.Epic.CompileState |
|
|
|
|
Description |
Contains the state monad that the compiler works in and some functions
for tampering with the state.
|
|
Synopsis |
|
|
|
Documentation |
|
|
|
|
Stuff we need in our compiler
| Constructors | |
|
|
|
The initial (empty) state
|
|
|
Compiler monad
|
|
|
|
|
Create a name which can be used in Epic code from a QName.
|
|
State modifiers
|
|
|
|
|
|
|
|
|
Add a data declaration by giving a list of its constructors.
Tags will be created and saved.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
:: Int | replace at
| -> [a] | to replace
| -> [a] | replace with
| -> [a] | result?
|
|
|
|
Copy pasted from MAlonzo, HAHA!!!
Move somewhere else!
|
|
Produced by Haddock version 2.6.1 |