shapedef 1.0.18 → 1.0.20

package/dist/cjs/index.d.ts

@@ -4,4 +4,5 @@ export * from "./shape-utils";
 export * from "./inputs";
 export * from "./translations";
 export * from "./validation";
+export * from "./turing";
 //# sourceMappingURL=index.d.ts.map

package/dist/cjs/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAC;AACxB,cAAc,oBAAoB,CAAC;AACnC,cAAc,eAAe,CAAC;AAC9B,cAAc,UAAU,CAAC;AACzB,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAC;AACxB,cAAc,oBAAoB,CAAC;AACnC,cAAc,eAAe,CAAC;AAC9B,cAAc,UAAU,CAAC;AACzB,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,UAAU,CAAC"}

package/dist/cjs/index.js

@@ -20,4 +20,5 @@ __exportStar(require("./shape-utils"), exports);
 __exportStar(require("./inputs"), exports);
 __exportStar(require("./translations"), exports);
 __exportStar(require("./validation"), exports);
+__exportStar(require("./turing"), exports);
 //# sourceMappingURL=index.js.map

package/dist/cjs/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,0CAAwB;AACxB,qDAAmC;AACnC,gDAA8B;AAC9B,2CAAyB;AACzB,iDAA+B;AAC/B,+CAA6B"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,0CAAwB;AACxB,qDAAmC;AACnC,gDAA8B;AAC9B,2CAAyB;AACzB,iDAA+B;AAC/B,+CAA6B;AAC7B,2CAAyB"}

package/dist/cjs/turing/evaluate.d.ts

@@ -0,0 +1,23 @@
+import { TuringNode } from "./turing";
+export declare class EvalFrame {
+    symbols: Map<string, TuringNode>;
+    constructor(symbols?: Record<string, TuringNode> | Map<string, TuringNode>);
+    extend(symbols: Record<string, TuringNode> | Map<string, TuringNode>): void;
+}
+export declare class EvalContext {
+    frames: EvalFrame[];
+    get frame(): EvalFrame;
+    beginFrame(): EvalFrame;
+    endFrame(): EvalFrame;
+    with<T>(fn: (frame: EvalFrame) => T): T;
+}
+export declare const createEvalContext: (vars: Record<string, unknown>) => EvalContext;
+export type EvalResult = {
+    ok: true;
+    node: TuringNode;
+} | {
+    ok: false;
+    error: string;
+};
+export declare const turingEvaluate: (ctx: EvalContext, node: TuringNode) => EvalResult;
+//# sourceMappingURL=evaluate.d.ts.map

package/dist/cjs/turing/evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../../src/turing/evaluate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,UAAU,EAAE,MAAM,UAAU,CAAC;AAE9C,qBAAa,SAAS;IACpB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAa;gBAEjC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;IAM1E,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;CAWrE;AAED,qBAAa,WAAW;IACtB,MAAM,EAAE,SAAS,EAAE,CAAqB;IAExC,IAAI,KAAK,IAAI,SAAS,CAIrB;IAED,UAAU,IAAI,SAAS;IAMvB,QAAQ,IAAI,SAAS;IAMrB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,SAAS,KAAK,CAAC,GAAG,CAAC;CAMxC;AAED,eAAO,MAAM,iBAAiB,GAC5B,MAAM,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC5B,WAWF,CAAC;AAEF,MAAM,MAAM,UAAU,GAClB;IACE,EAAE,EAAE,IAAI,CAAC;IACT,IAAI,EAAE,UAAU,CAAC;CAClB,GACD;IACE,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAYN,eAAO,MAAM,cAAc,GACzB,KAAK,WAAW,EAChB,MAAM,UAAU,KACf,UAyJF,CAAC"}

package/dist/cjs/turing/evaluate.js

