liminal 0.5.12 → 0.5.14

package/dist/Schema.js

@@ -0,0 +1,130 @@
+import { subtle } from "node:crypto";
+import { LiminalAssertionError as LE } from "./LiminalAssertionError.js";
+export var Schema;
+(function (Schema) {
+    const ids = new WeakMap();
+    const schemas = new WeakMap();
+    const validators = new WeakMap();
+    function compile(key, { schema: schema_, validate, }) {
+        let schema = schemas.get(key);
+        if (!schema) {
+            schema = Schema.validate(schema_());
+            schemas.set(key, schema);
+        }
+        validators.set(schema, validate);
+        return schema;
+    }
+    Schema.compile = compile;
+    function validateValue(schema, value) {
+        const validator = validators.get(schema);
+        LE.assert(validator);
+        return validator(value);
+    }
+    Schema.validateValue = validateValue;
+    async function id(schema, description) {
+        description = description ?? "";
+        if (!ids.has(schema)) {
+            ids.set(schema, {});
+        }
+        const schemaIds = ids.get(schema);
+        let id = schemaIds[description];
+        if (!id) {
+            const content = `${description}_${JSON.stringify(schema)}`;
+            const bytes = new Uint8Array(await subtle.digest("SHA-256", new TextEncoder().encode(content)));
+            let binary = "";
+            for (const b of bytes)
+                binary += String.fromCharCode(b);
+            id = btoa(binary).replace(/\+/g, "-").replace(/\//g, "_").replace(/=+$/, "");
+            schemaIds[description] = id;
+        }
+        return id;
+    }
+    Schema.id = id;
+    function wrap(schema) {
+        return {
+            type: "object",
+            properties: { value: schema },
+            additionalProperties: false,
+            required: ["value"],
+        };
+    }
+    Schema.wrap = wrap;
+    function validate(value) {
+        LE.assert(typeof value === "object");
+        LE.assert(value !== null);
+        if ("anyOf" in value) {
+            LE.assert(Array.isArray(value.anyOf));
+            return {
+                anyOf: value.anyOf.map(validate),
+            };
+        }
+        else {
+            if ("enum" in value) {
+                LE.assert(Array.isArray(value.enum));
+                LE.assert(!("const" in value));
+                value.enum.forEach((v) => LE.assert(typeof v === "string"));
+                return {
+                    type: "string",
+                    enum: value.enum,
+                };
+            }
+            else if ("const" in value) {
+                LE.assert(typeof value.const === "string");
+                return {
+                    type: "string",
+                    const: value.const,
+                };
+            }
+            else if ("type" in value) {
+                LE.assert("type" in value);
+                LE.assert(typeof value.type === "string");
+                LE.assert(SCHEMA_TYPE_NAMES[value.type]);
+                switch (value.type) {
+                    case "null":
+                    case "boolean":
+                    case "integer":
+                    case "number": {
+                        break;
+                    }
+                    case "string": {
+                        if ("const" in value) {
+                            LE.assert(typeof value.const === "string");
+                        }
+                        break;
+                    }
+                    case "array": {
+                        LE.assert("items" in value);
+                        return {
+                            type: "array",
+                            items: validate(value.items),
+                        };
+                    }
+                    case "object": {
+                        LE.assert("properties" in value);
+                        LE.assert(typeof value.properties === "object");
+                        const { properties } = value;
+                        LE.assert(properties !== null);
+                        return {
+                            type: "object",
+                            properties: Object.fromEntries(Object.entries(properties).map(([key, value]) => [key, validate(value)])),
+                            required: Object.keys(properties),
+                            additionalProperties: false,
+                        };
+                    }
+                }
+            }
+        }
+        return value;
+    }
+    Schema.validate = validate;
+})(Schema || (Schema = {}));
+const SCHEMA_TYPE_NAMES = {
+    null: true,
+    boolean: true,
+    integer: true,
+    number: true,
+    string: true,
+    array: true,
+    object: true,
+};
+//# sourceMappingURL=Schema.js.map

package/dist/Schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Schema.js","sourceRoot":"","sources":["../Schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,qBAAqB,IAAI,EAAE,EAAE,MAAM,4BAA4B,CAAA;AAqDxE,MAAM,KAAW,MAAM,CAwHtB;AAxHD,WAAiB,MAAM;IACrB,MAAM,GAAG,GAAG,IAAI,OAAO,EAAkC,CAAA;IACzD,MAAM,OAAO,GAAG,IAAI,OAAO,EAAmB,CAAA;IAC9C,MAAM,UAAU,GAAG,IAAI,OAAO,EAAuC,CAAA;IAErE,SAAgB,OAAO,CAAI,GAAY,EAAE,EACvC,MAAM,EAAE,OAAO,EACf,QAAQ,GAIT;QACC,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC7B,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;YACnC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;QAC1B,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;QAChC,OAAO,MAAM,CAAA;IACf,CAAC;IAde,cAAO,UActB,CAAA;IAED,SAAgB,aAAa,CAAI,MAAiB,EAAE,KAAc;QAChE,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACxC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;QACpB,OAAO,SAAS,CAAC,KAAK,CAAU,CAAA;IAClC,CAAC;IAJe,oBAAa,gBAI5B,CAAA;IAEM,KAAK,UAAU,EAAE,CAAC,MAAc,EAAE,WAAoB;QAC3D,WAAW,GAAG,WAAW,IAAI,EAAE,CAAA;QAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;QACrB,CAAC;QACD,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAE,CAAA;QAClC,IAAI,EAAE,GAAG,SAAS,CAAC,WAAW,CAAC,CAAA;QAC/B,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,MAAM,OAAO,GAAG,GAAG,WAAW,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAA;YAC1D,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;YAC/F,IAAI,MAAM,GAAG,EAAE,CAAA;YACf,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,MAAM,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;YACvD,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;YAC5E,SAAS,CAAC,WAAW,CAAC,GAAG,EAAE,CAAA;QAC7B,CAAC;QACD,OAAO,EAAE,CAAA;IACX,CAAC;IAhBqB,SAAE,KAgBvB,CAAA;IAED,SAAgB,IAAI,CAAC,MAAc;QACjC,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;YAC7B,oBAAoB,EAAE,KAAK;YAC3B,QAAQ,EAAE,CAAC,OAAO,CAAC;SACuB,CAAA;IAC9C,CAAC;IAPe,WAAI,OAOnB,CAAA;IAED,SAAgB,QAAQ,CAAC,KAAc;QACrC,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAA;QACpC,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAA;QACzB,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;YACrB,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;YACrC,OAAO;gBACL,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC;aACS,CAAA;QAC7C,CAAC;aAAM,CAAC;YACN,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;gBACpB,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;gBACpC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC,CAAA;gBAC9B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAA;gBAC3D,OAAO;oBACL,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,KAAK,CAAC,IAAI;iBAC0B,CAAA;YAC9C,CAAC;iBAAM,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;gBAC5B,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAA;gBAC1C,OAAO;oBACL,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,KAAK,CAAC,KAAK;iBACwB,CAAA;YAC9C,CAAC;iBAAM,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;gBAC3B,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,CAAA;gBAC1B,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAA;gBACzC,EAAE,CAAC,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;gBACxC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;oBACnB,KAAK,MAAM,CAAC;oBACZ,KAAK,SAAS,CAAC;oBACf,KAAK,SAAS,CAAC;oBACf,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,MAAK;oBACP,CAAC;oBACD,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;4BACrB,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAA;wBAC5C,CAAC;wBACD,MAAK;oBACP,CAAC;oBACD,KAAK,OAAO,CAAC,CAAC,CAAC;wBACb,EAAE,CAAC,MAAM,CAAC,OAAO,IAAI,KAAK,CAAC,CAAA;wBAC3B,OAAO;4BACL,IAAI,EAAE,OAAO;4BACb,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;yBACa,CAAA;oBAC7C,CAAC;oBACD,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,EAAE,CAAC,MAAM,CAAC,YAAY,IAAI,KAAK,CAAC,CAAA;wBAChC,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAA;wBAC/C,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAA;wBAC5B,EAAE,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,CAAA;wBAC9B,OAAO;4BACL,IAAI,EAAE,QAAQ;4BACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAC5B,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CACzE;4BACD,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;4BACjC,oBAAoB,EAAE,KAAK;yBACe,CAAA;oBAC9C,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,KAAe,CAAA;IACxB,CAAC;IAjEe,eAAQ,WAiEvB,CAAA;AACH,CAAC,EAxHgB,MAAM,KAAN,MAAM,QAwHtB;AAED,MAAM,iBAAiB,GAA4B;IACjD,IAAI,EAAE,IAAI;IACV,OAAO,EAAE,IAAI;IACb,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,IAAI;IACX,MAAM,EAAE,IAAI;CAC0B,CAAA"}

package/dist/Strand.d.ts

@@ -0,0 +1,57 @@
+import { Context } from "./Context.ts";
+import { Definition } from "./Definition.ts";
+import type { Rune } from "./Rune.ts";
+export interface StrandConfig {
+    parent?: Strand | undefined;
+    context?: Context | undefined;
+    signal?: AbortSignal | undefined;
+}
+export declare class Strand<Y extends Rune<any> = Rune<any>, T = any> implements Iterable<Y, T>, PromiseLike<T> {
+    #private;
+    T: T;
+    Y: Y;
+    readonly signal: AbortSignal;
+    status: StrandStatus<T>;
+    readonly index: number;
+    readonly depth: number;
+    readonly parent?: Strand;
+    readonly context: Context;
+    constructor(definition: Definition<Y, T>, config: StrandConfig);
+    then<TResult1 = T, TResult2 = never>(onfulfilled?: ((value: T) => TResult1 | PromiseLike<TResult1>) | undefined | null, onrejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | undefined | null): PromiseLike<TResult1 | TResult2>;
+    [Symbol.iterator](): Generator<Y, T>;
+}
+export type StrandStatus<T = any> = StrandStatus.Untouched | StrandStatus.Pending<T> | StrandStatus.Resolved<T> | StrandStatus.Rejected;
+export declare namespace StrandStatus {
+    interface Untouched {
+        type: "untouched";
+    }
+    interface Pending<T> {
+        type: "pending";
+        promise: Promise<T>;
+        resolve: (value: T) => void;
+        reject: (reason?: unknown) => void;
+    }
+    interface Resolved<T> {
+        type: "resolved";
+        value: T;
+    }
+    type Rejected = Rejected.ConfigSignalAborted | Rejected.ParentAborted | Rejected.ContinuationExceptionThrown | Rejected.HandlerExceptionThrown;
+    namespace Rejected {
+        interface ConfigSignalAborted {
+            type: "config_signal_aborted";
+            reason: unknown;
+        }
+        interface ParentAborted {
+            type: "parent_aborted";
+            reason: unknown;
+        }
+        interface ContinuationExceptionThrown {
+            type: "continuation_exception_thrown";
+            exception: unknown;
+        }
+        interface HandlerExceptionThrown {
+            type: "handler_exception_thrown";
+            exception: unknown;
+        }
+    }
+}

package/dist/Strand.js

@@ -0,0 +1,177 @@
+import { Context } from "./Context.js";
+import { Definition } from "./Definition.js";
+import { StrandRejectedError } from "./errors.js";
+import { continuation } from "./L/continuation.js";
+import { StrandStatusChanged } from "./LEvent.js";
+import { attachCustomInspect } from "./util/attachCustomInspect.js";
+let nextIndex = 0;
+export class Strand {
+    #controller = new AbortController();
+    signal = this.#controller.signal;
+    #handle;
+    #definition;
+    status = { type: "untouched" };
+    index = nextIndex++;
+    depth;
+    context;
+    constructor(definition, config) {
+        this.#definition = definition;
+        this.depth = (config?.parent?.depth ?? -1) + 1;
+        const { parent, context, signal: configSignal } = config ?? {};
+        if (parent) {
+            this.parent = parent;
+            this.#attachSignal(parent.signal, () => ({
+                type: "parent_aborted",
+                reason: parent.signal.reason,
+            }));
+        }
+        if (configSignal) {
+            this.#attachSignal(configSignal, () => ({
+                type: "config_signal_aborted",
+                reason: configSignal.reason,
+            }));
+        }
+        if (context) {
+            this.context = context;
+            const { handler } = context;
+            if (handler) {
+                this.#handle = (function (event) {
+                    try {
+                        handler.call(this, event);
+                    }
+                    catch (exception) {
+                        this.#setTerminalStatus({
+                            type: "handler_exception_thrown",
+                            exception,
+                        });
+                    }
+                }).bind(this);
+                this.#handle(new StrandStatusChanged(this.status));
+            }
+        }
+        else {
+            this.context = Context();
+        }
+    }
+    #setStatus(status) {
+        this.status = status;
+        this.#handle?.(new StrandStatusChanged(this.status));
+    }
+    #setTerminalStatus = (status) => {
+        this.#setStatus(status);
+        this.#controller.abort(this.status);
+    };
+    #attachSignal(signal, getStatus) {
+        const f = () => {
+            this.#setTerminalStatus(getStatus());
+        };
+        if (signal.aborted) {
+            return f();
+        }
+        signal.addEventListener("abort", f, { once: true });
+        this.#controller.signal.addEventListener("abort", () => {
+            signal.removeEventListener("abort", f);
+        }, { once: true });
+    }
+    then(onfulfilled, onrejected) {
+        if (this.status.type !== "untouched") {
+            return this.#replay(this.status).then(onfulfilled, onrejected);
+        }
+        let resolve = undefined;
+        let reject = undefined;
+        const promise = new Promise((resolve_, reject_) => {
+            resolve = resolve_;
+            reject = reject_;
+        });
+        this.status = {
+            type: "pending",
+            promise,
+            resolve,
+            reject,
+        };
+        this.#handle?.(new StrandStatusChanged(this.status));
+        const iterator = Definition.unwrap(this.#definition);
+        let nextArg;
+        queueMicrotask(async () => {
+            try {
+                let current = await iterator.next();
+                while (!current.done) {
+                    const rune = current.value;
+                    const { value } = rune;
+                    switch (value.kind) {
+                        case "reflect": {
+                            nextArg = this;
+                            break;
+                        }
+                        case "continuation": {
+                            nextArg = await value.f();
+                            break;
+                        }
+                        case "event": {
+                            this.#handle?.(value.event);
+                            nextArg = undefined;
+                            break;
+                        }
+                        case "child": {
+                            nextArg = await new Strand(value.definition, {
+                                parent: this,
+                                context: value.context ?? this.context.clone(),
+                            }).then();
+                            break;
+                        }
+                    }
+                    switch (this.status.type) {
+                        case "config_signal_aborted":
+                        case "parent_aborted":
+                        case "continuation_exception_thrown":
+                        case "handler_exception_thrown": {
+                            try {
+                                await iterator.return?.(undefined);
+                            }
+                            catch (exception) { }
+                            return Promise.reject(new StrandRejectedError(this.status));
+                        }
+                    }
+                    current = await iterator.next(nextArg);
+                }
+                const { value } = current;
+                this.#setTerminalStatus({
+                    type: "resolved",
+                    value,
+                });
+                resolve(value);
+            }
+            catch (exception) {
+                this.#setTerminalStatus({
+                    type: "continuation_exception_thrown",
+                    exception,
+                });
+                reject(exception);
+            }
+        });
+        return promise.then(onfulfilled, onrejected);
+    }
+    *[Symbol.iterator]() {
+        return yield* continuation("run_strand", () => this.then());
+    }
+    #replay(status) {
+        switch (status.type) {
+            case "config_signal_aborted":
+            case "parent_aborted":
+            case "continuation_exception_thrown":
+            case "handler_exception_thrown": {
+                return Promise.reject(new StrandRejectedError(status));
+            }
+            case "resolved": {
+                return Promise.resolve(status.value);
+            }
+            case "pending": {
+                return status.promise;
+            }
+        }
+    }
+    static {
+        attachCustomInspect(this, ({ index, parent }) => ({ index, ...parent && { parent } }));
+    }
+}
+//# sourceMappingURL=Strand.js.map

