CSPM.Evaluator.Monad

Documentation

data EvaluationState

Constructors

EvaluationState

Fields

environment :: Environment

parentScopeIdentifier :: Maybe ScopeIdentifier

currentExpressionLocation :: SrcSpan

timedSection :: Maybe (Event -> Int, Name)

profilerState :: ProfilerState

doRuntimeRangeChecks :: Bool

Instances

MonadicPrettyPrintable EvaluationMonad ValueSet

Foldable f => MonadicPrettyPrintable EvaluationMonad (f Event)

type EvaluationMonad = Reader EvaluationState

gets :: (EvaluationState -> a) -> EvaluationMonad a

modify :: (EvaluationState -> EvaluationState) -> EvaluationMonad a -> EvaluationMonad a

runEvaluator :: EvaluationState -> EvaluationMonad a -> a

getState :: EvaluationMonad EvaluationState

getEnvironment :: EvaluationMonad Environment

lookupVarMaybeThunk :: Name -> EvaluationMonad Value

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

Implements non-recursive lets.

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

Implements recursive lets.

throwError :: ErrorMessage -> a

getParentScopeIdentifier :: EvaluationMonad (Maybe ScopeIdentifier)

updateParentScopeIdentifier :: ScopeIdentifier -> EvaluationMonad a -> EvaluationMonad a

setCurrentExpressionLocation :: SrcSpan -> EvaluationMonad a -> EvaluationMonad a

getCurrentExpressionLocation :: EvaluationMonad SrcSpan

throwError' :: (SrcSpan -> Maybe ScopeIdentifier -> ErrorMessage) -> EvaluationMonad a

setTimedCSP :: Name -> (Event -> Int) -> EvaluationMonad a -> EvaluationMonad a

maybeTimedCSP :: EvaluationMonad a -> (Name -> (Event -> Int) -> EvaluationMonad a) -> EvaluationMonad a