CSPM-Interpreter-0.7.1.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.

evalModule :: Module INT -> Env Source #

Process a module and return the top-level envirionment.