liminal 0.1.0-beta.25

package/esm/core/declareIntrinsic.js

@@ -0,0 +1,26 @@
+import { isTemplateStringsArray } from "../util/mod.js";
+import { inspect } from "./inspect.node.js";
+import { TypeKey } from "./Type.js";
+export function declare(declaration, annotations = []) {
+    return Object.assign(Type, inspect, {
+        [TypeKey]: true,
+        type: "Type",
+        trace: new Error().stack,
+        declaration,
+        annotations,
+        extract: () => {
+            throw 0;
+        },
+    });
+    function Type(maybeTemplate, ...parts) {
+        if (isTemplateStringsArray(maybeTemplate)) {
+            return declare(declaration, [...annotations, {
+                    type: "Template",
+                    template: maybeTemplate,
+                    parts: parts,
+                }]);
+        }
+        return declare(declaration, [maybeTemplate, ...annotations, ...parts]);
+    }
+}
+//# sourceMappingURL=declareIntrinsic.js.map

package/esm/core/declareIntrinsic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declareIntrinsic.js","sourceRoot":"","sources":["../../src/core/declareIntrinsic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAA;AAGvD,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAE3C,OAAO,EAAmC,OAAO,EAAE,MAAM,WAAW,CAAA;AAEpE,MAAM,UAAU,OAAO,CACrB,WAA4B,EAC5B,cAAiC,EAAE;IAEnC,OAAO,MAAM,CAAC,MAAM,CAClB,IAAI,EACJ,OAAO,EACP;QACE,CAAC,OAAO,CAAC,EAAE,IAAI;QACf,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC,KAAM;QACzB,WAAW;QACX,WAAW;QACX,OAAO,EAAE,GAAG,EAAE;YACZ,MAAM,CAAC,CAAA;QACT,CAAC;KAC6C,CACjD,CAAA;IAOD,SAAS,IAAI,CACX,aAAgD,EAChD,GAAG,KAAwB;QAE3B,IAAI,sBAAsB,CAAC,aAAa,CAAC,EAAE,CAAC;YAC1C,OAAO,OAAO,CAAC,WAAW,EAAE,CAAC,GAAG,WAAW,EAAE;oBAC3C,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,aAAa;oBACvB,KAAK,EAAE,KAA4B;iBACpC,CAAC,CAAC,CAAA;QACL,CAAC;QACD,OAAO,OAAO,CAAC,WAAW,EAAE,CAAC,aAAa,EAAE,GAAG,WAAW,EAAE,GAAG,KAAK,CAAC,CAAC,CAAA;IACxE,CAAC;AACH,CAAC"}

package/esm/core/deserialize.d.ts

@@ -0,0 +1,3 @@
+import type { Type } from "./Type.js";
+export declare function deserialize<T>(type: Type<T>, jsonText: string): T;
+//# sourceMappingURL=deserialize.d.ts.map

package/esm/core/deserialize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deserialize.d.ts","sourceRoot":"","sources":["../../src/core/deserialize.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAGrC,wBAAgB,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,CAEjE"}

package/esm/core/deserialize.js

@@ -0,0 +1,32 @@
+import { assert } from "../deps/jsr.io/@std/assert/1.0.10/mod.js";
+import { matchUnionMember } from "./assert.js";
+import { TypeVisitor } from "./TypeVisitor.js";
+export function deserialize(type, jsonText) {
+    return visit(JSON.parse(jsonText), type);
+}
+const visit = TypeVisitor({
+    hook(next, value, type) {
+        return next(value, type);
+    },
+    array(value, _1, element) {
+        return value.map((e) => visit(e, element));
+    },
+    object(value, _1, fields) {
+        return Object.fromEntries(Object.entries(fields).map(([k, v]) => [k, visit(value[k], v)]));
+    },
+    union(value, _1, ...members) {
+        const matched = matchUnionMember(members, value);
+        assert(matched);
+        return visit(value, matched);
+    },
+    ref(ctx, _1, get) {
+        return visit(ctx, get());
+    },
+    transform(ctx, _1, from, f) {
+        return f(visit(ctx, from));
+    },
+    fallback(value) {
+        return value;
+    },
+});
+//# sourceMappingURL=deserialize.js.map

package/esm/core/deserialize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deserialize.js","sourceRoot":"","sources":["../../src/core/deserialize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,0CAA0C,CAAA;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAE9C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,MAAM,UAAU,WAAW,CAAI,IAAa,EAAE,QAAgB;IAC5D,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAU,CAAA;AACnD,CAAC;AAED,MAAM,KAAK,GAAG,WAAW,CAAmB;IAC1C,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI;QACpB,OAAO,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IAC1B,CAAC;IACD,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,OAAO;QACtB,OAAQ,KAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;IAC3D,CAAC;IACD,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM;QACtB,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAE,KAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAC3E,CAAA;IACH,CAAC;IACD,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,OAAO;QACzB,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAE,CAAA;QACjD,MAAM,CAAC,OAAO,CAAC,CAAA;QACf,OAAO,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IAC9B,CAAC;IACD,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG;QACd,OAAO,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;IAC1B,CAAC;IACD,SAAS,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;QACxB,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;IAC5B,CAAC;IACD,QAAQ,CAAC,KAAK;QACZ,OAAO,KAAK,CAAA;IACd,CAAC;CACF,CAAC,CAAA"}

