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

Add a heading for Dom.

Browse Source
This commit is contained in:
Rob Rix 2022-02-01 13:54:00 -05:00
parent 374c8f990d
commit b6fac248f1
No known key found for this signature in database
GPG Key ID: 2BE643E01DC032AE
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/Effect/Domain.hs
View File

@ -23,6 +23,7 @@ module Analysis.Effect.Domain
, dstring
-- * Exceptions
, ddie
-- * Domain effect
, Dom(..)
) where
@ -83,6 +84,9 @@ dstring = send . DString
ddie :: Has (Dom val) sig m => val -> m val
ddie = send . DDie
-- Domain effect
data Dom val m k where
DVar :: Name -> Dom val m val
DAbs :: Name -> (val -> m val) -> Dom val m val