libcspm-0.1.2: A library providing a parser, type checker and evaluator for CSPM.

CSPM.Evaluator.Monad

Documentation

data EvaluationState Source

Constructors

EvaluationState 

Fields

environment :: Environment
 

type EvaluationMonad = LazyEvalMonad EvaluationStateSource

newtype LazyEvalMonad s a Source

Constructors

LazyEvalMonad 

Fields

unLazyEvalMonad :: s -> a
 

Instances

runLazyEvalMonad :: s -> LazyEvalMonad s a -> aSource

gets :: (s -> a) -> LazyEvalMonad s aSource

modify :: (s -> s) -> LazyEvalMonad s a -> LazyEvalMonad s aSource

runEvaluator :: EvaluationState -> EvaluationMonad a -> aSource

getState :: EvaluationMonad EvaluationStateSource

getEnvironment :: EvaluationMonad EnvironmentSource

lookupVar :: Name -> EvaluationMonad ValueSource

addScopeAndBind :: [(Name, Value)] -> EvaluationMonad a -> EvaluationMonad aSource

addScopeAndBindM :: EvaluationMonad [(Name, Value)] -> EvaluationMonad a -> EvaluationMonad aSource

throwError :: ErrorMessage -> aSource