prevent nested loops

Author: staabm

src/Type/AcceptsResult.php

@@ -163,14 +163,26 @@ public static function lazyMaxMin(
 	): self
 	{
 		$results = [];
+		$reasons = [];
+		$hasNo = false;
 		foreach ($objects as $object) {
 			$isAcceptedBy = $callback($object);
 			if ($isAcceptedBy->result->yes()) {
 				return $isAcceptedBy;
+			} elseif ($isAcceptedBy->result->no()) {
+				$hasNo = true;
 			}
 			$results[] = $isAcceptedBy;
+
+			foreach ($isAcceptedBy->reasons as $reason) {
+				$reasons[] = $reason;
+			}
 		}
-		return self::maxMin(...$results);
+
+		return new self(
+			$hasNo ? TrinaryLogic::createNo() : TrinaryLogic::createMaybe(),
+			array_values(array_unique($reasons)),
+		);
 	}
 
 }

src/Type/IsSuperTypeOfResult.php

@@ -196,14 +196,26 @@ public static function lazyMaxMin(
 	): self
 	{
 		$results = [];
+		$reasons = [];
+		$hasNo = false;
 		foreach ($objects as $object) {
 			$isSuperTypeOf = $callback($object);
 			if ($isSuperTypeOf->result->yes()) {
 				return $isSuperTypeOf;
+			} elseif ($isSuperTypeOf->result->no()) {
+				$hasNo = true;
 			}
 			$results[] = $isSuperTypeOf;
+
+			foreach ($isSuperTypeOf->reasons as $reason) {
+				$reasons[] = $reason;
+			}
 		}
-		return self::maxMin(...$results);
+
+		return new self(
+			$hasNo ? TrinaryLogic::createNo() : TrinaryLogic::createMaybe(),
+			array_values(array_unique($reasons)),
+		);
 	}
 
 	public function negate(): self