wqAdd in helper callback contant ::unit to the monads

ircmaxell · ircmaxell · commit 295500aa854d · 2013-07-05T08:39:40.000-04:00
diff --git a/README.md b/README.md
@@ -95,4 +95,7 @@ Or, what if you want to deal with multi-dimensional arrays?
     var_dump($doubled->extract());
     // Prints array(array(2, 4), array(6, 8), array(10, 12))
 
+There also exist helper constants on each of the monads to get a callback to the `unit` method:
 
+    $newMonad = $monad->bind(Maybe::unit);
+    // Does the same thing as above 
diff --git a/lib/MonadPHP/Identity.php b/lib/MonadPHP/Identity.php
@@ -4,4 +4,6 @@
 
 class Identity extends Monad {
 
-}
+    const unit = "MonadPHP\Identity::unit";
+
+}
diff --git a/lib/MonadPHP/ListMonad.php b/lib/MonadPHP/ListMonad.php
@@ -4,6 +4,8 @@
 
 class ListMonad extends Monad {
 
+    const unit = "MonadPHP\ListMonad::unit";
+
     public function __construct($value) {
         if (!is_array($value) && !$value instanceof \Traversible) {
             throw new \InvalidArgumentException('Must be traversible');
diff --git a/lib/MonadPHP/Maybe.php b/lib/MonadPHP/Maybe.php
@@ -4,6 +4,8 @@
 
 class Maybe extends Monad {
 
+    const unit = "MonadPHP\Maybe::unit";
+
     public function bind($function){
         if (!is_null($this->value)) {
             return parent::bind($function);
diff --git a/lib/MonadPHP/Promise.php b/lib/MonadPHP/Promise.php
@@ -4,6 +4,8 @@
 
 class Promise extends Monad {
 
+    const unit = "MonadPHP\Promise::unit";
+
     protected $isResolved = false;
     protected $succeed = null;
 
diff --git a/test/MonadPHP/IdentityTest.php b/test/MonadPHP/IdentityTest.php
@@ -11,12 +11,12 @@ public function testBind() {
 
     public function testBindUnit() {
         $monad = new Identity(1);
-        $this->assertEquals($monad, $monad->bind(function($value) use ($monad) { return $monad->unit($value); }));
+        $this->assertEquals($monad, $monad->bind($monad::unit));
     }
 
     public function testExtract() {
         $monad = new Identity(new Maybe(1));
         $this->assertEquals(1, $monad->extract());
     }
 
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -11,12 +11,12 @@ public function testBind() {`
`11`	`11`
`12`	`12`	`public function testBindUnit() {`
`13`	`13`	`$monad = new Identity(1);`
`14`		`- $this->assertEquals($monad, $monad->bind(function($value) use ($monad) { return $monad->unit($value); }));`
	`14`	`+ $this->assertEquals($monad, $monad->bind($monad::unit));`
`15`	`15`	`}`
`16`	`16`
`17`	`17`	`public function testExtract() {`
`18`	`18`	`$monad = new Identity(new Maybe(1));`
`19`	`19`	`$this->assertEquals(1, $monad->extract());`
`20`	`20`	`}`
`21`	`21`
`22`		`-}`
	`22`	`+}`