| 메소드 | 설명 | |
|---|---|---|
| provideApplicativeTestData ( ) | ||
| provideData ( ) | ||
| provideFunctorTestData ( ) | ||
| test_if_maybe_monad_obeys_the_laws ( $return, $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 ) |
| public test_if_maybe_monad_obeys_the_laws ( $return, $f, $g, $x ) |
| 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 | |
| public test_it_should_obey_functor_laws ( callable $f, callable $g, Widmogrod\FantasyLand\Functor $x ) | ||
| $f | callable | |
| $g | callable | |
| $x | Widmogrod\FantasyLand\Functor | |