package/esm/core/display.d.ts

@@ -0,0 +1,3 @@
+import type { PartialType } from "./Type.js";
+export declare function display(type: PartialType): string;
+//# sourceMappingURL=display.d.ts.map

package/esm/core/display.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"display.d.ts","sourceRoot":"","sources":["../../src/core/display.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAG5C,wBAAgB,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAEjD"}

package/esm/core/display.js

@@ -0,0 +1,75 @@
+import { IntrinsicName } from "./intrinsics_util.js";
+import { TypeVisitor } from "./TypeVisitor.js";
+export function display(type) {
+    return visit(new DisplayContext(type, false, 0), type);
+}
+class DisplayContext {
+    constructor(rootType, visitedRoot, depth) {
+        Object.defineProperty(this, "rootType", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: rootType
+        });
+        Object.defineProperty(this, "visitedRoot", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: visitedRoot
+        });
+        Object.defineProperty(this, "depth", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: depth
+        });
+        Object.defineProperty(this, "indentCtx", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: () => new DisplayContext(this.rootType, this.visitedRoot, this.depth + 1)
+        });
+    }
+}
+const visit = TypeVisitor({
+    hook(next, ctx, type) {
+        if (type === ctx.rootType && ctx.visitedRoot) {
+            return "self";
+        }
+        return next(new DisplayContext(ctx.rootType, true, ctx.depth), type);
+    },
+    const(_0, _1, _2, value) {
+        if (typeof value === "string") {
+            return `"${escapeDoubleQuotes(value)}"`;
+        }
+        return JSON.stringify(value);
+    },
+    array(ctx, _1, element) {
+        return `array(${visit(ctx, element)})`;
+    },
+    object(ctx, _1, fields) {
+        return `object({\n${Object
+            .entries(fields)
+            .map(([k, v]) => `${"  ".repeat(ctx.depth + 1)}${escapeDoubleQuotes(k)}: ${visit(ctx.indentCtx(), v)}`)
+            .join(",\n")}\n${"  ".repeat(ctx.depth)}})`;
+    },
+    enum(_0, _1, ...values) {
+        return `enum("${values.map(escapeDoubleQuotes).join(`", "`)}")`;
+    },
+    union(ctx, _1, ...members) {
+        return `union(\n${"  ".repeat(ctx.depth + 1)}${members.map((member) => visit(ctx.indentCtx(), member)).join(`,\n${"  ".repeat(ctx.depth + 1)}`)}\n)`;
+    },
+    ref(ctx, _1, get) {
+        return visit(ctx, get());
+    },
+    transform(ctx, _1, from) {
+        return `f(${visit(ctx, from)})`;
+    },
+    fallback(_0, type) {
+        return IntrinsicName(type);
+    },
+});
+function escapeDoubleQuotes(value) {
+    return value.indexOf(`"`) !== -1 ? JSON.stringify(value) : value;
+}
+//# sourceMappingURL=display.js.map

package/esm/core/display.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"display.js","sourceRoot":"","sources":["../../src/core/display.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEpD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,MAAM,UAAU,OAAO,CAAC,IAAiB;IACvC,OAAO,KAAK,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AACxD,CAAC;AAED,MAAM,cAAc;IAClB,YACW,QAAqB,EACrB,WAAoB,EACpB,KAAa;QAFtB;;;;mBAAS,QAAQ;WAAa;QAC9B;;;;mBAAS,WAAW;WAAS;QAC7B;;;;mBAAS,KAAK;WAAQ;QAGxB;;;;mBAAY,GAAG,EAAE,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;WAAA;IAFlF,CAAC;CAGL;AAED,MAAM,KAAK,GAAG,WAAW,CAAyB;IAChD,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI;QAClB,IAAI,IAAI,KAAK,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YAC7C,OAAO,MAAM,CAAA;QACf,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAA;IACtE,CAAC;IACD,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK;QACrB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO,IAAI,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAA;QACzC,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IACD,KAAK,CAAC,GAAG,EAAE,EAAE,EAAE,OAAO;QACpB,OAAO,SAAS,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAA;IACxC,CAAC;IACD,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,MAAM;QACpB,OAAO,aACL,MAAM;aACH,OAAO,CAAC,MAAM,CAAC;aACf,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,CACtF;aACA,IAAI,CAAC,KAAK,CACf,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAA;IACjC,CAAC;IACD,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM;QACpB,OAAO,SAAS,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAA;IACjE,CAAC;IACD,KAAK,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,OAAO;QACvB,OAAO,WAAW,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,GAC1C,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAC1D,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAEtC,KAAK,CAAA;IACP,CAAC;IACD,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG;QACd,OAAO,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;IAC1B,CAAC;IACD,SAAS,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI;QACrB,OAAO,KAAK,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAA;IACjC,CAAC;IACD,QAAQ,CAAC,EAAE,EAAE,IAAI;QACf,OAAO,aAAa,CAAC,IAAI,CAAC,CAAA;IAC5B,CAAC;CACF,CAAC,CAAA;AAEF,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;AAClE,CAAC"}

