newtype derive instances for Bounded

Author: garyb

src/Data/Monoid/Additive.purs

@@ -23,9 +23,7 @@ derive newtype instance eqAdditive :: Eq a => Eq (Additive a)
 
 derive newtype instance ordAdditive :: Ord a => Ord (Additive a)
 
-instance boundedAdditive :: Bounded a => Bounded (Additive a) where
-  top = Additive top
-  bottom = Additive bottom
+derive newtype instance boundedAdditive :: Bounded a => Bounded (Additive a)
 
 instance functorAdditive :: Functor Additive where
   map f (Additive x) = Additive (f x)

src/Data/Monoid/Conj.purs

@@ -24,9 +24,7 @@ derive newtype instance eqConj :: Eq a => Eq (Conj a)
 
 derive newtype instance ordConj :: Ord a => Ord (Conj a)
 
-instance boundedConj :: Bounded a => Bounded (Conj a) where
-  top = Conj top
-  bottom = Conj bottom
+derive newtype instance boundedConj :: Bounded a => Bounded (Conj a)
 
 instance functorConj :: Functor Conj where
   map f (Conj x) = Conj (f x)

src/Data/Monoid/Disj.purs

@@ -24,9 +24,7 @@ derive newtype instance eqDisj :: Eq a => Eq (Disj a)
 
 derive newtype instance ordDisj :: Ord a => Ord (Disj a)
 
-instance boundedDisj :: Bounded a => Bounded (Disj a) where
-  top = Disj top
-  bottom = Disj bottom
+derive newtype instance boundedDisj :: Bounded a => Bounded (Disj a)
 
 instance functorDisj :: Functor Disj where
   map f (Disj x) = Disj (f x)

src/Data/Monoid/Dual.purs

@@ -23,9 +23,7 @@ derive newtype instance eqDual :: Eq a => Eq (Dual a)
 
 derive newtype instance ordDual :: Ord a => Ord (Dual a)
 
-instance boundedDual :: Bounded a => Bounded (Dual a) where
-  top = Dual top
-  bottom = Dual bottom
+derive newtype instance boundedDual :: Bounded a => Bounded (Dual a)
 
 instance functorDual :: Functor Dual where
   map f (Dual x) = Dual (f x)

src/Data/Monoid/Multiplicative.purs

@@ -19,13 +19,11 @@ newtype Multiplicative a = Multiplicative a
 
 derive instance newtypeMultiplicative :: Newtype (Multiplicative a) _
 
-derive newtype instance eqMultiplicative :: (Eq a) => Eq (Multiplicative a)
+derive newtype instance eqMultiplicative :: Eq a => Eq (Multiplicative a)
 
-derive newtype instance ordMultiplicative :: (Ord a) => Ord (Multiplicative a)
+derive newtype instance ordMultiplicative :: Ord a => Ord (Multiplicative a)
 
-instance boundedMultiplicative :: Bounded a => Bounded (Multiplicative a) where
-  top = Multiplicative top
-  bottom = Multiplicative bottom
+derive newtype instance boundedMultiplicative :: Bounded a => Bounded (Multiplicative a)
 
 instance functorMultiplicative :: Functor Multiplicative where
   map f (Multiplicative x) = Multiplicative (f x)