github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity

MonadEvaluator is a subclass of Monad.

Browse Source
This commit is contained in:
Rob Rix 2018-03-01 11:00:21 -05:00
parent 58b7c88b33
commit 590374884b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Analysis/Abstract/Evaluator.hs
View File

@ -12,7 +12,7 @@ import Data.Abstract.Linker
import Data.Abstract.Value import Data.Abstract.Value
import Prelude hiding (fail) import Prelude hiding (fail)
class MonadEvaluator term value m | m -> term, m -> value where class Monad m => MonadEvaluator term value m | m -> term, m -> value where
getGlobalEnv :: m (EnvironmentFor value) getGlobalEnv :: m (EnvironmentFor value)
modifyGlobalEnv :: (EnvironmentFor value -> EnvironmentFor value) -> m () modifyGlobalEnv :: (EnvironmentFor value -> EnvironmentFor value) -> m ()