PHP Laiz\Func id示例

示例#1

文件： Applicative.php 项目： nishimura/laiz-monad

function const2(...$args)
{
    $f = function ($a1, $a2) {
        return ap(fconst(id(), $a1), $a2);
    };
    if (count($args) === 2) {
        return $f(...$args);
    } else {
        return f($f, ...$args);
    }
}

示例#2

文件： FuncTest.php 项目： nishimura/laiz-monad

 /**
  * fmap id == id
  */
 public function testFunctorLaw1()
 {
     $id = id();
     $a = f(function ($a) {
         return $a + 1;
     });
     $left = fmap($id);
     $right = $id;
     $this->assertEquals(4, $left($a)->apply(3));
     $this->assertEquals($left($a)->apply(3), $right($a)->apply(3));
 }