From 24c7578c65f28e58752ad24a65377fd65cf1571c Mon Sep 17 00:00:00 2001
From: Alexander Ioffe <deusaquilus@gmail.com>
Date: Sun, 17 Mar 2024 21:38:26 -0400
Subject: [PATCH] Testing for comps

---
 .../src/test/kotlin/io/decomat/ThenTest.kt    | 32 ++++++++++++++++++-
 1 file changed, 31 insertions(+), 1 deletion(-)

diff --git a/decomat-core/src/test/kotlin/io/decomat/ThenTest.kt b/decomat-core/src/test/kotlin/io/decomat/ThenTest.kt
index 34ce82e..a6e3768 100644
--- a/decomat-core/src/test/kotlin/io/decomat/ThenTest.kt
+++ b/decomat-core/src/test/kotlin/io/decomat/ThenTest.kt
@@ -36,7 +36,7 @@ public class ThenTest: DecomatTest {
     )
 
   @Test
-  fun `Then1 - distinct(distinct(Is)) - thenThis`() =
+  fun `Then1 - distinct(distinct(Is)) - comps`() =
     assert(
       case(Distinct_M(Distinct_M(Is<Entity>()))).then { _ -> Res1(compInner) }.eval(Distinct(Distinct(foo))) == Res1(Distinct(foo)) // conv
     )
@@ -101,18 +101,36 @@ public class ThenTest: DecomatTest {
       case(FlatMap_M(Is(), Distinct_M(Is()))).then { a, (b) -> Res2(a, b) }.eval(FlatMap(foo, Distinct(bar))) == Res2(foo, bar)
     )
 
+  @Test
+  fun `Then01 - flatMap(Is, Distinct) - compRight`() =
+    assert(
+      case(FlatMap_M(Is(), Distinct_M(Is()))).then { a, (b) -> Res2(comp, compRight) }.eval(FlatMap(foo, Distinct(bar))) == Res2(FlatMap(foo, Distinct(bar)), Distinct(bar))
+    )
+
   @Test
   fun `Then02 - flatMap(Is, Map)`() =
     assert(
       case(FlatMap_M(Is(), Map_M(Is(), Is()))).then { a, (b1, b2) -> Res3(a, b1, b2) }.eval(FlatMap(foo, Map(bar, baz))) == Res3(foo, bar, baz)
     )
 
+  @Test
+  fun `Then02 - flatMap(Is, Map) - comp`() =
+    assert(
+      case(FlatMap_M(Is(), Map_M(Is(), Is()))).then { a, (b1, b2) -> Res2(comp, compRight) }.eval(FlatMap(foo, Map(bar, baz))) == Res2(FlatMap(foo, Map(bar, baz)), Map(bar, baz))
+    )
+
   @Test
   fun `Then10 - flatMap(Distinct, Is)`() =
     assert(
       case(FlatMap_M(Distinct_M(Is()), Is())).then { (a), b -> Res2(a, b) }.eval(FlatMap(Distinct(foo), bar)) == Res2(foo, bar)
     )
 
+  @Test
+  fun `Then10 - flatMap(Distinct, Is) - compLeft`() =
+    assert(
+      case(FlatMap_M(Distinct_M(Is()), Is())).then { (a), b -> Res2(compLeft, comp) }.eval(FlatMap(Distinct(foo), bar)) == Res2(Distinct(foo), FlatMap(Distinct(foo), bar))
+    )
+
   @Test
   fun `Then11 - flatMap(Distinct, Distinct)`() =
     assert(
@@ -131,6 +149,12 @@ public class ThenTest: DecomatTest {
       case(FlatMap_M(Map_M(Is(), Is()), Is())).then { (a1, a2), b -> Res3(a1, a2, b) }.eval(FlatMap(Map(foo, bar), baz)) == Res3(foo, bar, baz)
     )
 
+  @Test
+  fun `Then20 - flatMap(Map, Is) - compLeft`() =
+    assert(
+      case(FlatMap_M(Map_M(Is(), Is()), Is())).then { (a1, a2), b -> Res2(compLeft, comp) }.eval(FlatMap(Map(foo, bar), baz)) == Res2(Map(foo, bar), FlatMap(Map(foo, bar), baz))
+    )
+
   @Test
   fun `Then21 - flatMap(Map, Distinct)`() =
     assert(
@@ -142,4 +166,10 @@ public class ThenTest: DecomatTest {
     assert(
       case(FlatMap_M(Map_M(Is(), Is()), Map_M(Is(), Is()))).then { (a1, a2), (b1, b2) -> Res4(a1, a2, b1, b2) }.eval(FlatMap(Map(foo, bar), Map(baz, waz))) == Res4(foo, bar, baz, waz)
     )
+
+  @Test
+  fun `Then22 - flatMap(Map, Map) - comp`() =
+    assert(
+      case(FlatMap_M(Map_M(Is(), Is()), Map_M(Is(), Is()))).then { (a1, a2), (b1, b2) -> Res3(compLeft, compRight, comp) }.eval(FlatMap(Map(foo, bar), Map(baz, waz))) == Res3(Map(foo, bar), Map(baz, waz), FlatMap(Map(foo, bar), Map(baz, waz)))
+    )
 }