Alga.Language.Eval

Documentation

evalDef

Arguments

:: HasEnv m

=> String

Reference name

-> m [NRatio]

Infinite stream of naturals or empty list

Evaluate definition given its name.

eval

Arguments

:: HasEnv m

=> SyntaxTree

Syntax tree

-> m [NRatio]

Infinite stream of ratios or empty list

Evaluate given syntax tree.

toPrin

Arguments

:: HasEnv m

=> SyntaxTree

Syntax tree to transform

-> m Principle

Resulting principle

Transform SyntaxTree into Principle applying all necessary transformations and resolving references.