PHP 클래스 Widmogrod\Helpful\ApplicativeLaws

파일 보기 프로젝트 열기: widmogrod/php-functional 1 사용 예제들

공개 메소드들

메소드 설명
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