CSPM-Interpreter-0.7.0.0: An interpreter for CSPM

Copyright(c) Fontaine 2009 - 2011
LicenseBSD
MaintainerFontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

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.

runEM :: EM x -> Env -> x Source

Run the EM monad with a given envirionment.

getSigma :: Env -> Sigma Source

evalBool :: LExp -> EM Bool Source

evalOutField :: LExp -> EM Field Source

evalFieldSet :: LExp -> EM FieldSet Source

evalProcess :: LExp -> EM Process Source

evalModule :: Module INT -> Env Source

Process a module and return the top-level envirionment.