Trying the pipe operator

examples/namespaced-fn.php

@@ -0,0 +1,26 @@
+<?php
+
+namespace a\b\c {
+    function myFunc($x) {
+        return $x + 123;
+    }
+}
+
+namespace {
+    use function a\b\c\myFunc;
+
+    $result = myFunc(123);
+    print $result . "\n"; // works
+
+    $result = 123 |> myFunc(...); // exception, see below
+    print $result . "\n"; // works
+
+    /**
+Fatal error: Uncaught Error: Call to undefined function myFunc() in /home/thgs/Projects/Functional-PHP/functional/examples/namespaced-fn.php:15
+Stack trace:
+#0 {main}
+  thrown in /home/thgs/Projects/Functional-PHP/functional/examples/namespaced-fn.php on line 15
+
+  I am at d5a5dc8d (func-composition)
+    */
+}

src/Data/IO.php

@@ -85,8 +85,7 @@ public function fmap(callable $f): FunctorInstance
         // todo: self or static?
         return new self(
             function () use ($f) {
-                $result = ($this->action)();
-                return $f($result);
+                return ($this->action)() |> $f;
             }
         );
     }
@@ -116,11 +115,10 @@ public function sequence(ApplicativeInstance $fa): ApplicativeInstance
         }
 
         // todo: rewrite this in a more concise manner, but for brevity now:
-        $do = function () use ($fa) {
-            $f = $this();
-            $g = $fa();
-            return partial ($f) ($g);
-        };
+        $do = fn ()
+            => null |> $fa
+            |> partial (null |> $this);
+
         return IO::inject($do);
     }
 
@@ -149,10 +147,8 @@ public function bind(callable $f): MonadInstance
     {
         $action = $this->action;
         $do = function () use ($f, $action) {
-            $x = ($action)();
-
             // todo: could add a type check here? that return type is indeed m b ?
-            return (partial ($f) ($x))
+            return (null |> $action |> partial ($f))
                 ->getValue(); // unIO
         };
         return new IO($do);

src/functions.php

@@ -147,7 +147,7 @@ function dn(MonadInstance $ma, callable ...$fs)
 {
     $last = $ma;
     foreach ($fs as $new) {
-        $last = $last->bind($new);
+        $last = $new |> $last->bind(...);
 
         // Pedantic type check below
         if (!$last instanceof MonadInstance) {