mirror of
https://github.com/github/semantic.git
synced 2024-12-26 16:33:03 +03:00
Add Context' and Class syntax constructors
This commit is contained in:
parent
4f34d71651
commit
9db3c596dc
@ -137,3 +137,23 @@ instance Show1 Deriving where liftShowsPrec = genericLiftShowsPrec
|
||||
instance ToJSONFields1 Deriving
|
||||
|
||||
instance Evaluatable Deriving
|
||||
|
||||
newtype Context' a = Context' [a] deriving (Diffable, Eq, Foldable, Functor, Generic1, Hashable1, Mergeable, Ord, Show, Traversable, FreeVariables1, Declarations1)
|
||||
|
||||
instance Eq1 Context' where liftEq = genericLiftEq
|
||||
instance Ord1 Context' where liftCompare = genericLiftCompare
|
||||
instance Show1 Context' where liftShowsPrec = genericLiftShowsPrec
|
||||
|
||||
instance ToJSONFields1 Context'
|
||||
|
||||
instance Evaluatable Context'
|
||||
|
||||
data Class a = Class { classType :: a, classTypeParameters :: a } deriving (Diffable, Eq, Foldable, Functor, Generic1, Hashable1, Mergeable, Ord, Show, Traversable, FreeVariables1, Declarations1)
|
||||
|
||||
instance Eq1 Class where liftEq = genericLiftEq
|
||||
instance Ord1 Class where liftCompare = genericLiftCompare
|
||||
instance Show1 Class where liftShowsPrec = genericLiftShowsPrec
|
||||
|
||||
instance ToJSONFields1 Class
|
||||
|
||||
instance Evaluatable Class
|
||||
|
Loading…
Reference in New Issue
Block a user