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

Specialize Domain to Name.

Browse Source
This commit is contained in:
Rob Rix 2019-11-05 12:02:43 -05:00
parent 02ae8de2ba
commit 23c65d5eb4
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -24,22 +24,22 @@ data Analysis term address value m = Analysis
}
data Domain term name value m k
data Domain term value m k
-- Functions construction & elimination
= Abstract name (term name) (value term name -> m k)
| Apply (value term name) (value term name) (value term name -> m k)
= Abstract Name (term Name) (value term -> m k)
| Apply (value term) (value term) (value term -> m k)
-- Unit construction (no elimination)
| Unit (value term name -> m k)
| Unit (value term -> m k)
-- Boolean construction & elimination
| Bool Bool (value term name -> m k)
| AsBool (value term name) (Bool -> m k)
| Bool Bool (value term -> m k)
| AsBool (value term) (Bool -> m k)
-- String construction & elimination
| String Text (value term name -> m k)
| AsString (value term name) (Text -> m k)
| String Text (value term -> m k)
| AsString (value term) (Text -> m k)
-- Record construction & elimination
| Record [(name, value term name)] (value term name -> m k)
| Project (value term name) name (Maybe (value term name) -> m k)
| Record [(Name, value term)] (value term -> m k)
| Project (value term) Name (Maybe (value term) -> m k)
deriving (Functor, Generic1)
instance HFunctor (Domain term name value)
instance Effect (Domain term name value)
instance HFunctor (Domain term value)
instance Effect (Domain term value)