CSPM.Interpreter

An API for the Interpreter.

Documentation

runFile

Arguments

:: FilePath

a file containing a CSPM specification

-> String

a CSPM expression

-> IO ()

Load a specification from a file and evaluate an expression in the context. Print the result to stdout and handle some exceptions.

evalTest

Arguments

:: FilePath

CSPM specification

-> String

a CSPM expression

-> IO Value

the result

Load a specification from a file and evaluate an expression in the context.

getSigma :: Env -> Sigma

prepareAST :: ModuleFromRenaming -> Module INT

runInterpreter :: Module INT -> UniqueIdent -> (Value, Env)

Run the interpreter for a given module and top-level identifier.

runInterpreterP :: Module INT -> UniqueIdent -> (Process, Env)

Run the interpreter for a given module and top-level identifier. Cast result to a process

module CSPM.Interpreter.Types

lookupIdent :: LIdent -> EM Value

bindIdent :: LIdent -> Value -> Bindings -> Bindings

emptyBindings :: Bindings

lookupAllChannels :: EM [Channel]