| License | GPL-3 |
|---|---|
| Safe Haskell | Safe |
Environment
Description
This module contains all the auxiliary logic necessary to represent the internal state of the interpreter.
- data Environment
- context :: Environment -> Context
- defaultEnv :: Environment
- emptyContext :: Context
- getVerbose :: Environment -> Bool
- getColor :: Environment -> Bool
- getSki :: Environment -> Bool
- getTypes :: Environment -> Bool
- getExpressionName :: Environment -> Exp -> Maybe String
- getTopo :: Environment -> Bool
- addBind :: Environment -> String -> Exp -> Environment
- changeColor :: Environment -> Bool -> Environment
- changeVerbose :: Environment -> Bool -> Environment
- changeSkioutput :: Environment -> Bool -> Environment
- changeTypes :: Environment -> Bool -> Environment
- changeTopo :: Environment -> Bool -> Environment
- type Filename = String
- type Modulename = String
Environment
data Environment Source #
context :: Environment -> Context Source #
defaultEnv :: Environment Source #
Default environment for the interpreter.
emptyContext :: Context Source #
Empty context without any bindings
Reading the environment
getVerbose :: Environment -> Bool Source #
Get current settings
getColor :: Environment -> Bool Source #
Get current settings
getSki :: Environment -> Bool Source #
Get current settings
getTypes :: Environment -> Bool Source #
Get current settings
getExpressionName :: Environment -> Exp -> Maybe String Source #
Given an expression, returns its name if it is bounded to any.
getTopo :: Environment -> Bool Source #
Get current settings
Modifying the environment
addBind :: Environment -> String -> Exp -> Environment Source #
Adds a name binding to the environment
changeColor :: Environment -> Bool -> Environment Source #
Sets the color configuration on/off
changeVerbose :: Environment -> Bool -> Environment Source #
Sets the verbose configuration on/off.
changeSkioutput :: Environment -> Bool -> Environment Source #
Sets the ski output configuration on/off
changeTypes :: Environment -> Bool -> Environment Source #
Sets the types output configuration on/off
changeTopo :: Environment -> Bool -> Environment Source #
Filenames and Modulenames
type Filename = String Source #
A filename is a string containing the directory path and the real name of the file.
type Modulename = String Source #
A modulename is a string naming a module.