PHP Class test\Monad\ReaderTest

Inheritance: extends PHPUnit_Framework_TestCase

Show file Open project: widmogrod/php-functional

Public Methods

Method	Description
provideApplicativeTestData ( )
provideData ( )
provideFunctorTestData ( )
test_if_reader_monad_obeys_the_laws ( $f, $g, $x, $env )
test_it_should_obey_applicative_laws ( $pure, Widmogrod\FantasyLand\Applicative $u, Widmogrod\FantasyLand\Applicative $v, Widmogrod\FantasyLand\Applicative $w, callable $f, $x, $reader )
test_it_should_obey_functor_laws ( callable $f, callable $g, Widmogrod\FantasyLand\Functor $x, $reader )

Method Details

provideApplicativeTestData() public method

public provideApplicativeTestData ( )

provideData() public method

public provideData ( )

provideFunctorTestData() public method

public provideFunctorTestData ( )

test_if_reader_monad_obeys_the_laws() public method

public test_if_reader_monad_obeys_the_laws ( $f, $g, $x, $env )

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, $reader )
$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, $reader )
$f	callable
$g	callable
$x	Widmogrod\FantasyLand\Functor