PHP Класс Widmogrod\Helpful\ApplicativeLaws

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

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

Метод Описание
test ( callable $assertEqual, callable $pure, Widmogrod\FantasyLand\Applicative $u, Widmogrod\FantasyLand\Applicative $v, Widmogrod\FantasyLand\Applicative $w, callable $f, mixed $x ) Generic test to verify if a type obey the applicative laws.

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

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

Generic test to verify if a type obey the applicative laws.
public static test ( callable $assertEqual, callable $pure, Widmogrod\FantasyLand\Applicative $u, Widmogrod\FantasyLand\Applicative $v, Widmogrod\FantasyLand\Applicative $w, callable $f, mixed $x )
$assertEqual callable Asserting function (Applicative $a1, Applicative $a2, $message)
$pure callable Applicative "constructor"
$u Widmogrod\FantasyLand\Applicative Applicative f => f (a -> b)
$v Widmogrod\FantasyLand\Applicative Applicative f => f (a -> b)
$w Widmogrod\FantasyLand\Applicative Applicative f => f (a -> b)
$f callable (a -> b)
$x mixed Value to put into a applicative