1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00

🔥 redundant Foldable, Functor, & Traversable instances for Address.

This commit is contained in:
Rob Rix 2018-05-10 21:52:59 -04:00
parent e5f65e7af2
commit e9095c3558

View File

@ -8,7 +8,7 @@ import Prologue
-- | An abstract address with a @location@ pointing to a variable of type @value@. -- | An abstract address with a @location@ pointing to a variable of type @value@.
newtype Address location value = Address { unAddress :: location } newtype Address location value = Address { unAddress :: location }
deriving (Eq, Foldable, Functor, Generic1, Ord, Show, Traversable) deriving (Eq, Generic1, Ord, Show)
instance Eq location => Eq1 (Address location) where liftEq = genericLiftEq instance Eq location => Eq1 (Address location) where liftEq = genericLiftEq
instance Ord location => Ord1 (Address location) where liftCompare = genericLiftCompare instance Ord location => Ord1 (Address location) where liftCompare = genericLiftCompare