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

🔥 the MonadInterpreter synonym.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 16:34:45 -05:00
parent 5801ede0fe
commit b448087096
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Analysis/Abstract/Evaluating.hs
View File

@ -4,11 +4,9 @@ module Analysis.Abstract.Evaluating where
import Control.Effect import Control.Effect
import Control.Monad.Effect hiding (run) import Control.Monad.Effect hiding (run)
import Control.Monad.Effect.Address import Control.Monad.Effect.Address
import Control.Monad.Effect.Env
import Control.Monad.Effect.Fail import Control.Monad.Effect.Fail
import Control.Monad.Effect.Reader import Control.Monad.Effect.Reader
import Control.Monad.Effect.State import Control.Monad.Effect.State
import Control.Monad.Effect.Store
import Data.Abstract.Address import Data.Abstract.Address
import Data.Abstract.Environment import Data.Abstract.Environment
import Data.Abstract.Eval import Data.Abstract.Eval
@ -25,9 +23,6 @@ type Evaluating v
, Reader (Environment (LocationFor v) v) -- For 'MonadEnv'. , Reader (Environment (LocationFor v) v) -- For 'MonadEnv'.
] ]
-- | A constraint synonym for the interfaces necessary for concrete interpretation.
type MonadInterpreter v m = (MonadEnv v m, MonadStore v m, MonadFail m)
-- | A synonym for the result of 'Evaluating' to @v@. -- | A synonym for the result of 'Evaluating' to @v@.
type EvalResult v = Final (Evaluating v) v type EvalResult v = Final (Evaluating v) v