| Safe Haskell | None |
|---|
CSPM.Evaluator
- evaluateExp :: TCExp -> EvaluationMonad Value
- evaluateDecl :: TCDecl -> EvaluationMonad [(Name, EvaluationMonad Value)]
- evaluateFile :: TCCSPMFile -> EvaluationMonad [(Name, EvaluationMonad Value)]
- addToEnvironment :: [(Name, EvaluationMonad Value)] -> EvaluationMonad EvaluationState
- maybeProcessNameToProcess :: ProcName -> EvaluationMonad (Maybe UProc)
- initEvaluator :: EvaluatorOptions -> IO EvaluationState
- runFromStateToState :: EvaluationState -> EvaluationMonad a -> (a, EvaluationState)
- data EvaluatorOptions = EvaluatorOptions {}
- defaultEvaluatorOptions :: EvaluatorOptions
- data ProfilerOptions = ProfilerOptions {}
- defaultProfilerOptions :: ProfilerOptions
- type EvaluationMonad = Reader EvaluationState
- runEvaluator :: EvaluationState -> EvaluationMonad a -> a
- data EvaluationState
- module CSPM.Evaluator.ProcessValues
- module CSPM.Evaluator.Values
- module CSPM.Evaluator.ValueSet
- data ProfilingData
- profilingData :: EvaluationMonad ProfilingData
Documentation
evaluateDecl :: TCDecl -> EvaluationMonad [(Name, EvaluationMonad Value)]Source
Evaluates the declaration but doesn't add it to the current environment.
evaluateFile :: TCCSPMFile -> EvaluationMonad [(Name, EvaluationMonad Value)]Source
Evaluates the declaration but doesn't add it to the current environment.
maybeProcessNameToProcess :: ProcName -> EvaluationMonad (Maybe UProc)Source
Attempts to convert a process name to a process, if possible.
initEvaluator :: EvaluatorOptions -> IO EvaluationStateSource
The environment to use initially. This uses the IO monad as the EvaluationMonad cannot be used without a valid environment.
runFromStateToState :: EvaluationState -> EvaluationMonad a -> (a, EvaluationState)Source
data EvaluatorOptions Source
Constructors
| EvaluatorOptions | |
Fields | |
data ProfilerOptions Source
Constructors
| ProfilerOptions | |
Fields | |
type EvaluationMonad = Reader EvaluationStateSource
runEvaluator :: EvaluationState -> EvaluationMonad a -> aSource
data EvaluationState Source
Instances
module CSPM.Evaluator.ProcessValues
module CSPM.Evaluator.Values
module CSPM.Evaluator.ValueSet
data ProfilingData Source
Instances