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