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

Derive a Generic1 instance for Intro.

Browse Source
This commit is contained in:
Rob Rix 2019-11-04 16:02:12 -05:00
parent 4b0af27dde
commit a5e1d5e0cb
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/Intro.hs
View File

@ -1,4 +1,4 @@
{-# LANGUAGE DeriveTraversable, FlexibleContexts, GeneralizedNewtypeDeriving, QuantifiedConstraints, StandaloneDeriving #-}
{-# LANGUAGE DeriveGeneric, DeriveTraversable, FlexibleContexts, GeneralizedNewtypeDeriving, QuantifiedConstraints, StandaloneDeriving #-}
module Analysis.Intro
( unit
, bool
@ -14,6 +14,7 @@ import Control.Applicative (Alternative(..))
import Control.Effect.Carrier
import Data.String (IsString)
import Data.Text (Text)
import GHC.Generics (Generic1)
import Syntax.Module
import Syntax.Scope
import Syntax.Term
@ -47,7 +48,7 @@ data Intro f a
| String Text
| Record [(Name, f a)]
| Lam (Maybe Name) (Scope () f a)
deriving (Foldable, Functor, Traversable)
deriving (Foldable, Functor, Generic1, Traversable)
deriving instance (Eq a, forall a . Eq a => Eq (f a), Monad f) => Eq (Intro f a)
deriving instance (Ord a, forall a . Eq a => Eq (f a)