fix Either and Maybe ::memoize() not loading everything

Author: Baptouuuu

CHANGELOG.md

@@ -1,5 +1,11 @@
 # Changelog
 
+## [Unreleased]
+
+### Fixed
+
+- `Innmind\Immutable\Maybe::memoize()` and `Innmind\Immutable\Either::memoize()` was only unwrapping the first layer of the monad. It now recursively unwraps until all the deferred monads are memoized.
+
 ## 5.10.0 - 2024-11-09
 
 ### Added

proofs/either.php

@@ -0,0 +1,27 @@
+<?php
+declare(strict_types = 1);
+
+use Innmind\Immutable\Either;
+use Innmind\BlackBox\Set;
+
+return static function() {
+    yield proof(
+        'Either::memoize() any composition',
+        given(Set\Type::any()->filter(static fn($value) => !\is_null($value))),
+        static function($assert, $value) {
+            $loaded = false;
+            $either = Either::defer(static fn() => Either::right($value))
+                ->flatMap(static function() use ($value, &$loaded) {
+                    return Either::defer(static function() use ($value, &$loaded) {
+                        $loaded = true;
+
+                        return Either::right($value);
+                    });
+                });
+
+            $assert->false($loaded);
+            $either->memoize();
+            $assert->true($loaded);
+        },
+    );
+};

proofs/maybe.php

@@ -43,4 +43,24 @@ static function($assert, $value1, $value2) {
             );
         },
     );
+
+    yield proof(
+        'Maybe::memoize() any composition',
+        given(Set\Type::any()->filter(static fn($value) => !\is_null($value))),
+        static function($assert, $value) {
+            $loaded = false;
+            $maybe = Maybe::defer(static fn() => Maybe::just($value))
+                ->flatMap(static function() use ($value, &$loaded) {
+                    return Maybe::defer(static function() use ($value, &$loaded) {
+                        $loaded = true;
+
+                        return Maybe::just($value);
+                    });
+                });
+
+            $assert->false($loaded);
+            $maybe->memoize();
+            $assert->true($loaded);
+        },
+    );
 };

src/Either/Defer.php

@@ -108,7 +108,7 @@ private function unwrap(): Either
          * @psalm-suppress InaccessibleProperty
          * @psalm-suppress ImpureFunctionCall
          */
-        return $this->value ??= ($this->deferred)();
+        return $this->value ??= ($this->deferred)()->memoize();
     }
 
     /**

src/Maybe/Defer.php

@@ -107,7 +107,7 @@ private function unwrap(): Maybe
          * @psalm-suppress InaccessibleProperty
          * @psalm-suppress ImpureFunctionCall
          */
-        return $this->value ??= ($this->deferred)();
+        return $this->value ??= ($this->deferred)()->memoize();
     }
 
     /**