| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Analyzer.Runtime
Synopsis
- getVarType :: Identifier -> Result Type
- addNewVar :: Identifier -> Type -> Result ()
- addOrUpdateVar :: Identifier -> Type -> Result ()
- updateVar :: Identifier -> Type -> Result ()
- searchVar :: Identifier -> Env -> Maybe (Type, ScopeLocation)
- data ScopeLocation
- getTypeDefault :: Type -> Expression
- pushScope :: Scope -> Env -> Env
- popScope :: Env -> Env
- getCurrScopeType :: Env -> ScopeType
Get a variable type
getVarType :: Identifier -> Result Type Source #
Add a new variable
Add or update a variable
addOrUpdateVar :: Identifier -> Type -> Result () Source #
Update a variable
Search for a variable
searchVar :: Identifier -> Env -> Maybe (Type, ScopeLocation) Source #
data ScopeLocation Source #
getTypeDefault :: Type -> Expression Source #
Scopes manipulation
getCurrScopeType :: Env -> ScopeType Source #