package/esm/core/inspect.node.d.ts

@@ -0,0 +1,5 @@
+import type { PartialType } from "./Type.js";
+export declare const inspect: {
+    [x: symbol]: (this: PartialType, _0: unknown, _1: unknown, _inspect_: (value: unknown) => string) => string;
+};
+//# sourceMappingURL=inspect.node.d.ts.map

package/esm/core/inspect.node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inspect.node.d.ts","sourceRoot":"","sources":["../../src/core/inspect.node.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAE5C,eAAO,MAAM,OAAO;wBAEV,WAAW,MACb,OAAO,MACP,OAAO,aACA,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,KACpC,MAAM;CAGV,CAAA"}

package/esm/core/inspect.node.js

@@ -0,0 +1,7 @@
+import { display } from "./display.js";
+export const inspect = {
+    [Symbol.for("nodejs.util.inspect.custom")](_0, _1, _inspect_) {
+        return display(this);
+    },
+};
+//# sourceMappingURL=inspect.node.js.map

package/esm/core/inspect.node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inspect.node.js","sourceRoot":"","sources":["../../src/core/inspect.node.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAGtC,MAAM,CAAC,MAAM,OAAO,GAAG;IACrB,CAAC,MAAM,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC,CAExC,EAAW,EACX,EAAW,EACX,SAAqC;QAErC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAA;IACtB,CAAC;CACF,CAAA"}

package/esm/core/intrinsics.d.ts

@@ -0,0 +1,19 @@
+import type { PartialType, Type } from "./Type.js";
+export { null_ as null };
+declare const null_: Type<null>;
+export declare const boolean: Type<boolean>;
+export declare const integer: Type<number>;
+export declare const number: Type<number>;
+export declare const string: Type<string>;
+export { const_ as const };
+declare function const_<T, P extends symbol, const A extends T>(type: Type<T, P>, value: A): Type<A, P>;
+export declare function array<T, P extends symbol>(element: Type<T, P>): Type<Array<T>, P>;
+export declare function object<F extends Record<string, PartialType>>(fields: F): Type<{
+    [K in keyof F]: F[K]["T"];
+}, F[keyof F]["D"]>;
+export { enum_ as enum };
+declare function enum_<V extends Array<string>>(...values: V): Type<V[number]>;
+export declare function union<M extends Array<PartialType>>(...members: M): Type<M[number]["T"], M[number]["D"]>;
+export declare function ref<T, P extends symbol>(get: () => Type<T, P>): Type<T, P>;
+export declare function transform<T, P extends symbol, R>(from: Type<T, P>, f: (value: T) => R): Type<R, P>;
+//# sourceMappingURL=intrinsics.d.ts.map

package/esm/core/intrinsics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intrinsics.d.ts","sourceRoot":"","sources":["../../src/core/intrinsics.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAElD,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,QAAA,MAAM,KAAK,EAAE,IAAI,CAAC,IAAI,CAEpB,CAAA;AAEF,eAAO,MAAM,OAAO,EAAE,IAAI,CAAC,OAAO,CAEhC,CAAA;AAEF,eAAO,MAAM,OAAO,EAAE,IAAI,CAAC,MAAM,CAE/B,CAAA;AAEF,eAAO,MAAM,MAAM,EAAE,IAAI,CAAC,MAAM,CAE9B,CAAA;AAEF,eAAO,MAAM,MAAM,EAAE,IAAI,CAAC,MAAM,CAE9B,CAAA;AAEF,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAC1B,iBAAS,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,EACpD,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAChB,KAAK,EAAE,CAAC,GACP,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAKZ;AAGD,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAKjF;AAED,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,EAC1D,MAAM,EAAE,CAAC,GACR,IAAI,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;CAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAKtD;AAED,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,iBAAS,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAKrE;AAGD,wBAAgB,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,WAAW,CAAC,EAChD,GAAG,OAAO,EAAE,CAAC,GACZ,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAKtC;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAK1E;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,EAC9C,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAChB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GACjB,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAKZ"}

package/esm/core/intrinsics.js

