Method | Description | |
---|---|---|
provideApplicativeTestData ( ) | ||
provideData ( ) | ||
provideFunctorTestData ( ) | ||
test_if_identity_monad_obeys_the_laws ( $f, $g, $x ) | ||
test_it_should_obey_applicative_laws ( 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 ) |
public test_if_identity_monad_obeys_the_laws ( $f, $g, $x ) |
public test_it_should_obey_applicative_laws ( 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 |
public test_it_should_obey_functor_laws ( callable $f, callable $g, Widmogrod\FantasyLand\Functor $x ) | ||
$f | callable | |
$g | callable | |
$x | Widmogrod\FantasyLand\Functor |