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

Specialize the Domain effect to Intro.

Browse Source
This commit is contained in:
Rob Rix 2019-11-07 10:53:49 -05:00
parent 4185f213e3
commit 27559f8f0e
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -9,20 +9,21 @@ module Analysis.Effect.Domain
, run
) where
import Analysis.Intro
import Control.Effect.Carrier
import GHC.Generics (Generic1)
abstract :: (Member (Domain concrete abstract) sig, Carrier sig m) => concrete -> m abstract
abstract :: (Member (Domain abstract) sig, Carrier sig m) => Intro -> m abstract
abstract concrete = send (Abstract concrete pure)
concretize :: (Member (Domain concrete abstract) sig, Carrier sig m) => abstract -> m concrete
concretize :: (Member (Domain abstract) sig, Carrier sig m) => abstract -> m Intro
concretize abstract = send (Concretize abstract pure)
data Domain concrete abstract m k
= Abstract concrete (abstract -> m k)
| Concretize abstract (concrete -> m k)
data Domain abstract m k
= Abstract Intro (abstract -> m k)
| Concretize abstract (Intro -> m k)
deriving (Functor, Generic1)
instance HFunctor (Domain concrete abstract)
instance Effect (Domain concrete abstract)
instance HFunctor (Domain abstract)
instance Effect (Domain abstract)