@@ -0,0 +1,64 @@
+import { declare } from "./declareIntrinsic.js";
+export { null_ as null };
+const null_ = declare({
+    getAtom: () => null_,
+});
+export const boolean = declare({
+    getAtom: () => boolean,
+});
+export const integer = declare({
+    getAtom: () => integer,
+});
+export const number = declare({
+    getAtom: () => number,
+});
+export const string = declare({
+    getAtom: () => string,
+});
+export { const_ as const };
+function const_(type, value) {
+    return declare({
+        factory: const_,
+        args: [type, value],
+    });
+}
+Object.defineProperty(const_, "name", { value: "const" });
+export function array(element) {
+    return declare({
+        factory: array,
+        args: [element],
+    });
+}
+export function object(fields) {
+    return declare({
+        factory: object,
+        args: [Object.fromEntries(Object.keys(fields).toSorted().map((key) => [key, fields[key]]))],
+    });
+}
+export { enum_ as enum };
+function enum_(...values) {
+    return declare({
+        factory: enum_,
+        args: values.toSorted(),
+    });
+}
+Object.defineProperty(enum_, "name", { value: "enum" });
+export function union(...members) {
+    return declare({
+        factory: union,
+        args: members,
+    });
+}
+export function ref(get) {
+    return declare({
+        factory: ref,
+        args: [get],
+    });
+}
+export function transform(from, f) {
+    return declare({
+        factory: transform,
+        args: [from, f],
+    });
+}
+//# sourceMappingURL=intrinsics.js.map

package/esm/core/intrinsics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intrinsics.js","sourceRoot":"","sources":["../../src/core/intrinsics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAA;AAG/C,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,MAAM,KAAK,GAAe,OAAO,CAAC;IAChC,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK;CACrB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,OAAO,GAAkB,OAAO,CAAC;IAC5C,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO;CACvB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,OAAO,GAAiB,OAAO,CAAC;IAC3C,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO;CACvB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAiB,OAAO,CAAC;IAC1C,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM;CACtB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAiB,OAAO,CAAC;IAC1C,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM;CACtB,CAAC,CAAA;AAEF,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAC1B,SAAS,MAAM,CACb,IAAgB,EAChB,KAAQ;IAER,OAAO,OAAO,CAAC;QACb,OAAO,EAAE,MAAM;QACf,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;KACpB,CAAC,CAAA;AACJ,CAAC;AACD,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;AAEzD,MAAM,UAAU,KAAK,CAAsB,OAAmB;IAC5D,OAAO,OAAO,CAAC;QACb,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,CAAC,OAAO,CAAC;KAChB,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,MAAS;IAET,OAAO,OAAO,CAAC;QACb,OAAO,EAAE,MAAM;QACf,IAAI,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;KAC5F,CAAC,CAAA;AACJ,CAAC;AAED,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,SAAS,KAAK,CAA0B,GAAG,MAAS;IAClD,OAAO,OAAO,CAAC;QACb,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE;KACxB,CAAC,CAAA;AACJ,CAAC;AACD,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;AAEvD,MAAM,UAAU,KAAK,CACnB,GAAG,OAAU;IAEb,OAAO,OAAO,CAAC;QACb,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,OAAO;KACd,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,GAAG,CAAsB,GAAqB;IAC5D,OAAO,OAAO,CAAC;QACb,OAAO,EAAE,GAAG;QACZ,IAAI,EAAE,CAAC,GAAG,CAAC;KACZ,CAAU,CAAA;AACb,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,IAAgB,EAChB,CAAkB;IAElB,OAAO,OAAO,CAAC;QACb,OAAO,EAAE,SAAS;QAClB,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;KAChB,CAAC,CAAA;AACJ,CAAC"}

package/esm/core/intrinsics_util.d.ts

@@ -0,0 +1,6 @@
+import * as I from "./intrinsics.js";
+import type { PartialType } from "./Type.js";
+export type Intrinsics = typeof I;
+export type IntrinsicName = keyof Intrinsics;
+export declare function IntrinsicName(type: PartialType): IntrinsicName;
+//# sourceMappingURL=intrinsics_util.d.ts.map

package/esm/core/intrinsics_util.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intrinsics_util.d.ts","sourceRoot":"","sources":["../../src/core/intrinsics_util.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,iBAAiB,CAAA;AACpC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAE5C,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,CAAA;AACjC,MAAM,MAAM,aAAa,GAAG,MAAM,UAAU,CAAA;AAE5C,wBAAgB,aAAa,CAAC,IAAI,EAAE,WAAW,GAAG,aAAa,CA0C9D"}

package/esm/core/intrinsics_util.js

