github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 18:23:44 +03:00
Code Issues Projects Releases Wiki Activity

Stub in a Domain effect with abstraction & concretization operations.

Browse Source
This commit is contained in:
Rob Rix 2019-11-06 12:37:58 -05:00
parent 374f90dc7e
commit e8a4749653
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
semantic-analysis/src/Analysis/Effect/Domain.hs
View File

@ -1,7 +1,15 @@
{-# LANGUAGE DeriveFunctor #-}
module Analysis.Effect.Domain
( -- * Re-exports
Carrier
( -- * Domain effect
Domain(..)
-- * Re-exports
, Carrier
, run
) where
import Control.Effect.Carrier
data Domain term value m k
= Abstract term (value -> m k)
| Concretize value (term -> m k)
deriving (Functor)