Add tests for Product

Author: Elviro Rocca

Sources/Abstract/Types/Algebraic/Product.swift

@@ -3,6 +3,7 @@
 #endif
 
 // sourcery: fixedTypesForPropertyBasedTests = "TestStructure,TestStructure"
+// sourcery: ignore = "Semiring"
 public struct Product<A,B> {
     public let first: A
     public let second: B

Templates/Tests/CommutativeMonoidTests.stencil

@@ -20,7 +20,7 @@ final class {{ protocolName }}Tests: XCTestCase {
 	}
 {% endfor %}
 
-{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:protocolName and not type.kind == "protocol" %}
+{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:"Semiring" and not type.kind == "protocol" %}
 
     func test{{ type.name }}() {
 {% if type.isGeneric or type.name == "Array" or type.name == "Optional" or type.name == "Set" %}
@@ -40,7 +40,7 @@ final class {{ protocolName }}Tests: XCTestCase {
 {% for type in types.implementing.CommutativeMonoid where not type.annotations.ignore|contains:protocolName and not type.kind == "protocol" %}
 		("test{{ type.name }}",test{{ type.name }}),
 {% endfor %}
-{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:protocolName and not type.kind == "protocol" %}
+{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:"Semiring" and not type.kind == "protocol" %}
         ("test{{ type.name }}",test{{ type.name }}),
 {% endfor %}
 	]

Templates/Tests/MonoidTests.stencil

@@ -20,7 +20,7 @@ final class {{ protocolName }}Tests: XCTestCase {
 	}
 {% endfor %}
 
-{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:protocolName and not type.kind == "protocol" %}
+{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:"Semiring" and not type.kind == "protocol" %}
 
     func test{{ type.name }}() {
 {% if type.isGeneric or type.name == "Array" or type.name == "Optional" or type.name == "Set" %}
@@ -47,7 +47,7 @@ final class {{ protocolName }}Tests: XCTestCase {
 {% for type in types.implementing.Monoid where not type.annotations.ignore|contains:protocolName and not type.kind == "protocol" %}
 		("test{{ type.name }}",test{{ type.name }}),
 {% endfor %}
-{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:protocolName and not type.kind == "protocol" %}
+{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:"Semiring" and not type.kind == "protocol" %}
         ("test{{ type.name }}",test{{ type.name }}),
 {% endfor %}
 	]

Templates/Tests/SemigroupTests.stencil

@@ -20,7 +20,7 @@ final class {{ protocolName }}Tests: XCTestCase {
 	}
 {% endfor %}
 
-{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:protocolName and not type.kind == "protocol" %}
+{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:"Semiring" and not type.kind == "protocol" %}
 
     func test{{ type.name }}() {
 {% if type.isGeneric or type.name == "Array" or type.name == "Optional" or type.name == "Set" %}
@@ -47,7 +47,7 @@ final class {{ protocolName }}Tests: XCTestCase {
 {% for type in types.implementing.Semigroup where not type.annotations.ignore|contains:protocolName and not type.kind == "protocol" %}
 		("test{{ type.name }}",test{{ type.name }}),
 {% endfor %}
-{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:protocolName and not type.kind == "protocol" %}
+{% for type in types.implementing.Semiring where not type.annotations.ignore|contains:"Semiring" and not type.kind == "protocol" %}
         ("test{{ type.name }}",test{{ type.name }}),
 {% endfor %}
 	]

Tests/AbstractTests/BoundedSemilatticeTests.generated.swift

@@ -32,6 +32,12 @@ final class BoundedSemilatticeTests: XCTestCase {
 		}
 	}
 
+	func testProduct() {
+		property("Product is a BoundedSemilattice") <- forAll { (a: Product<TestStructure,TestStructure>, b: Product<TestStructure,TestStructure>) in
+			Law<Product<TestStructure,TestStructure>>.isIdempotent(a,b)
+		}
+	}
+
 	func testSet() {
 		property("Set is a BoundedSemilattice") <- forAll { (a: Set<Int>, b: Set<Int>) in
 			Law<Set<Int>>.isIdempotent(a,b)
@@ -43,6 +49,7 @@ final class BoundedSemilatticeTests: XCTestCase {
 		("testMax",testMax),
 		("testMin",testMin),
 		("testOr",testOr),
+		("testProduct",testProduct),
 		("testSet",testSet),
 	]
 }

Tests/AbstractTests/CommutativeMonoidTests.generated.swift

@@ -50,6 +50,12 @@ final class CommutativeMonoidTests: XCTestCase {
 		}
 	}
 
+	func testProduct() {
+		property("Product is a CommutativeMonoid") <- forAll { (a: Product<TestStructure,TestStructure>, b: Product<TestStructure,TestStructure>) in
+			Law<Product<TestStructure,TestStructure>>.isCommutative(a,b)
+		}
+	}
+
 	func testSet() {
 		property("Set is a CommutativeMonoid") <- forAll { (a: Set<Int>, b: Set<Int>) in
 			Law<Set<Int>>.isCommutative(a,b)
@@ -84,6 +90,7 @@ final class CommutativeMonoidTests: XCTestCase {
 		("testMultiply",testMultiply),
 		("testMultiset",testMultiset),
 		("testOr",testOr),
+		("testProduct",testProduct),
 		("testSet",testSet),
         ("testBool",testBool),
         ("testSetM",testSetM),

Tests/AbstractTests/MonoidTests.generated.swift

@@ -74,6 +74,12 @@ final class MonoidTests: XCTestCase {
 		}
 	}
 
+	func testProduct() {
+		property("Product is a Monoid") <- forAll { (a: Product<TestStructure,TestStructure>) in
+			Law<Product<TestStructure,TestStructure>>.isNeutralToEmpty(a)
+		}
+	}
+
 	func testSet() {
 		property("Set is a Monoid") <- forAll { (a: Set<Int>) in
 			Law<Set<Int>>.isNeutralToEmpty(a)
@@ -135,6 +141,7 @@ final class MonoidTests: XCTestCase {
 		("testOptional",testOptional),
 		("testOr",testOr),
 		("testOrdering",testOrdering),
+		("testProduct",testProduct),
 		("testSet",testSet),
 		("testString",testString),
 		("testUpdate",testUpdate),

Tests/AbstractTests/SemigroupTests.generated.swift

@@ -92,6 +92,12 @@ final class SemigroupTests: XCTestCase {
 		}
 	}
 
+	func testProduct() {
+		property("Product is a Semigroup") <- forAll { (a: Product<TestStructure,TestStructure>, b: Product<TestStructure,TestStructure>, c: Product<TestStructure,TestStructure>) in
+			Law<Product<TestStructure,TestStructure>>.isAssociative(a,b,c)
+		}
+	}
+
 	func testSet() {
 		property("Set is a Semigroup") <- forAll { (a: Set<Int>, b: Set<Int>, c: Set<Int>) in
 			Law<Set<Int>>.isAssociative(a,b,c)
@@ -156,6 +162,7 @@ final class SemigroupTests: XCTestCase {
 		("testOptional",testOptional),
 		("testOr",testOr),
 		("testOrdering",testOrdering),
+		("testProduct",testProduct),
 		("testSet",testSet),
 		("testString",testString),
 		("testUpdate",testUpdate),

Tests/AbstractTests/Utility/CustomArbitraryTypes.swift

@@ -170,3 +170,14 @@ extension SetM: Arbitrary where A: Arbitrary {
 		}
 	}
 }
+
+extension Product: Arbitrary where A: Arbitrary, B: Arbitrary {
+    public static var arbitrary: Gen<Product<A, B>> {
+        return Gen<Product<A, B>>.compose {
+            Product($0.generate(),$0.generate())
+        }
+    }
+}
+
+
+