dependecy errors

tonyday567 · Aug 15, 2018 · fe9081e · fe9081e
1 parent 854bcb0
commit fe9081e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/numhask/src/NumHask/Algebra/Linear/Hadamard.hs b/numhask/src/NumHask/Algebra/Linear/Hadamard.hs
@@ -56,5 +56,5 @@ instance (Multiplicative (m a), Hadamard m a) => Invertible (Product (Hadamard_
   inv = coerce ((./.) @m @a (one @(m a)))
 
 instance (Additive (Hadamard_ (m a))
-        , Multiplicative (Hadamard_ (m a)))
+        , Magma (Sum (Hadamard_ (m a))))
         => Distributive  (Hadamard_ (m a))
diff --git a/numhask/src/NumHask/Data/Complex.hs b/numhask/src/NumHask/Data/Complex.hs
@@ -76,7 +76,7 @@ instance (Subtractive a, Multiplicative a) =>
   Absorbing (Product (Complex a)) where
   absorb = Product $ zero' :+ zero'
 
-instance (Invertible (Sum a), Distributive a) =>
+instance (Distributive a) =>
   Distributive (Complex a)
 
 instance (Subtractive a, Multiplicative a) =>
@@ -139,7 +139,7 @@ instance (Ord a, TrigField a, ExpField a) => ExpField (Complex a) where
         | x P.== zero P.&& y P.== zero = y -- must be after the other double zero tests
         | P.otherwise = x + y -- x or y is a NaN, return a NaN (via +)
 
-instance (Distributive a, Invertible (Sum a)) => InvolutiveRing (Complex a) where
+instance (Ring a) => InvolutiveRing (Complex a) where
   adj (a :+ b) = a :+ negate b
 
 instance (UpperBoundedField a, IntegralDomain a) => UpperBoundedField (Complex a) where