Make minor additions to Predef

Author: LPTK

hkmc2/shared/src/test/mlscript-compile/Predef.mjs

@@ -87,75 +87,88 @@ Predef1 = class Predef {
   static pipeFrom(f1, x3) {
     return runtime.safeCall(f1(x3))
   } 
-  static andThen(f2, g) {
-    return (x4) => {
+  static tap(x4, f2) {
+    let tmp;
+    tmp = runtime.safeCall(f2(x4));
+    return (tmp , x4)
+  } 
+  static pat(f3, x5) {
+    let tmp;
+    tmp = runtime.safeCall(f3(x5));
+    return (tmp , x5)
+  } 
+  static andThen(f4, g) {
+    return (x6) => {
       let tmp;
-      tmp = runtime.safeCall(f2(x4));
+      tmp = runtime.safeCall(f4(x6));
       return runtime.safeCall(g(tmp))
     }
   } 
-  static compose(f3, g1) {
-    return (x4) => {
+  static compose(f5, g1) {
+    return (x6) => {
       let tmp;
-      tmp = runtime.safeCall(g1(x4));
-      return runtime.safeCall(f3(tmp))
+      tmp = runtime.safeCall(g1(x6));
+      return runtime.safeCall(f5(tmp))
     }
   } 
-  static passTo(receiver, f4) {
+  static passTo(receiver, f6) {
     return (...args) => {
-      return runtime.safeCall(f4(receiver, ...args))
+      return runtime.safeCall(f6(receiver, ...args))
     }
   } 
-  static call(receiver1, f5) {
+  static call(receiver1, f7) {
     return (...args) => {
-      return f5.call(receiver1, ...args)
+      return f7.call(receiver1, ...args)
     }
   } 
-  static pass1(f6) {
+  static pass1(f8) {
     return (...xs) => {
-      return runtime.safeCall(f6(xs[0]))
+      return runtime.safeCall(f8(xs[0]))
     }
   } 
-  static pass2(f7) {
+  static pass2(f9) {
     return (...xs) => {
-      return runtime.safeCall(f7(xs[0], xs[1]))
+      return runtime.safeCall(f9(xs[0], xs[1]))
     }
   } 
-  static pass3(f8) {
+  static pass3(f10) {
     return (...xs) => {
-      return runtime.safeCall(f8(xs[0], xs[1], xs[2]))
+      return runtime.safeCall(f10(xs[0], xs[1], xs[2]))
     }
   } 
+  static passing(f11, ...args) {
+    return f11.bind(null, ...args)
+  } 
   static print(...xs) {
     let tmp, tmp1;
     tmp = Predef.map(Predef.renderAsStr);
     tmp1 = runtime.safeCall(tmp(...xs));
     return runtime.safeCall(globalThis.console.log(...tmp1))
   } 
-  static printRaw(x4) {
+  static printRaw(x6) {
     let tmp;
-    tmp = Predef.render(x4);
+    tmp = Predef.render(x6);
     return runtime.safeCall(globalThis.console.log(tmp))
   } 
   static interleave(sep) {
-    return (...args) => {
+    return (...args1) => {
       let res, len, i, scrut, idx, scrut1, scrut2, tmp, tmp1, tmp2, tmp3, tmp4, tmp5, tmp6, tmp7;
-      scrut2 = args.length === 0;
+      scrut2 = args1.length === 0;
       if (scrut2 === true) {
         return []
       } else {
-        tmp = args.length * 2;
+        tmp = args1.length * 2;
         tmp1 = tmp - 1;
         tmp2 = globalThis.Array(tmp1);
         res = tmp2;
-        len = args.length;
+        len = args1.length;
         i = 0;
         tmp8: while (true) {
           scrut = i < len;
           if (scrut === true) {
             tmp3 = i * 2;
             idx = tmp3;
-            res[idx] = args[i];
+            res[idx] = args1[i];
             tmp4 = i + 1;
             i = tmp4;
             scrut1 = i < len;
@@ -282,14 +295,14 @@ Predef1 = class Predef {
   static tupleGet(xs3, i1) {
     return globalThis.Array.prototype.at.call(xs3, i1)
   } 
-  static map(f9) {
+  static map(f12) {
     return (...xs4) => {
       let tmp;
-      tmp = Predef.pass1(f9);
+      tmp = Predef.pass1(f12);
       return runtime.safeCall(xs4.map(tmp))
     }
   } 
-  static fold(f10) {
+  static fold(f13) {
     return (init, ...rest) => {
       let i2, len, scrut, tmp, tmp1, tmp2, tmp3;
       i2 = 0;
@@ -298,7 +311,7 @@ Predef1 = class Predef {
         scrut = i2 < len;
         if (scrut === true) {
           tmp = runtime.safeCall(rest.at(i2));
-          tmp1 = runtime.safeCall(f10(init, tmp));
+          tmp1 = runtime.safeCall(f13(init, tmp));
           init = tmp1;
           tmp2 = i2 + 1;
           i2 = tmp2;
@@ -312,7 +325,7 @@ Predef1 = class Predef {
       return init
     }
   } 
-  static foldr(f11) {
+  static foldr(f14) {
     return (first, ...rest) => {
       let len, i2, init, scrut, scrut1, tmp, tmp1, tmp2, tmp3, tmp4, tmp5;
       len = rest.length;
@@ -330,7 +343,7 @@ Predef1 = class Predef {
             tmp2 = i2 - 1;
             i2 = tmp2;
             tmp3 = runtime.safeCall(rest.at(i2));
-            tmp4 = runtime.safeCall(f11(tmp3, init));
+            tmp4 = runtime.safeCall(f14(tmp3, init));
             init = tmp4;
             tmp5 = runtime.Unit;
             continue tmp6;
@@ -339,7 +352,7 @@ Predef1 = class Predef {
           }
           break;
         }
-        return runtime.safeCall(f11(first, init))
+        return runtime.safeCall(f14(first, init))
       }
     }
   } 

hkmc2/shared/src/test/mlscript-compile/Predef.mls

@@ -11,6 +11,9 @@ fun not(x) = x is false
 fun (|>) pipeInto(x, f) = f(x)
 fun (<|) pipeFrom(f, x) = f(x)
 
+fun (!>) tap(x, f) = f(x); x
+fun (<!) pat(f, x) = f(x); x
+
 fun (>>) andThen(f, g)(x) = g(f(x))
 fun (<<) compose(f, g)(x) = f(g(x))
 
@@ -22,6 +25,8 @@ fun pass1(f)(...xs) = f(xs.0)
 fun pass2(f)(...xs) = f(xs.0, xs.1)
 fun pass3(f)(...xs) = f(xs.0, xs.1, xs.2)
 
+fun passing(f, ...args) = f.bind(null, ...args)
+
 
 fun print(...xs) =
   console.log(...map(renderAsStr)(...xs))

hkmc2/shared/src/test/mlscript/std/PredefTest.mls

@@ -58,6 +58,46 @@ print(1, 2, 3)
 //│ = [function]
 
 
+2 + 2 |> print
+//│ > 4
+
+print <| 2 + 2
+//│ > 4
+
+(_ * 2) <| 2 + 2 |> (_ + 1)
+//│ = 9
+
+2 + 2 !> print
+//│ > 4
+//│ = 4
+
+print <! 2 + 2
+//│ > 4
+//│ = 4
+
+print <! 2 + 2 |> (_ + 1)
+//│ > 4
+//│ = 5
+
+(_ + 1) <| 2 + 2 !> print
+//│ > 4
+//│ = 5
+
+
+tuple passing(1, 2, 3) <| 4
+//│ = [1, 2, 3, 4]
+
+passing(tuple, 1, 2, 3) of 4, 5, 6
+//│ = [1, 2, 3, 4, 5, 6]
+
+(tuple passing(1, 2, 3)) of 4, 5, 6
+//│ = [1, 2, 3, 4, 5, 6]
+
+:re
+tuple passing(1, 2, 3) of 4, 5, 6
+//│ ═══[RUNTIME ERROR] TypeError: f11.bind is not a function
+
+
 :re
 ??("oops")
 //│ ═══[RUNTIME ERROR] Error: Not implemented: oops