github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-01 19:55:34 +03:00
Code Issues Projects Releases Wiki Activity

Derive a Generic1 instance for Domain.

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

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

@ -1,4 +1,4 @@
{-# LANGUAGE DeriveFunctor #-} {-# LANGUAGE DeriveFunctor, DeriveGeneric #-}
module Analysis.Effect.Domain module Analysis.Effect.Domain
( -- * Domain effect ( -- * Domain effect
Domain(..) Domain(..)
@ -8,8 +8,9 @@ module Analysis.Effect.Domain
) where ) where
import Control.Effect.Carrier import Control.Effect.Carrier
import GHC.Generics (Generic1)
data Domain term value m k data Domain term value m k
= Abstract term (value -> m k) = Abstract term (value -> m k)
| Concretize value (term -> m k) | Concretize value (term -> m k)
deriving (Functor) deriving (Functor, Generic1)