| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Mida.Language.Eval
Documentation
Evaluate definition given its name.
Arguments
| :: HasEnv m | |
| => SyntaxTree | Syntax tree |
| -> m [Natural] | Infinite stream of naturals or empty list |
Evaluate given syntax tree.
Arguments
| :: HasEnv m | |
| => SyntaxTree | Syntax tree to transform |
| -> m Principle | Resulting principle |
Transform SyntaxTree into Principle applying all necessary
transformations and resolving references.