Add more primitive types to test

Author: dpanfilyonok

src/GraphBLAS-sharp/Predefined/Monoids/Add.fs

@@ -17,3 +17,23 @@ module Add =
         Zero = 0.f
         Append = BinaryOp <@ (+) @>
     }
+
+    let sbyte: Monoid<sbyte> = {
+        Zero = 0y
+        Append = BinaryOp <@ (+) @>
+    }
+
+    let byte: Monoid<byte> = {
+        Zero = 0uy
+        Append = BinaryOp <@ (+) @>
+    }
+
+    let int16: Monoid<int16> = {
+        Zero = 0s
+        Append = BinaryOp <@ (+) @>
+    }
+
+    let uint16: Monoid<uint16> = {
+        Zero = 0us
+        Append = BinaryOp <@ (+) @>
+    }

src/GraphBLAS-sharp/Predefined/Semirings/AddMult.fs

@@ -17,3 +17,23 @@ module AddMult =
         PlusMonoid = Add.float32
         Times = BinaryOp <@ (*) @>
     }
+
+    let sbyte: Semiring<sbyte> = {
+        PlusMonoid = Add.sbyte
+        Times = BinaryOp <@ (*) @>
+    }
+
+    let byte: Semiring<byte> = {
+        PlusMonoid = Add.byte
+        Times = BinaryOp <@ (*) @>
+    }
+
+    let int16: Semiring<int16> = {
+        PlusMonoid = Add.int16
+        Times = BinaryOp <@ (*) @>
+    }
+
+    let uint16: Semiring<uint16> = {
+        PlusMonoid = Add.uint16
+        Times = BinaryOp <@ (*) @>
+    }

tests/GraphBLAS-sharp.Tests/OperationsTests/EWiseAddTests.fs

@@ -55,6 +55,38 @@ type PairOfSparseMatricesOfEqualSize =
             ]
         ) |> Arb.fromGen
 
+    static member SByteType() =
+        Generators.pairOfMatricesOfEqualSizeGenerator (
+            Gen.oneof [
+                Arb.generate<sbyte>
+                Gen.constant 0y
+            ]
+        ) |> Arb.fromGen
+
+    static member ByteType() =
+        Generators.pairOfMatricesOfEqualSizeGenerator (
+            Gen.oneof [
+                Arb.generate<byte>
+                Gen.constant 0uy
+            ]
+        ) |> Arb.fromGen
+
+    static member Int16Type() =
+        Generators.pairOfMatricesOfEqualSizeGenerator (
+            Gen.oneof [
+                Arb.generate<int16>
+                Gen.constant 0s
+            ]
+        ) |> Arb.fromGen
+
+    static member UInt16Type() =
+        Generators.pairOfMatricesOfEqualSizeGenerator (
+            Gen.oneof [
+                Arb.generate<uint16>
+                Gen.constant 0us
+            ]
+        ) |> Arb.fromGen
+
     static member BoolType() =
         Generators.pairOfMatricesOfEqualSizeGenerator (
             Gen.oneof [
@@ -184,6 +216,22 @@ let testFixtures case = [
     |> checkCorrectnessGeneric<float> (+) (-) (fun x -> abs x < Accuracy.medium.absolute) AddMult.float
     |> testPropertyWithConfig config (sprintf "Correctness on float, %A, %A" case.MatrixCase case.MaskCase)
 
+    case
+    |> checkCorrectnessGeneric<sbyte> (+) (-) ((=) 0y) AddMult.sbyte
+    |> testPropertyWithConfig config (sprintf "Correctness on sbyte, %A, %A" case.MatrixCase case.MaskCase)
+
+    case
+    |> checkCorrectnessGeneric<byte> (+) (-) ((=) 0uy) AddMult.byte
+    |> testPropertyWithConfig config (sprintf "Correctness on byte, %A, %A" case.MatrixCase case.MaskCase)
+
+    case
+    |> checkCorrectnessGeneric<int16> (+) (-) ((=) 0s) AddMult.int16
+    |> testPropertyWithConfig config (sprintf "Correctness on int16, %A, %A" case.MatrixCase case.MaskCase)
+
+    case
+    |> checkCorrectnessGeneric<uint16> (+) (-) ((=) 0us) AddMult.uint16
+    |> testPropertyWithConfig config (sprintf "Correctness on uint16, %A, %A" case.MatrixCase case.MaskCase)
+
     case
     |> checkCorrectnessGeneric<bool> (||) (<>) not AnyAll.bool
     |> testPropertyWithConfig config (sprintf "Correctness on bool, %A, %A" case.MatrixCase case.MaskCase)