CSPM-Interpreter-0.1.0.1: An interpreter for CSPM Source code Contents Index

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

Description

The main eval function of the Interpreter.

Synopsis

eval :: LExp -> EM Value getAllEvents :: Env -> ClosureSet processDeclList :: Digest -> Env -> [LDecl] -> Env runEM :: EM x -> Env -> x evalOutField :: LExp -> EM Field evalFieldSet :: LExp -> EM FieldSet evalProcess :: LExp -> EM Process

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 -> x Source

Run the EM monad with a given envirionment.

evalOutField :: LExp -> EM Field Source

evalFieldSet :: LExp -> EM FieldSet Source

evalProcess :: LExp -> EM Process Source

Produced by Haddock version 2.6.1