@@ -0,0 +1,195 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.turingEvaluate = exports.createEvalContext = exports.EvalContext = exports.EvalFrame = void 0;
+const turing_1 = require("./turing");
+class EvalFrame {
+    symbols = new Map();
+    constructor(symbols) {
+        if (symbols) {
+            this.extend(symbols);
+        }
+    }
+    extend(symbols) {
+        if (symbols instanceof Map) {
+            for (const [k, v] of Array.from(symbols.entries())) {
+                this.symbols.set(k, v);
+            }
+        }
+        else {
+            for (const [k, v] of Object.entries(symbols)) {
+                this.symbols.set(k, v);
+            }
+        }
+    }
+}
+exports.EvalFrame = EvalFrame;
+class EvalContext {
+    frames = [new EvalFrame()];
+    get frame() {
+        if (this.frames.length <= 0)
+            throw new Error("Out of frames");
+        const frame = this.frames[this.frames.length - 1];
+        return frame;
+    }
+    beginFrame() {
+        const frame = new EvalFrame();
+        this.frames.push(frame);
+        return frame;
+    }
+    endFrame() {
+        const frame = this.frames.pop() || null;
+        if (!frame)
+            throw new Error("endFrame(): Out of frames");
+        return frame;
+    }
+    with(fn) {
+        const frame = this.beginFrame();
+        const r = fn(frame);
+        this.endFrame();
+        return r;
+    }
+}
+exports.EvalContext = EvalContext;
+const createEvalContext = (vars) => {
+    const ctx = new EvalContext();
+    ctx.frame.extend(Object.assign({}, ...Object.entries(vars).map(([k, v]) => {
+        return { [k]: turing_1.turing.auto(v) };
+    })));
+    return ctx;
+};
+exports.createEvalContext = createEvalContext;
+const ok = (node) => ({
+    ok: true,
+    node,
+});
+const err = (error) => ({
+    ok: false,
+    error,
+});
+const turingEvaluate = (ctx, node) => {
+    switch (node.type) {
+        case "number":
+        case "date":
+        case "bool":
+        case "nil":
+        case "str":
+            return ok(node);
+        case "ref": {
+            const value = ctx.frame.symbols.get(node.name);
+            if (!value)
+                return err(`Undefined variable: ${node.name}`);
+            return (0, exports.turingEvaluate)(ctx, value);
+        }
+        case "binop": {
+            const leftR = (0, exports.turingEvaluate)(ctx, node.left);
+            if (!leftR.ok)
+                return leftR;
+            const rightR = (0, exports.turingEvaluate)(ctx, node.right);
+            if (!rightR.ok)
+                return rightR;
+            const left = leftR.node;
+            const right = rightR.node;
+            const op = node.op;
+            switch (op) {
+                case "add": {
+                    if (left.type === "number" && right.type === "number")
+                        return ok(turing_1.turing.number(left.value + right.value));
+                    if (left.type === "str" && right.type === "str")
+                        return ok(turing_1.turing.str(left.value + right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "sub": {
+                    if (left.type === "number" && right.type === "number")
+                        return ok(turing_1.turing.number(left.value - right.value));
+                    if (left.type === "str" && right.type === "str")
+                        return ok(turing_1.turing.str(left.value.replace(right.value, "")));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "mul": {
+                    if (left.type === "number" && right.type === "number")
+                        return ok(turing_1.turing.number(left.value * right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "div": {
+                    if (left.type === "number" && right.type === "number")
+                        return ok(turing_1.turing.number(left.value / right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "mod": {
+                    if (left.type === "number" && right.type === "number")
+                        return ok(turing_1.turing.number(left.value % right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "and": {
+                    if (left.type === "bool" && right.type === "bool")
+                        return ok(turing_1.turing.bool(left.value && right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "or": {
+                    if (left.type === "bool" && right.type === "bool")
+                        return ok(turing_1.turing.bool(left.value || right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "eq": {
+                    if (left.type !== right.type)
+                        return ok(turing_1.turing.bool(false));
+                    if (left.type === "bool" && right.type === "bool")
+                        return ok(turing_1.turing.bool(left.value === right.value));
+                    if (left.type === "number" && right.type === "number")
+                        return ok(turing_1.turing.bool(left.value === right.value));
+                    if (left.type === "str" && right.type === "str")
+                        return ok(turing_1.turing.bool(left.value === right.value));
+                    if (left.type === "date" && right.type === "date")
+                        return ok(turing_1.turing.bool(left.value.getTime() === right.value.getTime()));
+                    if (left.type === "nil" && right.type === "nil")
+                        return ok(turing_1.turing.bool(left.value === right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "neq": {
+                    if (left.type !== right.type)
+                        return ok(turing_1.turing.bool(true));
+                    if (left.type === "bool" && right.type === "bool")
+                        return ok(turing_1.turing.bool(left.value !== right.value));
+                    if (left.type === "number" && right.type === "number")
+                        return ok(turing_1.turing.bool(left.value !== right.value));
+                    if (left.type === "str" && right.type === "str")
+                        return ok(turing_1.turing.bool(left.value !== right.value));
+                    if (left.type === "date" && right.type === "date")
+                        return ok(turing_1.turing.bool(left.value.getTime() !== right.value.getTime()));
+                    if (left.type === "nil" && right.type === "nil")
+                        return ok(turing_1.turing.bool(left.value !== right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "gt": {
+                    if (left.type === "number" && right.type === "number")
+                        return ok(turing_1.turing.bool(left.value > right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "gte": {
+                    if (left.type === "number" && right.type === "number")
+                        return ok(turing_1.turing.bool(left.value >= right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "lt": {
+                    if (left.type === "number" && right.type === "number")
+                        return ok(turing_1.turing.bool(left.value < right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "lte": {
+                    if (left.type === "number" && right.type === "number")
+                        return ok(turing_1.turing.bool(left.value <= right.value));
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+                case "regex-match": {
+                    if (left.type === "str" && right.type === "str") {
+                        const reg = new RegExp(right.value);
+                        return ok(turing_1.turing.bool(reg.test(left.value)));
+                    }
+                    return err(`Invalid operation '${op}' for (${left.type}, ${right.type})`);
+                }
+            }
+        }
+    }
+};
+exports.turingEvaluate = turingEvaluate;
+//# sourceMappingURL=evaluate.js.map

package/dist/cjs/turing/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../../src/turing/evaluate.ts"],"names":[],"mappings":";;;AAAA,qCAA8C;AAE9C,MAAa,SAAS;IACpB,OAAO,GAA4B,IAAI,GAAG,EAAE,CAAC;IAE7C,YAAY,OAA8D;QACxE,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,MAAM,CAAC,OAA6D;QAClE,IAAI,OAAO,YAAY,GAAG,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;gBACnD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;CACF;AApBD,8BAoBC;AAED,MAAa,WAAW;IACtB,MAAM,GAAgB,CAAC,IAAI,SAAS,EAAE,CAAC,CAAC;IAExC,IAAI,KAAK;QACP,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,UAAU;QACR,MAAM,KAAK,GAAG,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ;QACN,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC;QACxC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACzD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAI,EAA2B;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QACpB,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChB,OAAO,CAAC,CAAC;IACX,CAAC;CACF;AA3BD,kCA2BC;AAEM,MAAM,iBAAiB,GAAG,CAC/B,IAA6B,EAChB,EAAE;IACf,MAAM,GAAG,GAAG,IAAI,WAAW,EAAE,CAAC;IAC9B,GAAG,CAAC,KAAK,CAAC,MAAM,CACd,MAAM,CAAC,MAAM,CACX,EAAE,EACF,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;QACrC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,eAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACjC,CAAC,CAAC,CACH,CACF,CAAC;IACF,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAbW,QAAA,iBAAiB,qBAa5B;AAYF,MAAM,EAAE,GAAG,CAAC,IAAgB,EAAqC,EAAE,CAAC,CAAC;IACnE,EAAE,EAAE,IAAI;IACR,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,GAAG,GAAG,CAAC,KAAa,EAAsC,EAAE,CAAC,CAAC;IAClE,EAAE,EAAE,KAAK;IACT,KAAK;CACN,CAAC,CAAC;AAEI,MAAM,cAAc,GAAG,CAC5B,GAAgB,EAChB,IAAgB,EACJ,EAAE;IACd,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;QAClB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,IAAI,CAAC,KAAK;gBAAE,OAAO,GAAG,CAAC,uBAAuB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3D,OAAO,IAAA,sBAAc,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,IAAA,sBAAc,EAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,CAAC,KAAK,CAAC,EAAE;gBAAE,OAAO,KAAK,CAAC;YAC5B,MAAM,MAAM,GAAG,IAAA,sBAAc,EAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAC/C,IAAI,CAAC,MAAM,CAAC,EAAE;gBAAE,OAAO,MAAM,CAAC;YAE9B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC;YAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;YAEnB,QAAQ,EAAE,EAAE,CAAC;gBACX,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACnD,OAAO,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;wBAC7C,OAAO,EAAE,CAAC,eAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBAClD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACnD,OAAO,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;wBAC7C,OAAO,EAAE,CAAC,eAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;oBAC7D,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACnD,OAAO,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACnD,OAAO,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACnD,OAAO,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;wBAC/C,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACpD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,IAAI,CAAC,CAAC,CAAC;oBACV,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;wBAC/C,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACpD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,IAAI,CAAC,CAAC,CAAC;oBACV,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;wBAAE,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;wBAC/C,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACnD,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;wBAC7C,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;wBAC/C,OAAO,EAAE,CACP,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAC5D,CAAC;oBACJ,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;wBAC7C,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;wBAAE,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;wBAC/C,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACnD,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;wBAC7C,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;wBAC/C,OAAO,EAAE,CACP,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAC5D,CAAC;oBACJ,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;wBAC7C,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACrD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,IAAI,CAAC,CAAC,CAAC;oBACV,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACnD,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACnD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACnD,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACpD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,IAAI,CAAC,CAAC,CAAC;oBACV,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACnD,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACnD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;wBACnD,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACpD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;gBACD,KAAK,aAAa,CAAC,CAAC,CAAC;oBACnB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;wBAChD,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;wBACpC,OAAO,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC/C,CAAC;oBACD,OAAO,GAAG,CACR,sBAAsB,EAAE,UAAU,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,CAC9D,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AA5JW,QAAA,cAAc,kBA4JzB"}

package/dist/cjs/turing/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./op";
+export * from "./turing";
+export * from "./evaluate";
+//# sourceMappingURL=index.d.ts.map

package/dist/cjs/turing/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/turing/index.ts"],"names":[],"mappings":"AAAA,cAAc,MAAM,CAAC;AACrB,cAAc,UAAU,CAAC;AACzB,cAAc,YAAY,CAAC"}

package/dist/cjs/turing/index.js

@@ -0,0 +1,20 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./op"), exports);
+__exportStar(require("./turing"), exports);
+__exportStar(require("./evaluate"), exports);
+//# sourceMappingURL=index.js.map

package/dist/cjs/turing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/turing/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,uCAAqB;AACrB,2CAAyB;AACzB,6CAA2B"}

package/dist/cjs/turing/op.d.ts

@@ -0,0 +1,5 @@
+export type TuringOpCompare = "eq" | "neq" | "gt" | "gte" | "lt" | "lte" | "regex-match";
+export type TuringOpBool = "or" | "and";
+export type TuringOpArith = "add" | "sub" | "mul" | "div" | "mod";
+export type TuringOp = TuringOpCompare | TuringOpBool | TuringOpArith;
+//# sourceMappingURL=op.d.ts.map

package/dist/cjs/turing/op.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"op.d.ts","sourceRoot":"","sources":["../../../src/turing/op.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,eAAe,GACvB,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,GACL,aAAa,CAAC;AAElB,MAAM,MAAM,YAAY,GAAG,IAAI,GAAG,KAAK,CAAC;AAExC,MAAM,MAAM,aAAa,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;AAElE,MAAM,MAAM,QAAQ,GAAG,eAAe,GAAG,YAAY,GAAG,aAAa,CAAC"}

package/dist/cjs/turing/op.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=op.js.map

package/dist/cjs/turing/op.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"op.js","sourceRoot":"","sources":["../../../src/turing/op.ts"],"names":[],"mappings":""}

package/dist/cjs/turing/turing.d.ts

@@ -0,0 +1,59 @@
+import { OutputOfShape, Shape, ShapeBool, ShapeDate, ShapeNil, ShapeNumber, ShapeRef, ShapeStr, ShapeUnknown } from "../shape";
+import { TuringOp } from "./op";
+export type TuringPhantom = {
+    out: any;
+};
+export type LooseTuring = {
+    type: string;
+    __phantom: TuringPhantom;
+};
+export type OutputOfTuring<T> = [
+    T
+] extends [LooseTuring] ? T["__phantom"]["out"] : never;
+export interface TuringBase<Type extends string> {
+    type: Type;
+    __phantom: TuringPhantom;
+}
+export interface TuringWithOutput<Type extends string, Out> extends TuringBase<Type> {
+    __phantom: {
+        out: Out;
+    };
+}
+export interface TuringWithShape<Type extends string, S extends Shape> extends TuringWithOutput<Type, OutputOfShape<S>> {
+    shape: S;
+}
+export interface TuringNumber extends TuringWithShape<"number", ShapeNumber> {
+    value: number;
+}
+export interface TuringBool extends TuringWithShape<"bool", ShapeBool> {
+    value: boolean;
+}
+export interface TuringStr extends TuringWithShape<"str", ShapeStr> {
+    value: string;
+}
+export interface TuringDate extends TuringWithShape<"date", ShapeDate> {
+    value: Date;
+}
+export interface TuringNil extends TuringWithShape<"nil", ShapeNil> {
+    value: null;
+}
+export interface TuringRef<Name extends string = string> extends TuringWithShape<"ref", ShapeRef<Name>> {
+    name: Name;
+}
+export interface TuringBinop<Op extends TuringOp = TuringOp, Left extends TuringNode = TuringNode, Right extends TuringNode = TuringNode> extends TuringWithShape<"binop", ShapeUnknown> {
+    op: Op;
+    left: Left;
+    right: Right;
+}
+export type TuringNode = TuringNumber | TuringBool | TuringStr | TuringDate | TuringNil | TuringRef | TuringBinop;
+export declare namespace turing {
+    const number: (x: number) => TuringNumber;
+    const bool: (x: boolean) => TuringBool;
+    const str: (x: string) => TuringStr;
+    const date: (x: Date) => TuringDate;
+    const nil: () => TuringNil;
+    function ref<Name extends string>(name: Name): TuringRef<Name>;
+    function binop<Left extends TuringNode, Op extends TuringOp, Right extends TuringNode>(left: Left, op: Op, right: Right): TuringBinop<Op, Left, Right>;
+    function auto(x: unknown): TuringNode;
+}
+//# sourceMappingURL=turing.d.ts.map

package/dist/cjs/turing/turing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"turing.d.ts","sourceRoot":"","sources":["../../../src/turing/turing.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,KAAK,EACL,SAAS,EACT,SAAS,EACT,QAAQ,EACR,WAAW,EACX,QAAQ,EAER,QAAQ,EACR,YAAY,EACb,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAEhC,MAAM,MAAM,aAAa,GAAG;IAC1B,GAAG,EAAE,GAAG,CAAC;CACV,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,aAAa,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,CAAC,IAC1B;IAAC,CAAC;CAAC,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;AAE5D,MAAM,WAAW,UAAU,CAAC,IAAI,SAAS,MAAM;IAC7C,IAAI,EAAE,IAAI,CAAC;IACX,SAAS,EAAE,aAAa,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB,CAC/B,IAAI,SAAS,MAAM,EACnB,GAAG,CACH,SAAQ,UAAU,CAAC,IAAI,CAAC;IACxB,SAAS,EAAE;QACT,GAAG,EAAE,GAAG,CAAC;KACV,CAAC;CACH;AAED,MAAM,WAAW,eAAe,CAC9B,IAAI,SAAS,MAAM,EACnB,CAAC,SAAS,KAAK,CACf,SAAQ,gBAAgB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IAChD,KAAK,EAAE,CAAC,CAAC;CACV;AAED,MAAM,WAAW,YAAa,SAAQ,eAAe,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC1E,KAAK,EAAE,MAAM,CAAC;CACf;AACD,MAAM,WAAW,UAAW,SAAQ,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC;IACpE,KAAK,EAAE,OAAO,CAAC;CAChB;AACD,MAAM,WAAW,SAAU,SAAQ,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC;IACjE,KAAK,EAAE,MAAM,CAAC;CACf;AACD,MAAM,WAAW,UAAW,SAAQ,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC;IACpE,KAAK,EAAE,IAAI,CAAC;CACb;AACD,MAAM,WAAW,SAAU,SAAQ,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC;IACjE,KAAK,EAAE,IAAI,CAAC;CACb;AACD,MAAM,WAAW,SAAS,CACxB,IAAI,SAAS,MAAM,GAAG,MAAM,CAC5B,SAAQ,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,WAAW,CAC1B,EAAE,SAAS,QAAQ,GAAG,QAAQ,EAC9B,IAAI,SAAS,UAAU,GAAG,UAAU,EACpC,KAAK,SAAS,UAAU,GAAG,UAAU,CACrC,SAAQ,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC;IAC9C,EAAE,EAAE,EAAE,CAAC;IACP,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,MAAM,UAAU,GAClB,YAAY,GACZ,UAAU,GACV,SAAS,GACT,UAAU,GACV,SAAS,GACT,SAAS,GACT,WAAW,CAAC;AAMhB,yBAAiB,MAAM,CAAC;IACf,MAAM,MAAM,GAAI,GAAG,MAAM,KAAG,YAKjC,CAAC;IAEI,MAAM,IAAI,GAAI,GAAG,OAAO,KAAG,UAKhC,CAAC;IAEI,MAAM,GAAG,GAAI,GAAG,MAAM,KAAG,SAK9B,CAAC;IAEI,MAAM,IAAI,GAAI,GAAG,IAAI,KAAG,UAK7B,CAAC;IAEI,MAAM,GAAG,QAAO,SAKrB,CAAC;IAEH,SAAgB,GAAG,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAOpE;IAED,SAAgB,KAAK,CACnB,IAAI,SAAS,UAAU,EACvB,EAAE,SAAS,QAAQ,EACnB,KAAK,SAAS,UAAU,EACxB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAShE;IAED,SAAgB,IAAI,CAAC,CAAC,EAAE,OAAO,GAAG,UAAU,CAO3C;CACF"}

package/dist/cjs/turing/turing.js

@@ -0,0 +1,75 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.turing = void 0;
+const shape_1 = require("../shape");
+const makeBase = () => {
+    return {};
+};
+var turing;
+(function (turing) {
+    turing.number = (x) => ({
+        type: "number",
+        value: x,
+        shape: shape_1.shapes.number(),
+        ...makeBase(),
+    });
+    turing.bool = (x) => ({
+        type: "bool",
+        value: x,
+        shape: shape_1.shapes.bool(),
+        ...makeBase(),
+    });
+    turing.str = (x) => ({
+        type: "str",
+        value: x,
+        shape: shape_1.shapes.str(),
+        ...makeBase(),
+    });
+    turing.date = (x) => ({
+        type: "date",
+        value: x,
+        shape: shape_1.shapes.date(),
+        ...makeBase(),
+    });
+    turing.nil = () => ({
+        type: "nil",
+        value: null,
+        shape: shape_1.shapes.nil(),
+        ...makeBase(),
+    });
+    function ref(name) {
+        return {
+            type: "ref",
+            name: name,
+            shape: shape_1.shapes.ref(name),
+            ...makeBase(),
+        };
+    }
+    turing.ref = ref;
+    function binop(left, op, right) {
+        return {
+            type: "binop",
+            left,
+            right,
+            op,
+            shape: shape_1.shapes.unknown(),
+            ...makeBase(),
+        };
+    }
+    turing.binop = binop;
+    function auto(x) {
+        if (x === null)
+            return turing.nil();
+        if (typeof x === "undefined")
+            return turing.nil();
+        if (typeof x === "number")
+            return turing.number(x);
+        if (typeof x === "string")
+            return turing.str(x);
+        if (typeof x === "boolean")
+            return turing.bool(x);
+        return turing.nil();
+    }
+    turing.auto = auto;
+})(turing || (exports.turing = turing = {}));
+//# sourceMappingURL=turing.js.map

package/dist/cjs/turing/turing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"turing.js","sourceRoot":"","sources":["../../../src/turing/turing.ts"],"names":[],"mappings":";;;AAAA,oCAWkB;AA4ElB,MAAM,QAAQ,GAAG,GAAgC,EAAE;IACjD,OAAO,EAAoB,CAAC;AAC9B,CAAC,CAAC;AAEF,IAAiB,MAAM,CAoEtB;AApED,WAAiB,MAAM;IACR,aAAM,GAAG,CAAC,CAAS,EAAgB,EAAE,CAAC,CAAC;QAClD,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,cAAM,CAAC,MAAM,EAAE;QACtB,GAAG,QAAQ,EAAE;KACd,CAAC,CAAC;IAEU,WAAI,GAAG,CAAC,CAAU,EAAc,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,cAAM,CAAC,IAAI,EAAE;QACpB,GAAG,QAAQ,EAAE;KACd,CAAC,CAAC;IAEU,UAAG,GAAG,CAAC,CAAS,EAAa,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,cAAM,CAAC,GAAG,EAAE;QACnB,GAAG,QAAQ,EAAE;KACd,CAAC,CAAC;IAEU,WAAI,GAAG,CAAC,CAAO,EAAc,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,cAAM,CAAC,IAAI,EAAE;QACpB,GAAG,QAAQ,EAAE;KACd,CAAC,CAAC;IAEU,UAAG,GAAG,GAAc,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,IAAI;QACX,KAAK,EAAE,cAAM,CAAC,GAAG,EAAE;QACnB,GAAG,QAAQ,EAAE;KACd,CAAC,CAAC;IAEH,SAAgB,GAAG,CAAsB,IAAU;QACjD,OAAO;YACL,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,cAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YACvB,GAAG,QAAQ,EAAE;SACd,CAAC;IACJ,CAAC;IAPe,UAAG,MAOlB,CAAA;IAED,SAAgB,KAAK,CAInB,IAAU,EAAE,EAAM,EAAE,KAAY;QAChC,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI;YACJ,KAAK;YACL,EAAE;YACF,KAAK,EAAE,cAAM,CAAC,OAAO,EAAE;YACvB,GAAG,QAAQ,EAAE;SACd,CAAC;IACJ,CAAC;IAbe,YAAK,QAapB,CAAA;IAED,SAAgB,IAAI,CAAC,CAAU;QAC7B,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,OAAA,GAAG,EAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,KAAK,WAAW;YAAE,OAAO,OAAA,GAAG,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,OAAA,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,OAAA,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,OAAA,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,OAAO,OAAA,GAAG,EAAE,CAAC;IACf,CAAC;IAPe,WAAI,OAOnB,CAAA;AACH,CAAC,EApEgB,MAAM,sBAAN,MAAM,QAoEtB"}

package/dist/esm/index.d.ts

@@ -4,4 +4,5 @@ export * from "./shape-utils";
 export * from "./inputs";
 export * from "./translations";
 export * from "./validation";
+export * from "./turing";
 //# sourceMappingURL=index.d.ts.map

package/dist/esm/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAC;AACxB,cAAc,oBAAoB,CAAC;AACnC,cAAc,eAAe,CAAC;AAC9B,cAAc,UAAU,CAAC;AACzB,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAC;AACxB,cAAc,oBAAoB,CAAC;AACnC,cAAc,eAAe,CAAC;AAC9B,cAAc,UAAU,CAAC;AACzB,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,UAAU,CAAC"}

package/dist/esm/index.js

@@ -20,4 +20,5 @@ __exportStar(require("./shape-utils"), exports);
 __exportStar(require("./inputs"), exports);
 __exportStar(require("./translations"), exports);
 __exportStar(require("./validation"), exports);
+__exportStar(require("./turing"), exports);
 //# sourceMappingURL=index.js.map

package/dist/esm/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,0CAAwB;AACxB,qDAAmC;AACnC,gDAA8B;AAC9B,2CAAyB;AACzB,iDAA+B;AAC/B,+CAA6B"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,0CAAwB;AACxB,qDAAmC;AACnC,gDAA8B;AAC9B,2CAAyB;AACzB,iDAA+B;AAC/B,+CAA6B;AAC7B,2CAAyB"}

package/dist/esm/turing/evaluate.d.ts

@@ -0,0 +1,23 @@
+import { TuringNode } from "./turing";
+export declare class EvalFrame {
+    symbols: Map<string, TuringNode>;
+    constructor(symbols?: Record<string, TuringNode> | Map<string, TuringNode>);
+    extend(symbols: Record<string, TuringNode> | Map<string, TuringNode>): void;
+}
+export declare class EvalContext {
+    frames: EvalFrame[];
+    get frame(): EvalFrame;
+    beginFrame(): EvalFrame;
+    endFrame(): EvalFrame;
+    with<T>(fn: (frame: EvalFrame) => T): T;
+}
+export declare const createEvalContext: (vars: Record<string, unknown>) => EvalContext;
+export type EvalResult = {
+    ok: true;
+    node: TuringNode;
+} | {
+    ok: false;
+    error: string;
+};
+export declare const turingEvaluate: (ctx: EvalContext, node: TuringNode) => EvalResult;
+//# sourceMappingURL=evaluate.d.ts.map

package/dist/esm/turing/evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../../src/turing/evaluate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,UAAU,EAAE,MAAM,UAAU,CAAC;AAE9C,qBAAa,SAAS;IACpB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAa;gBAEjC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;IAM1E,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;CAWrE;AAED,qBAAa,WAAW;IACtB,MAAM,EAAE,SAAS,EAAE,CAAqB;IAExC,IAAI,KAAK,IAAI,SAAS,CAIrB;IAED,UAAU,IAAI,SAAS;IAMvB,QAAQ,IAAI,SAAS;IAMrB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,SAAS,KAAK,CAAC,GAAG,CAAC;CAMxC;AAED,eAAO,MAAM,iBAAiB,GAC5B,MAAM,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC5B,WAWF,CAAC;AAEF,MAAM,MAAM,UAAU,GAClB;IACE,EAAE,EAAE,IAAI,CAAC;IACT,IAAI,EAAE,UAAU,CAAC;CAClB,GACD;IACE,EAAE,EAAE,KAAK,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAYN,eAAO,MAAM,cAAc,GACzB,KAAK,WAAW,EAChB,MAAM,UAAU,KACf,UAyJF,CAAC"}