@@ -0,0 +1,46 @@
+import { unreachable } from "../deps/jsr.io/@std/assert/1.0.10/mod.js";
+import * as I from "./intrinsics.js";
+export function IntrinsicName(type) {
+    switch (type.declaration.getAtom?.()) {
+        case I.null: {
+            return "null";
+        }
+        case I.boolean: {
+            return "boolean";
+        }
+        case I.number: {
+            return "number";
+        }
+        case I.integer: {
+            return "integer";
+        }
+        case I.string: {
+            return "string";
+        }
+    }
+    switch (type.declaration.factory) {
+        case I.const: {
+            return "const";
+        }
+        case I.array: {
+            return "array";
+        }
+        case I.object: {
+            return "object";
+        }
+        case I.enum: {
+            return "enum";
+        }
+        case I.union: {
+            return "union";
+        }
+        case I.ref: {
+            return "ref";
+        }
+        case I.transform: {
+            return "transform";
+        }
+    }
+    unreachable();
+}
+//# sourceMappingURL=intrinsics_util.js.map

package/esm/core/intrinsics_util.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intrinsics_util.js","sourceRoot":"","sources":["../../src/core/intrinsics_util.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,0CAA0C,CAAA;AACtE,OAAO,KAAK,CAAC,MAAM,iBAAiB,CAAA;AAMpC,MAAM,UAAU,aAAa,CAAC,IAAiB;IAC7C,QAAQ,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC;QACrC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACZ,OAAO,MAAM,CAAA;QACf,CAAC;QACD,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACf,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACd,OAAO,QAAQ,CAAA;QACjB,CAAC;QACD,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACf,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACd,OAAO,QAAQ,CAAA;QACjB,CAAC;IACH,CAAC;IACD,QAAQ,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;QACjC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YACb,OAAO,OAAO,CAAA;QAChB,CAAC;QACD,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YACb,OAAO,OAAO,CAAA;QAChB,CAAC;QACD,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACd,OAAO,QAAQ,CAAA;QACjB,CAAC;QACD,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACZ,OAAO,MAAM,CAAA;QACf,CAAC;QACD,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YACb,OAAO,OAAO,CAAA;QAChB,CAAC;QACD,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACX,OAAO,KAAK,CAAA;QACd,CAAC;QACD,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YACjB,OAAO,WAAW,CAAA;QACpB,CAAC;IACH,CAAC;IACD,WAAW,EAAE,CAAA;AACf,CAAC"}

package/esm/core/isType.d.ts

@@ -0,0 +1,4 @@
+import { IntrinsicName } from "./intrinsics_util.js";
+import { type PartialType } from "./Type.js";
+export declare function isType<T>(inQuestion: unknown, ...intrinsicNames: Array<IntrinsicName>): inQuestion is PartialType<T>;
+//# sourceMappingURL=isType.d.ts.map

package/esm/core/isType.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"isType.d.ts","sourceRoot":"","sources":["../../src/core/isType.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACpD,OAAO,EAAE,KAAK,WAAW,EAAW,MAAM,WAAW,CAAA;AAErD,wBAAgB,MAAM,CAAC,CAAC,EACtB,UAAU,EAAE,OAAO,EACnB,GAAG,cAAc,EAAE,KAAK,CAAC,aAAa,CAAC,GACtC,UAAU,IAAI,WAAW,CAAC,CAAC,CAAC,CAa9B"}

package/esm/core/isType.js

