PHP Saber\Data\ITuple Type::covariant Exemples

Exemple #1

Fichier : TypeTest.php Projet : bluesnowman/fphp-saber

 /**
  * 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));
 }