From 17cd6153973e308e43ca63c7f6c3350c3437edc6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adam=20Kope=C4=87?= <adam.kopec@gmail.com>
Date: Fri, 7 Nov 2025 23:34:48 +0100
Subject: [PATCH] Fix: Missing javadocs for types in For comprehensions

---
 vavr/generator/Generator.scala          |   7 +
 vavr/src-gen/main/java/io/vavr/API.java | 324 ++++++++++++++++++++++++
 2 files changed, 331 insertions(+)

diff --git a/vavr/generator/Generator.scala b/vavr/generator/Generator.scala
index 2060fdce5..23fc653c1 100644
--- a/vavr/generator/Generator.scala
+++ b/vavr/generator/Generator.scala
@@ -948,10 +948,17 @@ def generateMainClasses(): Unit = {
               case 2 => BiFunctionType
               case _ => s"Function$i"
             }
+
+            val parameterDoc = (if (monadicTypesThatNeedParameter.contains(mtype)) {
+              s"\n* @param <L> The left-hand type of all {@link $mtype}s"
+            } else { "" })
+            val typeDocs = (1 to i).gen(j => s"* @param <T$j> component type of {@link $mtype} number $j\n")
             val args = (1 to i).gen(j => s"? super T$j")(", ")
             xs"""
               /$javadoc
                * For-comprehension with ${i.numerus(mtype)}.
+               $parameterDoc
+               $typeDocs
                */
               public static class $forClassName<$generics> {
 
diff --git a/vavr/src-gen/main/java/io/vavr/API.java b/vavr/src-gen/main/java/io/vavr/API.java
index f1653a5af..4de6bb305 100644
--- a/vavr/src-gen/main/java/io/vavr/API.java
+++ b/vavr/src-gen/main/java/io/vavr/API.java
@@ -3649,6 +3649,8 @@ public static <L, T1, T2, T3, T4, T5, T6, T7, T8> For8Validation<L, T1, T2, T3,
 
      /**
       * For-comprehension with one Iterable.
+
+      * @param <T1> component type of {@link Iterable} number 1
       */
      public static class For1<T1> {
 
@@ -3682,6 +3684,9 @@ public Iterator<T1> yield() {
 
      /**
       * For-comprehension with two Iterables.
+
+      * @param <T1> component type of {@link Iterable} number 1
+      * @param <T2> component type of {@link Iterable} number 2
       */
      public static class For2<T1, T2> {
 
@@ -3711,6 +3716,10 @@ public <R> Iterator<R> yield(BiFunction<? super T1, ? super T2, ? extends R> f)
 
      /**
       * For-comprehension with three Iterables.
+
+      * @param <T1> component type of {@link Iterable} number 1
+      * @param <T2> component type of {@link Iterable} number 2
+      * @param <T3> component type of {@link Iterable} number 3
       */
      public static class For3<T1, T2, T3> {
 
@@ -3743,6 +3752,11 @@ public <R> Iterator<R> yield(Function3<? super T1, ? super T2, ? super T3, ? ext
 
      /**
       * For-comprehension with 4 Iterables.
+
+      * @param <T1> component type of {@link Iterable} number 1
+      * @param <T2> component type of {@link Iterable} number 2
+      * @param <T3> component type of {@link Iterable} number 3
+      * @param <T4> component type of {@link Iterable} number 4
       */
      public static class For4<T1, T2, T3, T4> {
 
@@ -3778,6 +3792,12 @@ public <R> Iterator<R> yield(Function4<? super T1, ? super T2, ? super T3, ? sup
 
      /**
       * For-comprehension with 5 Iterables.
+
+      * @param <T1> component type of {@link Iterable} number 1
+      * @param <T2> component type of {@link Iterable} number 2
+      * @param <T3> component type of {@link Iterable} number 3
+      * @param <T4> component type of {@link Iterable} number 4
+      * @param <T5> component type of {@link Iterable} number 5
       */
      public static class For5<T1, T2, T3, T4, T5> {
 
@@ -3816,6 +3836,13 @@ public <R> Iterator<R> yield(Function5<? super T1, ? super T2, ? super T3, ? sup
 
      /**
       * For-comprehension with 6 Iterables.
+
+      * @param <T1> component type of {@link Iterable} number 1
+      * @param <T2> component type of {@link Iterable} number 2
+      * @param <T3> component type of {@link Iterable} number 3
+      * @param <T4> component type of {@link Iterable} number 4
+      * @param <T5> component type of {@link Iterable} number 5
+      * @param <T6> component type of {@link Iterable} number 6
       */
      public static class For6<T1, T2, T3, T4, T5, T6> {
 
@@ -3857,6 +3884,14 @@ public <R> Iterator<R> yield(Function6<? super T1, ? super T2, ? super T3, ? sup
 
      /**
       * For-comprehension with 7 Iterables.
+
+      * @param <T1> component type of {@link Iterable} number 1
+      * @param <T2> component type of {@link Iterable} number 2
+      * @param <T3> component type of {@link Iterable} number 3
+      * @param <T4> component type of {@link Iterable} number 4
+      * @param <T5> component type of {@link Iterable} number 5
+      * @param <T6> component type of {@link Iterable} number 6
+      * @param <T7> component type of {@link Iterable} number 7
       */
      public static class For7<T1, T2, T3, T4, T5, T6, T7> {
 
@@ -3901,6 +3936,15 @@ public <R> Iterator<R> yield(Function7<? super T1, ? super T2, ? super T3, ? sup
 
      /**
       * For-comprehension with 8 Iterables.
+
+      * @param <T1> component type of {@link Iterable} number 1
+      * @param <T2> component type of {@link Iterable} number 2
+      * @param <T3> component type of {@link Iterable} number 3
+      * @param <T4> component type of {@link Iterable} number 4
+      * @param <T5> component type of {@link Iterable} number 5
+      * @param <T6> component type of {@link Iterable} number 6
+      * @param <T7> component type of {@link Iterable} number 7
+      * @param <T8> component type of {@link Iterable} number 8
       */
      public static class For8<T1, T2, T3, T4, T5, T6, T7, T8> {
 
@@ -3948,6 +3992,8 @@ public <R> Iterator<R> yield(Function8<? super T1, ? super T2, ? super T3, ? sup
 
      /**
       * For-comprehension with one Option.
+
+      * @param <T1> component type of {@link Option} number 1
       */
      public static class For1Option<T1> {
 
@@ -3981,6 +4027,9 @@ public Option<T1> yield() {
 
      /**
       * For-comprehension with two Options.
+
+      * @param <T1> component type of {@link Option} number 1
+      * @param <T2> component type of {@link Option} number 2
       */
      public static class For2Option<T1, T2> {
 
@@ -4010,6 +4059,10 @@ public <R> Option<R> yield(BiFunction<? super T1, ? super T2, ? extends R> f) {
 
      /**
       * For-comprehension with three Options.
+
+      * @param <T1> component type of {@link Option} number 1
+      * @param <T2> component type of {@link Option} number 2
+      * @param <T3> component type of {@link Option} number 3
       */
      public static class For3Option<T1, T2, T3> {
 
@@ -4042,6 +4095,11 @@ public <R> Option<R> yield(Function3<? super T1, ? super T2, ? super T3, ? exten
 
      /**
       * For-comprehension with 4 Options.
+
+      * @param <T1> component type of {@link Option} number 1
+      * @param <T2> component type of {@link Option} number 2
+      * @param <T3> component type of {@link Option} number 3
+      * @param <T4> component type of {@link Option} number 4
       */
      public static class For4Option<T1, T2, T3, T4> {
 
@@ -4077,6 +4135,12 @@ public <R> Option<R> yield(Function4<? super T1, ? super T2, ? super T3, ? super
 
      /**
       * For-comprehension with 5 Options.
+
+      * @param <T1> component type of {@link Option} number 1
+      * @param <T2> component type of {@link Option} number 2
+      * @param <T3> component type of {@link Option} number 3
+      * @param <T4> component type of {@link Option} number 4
+      * @param <T5> component type of {@link Option} number 5
       */
      public static class For5Option<T1, T2, T3, T4, T5> {
 
@@ -4115,6 +4179,13 @@ public <R> Option<R> yield(Function5<? super T1, ? super T2, ? super T3, ? super
 
      /**
       * For-comprehension with 6 Options.
+
+      * @param <T1> component type of {@link Option} number 1
+      * @param <T2> component type of {@link Option} number 2
+      * @param <T3> component type of {@link Option} number 3
+      * @param <T4> component type of {@link Option} number 4
+      * @param <T5> component type of {@link Option} number 5
+      * @param <T6> component type of {@link Option} number 6
       */
      public static class For6Option<T1, T2, T3, T4, T5, T6> {
 
@@ -4156,6 +4227,14 @@ public <R> Option<R> yield(Function6<? super T1, ? super T2, ? super T3, ? super
 
      /**
       * For-comprehension with 7 Options.
+
+      * @param <T1> component type of {@link Option} number 1
+      * @param <T2> component type of {@link Option} number 2
+      * @param <T3> component type of {@link Option} number 3
+      * @param <T4> component type of {@link Option} number 4
+      * @param <T5> component type of {@link Option} number 5
+      * @param <T6> component type of {@link Option} number 6
+      * @param <T7> component type of {@link Option} number 7
       */
      public static class For7Option<T1, T2, T3, T4, T5, T6, T7> {
 
@@ -4200,6 +4279,15 @@ public <R> Option<R> yield(Function7<? super T1, ? super T2, ? super T3, ? super
 
      /**
       * For-comprehension with 8 Options.
+
+      * @param <T1> component type of {@link Option} number 1
+      * @param <T2> component type of {@link Option} number 2
+      * @param <T3> component type of {@link Option} number 3
+      * @param <T4> component type of {@link Option} number 4
+      * @param <T5> component type of {@link Option} number 5
+      * @param <T6> component type of {@link Option} number 6
+      * @param <T7> component type of {@link Option} number 7
+      * @param <T8> component type of {@link Option} number 8
       */
      public static class For8Option<T1, T2, T3, T4, T5, T6, T7, T8> {
 
@@ -4247,6 +4335,8 @@ public <R> Option<R> yield(Function8<? super T1, ? super T2, ? super T3, ? super
 
      /**
       * For-comprehension with one Future.
+
+      * @param <T1> component type of {@link Future} number 1
       */
      public static class For1Future<T1> {
 
@@ -4280,6 +4370,9 @@ public Future<T1> yield() {
 
      /**
       * For-comprehension with two Futures.
+
+      * @param <T1> component type of {@link Future} number 1
+      * @param <T2> component type of {@link Future} number 2
       */
      public static class For2Future<T1, T2> {
 
@@ -4309,6 +4402,10 @@ public <R> Future<R> yield(BiFunction<? super T1, ? super T2, ? extends R> f) {
 
      /**
       * For-comprehension with three Futures.
+
+      * @param <T1> component type of {@link Future} number 1
+      * @param <T2> component type of {@link Future} number 2
+      * @param <T3> component type of {@link Future} number 3
       */
      public static class For3Future<T1, T2, T3> {
 
@@ -4341,6 +4438,11 @@ public <R> Future<R> yield(Function3<? super T1, ? super T2, ? super T3, ? exten
 
      /**
       * For-comprehension with 4 Futures.
+
+      * @param <T1> component type of {@link Future} number 1
+      * @param <T2> component type of {@link Future} number 2
+      * @param <T3> component type of {@link Future} number 3
+      * @param <T4> component type of {@link Future} number 4
       */
      public static class For4Future<T1, T2, T3, T4> {
 
@@ -4376,6 +4478,12 @@ public <R> Future<R> yield(Function4<? super T1, ? super T2, ? super T3, ? super
 
      /**
       * For-comprehension with 5 Futures.
+
+      * @param <T1> component type of {@link Future} number 1
+      * @param <T2> component type of {@link Future} number 2
+      * @param <T3> component type of {@link Future} number 3
+      * @param <T4> component type of {@link Future} number 4
+      * @param <T5> component type of {@link Future} number 5
       */
      public static class For5Future<T1, T2, T3, T4, T5> {
 
@@ -4414,6 +4522,13 @@ public <R> Future<R> yield(Function5<? super T1, ? super T2, ? super T3, ? super
 
      /**
       * For-comprehension with 6 Futures.
+
+      * @param <T1> component type of {@link Future} number 1
+      * @param <T2> component type of {@link Future} number 2
+      * @param <T3> component type of {@link Future} number 3
+      * @param <T4> component type of {@link Future} number 4
+      * @param <T5> component type of {@link Future} number 5
+      * @param <T6> component type of {@link Future} number 6
       */
      public static class For6Future<T1, T2, T3, T4, T5, T6> {
 
@@ -4455,6 +4570,14 @@ public <R> Future<R> yield(Function6<? super T1, ? super T2, ? super T3, ? super
 
      /**
       * For-comprehension with 7 Futures.
+
+      * @param <T1> component type of {@link Future} number 1
+      * @param <T2> component type of {@link Future} number 2
+      * @param <T3> component type of {@link Future} number 3
+      * @param <T4> component type of {@link Future} number 4
+      * @param <T5> component type of {@link Future} number 5
+      * @param <T6> component type of {@link Future} number 6
+      * @param <T7> component type of {@link Future} number 7
       */
      public static class For7Future<T1, T2, T3, T4, T5, T6, T7> {
 
@@ -4499,6 +4622,15 @@ public <R> Future<R> yield(Function7<? super T1, ? super T2, ? super T3, ? super
 
      /**
       * For-comprehension with 8 Futures.
+
+      * @param <T1> component type of {@link Future} number 1
+      * @param <T2> component type of {@link Future} number 2
+      * @param <T3> component type of {@link Future} number 3
+      * @param <T4> component type of {@link Future} number 4
+      * @param <T5> component type of {@link Future} number 5
+      * @param <T6> component type of {@link Future} number 6
+      * @param <T7> component type of {@link Future} number 7
+      * @param <T8> component type of {@link Future} number 8
       */
      public static class For8Future<T1, T2, T3, T4, T5, T6, T7, T8> {
 
@@ -4546,6 +4678,8 @@ public <R> Future<R> yield(Function8<? super T1, ? super T2, ? super T3, ? super
 
      /**
       * For-comprehension with one Try.
+
+      * @param <T1> component type of {@link Try} number 1
       */
      public static class For1Try<T1> {
 
@@ -4579,6 +4713,9 @@ public Try<T1> yield() {
 
      /**
       * For-comprehension with two Trys.
+
+      * @param <T1> component type of {@link Try} number 1
+      * @param <T2> component type of {@link Try} number 2
       */
      public static class For2Try<T1, T2> {
 
@@ -4608,6 +4745,10 @@ public <R> Try<R> yield(BiFunction<? super T1, ? super T2, ? extends R> f) {
 
      /**
       * For-comprehension with three Trys.
+
+      * @param <T1> component type of {@link Try} number 1
+      * @param <T2> component type of {@link Try} number 2
+      * @param <T3> component type of {@link Try} number 3
       */
      public static class For3Try<T1, T2, T3> {
 
@@ -4640,6 +4781,11 @@ public <R> Try<R> yield(Function3<? super T1, ? super T2, ? super T3, ? extends
 
      /**
       * For-comprehension with 4 Trys.
+
+      * @param <T1> component type of {@link Try} number 1
+      * @param <T2> component type of {@link Try} number 2
+      * @param <T3> component type of {@link Try} number 3
+      * @param <T4> component type of {@link Try} number 4
       */
      public static class For4Try<T1, T2, T3, T4> {
 
@@ -4675,6 +4821,12 @@ public <R> Try<R> yield(Function4<? super T1, ? super T2, ? super T3, ? super T4
 
      /**
       * For-comprehension with 5 Trys.
+
+      * @param <T1> component type of {@link Try} number 1
+      * @param <T2> component type of {@link Try} number 2
+      * @param <T3> component type of {@link Try} number 3
+      * @param <T4> component type of {@link Try} number 4
+      * @param <T5> component type of {@link Try} number 5
       */
      public static class For5Try<T1, T2, T3, T4, T5> {
 
@@ -4713,6 +4865,13 @@ public <R> Try<R> yield(Function5<? super T1, ? super T2, ? super T3, ? super T4
 
      /**
       * For-comprehension with 6 Trys.
+
+      * @param <T1> component type of {@link Try} number 1
+      * @param <T2> component type of {@link Try} number 2
+      * @param <T3> component type of {@link Try} number 3
+      * @param <T4> component type of {@link Try} number 4
+      * @param <T5> component type of {@link Try} number 5
+      * @param <T6> component type of {@link Try} number 6
       */
      public static class For6Try<T1, T2, T3, T4, T5, T6> {
 
@@ -4754,6 +4913,14 @@ public <R> Try<R> yield(Function6<? super T1, ? super T2, ? super T3, ? super T4
 
      /**
       * For-comprehension with 7 Trys.
+
+      * @param <T1> component type of {@link Try} number 1
+      * @param <T2> component type of {@link Try} number 2
+      * @param <T3> component type of {@link Try} number 3
+      * @param <T4> component type of {@link Try} number 4
+      * @param <T5> component type of {@link Try} number 5
+      * @param <T6> component type of {@link Try} number 6
+      * @param <T7> component type of {@link Try} number 7
       */
      public static class For7Try<T1, T2, T3, T4, T5, T6, T7> {
 
@@ -4798,6 +4965,15 @@ public <R> Try<R> yield(Function7<? super T1, ? super T2, ? super T3, ? super T4
 
      /**
       * For-comprehension with 8 Trys.
+
+      * @param <T1> component type of {@link Try} number 1
+      * @param <T2> component type of {@link Try} number 2
+      * @param <T3> component type of {@link Try} number 3
+      * @param <T4> component type of {@link Try} number 4
+      * @param <T5> component type of {@link Try} number 5
+      * @param <T6> component type of {@link Try} number 6
+      * @param <T7> component type of {@link Try} number 7
+      * @param <T8> component type of {@link Try} number 8
       */
      public static class For8Try<T1, T2, T3, T4, T5, T6, T7, T8> {
 
@@ -4845,6 +5021,8 @@ public <R> Try<R> yield(Function8<? super T1, ? super T2, ? super T3, ? super T4
 
      /**
       * For-comprehension with one List.
+
+      * @param <T1> component type of {@link List} number 1
       */
      public static class For1List<T1> {
 
@@ -4878,6 +5056,9 @@ public List<T1> yield() {
 
      /**
       * For-comprehension with two Lists.
+
+      * @param <T1> component type of {@link List} number 1
+      * @param <T2> component type of {@link List} number 2
       */
      public static class For2List<T1, T2> {
 
@@ -4907,6 +5088,10 @@ public <R> List<R> yield(BiFunction<? super T1, ? super T2, ? extends R> f) {
 
      /**
       * For-comprehension with three Lists.
+
+      * @param <T1> component type of {@link List} number 1
+      * @param <T2> component type of {@link List} number 2
+      * @param <T3> component type of {@link List} number 3
       */
      public static class For3List<T1, T2, T3> {
 
@@ -4939,6 +5124,11 @@ public <R> List<R> yield(Function3<? super T1, ? super T2, ? super T3, ? extends
 
      /**
       * For-comprehension with 4 Lists.
+
+      * @param <T1> component type of {@link List} number 1
+      * @param <T2> component type of {@link List} number 2
+      * @param <T3> component type of {@link List} number 3
+      * @param <T4> component type of {@link List} number 4
       */
      public static class For4List<T1, T2, T3, T4> {
 
@@ -4974,6 +5164,12 @@ public <R> List<R> yield(Function4<? super T1, ? super T2, ? super T3, ? super T
 
      /**
       * For-comprehension with 5 Lists.
+
+      * @param <T1> component type of {@link List} number 1
+      * @param <T2> component type of {@link List} number 2
+      * @param <T3> component type of {@link List} number 3
+      * @param <T4> component type of {@link List} number 4
+      * @param <T5> component type of {@link List} number 5
       */
      public static class For5List<T1, T2, T3, T4, T5> {
 
@@ -5012,6 +5208,13 @@ public <R> List<R> yield(Function5<? super T1, ? super T2, ? super T3, ? super T
 
      /**
       * For-comprehension with 6 Lists.
+
+      * @param <T1> component type of {@link List} number 1
+      * @param <T2> component type of {@link List} number 2
+      * @param <T3> component type of {@link List} number 3
+      * @param <T4> component type of {@link List} number 4
+      * @param <T5> component type of {@link List} number 5
+      * @param <T6> component type of {@link List} number 6
       */
      public static class For6List<T1, T2, T3, T4, T5, T6> {
 
@@ -5053,6 +5256,14 @@ public <R> List<R> yield(Function6<? super T1, ? super T2, ? super T3, ? super T
 
      /**
       * For-comprehension with 7 Lists.
+
+      * @param <T1> component type of {@link List} number 1
+      * @param <T2> component type of {@link List} number 2
+      * @param <T3> component type of {@link List} number 3
+      * @param <T4> component type of {@link List} number 4
+      * @param <T5> component type of {@link List} number 5
+      * @param <T6> component type of {@link List} number 6
+      * @param <T7> component type of {@link List} number 7
       */
      public static class For7List<T1, T2, T3, T4, T5, T6, T7> {
 
@@ -5097,6 +5308,15 @@ public <R> List<R> yield(Function7<? super T1, ? super T2, ? super T3, ? super T
 
      /**
       * For-comprehension with 8 Lists.
+
+      * @param <T1> component type of {@link List} number 1
+      * @param <T2> component type of {@link List} number 2
+      * @param <T3> component type of {@link List} number 3
+      * @param <T4> component type of {@link List} number 4
+      * @param <T5> component type of {@link List} number 5
+      * @param <T6> component type of {@link List} number 6
+      * @param <T7> component type of {@link List} number 7
+      * @param <T8> component type of {@link List} number 8
       */
      public static class For8List<T1, T2, T3, T4, T5, T6, T7, T8> {
 
@@ -5144,6 +5364,9 @@ public <R> List<R> yield(Function8<? super T1, ? super T2, ? super T3, ? super T
 
      /**
       * For-comprehension with one Either.
+
+      * @param <L> The left-hand type of all {@link Either}s
+      * @param <T1> component type of {@link Either} number 1
       */
      public static class For1Either<L, T1> {
 
@@ -5177,6 +5400,10 @@ public Either<L, T1> yield() {
 
      /**
       * For-comprehension with two Eithers.
+
+      * @param <L> The left-hand type of all {@link Either}s
+      * @param <T1> component type of {@link Either} number 1
+      * @param <T2> component type of {@link Either} number 2
       */
      public static class For2Either<L, T1, T2> {
 
@@ -5206,6 +5433,11 @@ public <R> Either<L, R> yield(BiFunction<? super T1, ? super T2, ? extends R> f)
 
      /**
       * For-comprehension with three Eithers.
+
+      * @param <L> The left-hand type of all {@link Either}s
+      * @param <T1> component type of {@link Either} number 1
+      * @param <T2> component type of {@link Either} number 2
+      * @param <T3> component type of {@link Either} number 3
       */
      public static class For3Either<L, T1, T2, T3> {
 
@@ -5238,6 +5470,12 @@ public <R> Either<L, R> yield(Function3<? super T1, ? super T2, ? super T3, ? ex
 
      /**
       * For-comprehension with 4 Eithers.
+
+      * @param <L> The left-hand type of all {@link Either}s
+      * @param <T1> component type of {@link Either} number 1
+      * @param <T2> component type of {@link Either} number 2
+      * @param <T3> component type of {@link Either} number 3
+      * @param <T4> component type of {@link Either} number 4
       */
      public static class For4Either<L, T1, T2, T3, T4> {
 
@@ -5273,6 +5511,13 @@ public <R> Either<L, R> yield(Function4<? super T1, ? super T2, ? super T3, ? su
 
      /**
       * For-comprehension with 5 Eithers.
+
+      * @param <L> The left-hand type of all {@link Either}s
+      * @param <T1> component type of {@link Either} number 1
+      * @param <T2> component type of {@link Either} number 2
+      * @param <T3> component type of {@link Either} number 3
+      * @param <T4> component type of {@link Either} number 4
+      * @param <T5> component type of {@link Either} number 5
       */
      public static class For5Either<L, T1, T2, T3, T4, T5> {
 
@@ -5311,6 +5556,14 @@ public <R> Either<L, R> yield(Function5<? super T1, ? super T2, ? super T3, ? su
 
      /**
       * For-comprehension with 6 Eithers.
+
+      * @param <L> The left-hand type of all {@link Either}s
+      * @param <T1> component type of {@link Either} number 1
+      * @param <T2> component type of {@link Either} number 2
+      * @param <T3> component type of {@link Either} number 3
+      * @param <T4> component type of {@link Either} number 4
+      * @param <T5> component type of {@link Either} number 5
+      * @param <T6> component type of {@link Either} number 6
       */
      public static class For6Either<L, T1, T2, T3, T4, T5, T6> {
 
@@ -5352,6 +5605,15 @@ public <R> Either<L, R> yield(Function6<? super T1, ? super T2, ? super T3, ? su
 
      /**
       * For-comprehension with 7 Eithers.
+
+      * @param <L> The left-hand type of all {@link Either}s
+      * @param <T1> component type of {@link Either} number 1
+      * @param <T2> component type of {@link Either} number 2
+      * @param <T3> component type of {@link Either} number 3
+      * @param <T4> component type of {@link Either} number 4
+      * @param <T5> component type of {@link Either} number 5
+      * @param <T6> component type of {@link Either} number 6
+      * @param <T7> component type of {@link Either} number 7
       */
      public static class For7Either<L, T1, T2, T3, T4, T5, T6, T7> {
 
@@ -5396,6 +5658,16 @@ public <R> Either<L, R> yield(Function7<? super T1, ? super T2, ? super T3, ? su
 
      /**
       * For-comprehension with 8 Eithers.
+
+      * @param <L> The left-hand type of all {@link Either}s
+      * @param <T1> component type of {@link Either} number 1
+      * @param <T2> component type of {@link Either} number 2
+      * @param <T3> component type of {@link Either} number 3
+      * @param <T4> component type of {@link Either} number 4
+      * @param <T5> component type of {@link Either} number 5
+      * @param <T6> component type of {@link Either} number 6
+      * @param <T7> component type of {@link Either} number 7
+      * @param <T8> component type of {@link Either} number 8
       */
      public static class For8Either<L, T1, T2, T3, T4, T5, T6, T7, T8> {
 
@@ -5443,6 +5715,9 @@ public <R> Either<L, R> yield(Function8<? super T1, ? super T2, ? super T3, ? su
 
      /**
       * For-comprehension with one Validation.
+
+      * @param <L> The left-hand type of all {@link Validation}s
+      * @param <T1> component type of {@link Validation} number 1
       */
      public static class For1Validation<L, T1> {
 
@@ -5476,6 +5751,10 @@ public Validation<L, T1> yield() {
 
      /**
       * For-comprehension with two Validations.
+
+      * @param <L> The left-hand type of all {@link Validation}s
+      * @param <T1> component type of {@link Validation} number 1
+      * @param <T2> component type of {@link Validation} number 2
       */
      public static class For2Validation<L, T1, T2> {
 
@@ -5505,6 +5784,11 @@ public <R> Validation<L, R> yield(BiFunction<? super T1, ? super T2, ? extends R
 
      /**
       * For-comprehension with three Validations.
+
+      * @param <L> The left-hand type of all {@link Validation}s
+      * @param <T1> component type of {@link Validation} number 1
+      * @param <T2> component type of {@link Validation} number 2
+      * @param <T3> component type of {@link Validation} number 3
       */
      public static class For3Validation<L, T1, T2, T3> {
 
@@ -5537,6 +5821,12 @@ public <R> Validation<L, R> yield(Function3<? super T1, ? super T2, ? super T3,
 
      /**
       * For-comprehension with 4 Validations.
+
+      * @param <L> The left-hand type of all {@link Validation}s
+      * @param <T1> component type of {@link Validation} number 1
+      * @param <T2> component type of {@link Validation} number 2
+      * @param <T3> component type of {@link Validation} number 3
+      * @param <T4> component type of {@link Validation} number 4
       */
      public static class For4Validation<L, T1, T2, T3, T4> {
 
@@ -5572,6 +5862,13 @@ public <R> Validation<L, R> yield(Function4<? super T1, ? super T2, ? super T3,
 
      /**
       * For-comprehension with 5 Validations.
+
+      * @param <L> The left-hand type of all {@link Validation}s
+      * @param <T1> component type of {@link Validation} number 1
+      * @param <T2> component type of {@link Validation} number 2
+      * @param <T3> component type of {@link Validation} number 3
+      * @param <T4> component type of {@link Validation} number 4
+      * @param <T5> component type of {@link Validation} number 5
       */
      public static class For5Validation<L, T1, T2, T3, T4, T5> {
 
@@ -5610,6 +5907,14 @@ public <R> Validation<L, R> yield(Function5<? super T1, ? super T2, ? super T3,
 
      /**
       * For-comprehension with 6 Validations.
+
+      * @param <L> The left-hand type of all {@link Validation}s
+      * @param <T1> component type of {@link Validation} number 1
+      * @param <T2> component type of {@link Validation} number 2
+      * @param <T3> component type of {@link Validation} number 3
+      * @param <T4> component type of {@link Validation} number 4
+      * @param <T5> component type of {@link Validation} number 5
+      * @param <T6> component type of {@link Validation} number 6
       */
      public static class For6Validation<L, T1, T2, T3, T4, T5, T6> {
 
@@ -5651,6 +5956,15 @@ public <R> Validation<L, R> yield(Function6<? super T1, ? super T2, ? super T3,
 
      /**
       * For-comprehension with 7 Validations.
+
+      * @param <L> The left-hand type of all {@link Validation}s
+      * @param <T1> component type of {@link Validation} number 1
+      * @param <T2> component type of {@link Validation} number 2
+      * @param <T3> component type of {@link Validation} number 3
+      * @param <T4> component type of {@link Validation} number 4
+      * @param <T5> component type of {@link Validation} number 5
+      * @param <T6> component type of {@link Validation} number 6
+      * @param <T7> component type of {@link Validation} number 7
       */
      public static class For7Validation<L, T1, T2, T3, T4, T5, T6, T7> {
 
@@ -5695,6 +6009,16 @@ public <R> Validation<L, R> yield(Function7<? super T1, ? super T2, ? super T3,
 
      /**
       * For-comprehension with 8 Validations.
+
+      * @param <L> The left-hand type of all {@link Validation}s
+      * @param <T1> component type of {@link Validation} number 1
+      * @param <T2> component type of {@link Validation} number 2
+      * @param <T3> component type of {@link Validation} number 3
+      * @param <T4> component type of {@link Validation} number 4
+      * @param <T5> component type of {@link Validation} number 5
+      * @param <T6> component type of {@link Validation} number 6
+      * @param <T7> component type of {@link Validation} number 7
+      * @param <T8> component type of {@link Validation} number 8
       */
      public static class For8Validation<L, T1, T2, T3, T4, T5, T6, T7, T8> {