1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 07:25:44 +03:00

Align/space out the Configuration instances.

This commit is contained in:
Rob Rix 2018-05-09 13:37:58 -04:00
parent bbe1b4b381
commit 05fc6af9f6

View File

@ -17,10 +17,12 @@ data Configuration location term value
}
deriving (Generic1)
deriving instance (Eq location, Eq term, Eq value, Eq (Cell location value)) => Eq (Configuration location term value)
deriving instance (Ord location, Ord term, Ord value, Ord (Cell location value)) => Ord (Configuration location term value)
deriving instance (Eq location, Eq term, Eq value, Eq (Cell location value)) => Eq (Configuration location term value)
deriving instance (Ord location, Ord term, Ord value, Ord (Cell location value)) => Ord (Configuration location term value)
deriving instance (Show location, Show term, Show value, Show (Cell location value)) => Show (Configuration location term value)
deriving instance (Ord location, Foldable (Cell location)) => Foldable (Configuration location term)
instance (Eq location, Eq term, Eq1 (Cell location)) => Eq1 (Configuration location term) where liftEq = genericLiftEq
instance (Ord location, Ord term, Ord1 (Cell location)) => Ord1 (Configuration location term) where liftCompare = genericLiftCompare
instance (Eq location, Eq term, Eq1 (Cell location)) => Eq1 (Configuration location term) where liftEq = genericLiftEq
instance (Ord location, Ord term, Ord1 (Cell location)) => Ord1 (Configuration location term) where liftCompare = genericLiftCompare
instance (Show location, Show term, Show1 (Cell location)) => Show1 (Configuration location term) where liftShowsPrec = genericLiftShowsPrec