@dallaylaen/ski-interpreter 2.6.2 → 2.6.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +14 -0
- package/lib/ski-interpreter.cjs.js +10 -10
- package/lib/ski-interpreter.cjs.js.map +2 -2
- package/lib/ski-interpreter.min.js +8 -8
- package/lib/ski-interpreter.min.js.map +3 -3
- package/lib/ski-interpreter.mjs +10 -10
- package/lib/ski-interpreter.mjs.map +2 -2
- package/lib/ski-quest.min.js +8 -8
- package/lib/ski-quest.min.js.map +3 -3
- package/lib/types/quest.d.ts +8 -3
- package/package.json +2 -1
package/lib/types/quest.d.ts
CHANGED
|
@@ -73,6 +73,11 @@ type AddCaseOptions = {
|
|
|
73
73
|
max?: number;
|
|
74
74
|
note?: string;
|
|
75
75
|
caps?: Capability;
|
|
76
|
+
canonize?: {
|
|
77
|
+
max?: number;
|
|
78
|
+
maxSize?: number;
|
|
79
|
+
maxArgs?: number;
|
|
80
|
+
};
|
|
76
81
|
};
|
|
77
82
|
export declare class Quest {
|
|
78
83
|
/**
|
|
@@ -191,9 +196,9 @@ export declare class Quest {
|
|
|
191
196
|
[key: string]: unknown;
|
|
192
197
|
};
|
|
193
198
|
};
|
|
194
|
-
static Case: new (input: FreeVar[], options: AddCaseOptions) => Case;
|
|
199
|
+
static Case: abstract new (input: FreeVar[], options: AddCaseOptions) => Case;
|
|
195
200
|
}
|
|
196
|
-
declare class Case {
|
|
201
|
+
export declare abstract class Case {
|
|
197
202
|
/**
|
|
198
203
|
* @param {FreeVar[]} input
|
|
199
204
|
* @param {{
|
|
@@ -216,7 +221,7 @@ declare class Case {
|
|
|
216
221
|
* @param {Expr} expr
|
|
217
222
|
* @return {CaseResult}
|
|
218
223
|
*/
|
|
219
|
-
check(..._expr: Expr[]): CaseResult;
|
|
224
|
+
abstract check(..._expr: Expr[]): CaseResult;
|
|
220
225
|
}
|
|
221
226
|
declare class Subst {
|
|
222
227
|
/**
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@dallaylaen/ski-interpreter",
|
|
3
|
-
"version": "2.6.
|
|
3
|
+
"version": "2.6.3",
|
|
4
4
|
"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.",
|
|
5
5
|
"keywords": [
|
|
6
6
|
"combinatory logic",
|
|
@@ -14,6 +14,7 @@
|
|
|
14
14
|
"module": "lib/ski-interpreter.mjs",
|
|
15
15
|
"exports": {
|
|
16
16
|
"types": "./lib/types/index.d.ts",
|
|
17
|
+
"types/*": "./lib/types/*.d.ts",
|
|
17
18
|
"import": "./lib/ski-interpreter.mjs",
|
|
18
19
|
"require": "./lib/ski-interpreter.cjs.js"
|
|
19
20
|
},
|