@benrogmans/lemma-engine 0.8.2 → 0.8.3

package/lemma.d.ts

@@ -1,173 +1,4 @@
-/* tslint:disable */
-/* eslint-disable */
-
-type ReadableStreamReaderMode = "byob";
-
-export class IntoUnderlyingByteSource {
-    private constructor();
-    free(): void;
-    [Symbol.dispose](): void;
-    cancel(): void;
-    pull(controller: any): Promise<any>;
-    start(controller: any): void;
-    readonly autoAllocateChunkSize: number;
-    readonly type: any;
-}
-
-export class IntoUnderlyingSink {
-    private constructor();
-    free(): void;
-    [Symbol.dispose](): void;
-    abort(reason: any): Promise<any>;
-    close(): Promise<any>;
-    write(chunk: any): Promise<any>;
-}
-
-export class IntoUnderlyingSource {
-    private constructor();
-    free(): void;
-    [Symbol.dispose](): void;
-    cancel(): void;
-    pull(controller: any): Promise<any>;
-}
-
-/**
- * Raw options for [`pipeTo()`](https://developer.mozilla.org/en-US/docs/Web/API/ReadableStream/pipeTo).
- */
-export class PipeOptions {
-    private constructor();
-    free(): void;
-    [Symbol.dispose](): void;
-    readonly preventAbort: boolean;
-    readonly preventCancel: boolean;
-    readonly preventClose: boolean;
-    readonly signal: AbortSignal | undefined;
-}
-
-export class QueuingStrategy {
-    private constructor();
-    free(): void;
-    [Symbol.dispose](): void;
-    readonly highWaterMark: number;
-}
-
-/**
- * Raw options for [`getReader()`](https://developer.mozilla.org/en-US/docs/Web/API/ReadableStream/getReader).
- */
-export class ReadableStreamGetReaderOptions {
-    private constructor();
-    free(): void;
-    [Symbol.dispose](): void;
-    readonly mode: ReadableStreamReaderMode;
-}
-
-export class ServerConfig {
-    free(): void;
-    [Symbol.dispose](): void;
-    constructor(into_server: AsyncIterator<any>, from_server: WritableStream);
-}
-
-export class WasmEngine {
-    free(): void;
-    [Symbol.dispose](): void;
-    addLemmaFile(code: string, source: string): Promise<any>;
-    /**
-     * Evaluate at current time.
-     */
-    evaluate(spec_name: string, hash: string, rule_names_json: string, fact_values_json: string): string;
-    /**
-     * Evaluate at a specific datetime.
-     */
-    evaluateEffective(spec_name: string, effective: string, hash: string, rule_names_json: string, fact_values_json: string): string;
-    formatSource(code: string, source_attribute: string): string;
-    /**
-     * Schema at current time.
-     */
-    getSchema(spec_name: string, rule_names_json: string): string;
-    /**
-     * Schema at a specific datetime.
-     */
-    getSchemaEffective(spec_name: string, effective: string, rule_names_json: string): string;
-    invert(_spec_name: string, _rule_name: string, _target_json: string, _provided_values_json: string): string;
-    listSpecs(): string;
-    constructor();
-}
-
-/**
- * Run the Lemma LSP over the given streams. Call from JS after creating
- * an AsyncIterator (client → server messages) and a WritableStream (server → client).
- */
-export function serve(config: ServerConfig): Promise<void>;
-
-export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
-
-export interface InitOutput {
-    readonly memory: WebAssembly.Memory;
-    readonly __wbg_serverconfig_free: (a: number, b: number) => void;
-    readonly serve: (a: number) => number;
-    readonly serverconfig_new: (a: number, b: number) => number;
-    readonly __wbg_intounderlyingbytesource_free: (a: number, b: number) => void;
-    readonly __wbg_intounderlyingsink_free: (a: number, b: number) => void;
-    readonly __wbg_intounderlyingsource_free: (a: number, b: number) => void;
-    readonly __wbg_pipeoptions_free: (a: number, b: number) => void;
-    readonly __wbg_queuingstrategy_free: (a: number, b: number) => void;
-    readonly __wbg_readablestreamgetreaderoptions_free: (a: number, b: number) => void;
-    readonly intounderlyingbytesource_autoAllocateChunkSize: (a: number) => number;
-    readonly intounderlyingbytesource_cancel: (a: number) => void;
-    readonly intounderlyingbytesource_pull: (a: number, b: number) => number;
-    readonly intounderlyingbytesource_start: (a: number, b: number) => void;
-    readonly intounderlyingbytesource_type: (a: number) => number;
-    readonly intounderlyingsink_abort: (a: number, b: number) => number;
-    readonly intounderlyingsink_close: (a: number) => number;
-    readonly intounderlyingsink_write: (a: number, b: number) => number;
-    readonly intounderlyingsource_cancel: (a: number) => void;
-    readonly intounderlyingsource_pull: (a: number, b: number) => number;
-    readonly pipeoptions_preventAbort: (a: number) => number;
-    readonly pipeoptions_preventCancel: (a: number) => number;
-    readonly pipeoptions_preventClose: (a: number) => number;
-    readonly pipeoptions_signal: (a: number) => number;
-    readonly queuingstrategy_highWaterMark: (a: number) => number;
-    readonly readablestreamgetreaderoptions_mode: (a: number) => number;
-    readonly __wbg_wasmengine_free: (a: number, b: number) => void;
-    readonly wasmengine_addLemmaFile: (a: number, b: number, c: number, d: number, e: number) => number;
-    readonly wasmengine_evaluate: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
-    readonly wasmengine_evaluateEffective: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number, l: number) => void;
-    readonly wasmengine_formatSource: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
-    readonly wasmengine_getSchema: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
-    readonly wasmengine_getSchemaEffective: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
-    readonly wasmengine_invert: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
-    readonly wasmengine_listSpecs: (a: number, b: number) => void;
-    readonly wasmengine_new: () => number;
-    readonly __wasm_bindgen_func_elem_9297: (a: number, b: number) => void;
-    readonly __wasm_bindgen_func_elem_356: (a: number, b: number) => void;
-    readonly __wasm_bindgen_func_elem_10440: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_2709: (a: number, b: number, c: number, d: number) => void;
-    readonly __wasm_bindgen_func_elem_10459: (a: number, b: number, c: number, d: number) => void;
-    readonly __wbindgen_export: (a: number, b: number) => number;
-    readonly __wbindgen_export2: (a: number, b: number, c: number, d: number) => number;
-    readonly __wbindgen_export3: (a: number) => void;
-    readonly __wbindgen_export4: (a: number, b: number, c: number) => void;
-    readonly __wbindgen_add_to_stack_pointer: (a: number) => number;
-}
-
-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>;
+import type { Engine } from './lemma.bindings.js';
+export { Engine, initSync } from './lemma.bindings.js';
+export declare function init(): Promise<void>;
+export declare function Lemma(): Promise<Engine>;