PHP Widmogrod\FantasyLand Monoid::getEmptyの例

getEmpty() public method

Return identity element for given Semigroup

public getEmpty ( ) : Widmogrod\FantasyLand\Monoid
return	Widmogrod\FantasyLand\Monoid

コード例 #1

ファイル: monoid.php プロジェクト: widmogrod/php-functional

/**
 * emptyM :: a
 *
 * @param Monoid $a
 *
 * @return Monoid
 */
function emptyM(Monoid $a)
{
    return $a->getEmpty();
}