| Method | Description | |
|---|---|---|
| test ( callable $assertEqual, Widmogrod\FantasyLand\Monoid $x, Widmogrod\FantasyLand\Monoid $y, Widmogrod\FantasyLand\Monoid $z ) | Generic test to verify if a type obey the monodic laws. |
| public static test ( callable $assertEqual, Widmogrod\FantasyLand\Monoid $x, Widmogrod\FantasyLand\Monoid $y, Widmogrod\FantasyLand\Monoid $z ) | ||
| $assertEqual | callable | Asserting function (Monoid $m1, Monoid $m2, $message) |
| $x | Widmogrod\FantasyLand\Monoid | |
| $y | Widmogrod\FantasyLand\Monoid | |
| $z | Widmogrod\FantasyLand\Monoid | |
