CSPM-Interpreter-0.4.0.2: An interpreter for CSPM

Portability	GHC-only
Stability	experimental
Maintainer	Fontaine@cs.uni-duesseldorf.de

CSPM.Interpreter.Eval

Description

The main eval function of the Interpreter.

Synopsis

Documentation

eval :: LExp -> EM Value Source

Evaluate an expression in the EM monad.

getAllEvents :: Env -> ClosureSet Source

processDeclList :: Digest -> Env -> [LDecl] -> Env Source

runEM :: EM x -> Env -> xSource

Run the EM monad with a given envirionment.

evalOutField :: LExp -> EM Field Source

evalFieldSet :: LExp -> EM FieldSet Source

evalProcess :: LExp -> EM Process Source