PHP Класс Widmogrod\Helpful\FunctorLaws

Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод Описание
test ( callable $assertEqual, callable $f, callable $g, Widmogrod\FantasyLand\Functor $x ) Generic test to verify if a type obey the functor laws.

Описание методов

test() публичный статический Метод

Generic test to verify if a type obey the functor laws.
public static test ( callable $assertEqual, callable $f, callable $g, Widmogrod\FantasyLand\Functor $x )
$assertEqual callable Asserting function (Functor $f1, Functor $f2, $message)
$f callable (a -> b)
$g callable (a -> b)
$x Widmogrod\FantasyLand\Functor f a