| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Interpreter.Runtime
Synopsis
- getVarValue :: Identifier -> Result s (RuntimeValue s)
- addNewVar :: Identifier -> RuntimeValue s -> Result s ()
- addOrUpdateVar :: Identifier -> RuntimeValue s -> Result s ()
- updateVar :: Identifier -> RuntimeValue s -> Result s ()
- getVar :: Identifier -> Result s (STRef s (RuntimeValue s))
- searchVar :: Identifier -> Result s (Maybe (STRef s (RuntimeValue s), ScopeLocation))
- data ScopeLocation
- pushFuncScope :: FuncScope s -> Env s -> Env s
- popFuncScope :: Env s -> Env s
- pushBlockScope :: Scope s -> Env s -> Env s
- popBlockScope :: Env s -> Env s
- flattenFuncScope :: FuncScope s -> Scope s
Variables manipulation
Get a variable value
getVarValue :: Identifier -> Result s (RuntimeValue s) Source #
Add a new variable
addNewVar :: Identifier -> RuntimeValue s -> Result s () Source #
Add or update a variable
addOrUpdateVar :: Identifier -> RuntimeValue s -> Result s () Source #
Update a variable
updateVar :: Identifier -> RuntimeValue s -> Result s () Source #
Search for a variable
getVar :: Identifier -> Result s (STRef s (RuntimeValue s)) Source #
searchVar :: Identifier -> Result s (Maybe (STRef s (RuntimeValue s), ScopeLocation)) Source #
data ScopeLocation Source #
Scopes manipulation
popFuncScope :: Env s -> Env s Source #
popBlockScope :: Env s -> Env s Source #
flattenFuncScope :: FuncScope s -> Scope s Source #