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

Define a Heap effect.

Browse Source
This commit is contained in:
Rob Rix 2019-10-11 16:50:36 -04:00
parent e20c60f7a7
commit bd8b21ebba
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
semantic-analysis/src/Analysis/Analysis.hs
View File

@ -31,3 +31,8 @@ data Env name addr m k
| Lookup name (Maybe addr -> m k)
deriving instance Functor m => Functor (Env name addr m)
data Heap addr value m k
= Deref addr (Maybe value -> m k)
| Assign addr value (m k)
deriving (Functor)