package/dist/Strand.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Strand.js","sourceRoot":"","sources":["../Strand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAA;AAQnE,IAAI,SAAS,GAAW,CAAC,CAAA;AAEzB,MAAM,OAAO,MAAM;IAIR,WAAW,GAAoB,IAAI,eAAe,EAAE,CAAA;IACpD,MAAM,GAAgB,IAAI,CAAC,WAAW,CAAC,MAAM,CAAA;IACtD,OAAO,CAAmD;IAC1D,WAAW,CAAkB;IAC7B,MAAM,GAAoB,EAAE,IAAI,EAAE,WAAW,EAAE,CAAA;IACtC,KAAK,GAAW,SAAS,EAAE,CAAA;IAC3B,KAAK,CAAQ;IAEb,OAAO,CAAS;IAEzB,YAAY,UAA4B,EAAE,MAAoB;QAC5D,IAAI,CAAC,WAAW,GAAG,UAAU,CAAA;QAC7B,IAAI,CAAC,KAAK,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QAC9C,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,IAAI,EAAE,CAAA;QAC9D,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;YACpB,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;gBACvC,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM;aAC7B,CAAC,CAAC,CAAA;QACL,CAAC;QACD,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,CAAC,aAAa,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;gBACtC,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,YAAY,CAAC,MAAM;aAC5B,CAAC,CAAC,CAAA;QACL,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;YACtB,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAA;YAC3B,IAAI,OAAO,EAAE,CAAC;gBACZ,IAAI,CAAC,OAAO,GAAG,CAAC,UAAuB,KAAU;oBAC/C,IAAI,CAAC;wBACH,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;oBAC3B,CAAC;oBAAC,OAAO,SAAS,EAAE,CAAC;wBACnB,IAAI,CAAC,kBAAkB,CAAC;4BACtB,IAAI,EAAE,0BAA0B;4BAChC,SAAS;yBACV,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACb,IAAI,CAAC,OAAO,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;YACpD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,OAAO,GAAG,OAAO,EAAE,CAAA;QAC1B,CAAC;IACH,CAAC;IAED,UAAU,CAAC,MAAuB;QAChC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;QACpB,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;IACtD,CAAC;IAED,kBAAkB,GAAG,CAAC,MAAwD,EAAQ,EAAE;QACtF,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;QACvB,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACrC,CAAC,CAAA;IAED,aAAa,CACX,MAAmB,EACnB,SAAgG;QAEhG,MAAM,CAAC,GAAG,GAAG,EAAE;YACb,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,CAAC,CAAA;QACtC,CAAC,CAAA;QACD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,OAAO,CAAC,EAAE,CAAA;QACZ,CAAC;QACD,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;QACnD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,gBAAgB,CACtC,OAAO,EACP,GAAG,EAAE;YACH,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;QACxC,CAAC,EACD,EAAE,IAAI,EAAE,IAAI,EAAE,CACf,CAAA;IACH,CAAC;IAED,IAAI,CACF,WAAiF,EACjF,UAAmF;QAEnF,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACrC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAA;QAChE,CAAC;QACD,IAAI,OAAO,GAAuB,SAAU,CAAA;QAC5C,IAAI,MAAM,GAA+B,SAAU,CAAA;QACnD,MAAM,OAAO,GAAG,IAAI,OAAO,CAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE;YACnD,OAAO,GAAG,QAAQ,CAAA;YAClB,MAAM,GAAG,OAAO,CAAA;QAClB,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,MAAM,GAAG;YACZ,IAAI,EAAE,SAAS;YACf,OAAO;YACP,OAAO;YACP,MAAM;SACP,CAAA;QACD,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;QACpD,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;QACpD,IAAI,OAAgB,CAAA;QACpB,cAAc,CAAC,KAAK,IAAI,EAAE;YACxB,IAAI,CAAC;gBACH,IAAI,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAA;gBACnC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;oBACrB,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAA;oBAC1B,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAA;oBACtB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;wBACnB,KAAK,SAAS,CAAC,CAAC,CAAC;4BACf,OAAO,GAAG,IAAI,CAAA;4BACd,MAAK;wBACP,CAAC;wBACD,KAAK,cAAc,CAAC,CAAC,CAAC;4BACpB,OAAO,GAAG,MAAM,KAAK,CAAC,CAAC,EAAE,CAAA;4BACzB,MAAK;wBACP,CAAC;wBACD,KAAK,OAAO,CAAC,CAAC,CAAC;4BACb,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;4BAC3B,OAAO,GAAG,SAAS,CAAA;4BACnB,MAAK;wBACP,CAAC;wBACD,KAAK,OAAO,CAAC,CAAC,CAAC;4BACb,OAAO,GAAG,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE;gCAC3C,MAAM,EAAE,IAAI;gCACZ,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE;6BAC/C,CAAC,CAAC,IAAI,EAAE,CAAA;4BACT,MAAK;wBACP,CAAC;oBACH,CAAC;oBACD,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;wBACzB,KAAK,uBAAuB,CAAC;wBAC7B,KAAK,gBAAgB,CAAC;wBACtB,KAAK,+BAA+B,CAAC;wBACrC,KAAK,0BAA0B,CAAC,CAAC,CAAC;4BAChC,IAAI,CAAC;gCACH,MAAM,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,CAAA;4BACpC,CAAC;4BAAC,OAAO,SAAS,EAAE,CAAC,CAAA,CAAC;4BACtB,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;wBAC7D,CAAC;oBACH,CAAC;oBACD,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;gBACxC,CAAC;gBACD,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAA;gBACzB,IAAI,CAAC,kBAAkB,CAAC;oBACtB,IAAI,EAAE,UAAU;oBAChB,KAAK;iBACN,CAAC,CAAA;gBACF,OAAO,CAAC,KAAK,CAAC,CAAA;YAChB,CAAC;YAAC,OAAO,SAAS,EAAE,CAAC;gBACnB,IAAI,CAAC,kBAAkB,CAAC;oBACtB,IAAI,EAAE,+BAA+B;oBACrC,SAAS;iBACV,CAAC,CAAA;gBACF,MAAM,CAAC,SAAS,CAAC,CAAA;YACnB,CAAC;QACH,CAAC,CAAC,CAAA;QACF,OAAO,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAA;IAC9C,CAAC;IAED,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;QAChB,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAQ,CAAA;IACpE,CAAC;IAED,OAAO,CAAC,MAAqD;QAC3D,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,uBAAuB,CAAC;YAC7B,KAAK,gBAAgB,CAAC;YACtB,KAAK,+BAA+B,CAAC;YACrC,KAAK,0BAA0B,CAAC,CAAC,CAAC;gBAChC,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAA;YACxD,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACtC,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,OAAO,MAAM,CAAC,OAAO,CAAA;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IAED;QACE,mBAAmB,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,MAAM,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAA;IACxF,CAAC;CACF"}

