PHP Class test\Monad\ListtTest

Inheritance: extends PHPUnit_Framework_TestCase
Show file Open project: widmogrod/php-functional

Public Methods

Method Description
provideApplicativeTestData ( )
provideData ( )
provideFunctorTestData ( )
provideRandomizedData ( )
test_if_list_obeys_the_laws ( $f, $g, $x )
test_it_should_obey_applicative_laws ( $pure, Widmogrod\FantasyLand\Applicative $u, Widmogrod\FantasyLand\Applicative $v, Widmogrod\FantasyLand\Applicative $w, callable $f, $x )
test_it_should_obey_functor_laws ( callable $f, callable $g, Widmogrod\FantasyLand\Functor $x )
test_it_should_obey_monoid_laws ( Widmogrod\FantasyLand\Monoid $x, Widmogrod\FantasyLand\Monoid $y, Widmogrod\FantasyLand\Monoid $z )

Private Methods

Method Description
randomize ( )

Method Details

provideApplicativeTestData() public method

public provideApplicativeTestData ( )

provideData() public method

public provideData ( )

provideFunctorTestData() public method

public provideFunctorTestData ( )

provideRandomizedData() public method

public provideRandomizedData ( )

test_if_list_obeys_the_laws() public method

public test_if_list_obeys_the_laws ( $f, $g, $x )

test_it_should_obey_applicative_laws() public method

public test_it_should_obey_applicative_laws ( $pure, Widmogrod\FantasyLand\Applicative $u, Widmogrod\FantasyLand\Applicative $v, Widmogrod\FantasyLand\Applicative $w, callable $f, $x )
$u Widmogrod\FantasyLand\Applicative
$v Widmogrod\FantasyLand\Applicative
$w Widmogrod\FantasyLand\Applicative
$f callable

test_it_should_obey_functor_laws() public method

public test_it_should_obey_functor_laws ( callable $f, callable $g, Widmogrod\FantasyLand\Functor $x )
$f callable
$g callable
$x Widmogrod\FantasyLand\Functor

test_it_should_obey_monoid_laws() public method

public test_it_should_obey_monoid_laws ( Widmogrod\FantasyLand\Monoid $x, Widmogrod\FantasyLand\Monoid $y, Widmogrod\FantasyLand\Monoid $z )
$x Widmogrod\FantasyLand\Monoid
$y Widmogrod\FantasyLand\Monoid
$z Widmogrod\FantasyLand\Monoid