Remove Semigroup.

Author: dmjio

src/ArrayFire.hs

@@ -199,7 +199,7 @@ import Data.Word
 -- Specifying up to 4 dimensions is allowed (anything high is ignored).
 
 -- $laws
--- Every 'Array' is an instance of 'Eq', 'Ord', 'Num', 'Fractional', 'Floating' and 'Semigroup'
+-- Every 'Array' is an instance of 'Eq', 'Ord', 'Num', 'Fractional', 'Floating'
 --
 -- 'Num'
 --
@@ -231,16 +231,6 @@ import Data.Word
 -- [1 1 1 1]
 --    1.0000
 --
--- 'Semigroup'
---
--- /'Array' forms a 'Semigroup' via pointwise-multiplication./
---
--- >>> matrix @Double (2,2) [[1,2],[3,4]] <> matrix @Double (2,2) [[1,2],[3,4]]
--- ArrayFire Array
--- [2 2 1 1]
---    1.0000     4.0000
---    9.0000    16.0000
---
 -- 'Eq'
 --
 -- >>> scalar @Double 1 [10] == scalar @Double 1 [10]

src/ArrayFire/Orphans.hs

@@ -45,9 +45,6 @@ instance (Ord a, AFType a) => Ord (Array a) where
   x <= y = toEnum . fromIntegral $ A.getScalar @CBool @a (A.le x y)
   x >= y = toEnum . fromIntegral $ A.getScalar @CBool @a (A.ge x y)
 
-instance (Fractional a, AFType a) => Semigroup (Array a) where
-  (<>) = A.mul
-
 instance Show (Array a) where
   show = arrayString
 

test/ArrayFire/ArithSpec.hs

@@ -20,7 +20,7 @@ spec =
     it "Should subtract two scalar arrays" $ do
       scalar @Int 4 - 2 `shouldBe` 2
     it "Should multiply two scalar arrays" $ do
-      scalar @Double 4 <> 2 `shouldBe` 8
+      scalar @Double 4 `mul` 2 `shouldBe` 8
     it "Should divide two scalar arrays" $ do
       div @Double 8 2 `shouldBe` 4
     it "Should add two matrices" $ do