@dallaylaen/ski-interpreter 2.8.0 → 2.8.1

package/lib/types/extras.d.ts

@@ -51,17 +51,33 @@ export type SearchResult = {
     gen: number;
     cache?: Expr[][];
 };
-declare function search(seed: Expr[], options: SearchOptions, predicate: SearchCallback): SearchResult;
+export type EquivResult = {
+    steps: number;
+    equal: boolean;
+    normal: boolean;
+    canonical: [Expr | null, Expr | null];
+};
 /**
- *  Recursively replace all instances of Expr in a data structure with
- *       respective string representation using the format() options.
- *       Objects of other types and primitive values are eft as is.
+ *   Converts an unknown object into a FormatOptions, or returns an error it it is not valid.
+ *   A null/undefined counts as an empty options object (and is thus valid).
+ */
+declare function checkFormatOptions(raw: unknown): {
+    value: FormatOptions;
+} | {
+    error: Record<string, string>;
+};
+/**
+ * Find out if two expressions are computationally equivalent.
  *
- *       May be useful for debugging or diagnostic output.
+ * Unlike equals(), this function will attempt to normalize both expressions
+ * before comparing.
  *
  * @experimental
+ * @param e1
+ * @param e2
+ * @param options
  */
-declare function deepFormat(obj: any, options?: FormatOptions): any;
+declare function equiv(e1: Expr, e2: Expr, options?: {}): EquivResult;
 /**
  *   Given an expression and a hash of named terms,
  *   return a semicolon-separated string that declares said expression
@@ -75,19 +91,27 @@ declare function deepFormat(obj: any, options?: FormatOptions): any;
  */
 declare function declare(expr: Expr, env?: Record<string, Named>): string;
 /**
- *   Converts an unknown object into a FormatOptions, or returns an error it it is not valid.
- *   A null/undefined counts as an empty options object (and is thus valid).
+ *  Recursively replace all instances of Expr in a data structure with
+ *       respective string representation using the format() options.
+ *       Objects of other types and primitive values are eft as is.
+ *
+ *       May be useful for debugging or diagnostic output.
+ *
+ * @experimental
  */
-declare function checkFormatOptions(raw: unknown): {
-    value: FormatOptions;
-} | {
-    error: Record<string, string>;
-};
+declare function deepFormat(obj: any, options?: FormatOptions): any;
+/**
+ * @experimental
+ *   Look for an expression that matches the predicate,
+ *        starting with the seed and applying the terms to one another.
+ */
+declare function search(seed: Expr[], options: SearchOptions, predicate: SearchCallback): SearchResult;
 export declare const extras: {
     search: typeof search;
     deepFormat: typeof deepFormat;
     declare: typeof declare;
     toposort: typeof toposort;
     checkFormatOptions: typeof checkFormatOptions;
+    equiv: typeof equiv;
 };
 export {};

package/lib/types/index.d.ts

@@ -50,6 +50,7 @@ export declare class SKI extends Parser {
         } | {
             error: Record<string, string>;
         };
+        equiv: (e1: import("./expr").Expr, e2: import("./expr").Expr, options?: {}) => import("./extras").EquivResult;
     };
     static Quest: typeof Quest;
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dallaylaen/ski-interpreter",
-  "version": "2.8.0",
+  "version": "2.8.1",
   "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",