/**
* This method tests the "all" method.
*
* @dataProvider data_all
*/
public function test_all(array $provided, array $expected)
{
$p0 = IArrayList\Type::make($provided[0], '\\Saber\\Data\\IInt32\\Type');
$p1 = $provided[1];
$r0 = IArrayList\Module::all($p0, $p1);
$e0 = $expected[0];
$this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $r0);
$this->assertSame($e0, $r0->unbox());
}
/**
* This method returns whether all of the items of the list evaluate to true.
*
* @access public
* @static
* @param IArrayList\Type $xs the left operand
* @return IBool\Type whether all of the items of
* the list evaluate to true
*/
public static function and_(IArrayList\Type $xs) : IBool\Type
{
return IArrayList\Module::all($xs, function (IBool\Type $x, IInt32\Type $i) : IBool\Type {
return $x;
});
}
