mirror of
https://github.com/github/semantic.git
synced 2025-01-03 04:51:57 +03:00
Define binary subtraction syntax.
This commit is contained in:
parent
b4face5176
commit
b8bd18e742
@ -27,3 +27,10 @@ data Plus a = Plus a a
|
||||
|
||||
instance Eq1 Plus where liftEq = genericLiftEq
|
||||
instance Show1 Plus where liftShowsPrec = genericLiftShowsPrec
|
||||
|
||||
-- | Binary subtraction.
|
||||
data Minus a = Minus a a
|
||||
deriving (Eq, Foldable, Functor, Generic1, Show, Traversable)
|
||||
|
||||
instance Eq1 Minus where liftEq = genericLiftEq
|
||||
instance Show1 Minus where liftShowsPrec = genericLiftShowsPrec
|
||||
|
Loading…
Reference in New Issue
Block a user