| Method | Description | |
|---|---|---|
| test ( callable $assertEqual, callable $return, callable $f, callable $g, mixed $x ) | Generic test to verify if a type obey the monad laws. |
| public static test ( callable $assertEqual, callable $return, callable $f, callable $g, mixed $x ) | ||
| $assertEqual | callable | Asserting function (Monad $m1, Monad $m2, $message) |
| $return | callable | Monad "constructor" |
| $f | callable | Monadic function |
| $g | callable | Monadic function |
| $x | mixed | Value to put into a monad |
