/**
* This method evaluates whether the left operand is NOT identical to the right operand.
*
* @access public
* @static
* @param ITrit\Type $x the left operand
* @param Core\Type $y the right operand
* @return IBool\Type whether the left operand is NOT identical
* to the right operand
*/
public static function ni(ITrit\Type $x, Core\Type $y) : IBool\Type
{
// !==
return IBool\Module::not(ITrit\Module::id($x, $y));
}
/**
* This method evaluates whether the left operand is NOT identical to the right operand.
*
* @access public
* @static
* @param Throwable\Runtime\Exception $x the left operand
* @param Core\Type $y the right operand
* @return IBool\Type whether the left operand is NOT identical
* to the right operand
*/
public static function ni(Throwable\Runtime\Exception $x, Core\Type $y)
{
// !==
return IBool\Module::not(Throwable\Runtime\Exception\Module::id($x, $y));
}
/**
* This method evaluates whether the left operand is NOT identical to the right operand.
*
* @access public
* @static
* @param IOption\Type $xs the left operand
* @param Core\Type $ys the right operand
* @return IBool\Type whether the left operand is NOT identical
* to the right operand
*/
public static function ni(IOption\Type $xs, Core\Type $ys) : IBool\Type
{
// !==
return IBool\Module::not(IOption\Module::id($xs, $ys));
}
/**
* This method tests the "not" method.
*/
public function test_not()
{
$x = IBool\Type::true();
$y = IBool\Type::false();
$z = IBool\Module::not($x);
$this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $z);
$this->assertSame(false, $z->unbox());
$z = IBool\Module::not($y);
$this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $z);
$this->assertSame(true, $z->unbox());
}
