@lute-lang/runtime 0.0.0-stage → 0.40.0

package/dist/wasm/lute_runtime_wasm.d.ts

@@ -0,0 +1,167 @@
+/* tslint:disable */
+/* eslint-disable */
+
+/**
+ * The result of loading a bundle.
+ */
+export class LoadResult {
+    private constructor();
+    free(): void;
+    [Symbol.dispose](): void;
+    readonly ok: boolean;
+    readonly program: Program | undefined;
+    readonly rejected: string | undefined;
+}
+
+/**
+ * A loaded execution bundle.
+ */
+export class Program {
+    private constructor();
+    free(): void;
+    [Symbol.dispose](): void;
+    /**
+     * Begin a run from a JSON seed.
+     */
+    begin(seed: string): StepResult;
+    /**
+     * The candidates of `occasion` (for `target`) in selection order, as a
+     * JSON array of `Candidate`.
+     */
+    candidates(state: State, occasion: string, target?: string | null): string;
+    /**
+     * The clock position, as `ClockAt` JSON or `null` without a clock.
+     */
+    clock(state: State): string;
+    /**
+     * The verdict of `beat` (for `member`), as `Candidate` JSON or `null`.
+     */
+    eligibility(state: State, beat: string, member?: string | null): string;
+    /**
+     * Load a `project.index.json` and an object mapping artifact paths to IR.
+     *
+     * Bundle decoding and validation failures are returned as a rejected value
+     * rather than escaping into JavaScript as an exception.
+     */
+    static load(index: string, artifacts: string): LoadResult;
+    /**
+     * Restore a state from a versioned snapshot JSON.
+     */
+    restore(snapshot: string): RestoreResult;
+    /**
+     * Serialize a state to its versioned snapshot JSON (keys sorted, the
+     * contract's canonical form).
+     */
+    snapshot(state: State): string;
+    /**
+     * The persistent presentation stage as canonical JSON.
+     */
+    stage(state: State): string;
+    /**
+     * Apply a JSON input without invalidating the supplied state handle.
+     */
+    step(state: State, input: string): StepResult;
+    /**
+     * Whether this state is terminal.
+     */
+    terminal(state: State): boolean;
+    /**
+     * The world view, as `WorldView` JSON (facts only when `with_facts`).
+     */
+    view(state: State, with_facts: boolean): string;
+    readonly fingerprint: string;
+}
+
+/**
+ * The result of restoring a snapshot.
+ */
+export class RestoreResult {
+    private constructor();
+    free(): void;
+    [Symbol.dispose](): void;
+    readonly ok: boolean;
+    readonly rejected: string | undefined;
+    readonly state: State | undefined;
+}
+
+/**
+ * An opaque immutable state handle.
+ */
+export class State {
+    private constructor();
+    free(): void;
+    [Symbol.dispose](): void;
+}
+
+/**
+ * The result of beginning or stepping a program.
+ */
+export class StepResult {
+    private constructor();
+    free(): void;
+    [Symbol.dispose](): void;
+    readonly ok: boolean;
+    readonly output: string | undefined;
+    readonly rejected: string | undefined;
+    readonly state: State | undefined;
+}
+
+export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
+
+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_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;
+    readonly loadresult_ok: (a: number) => number;
+    readonly loadresult_program: (a: number) => number;
+    readonly loadresult_rejected: (a: number) => [number, number];
+    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_eligibility: (a: number, b: number, c: number, d: number, e: number, f: number) => [number, number];
+    readonly program_fingerprint: (a: number) => [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];
+    readonly program_stage: (a: number, b: number) => [number, number];
+    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 restoreresult_ok: (a: number) => number;
+    readonly restoreresult_rejected: (a: number) => [number, number];
+    readonly restoreresult_state: (a: number) => number;
+    readonly stepresult_ok: (a: number) => number;
+    readonly stepresult_output: (a: number) => [number, number];
+    readonly stepresult_rejected: (a: number) => [number, number];
+    readonly stepresult_state: (a: number) => number;
+    readonly __wbindgen_externrefs: WebAssembly.Table;
+    readonly __wbindgen_free: (a: number, b: number, c: number) => void;
+    readonly __wbindgen_malloc: (a: number, b: number) => number;
+    readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
+    readonly __wbindgen_start: () => void;
+}
+
+export type SyncInitInput = BufferSource | WebAssembly.Module;
+
+/**
+ * Instantiates the given `module`, which can either be bytes or
+ * a precompiled `WebAssembly.Module`.
+ *
+ * @param {{ module: SyncInitInput }} module - Passing `SyncInitInput` directly is deprecated.
+ *
+ * @returns {InitOutput}
+ */
+export function initSync(module: { module: SyncInitInput } | SyncInitInput): InitOutput;
+
+/**
+ * If `module_or_path` is {RequestInfo} or {URL}, makes a request and
+ * for everything else, calls `WebAssembly.instantiate` directly.
+ *
+ * @param {{ module_or_path: InitInput | Promise<InitInput> }} module_or_path - Passing `InitInput` directly is deprecated.
+ *
+ * @returns {Promise<InitOutput>}
+ */
+export default function __wbg_init (module_or_path?: { module_or_path: InitInput | Promise<InitInput> } | InitInput | Promise<InitInput>): Promise<InitOutput>;