@lute-lang/runtime 0.40.0 → 0.41.1

package/dist/wasm/lute_runtime_wasm.d.ts

@@ -33,10 +33,28 @@ export class Program {
      * The clock position, as `ClockAt` JSON or `null` without a clock.
      */
     clock(state: State): string;
+    /**
+     * Evaluate the bundle's def `name` over the state, its parameters bound
+     * to `args` (a JSON array of scalars, one per declared parameter;
+     * absent = `[]`), as `Evaluation` JSON; an unknown def, an argument
+     * fault or an evaluation error is rejected.
+     */
+    def(state: State, name: string, args?: string | null): QueryResult;
     /**
      * The verdict of `beat` (for `member`), as `Candidate` JSON or `null`.
      */
     eligibility(state: State, beat: string, member?: string | null): string;
+    /**
+     * Evaluate an IR `exprNode` (JSON) over the state, as `Evaluation`
+     * JSON; a malformed expression or an evaluation error is rejected.
+     */
+    evaluate(state: State, expr: string): QueryResult;
+    /**
+     * Whether a `raiseOccasion` of `occasion` (for `target`) with no writes
+     * would pass the seam now, as `Gate` JSON; an occasion the bundle does
+     * not declare is rejected.
+     */
+    gate(state: State, occasion: string, target?: string | null): QueryResult;
     /**
      * Load a `project.index.json` and an object mapping artifact paths to IR.
      *
@@ -72,6 +90,19 @@ export class Program {
     readonly fingerprint: string;
 }
 
+/**
+ * The result of a query (`evaluate`, `def`, `gate`): its answer JSON
+ * (`Evaluation`, `Gate`) or a rejection.
+ */
+export class QueryResult {
+    private constructor();
+    free(): void;
+    [Symbol.dispose](): void;
+    readonly ok: boolean;
+    readonly rejected: string | undefined;
+    readonly value: string | undefined;
+}
+
 /**
  * The result of restoring a snapshot.
  */
@@ -112,6 +143,7 @@ export interface InitOutput {
     readonly memory: WebAssembly.Memory;
     readonly __wbg_loadresult_free: (a: number, b: number) => void;
     readonly __wbg_program_free: (a: number, b: number) => void;
+    readonly __wbg_queryresult_free: (a: number, b: number) => void;
     readonly __wbg_restoreresult_free: (a: number, b: number) => void;
     readonly __wbg_state_free: (a: number, b: number) => void;
     readonly __wbg_stepresult_free: (a: number, b: number) => void;
@@ -121,8 +153,11 @@ export interface InitOutput {
     readonly program_begin: (a: number, b: number, c: number) => number;
     readonly program_candidates: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number];
     readonly program_clock: (a: number, b: number) => [number, number];
+    readonly program_def: (a: number, b: number, c: number, d: number, e: number, f: number) => number;
     readonly program_eligibility: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number];
+    readonly program_evaluate: (a: number, b: number, c: number, d: number) => number;
     readonly program_fingerprint: (a: number) => [number, number];
+    readonly program_gate: (a: number, b: number, c: number, d: number, e: number, f: number) => number;
     readonly program_load: (a: number, b: number, c: number, d: number) => number;
     readonly program_restore: (a: number, b: number, c: number) => number;
     readonly program_snapshot: (a: number, b: number) => [number, number];
@@ -130,6 +165,9 @@ export interface InitOutput {
     readonly program_step: (a: number, b: number, c: number, d: number) => number;
     readonly program_terminal: (a: number, b: number) => number;
     readonly program_view: (a: number, b: number, c: number) => [number, number];
+    readonly queryresult_ok: (a: number) => number;
+    readonly queryresult_rejected: (a: number) => [number, number];
+    readonly queryresult_value: (a: number) => [number, number];
     readonly restoreresult_ok: (a: number) => number;
     readonly restoreresult_rejected: (a: number) => [number, number];
     readonly restoreresult_state: (a: number) => number;

package/dist/wasm/lute_runtime_wasm.js

@@ -123,6 +123,25 @@ export class Program {
             wasm.__wbindgen_free(deferred1_0, deferred1_1, 1);
         }
     }
+    /**
+     * Evaluate the bundle's def `name` over the state, its parameters bound
+     * to `args` (a JSON array of scalars, one per declared parameter;
+     * absent = `[]`), as `Evaluation` JSON; an unknown def, an argument
+     * fault or an evaluation error is rejected.
+     * @param {State} state
+     * @param {string} name
+     * @param {string | null} [args]
+     * @returns {QueryResult}
+     */
+    def(state, name, args) {
+        _assertClass(state, State);
+        const ptr0 = passStringToWasm0(name, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        var ptr1 = isLikeNone(args) ? 0 : passStringToWasm0(args, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        var len1 = WASM_VECTOR_LEN;
+        const ret = wasm.program_def(this.__wbg_ptr, state.__wbg_ptr, ptr0, len0, ptr1, len1);
+        return QueryResult.__wrap(ret);
+    }
     /**
      * The verdict of `beat` (for `member`), as `Candidate` JSON or `null`.
      * @param {State} state
@@ -147,6 +166,20 @@ export class Program {
             wasm.__wbindgen_free(deferred3_0, deferred3_1, 1);
         }
     }
+    /**
+     * Evaluate an IR `exprNode` (JSON) over the state, as `Evaluation`
+     * JSON; a malformed expression or an evaluation error is rejected.
+     * @param {State} state
+     * @param {string} expr
+     * @returns {QueryResult}
+     */
+    evaluate(state, expr) {
+        _assertClass(state, State);
+        const ptr0 = passStringToWasm0(expr, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ret = wasm.program_evaluate(this.__wbg_ptr, state.__wbg_ptr, ptr0, len0);
+        return QueryResult.__wrap(ret);
+    }
     /**
      * @returns {string}
      */
@@ -162,6 +195,24 @@ export class Program {
             wasm.__wbindgen_free(deferred1_0, deferred1_1, 1);
         }
     }
+    /**
+     * Whether a `raiseOccasion` of `occasion` (for `target`) with no writes
+     * would pass the seam now, as `Gate` JSON; an occasion the bundle does
+     * not declare is rejected.
+     * @param {State} state
+     * @param {string} occasion
+     * @param {string | null} [target]
+     * @returns {QueryResult}
+     */
+    gate(state, occasion, target) {
+        _assertClass(state, State);
+        const ptr0 = passStringToWasm0(occasion, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        var ptr1 = isLikeNone(target) ? 0 : passStringToWasm0(target, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        var len1 = WASM_VECTOR_LEN;
+        const ret = wasm.program_gate(this.__wbg_ptr, state.__wbg_ptr, ptr0, len0, ptr1, len1);
+        return QueryResult.__wrap(ret);
+    }
     /**
      * Load a `project.index.json` and an object mapping artifact paths to IR.
      *
@@ -272,6 +323,61 @@ export class Program {
 }
 if (Symbol.dispose) Program.prototype[Symbol.dispose] = Program.prototype.free;
 
+/**
+ * The result of a query (`evaluate`, `def`, `gate`): its answer JSON
+ * (`Evaluation`, `Gate`) or a rejection.
+ */
+export class QueryResult {
+    static __wrap(ptr) {
+        const obj = Object.create(QueryResult.prototype);
+        obj.__wbg_ptr = ptr;
+        QueryResultFinalization.register(obj, obj.__wbg_ptr, obj);
+        return obj;
+    }
+    __destroy_into_raw() {
+        const ptr = this.__wbg_ptr;
+        this.__wbg_ptr = 0;
+        QueryResultFinalization.unregister(this);
+        return ptr;
+    }
+    free() {
+        const ptr = this.__destroy_into_raw();
+        wasm.__wbg_queryresult_free(ptr, 0);
+    }
+    /**
+     * @returns {boolean}
+     */
+    get ok() {
+        const ret = wasm.queryresult_ok(this.__wbg_ptr);
+        return ret !== 0;
+    }
+    /**
+     * @returns {string | undefined}
+     */
+    get rejected() {
+        const ret = wasm.queryresult_rejected(this.__wbg_ptr);
+        let v1;
+        if (ret[0] !== 0) {
+            v1 = getStringFromWasm0(ret[0], ret[1]).slice();
+            wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
+        }
+        return v1;
+    }
+    /**
+     * @returns {string | undefined}
+     */
+    get value() {
+        const ret = wasm.queryresult_value(this.__wbg_ptr);
+        let v1;
+        if (ret[0] !== 0) {
+            v1 = getStringFromWasm0(ret[0], ret[1]).slice();
+            wasm.__wbindgen_free(ret[0], ret[1] * 1, 1);
+        }
+        return v1;
+    }
+}
+if (Symbol.dispose) QueryResult.prototype[Symbol.dispose] = QueryResult.prototype.free;
+
 /**
  * The result of restoring a snapshot.
  */
@@ -432,6 +538,9 @@ const LoadResultFinalization = (typeof FinalizationRegistry === 'undefined')
 const ProgramFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
     : new FinalizationRegistry(ptr => wasm.__wbg_program_free(ptr, 1));
+const QueryResultFinalization = (typeof FinalizationRegistry === 'undefined')
+    ? { register: () => {}, unregister: () => {} }
+    : new FinalizationRegistry(ptr => wasm.__wbg_queryresult_free(ptr, 1));
 const RestoreResultFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
     : new FinalizationRegistry(ptr => wasm.__wbg_restoreresult_free(ptr, 1));

package/dist/wasm/lute_runtime_wasm_bg.wasm.d.ts

@@ -3,6 +3,7 @@
 export const memory: WebAssembly.Memory;
 export const __wbg_loadresult_free: (a: number, b: number) => void;
 export const __wbg_program_free: (a: number, b: number) => void;
+export const __wbg_queryresult_free: (a: number, b: number) => void;
 export const __wbg_restoreresult_free: (a: number, b: number) => void;
 export const __wbg_state_free: (a: number, b: number) => void;
 export const __wbg_stepresult_free: (a: number, b: number) => void;
@@ -12,8 +13,11 @@ export const loadresult_rejected: (a: number) => [number, number];
 export const program_begin: (a: number, b: number, c: number) => number;
 export const program_candidates: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number];
 export const program_clock: (a: number, b: number) => [number, number];
+export const program_def: (a: number, b: number, c: number, d: number, e: number, f: number) => number;
 export const program_eligibility: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number];
+export const program_evaluate: (a: number, b: number, c: number, d: number) => number;
 export const program_fingerprint: (a: number) => [number, number];
+export const program_gate: (a: number, b: number, c: number, d: number, e: number, f: number) => number;
 export const program_load: (a: number, b: number, c: number, d: number) => number;
 export const program_restore: (a: number, b: number, c: number) => number;
 export const program_snapshot: (a: number, b: number) => [number, number];
@@ -21,6 +25,9 @@ export const program_stage: (a: number, b: number) => [number, number];
 export const program_step: (a: number, b: number, c: number, d: number) => number;
 export const program_terminal: (a: number, b: number) => number;
 export const program_view: (a: number, b: number, c: number) => [number, number];
+export const queryresult_ok: (a: number) => number;
+export const queryresult_rejected: (a: number) => [number, number];
+export const queryresult_value: (a: number) => [number, number];
 export const restoreresult_ok: (a: number) => number;
 export const restoreresult_rejected: (a: number) => [number, number];
 export const restoreresult_state: (a: number) => number;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lute-lang/runtime",
-  "version": "0.40.0",
+  "version": "0.41.1",
   "description": "The Lute runtime for TypeScript hosts, in Effect: load a compiled Lute bundle, drive the resumable step function, replay input logs (Bun and browsers).",
   "license": "MIT",
   "type": "module",