@@ -0,0 +1,18 @@
+import { IntrinsicName } from "./intrinsics_util.js";
+import { TypeKey } from "./Type.js";
+export function isType(inQuestion, ...intrinsicNames) {
+    if (typeof inQuestion === "function" && TypeKey in inQuestion) {
+        if (intrinsicNames.length) {
+            for (const intrinsicName of intrinsicNames) {
+                if (IntrinsicName(inQuestion) === intrinsicName) {
+                    return true;
+                }
+            }
+        }
+        else {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=isType.js.map

package/esm/core/isType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isType.js","sourceRoot":"","sources":["../../src/core/isType.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACpD,OAAO,EAAoB,OAAO,EAAE,MAAM,WAAW,CAAA;AAErD,MAAM,UAAU,MAAM,CACpB,UAAmB,EACnB,GAAG,cAAoC;IAEvC,IAAI,OAAO,UAAU,KAAK,UAAU,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;QAC9D,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC;YAC1B,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;gBAC3C,IAAI,aAAa,CAAC,UAAkC,CAAC,KAAK,aAAa,EAAE,CAAC;oBACxE,OAAO,IAAI,CAAA;gBACb,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC"}

package/esm/core/mod.d.ts

@@ -0,0 +1,13 @@
+export * as L from "./L.js";
+export * from "./assert.js";
+export * from "./DescriptionContext.js";
+export * from "./deserialize.js";
+export * from "./display.js";
+export * from "./intrinsics.js";
+export * from "./intrinsics_util.js";
+export * from "./isType.js";
+export * from "./ReduceDependencies.js";
+export * from "./signature.js";
+export * from "./Type.js";
+export * from "./TypeVisitor.js";
+//# sourceMappingURL=mod.d.ts.map

package/esm/core/mod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../src/core/mod.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAA;AAI3B,cAAc,aAAa,CAAA;AAC3B,cAAc,yBAAyB,CAAA;AACvC,cAAc,kBAAkB,CAAA;AAChC,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,sBAAsB,CAAA;AACpC,cAAc,aAAa,CAAA;AAC3B,cAAc,yBAAyB,CAAA;AACvC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,WAAW,CAAA;AACzB,cAAc,kBAAkB,CAAA"}

package/esm/core/mod.js

@@ -0,0 +1,14 @@
+export * as L from "./L.js";
+// moderate --exclude annotations declareIntrinsic.ts inspect.ts L.ts utility
+export * from "./assert.js";
+export * from "./DescriptionContext.js";
+export * from "./deserialize.js";
+export * from "./display.js";
+export * from "./intrinsics.js";
+export * from "./intrinsics_util.js";
+export * from "./isType.js";
+export * from "./ReduceDependencies.js";
+export * from "./signature.js";
+export * from "./Type.js";
+export * from "./TypeVisitor.js";
+//# sourceMappingURL=mod.js.map

package/esm/core/mod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../src/core/mod.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,QAAQ,CAAA;AAE3B,6EAA6E;AAE7E,cAAc,aAAa,CAAA;AAC3B,cAAc,yBAAyB,CAAA;AACvC,cAAc,kBAAkB,CAAA;AAChC,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,sBAAsB,CAAA;AACpC,cAAc,aAAa,CAAA;AAC3B,cAAc,yBAAyB,CAAA;AACvC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,WAAW,CAAA;AACzB,cAAc,kBAAkB,CAAA"}

package/esm/core/signature.d.ts

@@ -0,0 +1,4 @@
+import type { PartialType } from "./Type.js";
+export declare function signature(type: PartialType): string;
+export declare function signatureHash(type: PartialType): Promise<string>;
+//# sourceMappingURL=signature.d.ts.map

package/esm/core/signature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signature.d.ts","sourceRoot":"","sources":["../../src/core/signature.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAG5C,wBAAgB,SAAS,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAEnD;AAOD,wBAAgB,aAAa,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAEhE"}

package/esm/core/signature.js

@@ -0,0 +1,93 @@
+import { encodeBase32 } from "../deps/jsr.io/@std/encoding/1.0.6/mod.js";
+import { WeakMemo } from "../util/WeakMemo.js";
+import { IntrinsicName } from "./intrinsics_util.js";
+import { TypeVisitor } from "./TypeVisitor.js";
+export function signature(type) {
+    return signatureMemo.getOrInit(type);
+}
+const signatureMemo = new WeakMemo((type) => {
+    const ctx = new SignatureVisitorContext();
+    visit(ctx, type);
+    return `{\n  ${Object.entries(ctx.defs).map(([k, v]) => `${k}: ${v}`).join("\n  ")}\n}`;
+});
+export function signatureHash(type) {
+    return signatureHashMemo.getOrInit(type);
+}
+const signatureHashMemo = new WeakMemo((type) => crypto.subtle
+    .digest("SHA-256", new TextEncoder().encode(signatureMemo.getOrInit(type)))
+    .then(encodeBase32)
+    .then((v) => v.slice(0, -4)));
+class SignatureVisitorContext {
+    constructor() {
+        Object.defineProperty(this, "ids", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: new Map()
+        });
+        Object.defineProperty(this, "defs", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: {}
+        });
+    }
+}
+const visit = TypeVisitor({
+    hook(next, ctx, type) {
+        const { ids, defs } = ctx;
+        switch (IntrinsicName(type)) {
+            case "array":
+            case "object":
+            case "union": {
+                let id = ids.get(type);
+                if (id === undefined) {
+                    id = ids.size.toString();
+                    ids.set(type, id);
+                }
+                if (id in defs) {
+                    return `i(${id})`;
+                }
+                defs[id] = undefined;
+                const signature = next(ctx, type);
+                defs[id] = signature;
+                return `i(${id})`;
+            }
+        }
+        return next(ctx, type);
+    },
+    const(_0, _1, _2, value) {
+        if (typeof value === "string") {
+            return `"${escapeDoubleQuotes(value)}"`;
+        }
+        return JSON.stringify(value);
+    },
+    array(ctx, _1, element) {
+        return `array(${visit(ctx, element)})`;
+    },
+    object(ctx, _1, fields) {
+        return `object({ ${Object
+            .entries(fields)
+            .map(([k, v]) => `${escapeDoubleQuotes(k)}: ${visit(ctx, v)}`)
+            .join(", ")} })`;
+    },
+    enum(_0, _1, ...values) {
+        return `enum("${values.map(escapeDoubleQuotes).join(`", "`)}")`;
+    },
+    union(ctx, _1, ...members) {
+        return `union(${members.map((member) => visit(ctx, member)).join(", ")})`;
+    },
+    ref(ctx, _1, get) {
+        return visit(ctx, get());
+    },
+    transform(ctx, _1, from) {
+        return visit(ctx, from);
+    },
+    fallback(_0, type) {
+        return IntrinsicName(type);
+    },
+});
+function escapeDoubleQuotes(value) {
+    return value.indexOf(`"`) !== -1 ? JSON.stringify(value) : value;
+}
+//# sourceMappingURL=signature.js.map

package/esm/core/signature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signature.js","sourceRoot":"","sources":["../../src/core/signature.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,2CAA2C,CAAA;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEpD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,MAAM,UAAU,SAAS,CAAC,IAAiB;IACzC,OAAO,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;AACtC,CAAC;AACD,MAAM,aAAa,GAAG,IAAI,QAAQ,CAAsB,CAAC,IAAI,EAAE,EAAE;IAC/D,MAAM,GAAG,GAAG,IAAI,uBAAuB,EAAE,CAAA;IACzC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IAChB,OAAO,QAAQ,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAA;AACzF,CAAC,CAAC,CAAA;AAEF,MAAM,UAAU,aAAa,CAAC,IAAiB;IAC7C,OAAO,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;AAC1C,CAAC;AACD,MAAM,iBAAiB,GAAG,IAAI,QAAQ,CAA+B,CAAC,IAAI,EAAE,EAAE,CAC5E,MAAM,CAAC,MAAM;KACV,MAAM,CAAC,SAAS,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;KAC1E,IAAI,CAAC,YAAY,CAAC;KAClB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAC/B,CAAA;AAED,MAAM,uBAAuB;IAA7B;QACE;;;;mBAAgC,IAAI,GAAG,EAAE;WAAA;QACzC;;;;mBAA2C,EAAE;WAAA;IAC/C,CAAC;CAAA;AAED,MAAM,KAAK,GAAG,WAAW,CAAkC;IACzD,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI;QAClB,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,GAAG,CAAA;QACzB,QAAQ,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,KAAK,OAAO,CAAC;YACb,KAAK,QAAQ,CAAC;YACd,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBACtB,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;oBACrB,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAA;oBACxB,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;gBACnB,CAAC;gBACD,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;oBACf,OAAO,KAAK,EAAE,GAAG,CAAA;gBACnB,CAAC;gBACD,IAAI,CAAC,EAAE,CAAC,GAAG,SAAS,CAAA;gBACpB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;gBACjC,IAAI,CAAC,EAAE,CAAC,GAAG,SAAS,CAAA;gBACpB,OAAO,KAAK,EAAE,GAAG,CAAA;YACnB,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IACxB,CAAC;IACD,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK;QACrB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO,IAAI,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAA;QACzC,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IACD,KAAK,CAAC,GAAG,EAAE,EAAE,EAAE,OAAO;QACpB,OAAO,SAAS,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAA;IACxC,CAAC;IACD,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,MAAM;QACpB,OAAO,YACL,MAAM;aACH,OAAO,CAAC,MAAM,CAAC;aACf,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;aAC7D,IAAI,CAAC,IAAI,CACd,KAAK,CAAA;IACP,CAAC;IACD,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM;QACpB,OAAO,SAAS,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAA;IACjE,CAAC;IACD,KAAK,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,OAAO;QACvB,OAAO,SAAS,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;IAC3E,CAAC;IACD,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG;QACd,OAAO,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;IAC1B,CAAC;IACD,SAAS,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI;QACrB,OAAO,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IACzB,CAAC;IACD,QAAQ,CAAC,EAAE,EAAE,IAAI;QACf,OAAO,aAAa,CAAC,IAAI,CAAC,CAAA;IAC5B,CAAC;CACF,CAAC,CAAA;AAEF,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;AAClE,CAAC"}

package/esm/core/utility/Flatten.d.ts

@@ -0,0 +1,8 @@
+import type { PartialType, Type } from "../Type.js";
+export declare function Flattened<A extends Array<PartialType<Array<unknown>>>>(...sources: A): Type<NativeFlattened<A>, A[number]["D"]>;
+type NativeFlattened<A extends Array<PartialType<Array<unknown>>>> = A extends [
+    infer E0 extends PartialType,
+    ...infer ERest extends PartialType[]
+] ? [...E0["T"], ...NativeFlattened<ERest>] : [];
+export {};
+//# sourceMappingURL=Flatten.d.ts.map

package/esm/core/utility/Flatten.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Flatten.d.ts","sourceRoot":"","sources":["../../../src/core/utility/Flatten.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAGnD,wBAAgB,SAAS,CAAC,CAAC,SAAS,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EACpE,GAAG,OAAO,EAAE,CAAC,GACZ,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAE1C;AAED,KAAK,eAAe,CAAC,CAAC,SAAS,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SACpE;IAAC,MAAM,EAAE,SAAS,WAAW;IAAE,GAAG,MAAM,KAAK,SAAS,WAAW,EAAE;CAAC,GAClE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,GACvC,EAAE,CAAA"}

package/esm/core/utility/Flatten.js

@@ -0,0 +1,6 @@
+import * as I from "../intrinsics.js";
+import { Tuple } from "./Tuple.js";
+export function Flattened(...sources) {
+    return I.transform(Tuple(...sources), (value) => value.flat());
+}
+//# sourceMappingURL=Flatten.js.map

package/esm/core/utility/Flatten.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Flatten.js","sourceRoot":"","sources":["../../../src/core/utility/Flatten.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,kBAAkB,CAAA;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAElC,MAAM,UAAU,SAAS,CACvB,GAAG,OAAU;IAEb,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAU,CAAA;AACzE,CAAC"}

package/esm/core/utility/Intersection.d.ts

@@ -0,0 +1,12 @@
+import type { Expand, U2I } from "../../util/mod.js";
+import type { PartialType, Type } from "../Type.js";
+export declare function Intersection<S extends Array<PartialType>>(...sources: Ensure<S>): Type<Expand<U2I<S[number]["T"]>>, S[number]["D"]>;
+type Ensure<S extends Array<PartialType>> = [ConflictingKey<S>] extends [never] ? S : never;
+type ConflictingKey<S extends Array<PartialType>, V extends string = never> = S extends [
+    infer E0 extends PartialType,
+    ...infer ERest extends Array<PartialType>
+] ? keyof {
+    [K in keyof E0["T"] as K extends V ? K : never]: true;
+} | ConflictingKey<ERest, V | Extract<keyof E0["T"], string>> : never;
+export {};
+//# sourceMappingURL=Intersection.d.ts.map

package/esm/core/utility/Intersection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Intersection.d.ts","sourceRoot":"","sources":["../../../src/core/utility/Intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAA;AAEpD,OAAO,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAEnD,wBAAgB,YAAY,CAAC,CAAC,SAAS,KAAK,CAAC,WAAW,CAAC,EACvD,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,GACpB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAMnD;AAED,KAAK,MAAM,CAAC,CAAC,SAAS,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAC/E,KAAK,CAAA;AAET,KAAK,cAAc,CAAC,CAAC,SAAS,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK,IAAI,CAAC,SAAS;IACtF,MAAM,EAAE,SAAS,WAAW;IAC5B,GAAG,MAAM,KAAK,SAAS,KAAK,CAAC,WAAW,CAAC;CAC1C,GACK,MAAM;KAAG,CAAC,IAAI,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,IAAI;CAAE,GAC/D,cAAc,CAAC,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,GAC3D,KAAK,CAAA"}

package/esm/core/utility/Intersection.js

@@ -0,0 +1,5 @@
+import * as I from "../intrinsics.js";
+export function Intersection(...sources) {
+    return I.object(Object.fromEntries(sources.flatMap((source) => Object.entries(source.declaration.args[0]))));
+}
+//# sourceMappingURL=Intersection.js.map

package/esm/core/utility/Intersection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Intersection.js","sourceRoot":"","sources":["../../../src/core/utility/Intersection.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,kBAAkB,CAAA;AAGrC,MAAM,UAAU,YAAY,CAC1B,GAAG,OAAkB;IAErB,OAAO,CAAC,CAAC,MAAM,CACb,MAAM,CAAC,WAAW,CAChB,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,IAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CACjE,CACX,CAAA;AACH,CAAC"}

package/esm/core/utility/Option.d.ts

@@ -0,0 +1,3 @@
+import type { Type } from "../Type.js";
+export declare function Option<V, P extends symbol>(some: Type<V, P>): Type<V | null, P>;
+//# sourceMappingURL=Option.d.ts.map

package/esm/core/utility/Option.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../../src/core/utility/Option.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAEtC,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAE/E"}

package/esm/core/utility/Option.js

@@ -0,0 +1,5 @@
+import * as I from "../intrinsics.js";
+export function Option(some) {
+    return I.union(I.null, some);
+}
+//# sourceMappingURL=Option.js.map

package/esm/core/utility/Option.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Option.js","sourceRoot":"","sources":["../../../src/core/utility/Option.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,kBAAkB,CAAA;AAGrC,MAAM,UAAU,MAAM,CAAsB,IAAgB;IAC1D,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC"}

package/esm/core/utility/Record.d.ts

@@ -0,0 +1,3 @@
+import type { Type } from "../Type.js";
+export declare function Record<V, P extends symbol>(value: Type<V, P>): Type<Record<string, V>, P>;
+//# sourceMappingURL=Record.d.ts.map

package/esm/core/utility/Record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Record.d.ts","sourceRoot":"","sources":["../../../src/core/utility/Record.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAGtC,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAEzF"}

package/esm/core/utility/Record.js

@@ -0,0 +1,6 @@
+import * as I from "../intrinsics.js";
+import { Tuple } from "./Tuple.js";
+export function Record(value) {
+    return I.transform(I.array(Tuple(I.string, value)), Object.fromEntries);
+}
+//# sourceMappingURL=Record.js.map