| public getEmpty ( ) : Widmogrod\FantasyLand\Monoid | ||
| Результат | Widmogrod\FantasyLand\Monoid | |
public function getEmpty();/**
* emptyM :: a
*
* @param Monoid $a
*
* @return Monoid
*/
function emptyM(Monoid $a)
{
return $a->getEmpty();
}