Add tests for Tuple10 to Tuple22

arrow-kt · Oct 17, 2023 · a3700f0 · a3700f0
1 parent 3e7f15b
commit a3700f0
Showing 1 changed file with 82 additions and 0 deletions.
diff --git a/arrow-libs/core/arrow-core/src/commonTest/kotlin/arrow/core/TupleTest.kt b/arrow-libs/core/arrow-core/src/commonTest/kotlin/arrow/core/TupleTest.kt
@@ -7,6 +7,7 @@ import io.kotest.property.arbitrary.boolean
 import io.kotest.property.arbitrary.char
 import io.kotest.property.arbitrary.double
 import io.kotest.property.arbitrary.int
+import io.kotest.property.arbitrary.list
 import io.kotest.property.arbitrary.long
 import io.kotest.property.arbitrary.pair
 import io.kotest.property.arbitrary.string
@@ -160,6 +161,87 @@ class TupleTest : StringSpec({
       Tuple9(a, b, c, d, e, f, g, h, i).compareTo(Tuple9(a, b, c, d, e, f, g, h, i + 1)) shouldBe -1
     }
   }
+
+  "toStringN" {
+    checkAll(
+      Arb.int(),
+      Arb.int(),
+      Arb.int(),
+      Arb.int(),
+      Arb.int(),
+      Arb.int(),
+      Arb.int(),
+      Arb.int(),
+      Arb.int(),
+      Arb.int()
+    ) { a, b, c, d, e, f, g, h, i, j ->
+      Tuple10(a, b, c, d, e, f, g, h, i, j).toString() shouldBe "($a, $b, $c, $d, $e, $f, $g, $h, $i, $j)"
+    }
+  }
+
+  "plusN" {
+    checkAll(
+      Arb.list(Arb.int(), 4..4),
+      Arb.list(Arb.int(), 4..4),
+      Arb.list(Arb.int(), 4..4),
+      Arb.list(Arb.int(), 4..4),
+      Arb.list(Arb.int(), 4..4),
+      Arb.list(Arb.int(), 2..2),
+    ) { (a, b, c, d), (e, f, g, h), (i, j, k, l), (m, n, o, p), (q, r, s, t), (u, v) ->
+      Tuple9(a, b, c, d, e, f, g, h, i) + j shouldBe Tuple10(a, b, c, d, e, f, g, h, i, j)
+      Tuple10(a, b, c, d, e, f, g, h, i, j) + k shouldBe Tuple11(a, b, c, d, e, f, g, h, i, j, k)
+      Tuple11(a, b, c, d, e, f, g, h, i, j, k) + l shouldBe Tuple12(a, b, c, d, e, f, g, h, i, j, k, l)
+      Tuple12(a, b, c, d, e, f, g, h, i, j, k, l) + m shouldBe Tuple13(a, b, c, d, e, f, g, h, i, j, k, l, m)
+      Tuple13(a, b, c, d, e, f, g, h, i, j, k, l, m) + n shouldBe Tuple14(a, b, c, d, e, f, g, h, i, j, k, l, m, n)
+      Tuple14(a, b, c, d, e, f, g, h, i, j, k, l, m, n) + o shouldBe Tuple15(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
+      Tuple15(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) + p shouldBe Tuple16(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)
+      Tuple16(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) + q shouldBe Tuple17(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)
+      Tuple17(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) + r shouldBe Tuple18(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)
+      Tuple18(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) + s shouldBe Tuple19(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)
+      Tuple19(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) + t shouldBe Tuple20(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)
+      Tuple20(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) + u shouldBe Tuple21(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)
+      Tuple21(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) + v shouldBe Tuple22(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)
+    }
+  }
+
+  "compareToN(equals)" {
+    checkAll(
+      Arb.list(Arb.int(), 4..4),
+      Arb.list(Arb.int(), 4..4),
+      Arb.list(Arb.int(), 2..2),
+    ) { (a, b, c, d), (e, f, g, h), (i, j) ->
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a, b, c, d, e, f, g, h, i, j)) shouldBe 0
+    }
+  }
+
+  "compareToN(not equals)" {
+    checkAll(
+      Arb.list(Arb.intOpenEnded(), 4..4),
+      Arb.list(Arb.intOpenEnded(), 4..4),
+      Arb.list(Arb.intOpenEnded(), 2..2),
+    ) { (a, b, c, d), (e, f, g, h), (i, j) ->
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a + 1, b, c, d, e, f, g, h, i, j)) shouldBe -1
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a - 1, b, c, d, e, f, g, h, i, j)) shouldBe 1
+    }
+  }
+
+  "compareToN(deep not equals)" {
+    checkAll(
+      Arb.list(Arb.intOpenEnded(), 4..4),
+      Arb.list(Arb.intOpenEnded(), 4..4),
+      Arb.list(Arb.intOpenEnded(), 2..2),
+    ) { (a, b, c, d), (e, f, g, h), (i, j) ->
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a, b + 1, c, d, e, f, g, h, i, j)) shouldBe -1
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a, b, c + 1, d, e, f, g, h, i, j)) shouldBe -1
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a, b, c, d + 1, e, f, g, h, i, j)) shouldBe -1
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a, b, c, d, e + 1, f, g, h, i, j)) shouldBe -1
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a, b, c, d, e, f + 1, g, h, i, j)) shouldBe -1
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a, b, c, d, e, f, g + 1, h, i, j)) shouldBe -1
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a, b, c, d, e, f, g, h + 1, i, j)) shouldBe -1
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a, b, c, d, e, f, g, h, i + 1, j)) shouldBe -1
+      Tuple10(a, b, c, d, e, f, g, h, i, j).compareTo(Tuple10(a, b, c, d, e, f, g, h, i, j + 1)) shouldBe -1
+    }
+  }
 })
 
 private fun Arb.Companion.intOpenEnded() = Arb.int(Int.MIN_VALUE + 1, Int.MAX_VALUE - 1)