Use Zippable In Validation (#1231)

* use zippable in validation * fix version specific issue
zio · Dec 1, 2023 · 6904dfd · 6904dfd
1 parent b8f1a05
commit 6904dfd
Showing 1 changed file with 36 additions and 125 deletions.
diff --git a/core/shared/src/main/scala/zio/prelude/ZValidation.scala b/core/shared/src/main/scala/zio/prelude/ZValidation.scala
@@ -1,7 +1,7 @@
 package zio.prelude
 
 import zio.prelude.ZValidation._
-import zio.{Cause, Chunk, IO, NonEmptyChunk, ZIO}
+import zio.{Cause, Chunk, IO, NonEmptyChunk, ZIO, Zippable}
 
 import scala.util.Try
 
@@ -31,7 +31,9 @@ sealed trait ZValidation[+W, +E, +A] { self =>
   /**
    * A symbolic alias for `zipPar`.
    */
-  final def <&>[W1 >: W, E1 >: E, B](that: ZValidation[W1, E1, B]): ZValidation[W1, E1, (A, B)] =
+  final def <&>[W1 >: W, E1 >: E, B](that: ZValidation[W1, E1, B])(implicit
+    zippable: Zippable[A, B]
+  ): ZValidation[W1, E1, zippable.Out] =
     zipPar(that)
 
   /**
@@ -314,8 +316,10 @@ sealed trait ZValidation[+W, +E, +A] { self =>
    * tuple of their results. Returns either the combined result if both were
    * successes or otherwise returns a failure with all errors.
    */
-  final def zipPar[W1 >: W, E1 >: E, B](that: ZValidation[W1, E1, B]): ZValidation[W1, E1, (A, B)] =
-    zipWithPar(that)((_, _))
+  final def zipPar[W1 >: W, E1 >: E, B](that: ZValidation[W1, E1, B])(implicit
+    zippable: Zippable[A, B]
+  ): ZValidation[W1, E1, zippable.Out] =
+    zipWithPar(that)(zippable.zip(_, _))
 
   /**
    * Combines this `ZValidation` with the specified `ZValidation`, using the
@@ -1054,7 +1058,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2).map { case ((a0, a1), a2) => f(a0, a1, a2) }
+    (a0 <&> a1 <&> a2).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1068,7 +1072,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3).map { case (((a0, a1), a2), a3) => f(a0, a1, a2, a3) }
+    (a0 <&> a1 <&> a2 <&> a3).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1083,7 +1087,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4).map { case ((((a0, a1), a2), a3), a4) => f(a0, a1, a2, a3, a4) }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1099,7 +1103,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5).map { case (((((a0, a1), a2), a3), a4), a5) => f(a0, a1, a2, a3, a4, a5) }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1116,9 +1120,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6).map { case ((((((a0, a1), a2), a3), a4), a5), a6) =>
-      f(a0, a1, a2, a3, a4, a5, a6)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1136,9 +1138,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7).map { case (((((((a0, a1), a2), a3), a4), a5), a6), a7) =>
-      f(a0, a1, a2, a3, a4, a5, a6, a7)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1157,9 +1157,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8).map {
-      case ((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8) => f(a0, a1, a2, a3, a4, a5, a6, a7, a8)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1179,9 +1177,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9).map {
-      case (((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9) => f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1202,10 +1198,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10).map {
-      case ((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1227,10 +1220,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11).map {
-      case (((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10), a11) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1253,10 +1243,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12).map {
-      case ((((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10), a11), a12) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1280,10 +1267,7 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13).map {
-      case (((((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10), a11), a12), a13) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13).map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1308,10 +1292,8 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14).map {
-      case ((((((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10), a11), a12), a13), a14) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14)
+      .map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1337,10 +1319,8 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15).map {
-      case (((((((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10), a11), a12), a13), a14), a15) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15)
+      .map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1367,10 +1347,8 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16).map {
-      case ((((((((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10), a11), a12), a13), a14), a15), a16) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16)
+      .map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1398,13 +1376,8 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16 <&> a17).map {
-      case (
-            ((((((((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10), a11), a12), a13), a14), a15), a16),
-            a17
-          ) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16 <&> a17)
+      .map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1433,16 +1406,8 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16 <&> a17 <&> a18).map {
-      case (
-            (
-              ((((((((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10), a11), a12), a13), a14), a15), a16),
-              a17
-            ),
-            a18
-          ) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16 <&> a17 <&> a18)
+      .map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1472,22 +1437,8 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16 <&> a17 <&> a18 <&> a19).map {
-      case (
-            (
-              (
-                (
-                  (((((((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10), a11), a12), a13), a14), a15),
-                  a16
-                ),
-                a17
-              ),
-              a18
-            ),
-            a19
-          ) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16 <&> a17 <&> a18 <&> a19)
+      .map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1543,25 +1494,8 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16 <&> a17 <&> a18 <&> a19 <&> a20).map {
-      case (
-            (
-              (
-                (
-                  (
-                    (((((((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10), a11), a12), a13), a14), a15),
-                    a16
-                  ),
-                  a17
-                ),
-                a18
-              ),
-              a19
-            ),
-            a20
-          ) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16 <&> a17 <&> a18 <&> a19 <&> a20)
+      .map(f.tupled)
 
   /**
    * Combines the results of the specified `Validation` values using the
@@ -1619,31 +1553,8 @@ object ZValidation extends LowPriorityValidationImplicits {
   )(
     f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21) => B
   ): ZValidation[W, E, B] =
-    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16 <&> a17 <&> a18 <&> a19 <&> a20 <&> a21).map {
-      case (
-            (
-              (
-                (
-                  (
-                    (
-                      (
-                        ((((((((((((((a0, a1), a2), a3), a4), a5), a6), a7), a8), a9), a10), a11), a12), a13), a14),
-                        a15
-                      ),
-                      a16
-                    ),
-                    a17
-                  ),
-                  a18
-                ),
-                a19
-              ),
-              a20
-            ),
-            a21
-          ) =>
-        f(a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21)
-    }
+    (a0 <&> a1 <&> a2 <&> a3 <&> a4 <&> a5 <&> a6 <&> a7 <&> a8 <&> a9 <&> a10 <&> a11 <&> a12 <&> a13 <&> a14 <&> a15 <&> a16 <&> a17 <&> a18 <&> a19 <&> a20 <&> a21)
+      .map(f.tupled)
 }
 
 trait LowPriorityValidationImplicits {