@dallaylaen/ski-interpreter 2.3.2 → 2.3.3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dallaylaen/ski-interpreter",
-  "version": "2.3.2",
+  "version": "2.3.3",
   "description": "Simple Kombinator Interpreter - a combinatory logic & lambda calculus parser and interpreter. Supports SKI, BCKW, Church numerals, and setting up assertions ('quests') involving all of the above.",
   "keywords": [
     "combinatory logic",

package/types/src/expr.d.ts

@@ -159,6 +159,31 @@ export class Expr {
      * @returns {T}
      */
     fold<T_1>(initial: T_1, combine: (acc: T_1, expr: Expr) => TraverseValue<T_1>): T_1;
+    /**
+     * @experimental
+     * @desc  Fold an application tree bottom to top.
+     *        For each subtree, the function is given the term in the root position and
+     *        a list of the results of folding its arguments.
+     *
+     *        E.g. fold('x y (z t)', f) results in f(x, [f(y, []), f(z, [f(t, [])])])
+     *
+     * @example expr.foldBottomUp((head, tail) => {
+     *    if (head.arity && head.arity <= tail.length) {
+     *      return '(<span class="redex">'
+     *          + head + ' '
+     *          + tail.slice(0, head.arity).join(' ')
+     *          + '</span>'
+     *          + tail.slice(head.arity).join(' ')
+     *          + ')';
+     *    } else {
+     *       return '(' + head + ' ' + tail.join(' ') + ')';
+     *    }
+     * });
+     * @template T
+     * @param {(head: Expr, tail: T[]) => T} fun
+     * @return {T}
+     */
+    foldBottomUp<T_1>(fun: (head: Expr, tail: T_1[]) => T_1): T_1;
     /**
      * @template T
      * @param {T} initial

package/types/src/extras.d.ts

@@ -71,18 +71,4 @@ export function deepFormat(obj: any, options?: object): any;
 export function declare(expr: Expr, env?: {
     [s: string]: Named;
 }): string;
-/**
- * @experimental
- * @desc  Fold an application tree bottom to top.
- *        For each subtree, the function is given the term in the root position and
- *        a list of the results of folding its arguments.
- *
- *        E,g, fold('x y (z t)', f) results in f(x, [f(y, []), f(z, [f(t, [])])])
- *
- * @template T
- * @param {Expr} expr
- * @param {(head: Expr, tail: T[]) => T} fun
- * @return {T}
- */
-export function foldr<T>(expr: Expr, fun: (head: Expr, tail: T[]) => T): T;
 import { Expr } from "./expr";