コード例 #1
0
ファイル: ModuleTest.php プロジェクト: bluesnowman/fphp-saber
 /**
  * This method tests the "iterator" method.
  */
 public function test_iterator()
 {
     $p0 = IOption\Type::some(IInt32\Type::zero());
     $e0 = array(0);
     $this->assertInstanceOf('\\Saber\\Data\\IOption\\Some\\Type', $p0);
     $this->assertSame(count($e0), $p0->__size());
     $p1 = IOption\Module::iterator($p0);
     $e1 = 0;
     $this->assertInstanceOf('\\Saber\\Data\\IOption\\Iterator', $p1);
     foreach ($p1 as $i => $item) {
         $this->assertInstanceOf('\\Saber\\Data\\IInt32\\Type', $i);
         $this->assertSame($e1, $i->unbox());
         $this->assertInstanceOf('\\Saber\\Core\\Type', $item);
         $this->assertSame($e0[$e1], $item->unbox());
         $e1++;
     }
 }
コード例 #2
0
ファイル: Module.php プロジェクト: bluesnowman/fphp-saber
 /**
  * This method applies each item in this option to the subroutine function.
  *
  * @access public
  * @static
  * @param IOption\Type $xs                                  the left operand
  * @param callable $subroutine                              the subroutine function to be used
  * @return IOption\Type                                     the option
  */
 public static function map(IOption\Type $xs, callable $subroutine) : IOption\Type
 {
     return $xs->__isDefined() ? IOption\Type::some($subroutine($xs->item())) : IOption\Type::none();
 }
コード例 #3
0
ファイル: Module.php プロジェクト: bluesnowman/fphp-saber
 /**
  * This method returns an option using the tail for the boxed object.
  *
  * @access public
  * @static
  * @param IString\Type $xs                                  the left operand
  * @return IOption\Type                                     the option
  */
 public static function tailOption(IString\Type $xs) : IOption\Type
 {
     return $xs->__isEmpty() ? IOption\Type::none() : IOption\Type::some($xs->tail());
 }
コード例 #4
0
ファイル: TypeTest.php プロジェクト: bluesnowman/fphp-saber
 /**
  * This method tests the "toString" method.
  *
  * @dataProvider data_toString
  */
 public function test_toString(array $provided, array $expected)
 {
     $p0 = IOption\Type::some(IInt32\Type::box($provided[0]))->toString();
     $e0 = $expected[0];
     $this->assertInstanceOf('\\Saber\\Data\\IString\\Type', $p0);
     $this->assertSame($e0, $p0->unbox());
 }
コード例 #5
0
ファイル: Projection.php プロジェクト: bluesnowman/fphp-saber
 /**
  * This method returns the either as an option.
  *
  * @access public
  * @final
  * @return IOption\Type                                     the either as an option
  */
 public final function toOption() : IOption\Type
 {
     return $this->either->__isLeft() ? IOption\Type::some($this->either->item()) : IOption\Type::none();
 }