Exemplos de Saber\Data\IBool Type::covariant em PHP

Exemplo n.º 1

Arquivo: TypeTest.php Projeto: bluesnowman/fphp-saber

 /**
  * This method tests the "covariant" method.
  *
  * @dataProvider data_covariant
  */
 public function test_covariant(array $provided, array $expected)
 {
     $p0 = IBool\Type::covariant(IBool\Type::box($provided[0]));
     $this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $p0);
     $p1 = $p0->unbox();
     $e1 = $expected[0];
     $this->assertInternalType('boolean', $p1);
     $this->assertSame($e1, $p1);
 }