package/dist/Tool.d.ts

@@ -1,9 +1,10 @@
-import { type LType, type SchemaObject, type Value, type ValueObject } from "liminal-schema";
+import { Schema } from "./Schema.ts";
+import type { JSONValue } from "./util/JSONValue.ts";
 export declare class Tool {
     readonly name: string;
     readonly description: string;
-    readonly parameterSchema: SchemaObject;
-    readonly f: (arg: any) => Value | Promise<Value>;
-    static make<T extends ValueObject>(description: string, type: LType<T>, f: (arg: T) => Value | Promise<Value>): Promise<Tool>;
-    constructor(name: string, description: string, parameterSchema: SchemaObject, f: (arg: any) => Value | Promise<Value>);
+    readonly parameterSchema: Schema;
+    readonly f: (arg: any) => JSONValue | Promise<JSONValue>;
+    static make<T extends JSONValue>(description: string, schema: Schema<T>, f: (arg: T) => JSONValue | Promise<JSONValue>): Promise<Tool>;
+    constructor(name: string, description: string, parameterSchema: Schema, f: (arg: any) => JSONValue | Promise<JSONValue>);
 }

package/dist/Tool.js

@@ -1,13 +1,12 @@
-import { Schema, toJSONSchema, validate, } from "liminal-schema";
+import { Schema } from "./Schema.js";
 export class Tool {
     name;
     description;
     parameterSchema;
     f;
-    static async make(description, type, f) {
-        const schema = toJSONSchema(type);
+    static async make(description, schema, f) {
         return new Tool(await Schema.id(schema, description), description, schema, async (arg) => {
-            return await f(await validate(type, arg));
+            return await f(await Schema.validateValue(schema, arg));
         });
     }
     constructor(name, description, parameterSchema, f) {

package/dist/Tool.js.map

@@ -1 +1 @@
-{"version":3,"file":"Tool.js","sourceRoot":"","sources":["../Tool.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAEN,YAAY,EACZ,QAAQ,GAGT,MAAM,gBAAgB,CAAA;AAEvB,MAAM,OAAO,IAAI;IAkBJ;IACA;IACA;IACA;IApBX,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,WAAmB,EACnB,IAAc,EACd,CAAqC;QAErC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;QACjC,OAAO,IAAI,IAAI,CACb,MAAM,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EACpC,WAAW,EACX,MAAM,EACN,KAAK,EAAE,GAAG,EAAE,EAAE;YACZ,OAAO,MAAM,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAU,CAAC,CAAA;QACpD,CAAC,CACF,CAAA;IACH,CAAC;IAED,YACW,IAAY,EACZ,WAAmB,EACnB,eAA6B,EAC7B,CAAuC;QAHvC,SAAI,GAAJ,IAAI,CAAQ;QACZ,gBAAW,GAAX,WAAW,CAAQ;QACnB,oBAAe,GAAf,eAAe,CAAc;QAC7B,MAAC,GAAD,CAAC,CAAsC;IAC/C,CAAC;CACL"}
+{"version":3,"file":"Tool.js","sourceRoot":"","sources":["../Tool.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAGpC,MAAM,OAAO,IAAI;IAiBJ;IACA;IACA;IACA;IAnBX,MAAM,CAAC,KAAK,CAAC,IAAI,CACf,WAAmB,EACnB,MAAiB,EACjB,CAA6C;QAE7C,OAAO,IAAI,IAAI,CACb,MAAM,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EACpC,WAAW,EACX,MAAM,EACN,KAAK,EAAE,GAAG,EAAE,EAAE;YACZ,OAAO,MAAM,CAAC,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAA;QACzD,CAAC,CACF,CAAA;IACH,CAAC;IAED,YACW,IAAY,EACZ,WAAmB,EACnB,eAAuB,EACvB,CAA+C;QAH/C,SAAI,GAAJ,IAAI,CAAQ;QACZ,gBAAW,GAAX,WAAW,CAAQ;QACnB,oBAAe,GAAf,eAAe,CAAQ;QACvB,MAAC,GAAD,CAAC,CAA8C;IACvD,CAAC;CACL"}

package/dist/TypeAdapter.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/TypeAdapter.js

@@ -0,0 +1,3 @@
+import { LiminalAssertionError } from "./LiminalAssertionError.js";
+import { Schema } from "./Schema.js";
+//# sourceMappingURL=TypeAdapter.js.map

package/dist/TypeAdapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeAdapter.js","sourceRoot":"","sources":["../TypeAdapter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA"}

package/dist/errors.d.ts

@@ -0,0 +1,9 @@
+import type { StrandStatus } from "./Strand.ts";
+export declare const LiminalErrorTag: unique symbol;
+export type LiminalErrorTag = typeof LiminalErrorTag;
+export declare class StrandRejectedError extends Error {
+    readonly status: StrandStatus.Rejected;
+    readonly brand: LiminalErrorTag;
+    readonly name: string;
+    constructor(status: StrandStatus.Rejected);
+}

package/dist/errors.js

@@ -0,0 +1,11 @@
+export const LiminalErrorTag = Symbol.for("liminal/LiminalError");
+export class StrandRejectedError extends Error {
+    status;
+    brand = LiminalErrorTag;
+    name = "StrandRejectedError";
+    constructor(status) {
+        super();
+        this.status = status;
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../errors.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA;AAGjE,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAGvB;IAFZ,KAAK,GAAoB,eAAe,CAAA;IAC/B,IAAI,GAAW,qBAAqB,CAAA;IACtD,YAAqB,MAA6B;QAChD,KAAK,EAAE,CAAA;QADY,WAAM,GAAN,MAAM,CAAuB;IAElD,CAAC;CACF"}

package/dist/index.d.ts

@@ -1,14 +1,15 @@
+export * from "./Config.ts";
 export * from "./Context.ts";
+export * from "./Definition.ts";
 export * from "./EventBase.ts";
-export * from "./Fiber.ts";
 export * as L from "./L/L.ts";
 export * from "./LEvent.ts";
+export * from "./LiminalAssertionError.ts";
 export * from "./Message.ts";
-export * from "./MessageRegistry.ts";
 export * from "./Model.ts";
 export * from "./ModelRegistry.ts";
 export * from "./Rune.ts";
-export * from "./Runic.ts";
-export * from "./StrandConfig.ts";
+export * from "./Schema.ts";
+export * from "./Strand.ts";
 export * from "./Tool.ts";
-export * from "./ToolRegistry.ts";
+export * from "./TypeAdapter.ts";

package/dist/index.js

@@ -1,15 +1,16 @@
+export * from "./Config.js";
 export * from "./Context.js";
+export * from "./Definition.js";
 export * from "./EventBase.js";
-export * from "./Fiber.js";
 export * as L from "./L/L.js";
 export * from "./LEvent.js";
+export * from "./LiminalAssertionError.js";
 export * from "./Message.js";
-export * from "./MessageRegistry.js";
 export * from "./Model.js";
 export * from "./ModelRegistry.js";
 export * from "./Rune.js";
-export * from "./Runic.js";
-export * from "./StrandConfig.js";
+export * from "./Schema.js";
+export * from "./Strand.js";
 export * from "./Tool.js";
-export * from "./ToolRegistry.js";
+export * from "./TypeAdapter.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAA;AAC5B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,YAAY,CAAA;AAC1B,OAAO,KAAK,CAAC,MAAM,UAAU,CAAA;AAC7B,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA;AAC5B,cAAc,sBAAsB,CAAA;AACpC,cAAc,YAAY,CAAA;AAC1B,cAAc,oBAAoB,CAAA;AAClC,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,cAAc,mBAAmB,CAAA;AACjC,cAAc,WAAW,CAAA;AACzB,cAAc,mBAAmB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,gBAAgB,CAAA;AAC9B,OAAO,KAAK,CAAC,MAAM,UAAU,CAAA;AAC7B,cAAc,aAAa,CAAA;AAC3B,cAAc,4BAA4B,CAAA;AAC1C,cAAc,cAAc,CAAA;AAC5B,cAAc,YAAY,CAAA;AAC1B,cAAc,oBAAoB,CAAA;AAClC,cAAc,WAAW,CAAA;AACzB,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,kBAAkB,CAAA"}