Add SetoidLaws for Stringg

diff --git a/test/Primitive/StringgTest.php b/test/Primitive/StringgTest.php
index c76a22f..3f3515a 100644 (file)
--- a/test/Primitive/StringgTest.php
+++ b/test/Primitive/StringgTest.php
@@ -5,6 +5,7 @@ namespace test\Widmogrod\Primitive;
 use Widmogrod\FantasyLand\Monoid;
 use Widmogrod\Functional as f;
 use Widmogrod\Helpful\MonoidLaws;
+use Widmogrod\Helpful\SetoidLaws;
 use Widmogrod\Primitive\Product;
 use Widmogrod\Primitive\Stringg;
 
@@ -13,6 +14,22 @@ class StringgTest extends \PHPUnit\Framework\TestCase
     /**
      * @dataProvider provideRandomizedData
      */
+    public function test_it_should_obay_setoid_laws(
+        $a,
+        $b,
+        $c
+    ) {
+        SetoidLaws::test(
+            f\curryN(3, [$this, 'assertEquals']),
+            $a,
+            $b,
+            $c
+        );
+    }
+
+    /**
+     * @dataProvider provideRandomizedData
+     */
     public function test_it_should_obey_monoid_laws(Monoid $x, Monoid $y, Monoid $z)
     {
         MonoidLaws::test(