Monad インターフェース

Monad は Option と Result の基底インターフェースです。Haskell のモナド概念を PHP で表現しています。

定義

namespace WizDevelop\PhpMonad;

/**
 * @template T
 * @extends IteratorAggregate<T>
 */
#[Sealed(permits: [Result::class, Option::class])]
interface Monad extends IteratorAggregate

特徴

• #[Sealed] 属性により、Option と Result のみが実装可能
• IteratorAggregate を継承し、foreach で使用可能
• 不変（immutable）オブジェクト

メソッド

unit

値をモナドでラップします。Haskell の return に相当します。

public static function unit(mixed $value): self;

シグネチャ

@template TValue
@param TValue $value
@return Monad<TValue>

使用例

use WizDevelop\PhpMonad\Option\Some;
use WizDevelop\PhpMonad\Result\Ok;

$some = Some::unit(42);  // Some<int>
$ok = Ok::unit(42);      // Ok<int>

ヘルパー関数を推奨

通常は unit を直接呼び出すのではなく、ヘルパー関数を使用します。

use WizDevelop\PhpMonad\Option;
use WizDevelop\PhpMonad\Result;

$some = Option\some(42);
$ok = Result\ok(42);

andThen

値を受け取りモナドを返す関数を適用します。Haskell の >>=（bind）に相当します。

public function andThen(Closure $right): self;

シグネチャ

@template U
@param Closure(T): Monad<U> $right
@return Monad<U>

使用例

use WizDevelop\PhpMonad\Option;

function double(int $x): Option {
    return Option\some($x * 2);
}

$result = Option\some(5)->andThen(double(...));  // Some(10)
$result = Option\none()->andThen(double(...));   // None

use WizDevelop\PhpMonad\Result;

function divide(int $x): Result {
    return $x === 0 ? Result\err('ゼロ除算') : Result\ok(100 / $x);
}

$result = Result\ok(10)->andThen(divide(...));  // Ok(10)
$result = Result\ok(0)->andThen(divide(...));   // Err('ゼロ除算')
$result = Result\err('e')->andThen(divide(...));  // Err('e')

イテレーション

Monad は IteratorAggregate を実装しているため、foreach で使用できます。

$option = Option\some(42);

foreach ($option as $value) {
    echo $value;  // 42
}

$none = Option\none();

foreach ($none as $value) {
    // 実行されない
}

型階層