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 smart constructor for Lam.

Browse Source
This commit is contained in:
Rob Rix 2019-11-04 14:48:59 -05:00
parent ca3bb15353
commit 9822b4eed7
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
semantic-analysis/src/Analysis/Domain.hs
View File

@ -4,6 +4,7 @@ module Analysis.Domain
, bool , bool
, string , string
, record , record
, lam
, Domain(..) , Domain(..)
) where ) where
@ -24,6 +25,9 @@ string = send . String
record :: (Carrier sig m, Member Domain sig) => [(Name, m a)] -> m a record :: (Carrier sig m, Member Domain sig) => [(Name, m a)] -> m a
record fs = send (Record fs) record fs = send (Record fs)
lam :: (Eq a, Carrier sig m, Member Domain sig) => Maybe Name -> a -> m a -> m a
lam u n b = send (Lam u (abstract1 n b))
data Domain f a data Domain f a
= Unit = Unit