@lute-lang/runtime 0.0.0-stage → 0.39.0

package/dist/index.d.ts

@@ -0,0 +1,15 @@
+/**
+ * `@lute-lang/runtime` — the Lute runtime for TypeScript hosts, in Effect
+ * (spec 0.39.0). Platform layers live in `@lute-lang/runtime/bun` and
+ * `@lute-lang/runtime/browser`.
+ */
+export * as Bundle from "./Bundle.js";
+export * as BundleSource from "./BundleSource.js";
+export * as Contract from "./generated/Contract.js";
+export * as Errors from "./Errors.js";
+export * as InputLog from "./InputLog.js";
+export * as LuteRuntime from "./LuteRuntime.js";
+export * as LuteWasm from "./LuteWasm.js";
+export * as Program from "./Program.js";
+export * as Replay from "./Replay.js";
+export * as Session from "./Session.js";

package/dist/index.js

@@ -0,0 +1,40 @@
+import {
+  LogEntry,
+  __export,
+  exports_Bundle,
+  exports_BundleSource,
+  exports_Contract,
+  exports_Errors,
+  exports_InputLog,
+  exports_LuteRuntime,
+  exports_LuteWasm,
+  exports_Program,
+  exports_Session
+} from "./index-eqt12qy0.js";
+// src/Replay.ts
+var exports_Replay = {};
+__export(exports_Replay, {
+  run: () => run,
+  parseLog: () => parseLog
+});
+import { Effect, Schema, Stream } from "effect";
+var decodeLine = Schema.decodeUnknownEffect(Schema.fromJsonString(LogEntry));
+var parseLog = (text) => Effect.forEach(text.split(`
+`).filter((line) => line.trim().length > 0), (line) => decodeLine(line));
+var run = (program, entries) => {
+  const [start, ...inputs] = entries;
+  const begun = start === undefined || "input" in start ? Effect.die(new Error("an input log starts with a seed or a snapshot")) : ("seed" in start) ? Effect.map(program.begin(start.seed), ({ state, output }) => ({ state, outputs: [output] })) : Effect.map(program.restore(start.snapshot), (state) => ({ state, outputs: [] }));
+  return Stream.unwrap(Effect.map(begun, ({ state, outputs }) => Stream.fromIterable(inputs).pipe(Stream.mapAccumEffect(() => state, (state2, entry) => ("input" in entry) ? Effect.map(program.step(state2, entry.input), (step) => [step.state, [step.output]]) : Effect.die(new Error("an input log has one seed or snapshot, at its start"))), Stream.prepend(outputs))));
+};
+export {
+  exports_Session as Session,
+  exports_Replay as Replay,
+  exports_Program as Program,
+  exports_LuteWasm as LuteWasm,
+  exports_LuteRuntime as LuteRuntime,
+  exports_InputLog as InputLog,
+  exports_Errors as Errors,
+  exports_Contract as Contract,
+  exports_BundleSource as BundleSource,
+  exports_Bundle as Bundle
+};

package/dist/wasm/lute_runtime_wasm.d.ts

@@ -0,0 +1,162 @@
+/* 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;
+    /**
+     * 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_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>;