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 concrete effects.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 13:23:07 -05:00
parent 38fbc49500
commit 63089985c6
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -21,10 +21,10 @@ import Data.Semigroup
-- | The effects necessary for concrete interpretation.
type Interpreter v
= '[ Fail
, Reader (Live (LocationFor v) v)
, State (Store (LocationFor v) v)
, Reader (Environment (LocationFor v) v)
= '[ Fail -- For 'MonadFail'.
, Reader (Live (LocationFor v) v) -- For 'MonadGC'.
, State (Store (LocationFor v) v) -- For 'MonadStore'.
, Reader (Environment (LocationFor v) v) -- For 'MonadEnv'.
]
type MonadInterpreter v m = (MonadEnv v m, MonadStore v m, MonadFail m)