Méthode | 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 |