/** * This method tests the "covariant" method. * * @dataProvider data_covariant */ public function test_covariant(array $provided, array $expected) { $p0 = ITuple\Type::covariant(ITuple\Type::box(array_map(function ($item) { return IObject\Type::box($item); }, $provided[0]))); $e0 = $expected[0]; $this->assertInstanceOf('\\Saber\\Data\\ITuple\\Type', $p0); $this->assertSame($e0, $p0->unbox(1)); }