on master help sign in
Remove defunct Eq contraints on Semigroup and Monoid instances for MaybeDefault
abf7fc4Jonathan Daugherty
src/Graphics/Vty/Attributes.hs+2−2
@@ -151,12 +151,12 @@ instance (NFData v) => NFData (MaybeDefault v) where
151 rnf KeepCurrent = ()
151 rnf KeepCurrent = ()
152 rnf (SetTo v) = rnf v
152 rnf (SetTo v) = rnf v
153
153
154−instance Eq v => Semigroup (MaybeDefault v) where
154+instance Semigroup (MaybeDefault v) where
155 _ <> v@(SetTo _) = v
155 _ <> v@(SetTo _) = v
156 x <> KeepCurrent = x
156 x <> KeepCurrent = x
157 _ <> Default = Default
157 _ <> Default = Default
158
158
159−instance Eq v => Monoid ( MaybeDefault v ) where
159+instance Monoid ( MaybeDefault v ) where
160 mempty = KeepCurrent
160 mempty = KeepCurrent
161#if !(MIN_VERSION_base(4,11,0))
161#if !(MIN_VERSION_base(4,11,0))
162 mappend = (<>)
162 mappend = (<>)