CSPM.Evaluator

Documentation

evaluateExp :: TCExp -> EvaluationMonad Value

evaluateDecl :: TCDecl -> EvaluationMonad [(Name, EvaluationMonad Value)]

Evaluates the declaration but doesn't add it to the current environment.

evaluateFile :: [TCModule] -> EvaluationMonad [(Name, EvaluationMonad Value)]

Evaluates the declaration but doesn't add it to the current environment.

getBoundNames :: EvaluationMonad [Name]

addToEnvironment :: [(Name, EvaluationMonad Value)] -> EvaluationMonad EvaluationState

initEvaluator :: EvaluationState

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)

type EvaluationMonad = LazyEvalMonad EvaluationState

runEvaluator :: EvaluationState -> EvaluationMonad a -> a

data EvaluationState