Maybe, Option and Result monads for PHP.
I published on reddit an RFC proposal for what I called "enums constructor" (which happened to be an existing concept called "tagged unions"). Out of one comment, I shown how to chain calls to various ADT outcomes, in order to reduces pyramidal matches.
This got me into wanting to use more monads right now on my next projects. After searching on packagist.org, I did not found something that fits what I expected, so I decided to make my own version of how I think monads should look like in PHP.
- Supports theses monads:
- Option
- Maybe
- Result
- PHPStan and static analyzers friendly
- PHP 8+ installed
composer require khalyomede/monad
In this example, we will use the Maybe monad as result, and use it in our main code.
use Khalyomede\Monad\Maybe;
function getFileContent(string $filePath): Maybe
{
$content = file_get_contents($filePath);
return $content === false ? Maybe::nothing() : Maybe::just($content);
}
// main
$content = getFileContent("data.txt")
->then(fn (string $data): string => $data)
->catch(fn (): string => "N/A");
echo $content;
In this example, we will use the Result monad to return the list of users or an error from PDO.
use Khalyomede\Monad\Result;
function getUsers(): Result
{
$pdo = new PDO("sqlite::memory:");
$statement = $pdo->prepare("SELECT * FROM users");
if ($statement === false) {
$message = $pdo->errorInfo()[2];
return Result::error($message);
}
$result = $statement->execute();
if ($result === false) {
$message = $statement->errorInfo()[2];
return Result::error($message);
}
return Result::ok($statement->fetchAll());
}
// main
$users = getUsers()
->then(fn (array $records): array => $records)
->catch(function (string $error): array {
error_log($error);
return [];
});
In this example, we will chain multiple times "then", similar to what is possible in other languages through "map".
use Khalyomede\Monad\Result;
function getFileContent(string $path): Result
{
$content = file_get_contents($path);
return $content === false ?
Result::error(new Exception("Cannot get content of file $path.")) :
Result::ok($content);
}
function saveFileContent(string $path, string $content): Result
{
$result = file_put_contents($path, $content);
return $result === false ?
Result::error(new Exception("Cannot write file content of file $path.")) :
Result::ok(true);
}
// main
$result = fileGetContent("composer.json")
->then(fn (string $content): Result => saveFileContent("composer.json.save", $content))
->then(fn (): string => "composer.json backup finished.")
->catch(fn (Exception $exception): string => $exception->getMessage());
echo $result . PHP_EOL;
khalyomede@pc > php index.php
composer.json backup finished.
If you remove the file, the result becomes
khalyomede@pc > php index.php
Cannot get content of file composer.json.
If you remove the write permission on this file, the result becomes
khalyomede@pc > php index.php
Cannot write file content of file composer.json.save.
For a list of all possible functions, see the tests\unit folder.
composer run install-security-checker
composer run test
composer run mutate
composer run analyse
composer run check
composer outdated --direct