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

Define a Domain effect.

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

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

@ -36,3 +36,13 @@ data Heap addr value m k
= Deref addr (Maybe value -> m k)
| Assign addr value (m k)
deriving (Functor)
data Domain term name value m k
= Abstract name (term name) (value -> m k)
| Apply value value (value -> m k)
| Unit
| Bool Bool (value -> m k)
| AsBool value (Bool -> m k)
| String Text (value -> m k)
| AsString value (Text -> m k)
deriving (Functor)