CSPM.Interpreter.Eval

The main eval function of the Interpreter.

Documentation

eval :: LExp -> EM Value

Evaluate an expression in the EM monad.

runEM :: EM x -> Env -> x

Run the EM monad with a given envirionment.

getSigma :: Env -> Sigma

evalBool :: LExp -> EM Bool

evalOutField :: LExp -> EM Field

evalFieldSet :: LExp -> EM FieldSet

evalProcess :: LExp -> EM Process

evalModule :: Module INT -> Env

Process a module and return the top-level envirionment.