liminal 0.1.0-beta.25

package/esm/core/DescriptionContext.d.ts

@@ -0,0 +1,11 @@
+import type { PartialType } from "./mod.js";
+import type { Type } from "./Type.js";
+export declare function description(type: Type<unknown>): string | undefined;
+export declare class DescriptionContext {
+    readonly pins: Map<PartialType, string>;
+    readonly args: Record<symbol, unknown>;
+    constructor(pins?: Map<PartialType, string>, args?: Record<symbol, unknown>);
+    pin: (type: PartialType) => string;
+    format: (type: Type<unknown>) => undefined | string;
+}
+//# sourceMappingURL=DescriptionContext.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DescriptionContext.d.ts","sourceRoot":"","sources":["../../src/core/DescriptionContext.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC,wBAAgB,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,MAAM,GAAG,SAAS,CAEnE;AAED,qBAAa,kBAAkB;IAE3B,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;gBAD7B,IAAI,GAAE,GAAG,CAAC,WAAW,EAAE,MAAM,CAAa,EAC1C,IAAI,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM;IAG7C,GAAG,SAAU,WAAW,KAAG,MAAM,CAOhC;IAED,MAAM,SAAU,IAAI,CAAC,OAAO,CAAC,KAAG,SAAS,GAAG,MAAM,CA+DjD;CACF"}

package/esm/core/DescriptionContext.js

@@ -0,0 +1,103 @@
+import { recombine } from "../util/mod.js";
+import { DescriptionParamKey } from "./annotations/mod.js";
+export function description(type) {
+    return new DescriptionContext(new Map(), {}).format(type);
+}
+export class DescriptionContext {
+    constructor(pins = new Map(), args = {}) {
+        Object.defineProperty(this, "pins", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: pins
+        });
+        Object.defineProperty(this, "args", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: args
+        });
+        Object.defineProperty(this, "pin", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: (type) => {
+                let pin = this.pins.get(type);
+                if (!pin) {
+                    pin = this.pins.size.toString();
+                    this.pins.set(type, pin);
+                }
+                return pin;
+            }
+        });
+        Object.defineProperty(this, "format", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: (type) => {
+                const assertionDescriptions = [];
+                let segments = [];
+                type.annotations.forEach((annotation) => {
+                    if (annotation) {
+                        if (typeof annotation === "string") {
+                            segments.push(annotation);
+                        }
+                        else {
+                            switch (annotation.type) {
+                                case "Template": {
+                                    segments.push(recombine(annotation.template, annotation.parts.map((part) => {
+                                        if (typeof part === "string") {
+                                            return part;
+                                        }
+                                        switch (part.type) {
+                                            case "Param": {
+                                                return this.args[part.key];
+                                            }
+                                            case "Type": {
+                                                return this.pin(part);
+                                            }
+                                        }
+                                    })));
+                                    break;
+                                }
+                                case "Type": {
+                                    segments.push(this.pin(annotation));
+                                    break;
+                                }
+                                case "Param": {
+                                    const arg = this.args[annotation.key];
+                                    if (typeof arg === "string") {
+                                        segments.push(arg);
+                                    }
+                                    else if (typeof arg === "object" && arg !== null && DescriptionParamKey in arg) {
+                                        segments.push(arg[DescriptionParamKey]);
+                                    }
+                                    break;
+                                }
+                                case "Arg": {
+                                    this.args[annotation.key] = annotation.value;
+                                    break;
+                                }
+                                case "Assertion": {
+                                    assertionDescriptions.push(annotation.description);
+                                    break;
+                                }
+                            }
+                        }
+                    }
+                });
+                segments = [
+                    ...segments,
+                    ...assertionDescriptions.length
+                        ? [
+                            "\n\nEnsure:\n\n",
+                            ...assertionDescriptions.map((d) => `- ${d}`).join("\n"),
+                        ]
+                        : [],
+                ];
+                return segments.length ? segments.join(" ") : undefined;
+            }
+        });
+    }
+}
+//# sourceMappingURL=DescriptionContext.js.map

package/esm/core/DescriptionContext.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DescriptionContext.js","sourceRoot":"","sources":["../../src/core/DescriptionContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAI1D,MAAM,UAAU,WAAW,CAAC,IAAmB;IAC7C,OAAO,IAAI,kBAAkB,CAAC,IAAI,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;AAC3D,CAAC;AAED,MAAM,OAAO,kBAAkB;IAC7B,YACW,OAAiC,IAAI,GAAG,EAAE,EAC1C,OAAgC,EAAE;QAD3C;;;;mBAAS,IAAI;WAAsC;QACnD;;;;mBAAS,IAAI;WAA8B;QAG7C;;;;mBAAM,CAAC,IAAiB,EAAU,EAAE;gBAClC,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBAC7B,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAA;oBAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;gBAC1B,CAAC;gBACD,OAAO,GAAG,CAAA;YACZ,CAAC;WAAA;QAED;;;;mBAAS,CAAC,IAAmB,EAAsB,EAAE;gBACnD,MAAM,qBAAqB,GAAkB,EAAE,CAAA;gBAC/C,IAAI,QAAQ,GAAkB,EAAE,CAAA;gBAChC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;oBACtC,IAAI,UAAU,EAAE,CAAC;wBACf,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;4BACnC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;wBAC3B,CAAC;6BAAM,CAAC;4BACN,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;gCACxB,KAAK,UAAU,CAAC,CAAC,CAAC;oCAChB,QAAQ,CAAC,IAAI,CAAC,SAAS,CACrB,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;wCAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;4CAC7B,OAAO,IAAI,CAAA;wCACb,CAAC;wCACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;4CAClB,KAAK,OAAO,CAAC,CAAC,CAAC;gDACb,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;4CAC5B,CAAC;4CACD,KAAK,MAAM,CAAC,CAAC,CAAC;gDACZ,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;4CACvB,CAAC;wCACH,CAAC;oCACH,CAAC,CAAC,CACH,CAAC,CAAA;oCACF,MAAK;gCACP,CAAC;gCACD,KAAK,MAAM,CAAC,CAAC,CAAC;oCACZ,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAA;oCACnC,MAAK;gCACP,CAAC;gCACD,KAAK,OAAO,CAAC,CAAC,CAAC;oCACb,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;oCACrC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;wCAC5B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;oCACpB,CAAC;yCAAM,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,mBAAmB,IAAI,GAAG,EAAE,CAAC;wCACjF,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,mBAAmB,CAAW,CAAC,CAAA;oCACnD,CAAC;oCACD,MAAK;gCACP,CAAC;gCACD,KAAK,KAAK,CAAC,CAAC,CAAC;oCACX,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,KAAK,CAAA;oCAC5C,MAAK;gCACP,CAAC;gCACD,KAAK,WAAW,CAAC,CAAC,CAAC;oCACjB,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;oCAClD,MAAK;gCACP,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC,CAAC,CAAA;gBACF,QAAQ,GAAG;oBACT,GAAG,QAAQ;oBACX,GAAG,qBAAqB,CAAC,MAAM;wBAC7B,CAAC,CAAC;4BACA,iBAAiB;4BACjB,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;yBACzD;wBACD,CAAC,CAAC,EAAE;iBACP,CAAA;gBACD,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YACzD,CAAC;WAAA;IA1EE,CAAC;CA2EL"}

package/esm/core/L.d.ts

@@ -0,0 +1,4 @@
+export * from "./annotations/mod.js";
+export * from "./intrinsics.js";
+export * from "./utility/mod.js";
+//# sourceMappingURL=L.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"L.d.ts","sourceRoot":"","sources":["../../src/core/L.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAA;AACpC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,kBAAkB,CAAA"}

package/esm/core/L.js

@@ -0,0 +1,4 @@
+export * from "./annotations/mod.js";
+export * from "./intrinsics.js";
+export * from "./utility/mod.js";
+//# sourceMappingURL=L.js.map

package/esm/core/L.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"L.js","sourceRoot":"","sources":["../../src/core/L.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAA;AACpC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,kBAAkB,CAAA"}

package/esm/core/ReduceDependencies.d.ts

@@ -0,0 +1,6 @@
+import type { Arg, Param } from "./annotations/mod.js";
+export type ReduceDependencies<D extends symbol, A extends Array<unknown>> = A extends [
+    infer Part0,
+    ...infer PartRest
+] ? ReduceDependencies<Part0 extends Param<infer K> ? D | K : Part0 extends Arg<infer K> ? Exclude<D, K> : D, PartRest> : D;
+//# sourceMappingURL=ReduceDependencies.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ReduceDependencies.d.ts","sourceRoot":"","sources":["../../src/core/ReduceDependencies.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAA;AAGtD,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAC5E;IAAC,MAAM,KAAK;IAAE,GAAG,MAAM,QAAQ;CAAC,GAAG,kBAAkB,CACnD,KAAK,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EACrF,QAAQ,CACT,GACC,CAAC,CAAA"}

package/esm/core/ReduceDependencies.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ReduceDependencies.js.map

package/esm/core/ReduceDependencies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ReduceDependencies.js","sourceRoot":"","sources":["../../src/core/ReduceDependencies.ts"],"names":[],"mappings":""}

package/esm/core/Type.d.ts

@@ -0,0 +1,30 @@
+import type { Annotation } from "./annotations/Annotation.js";
+import type { Param, TemplatePart } from "./annotations/mod.js";
+import type { ReduceDependencies } from "./ReduceDependencies.js";
+export interface Type<T, D extends symbol = never> {
+    <A extends Array<Annotation<T>>>(...annotations: A | Array<Annotation<T>> & {
+        length: never;
+    }): Type<T, ReduceDependencies<D, A>>;
+    <A extends Array<TemplatePart>>(template: TemplateStringsArray, ...descriptionParts: A): Type<T, ReduceDependencies<D, A>>;
+    T: T;
+    D: D;
+    [TypeKey]: true;
+    type: "Type";
+    trace: string;
+    declaration: TypeDeclaration;
+    annotations: Array<Annotation>;
+    extract: <K extends symbol, V>(param: Param<K, V>) => Array<V>;
+}
+export type TypeDeclaration = {
+    getAtom: () => PartialType;
+    factory?: never;
+    args?: never;
+} | {
+    getAtom?: never;
+    factory: (...args: any) => PartialType;
+    args: unknown[];
+};
+export type PartialType<T = any> = Type<T, symbol>;
+export type DerivedType<T, X extends Array<PartialType>, P extends symbol = never> = [Type<T, P | X[number]["D"]>][0];
+export declare const TypeKey: unique symbol;
+//# sourceMappingURL=Type.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../src/core/Type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAEjE,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,KAAK;IAC/C,CAAC,CAAC,SAAS,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAC7B,GAAG,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG;QAAE,MAAM,EAAE,KAAK,CAAA;KAAE,GAC3D,IAAI,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAEpC,CAAC,CAAC,SAAS,KAAK,CAAC,YAAY,CAAC,EAC5B,QAAQ,EAAE,oBAAoB,EAC9B,GAAG,gBAAgB,EAAE,CAAC,GACrB,IAAI,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAEpC,CAAC,EAAE,CAAC,CAAA;IACJ,CAAC,EAAE,CAAC,CAAA;IAEJ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,WAAW,EAAE,eAAe,CAAA;IAC5B,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,CAAA;IAE9B,OAAO,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAA;CAC/D;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,OAAO,EAAE,MAAM,WAAW,CAAA;IAC1B,OAAO,CAAC,EAAE,KAAK,CAAA;IACf,IAAI,CAAC,EAAE,KAAK,CAAA;CACb,GAAG;IACF,OAAO,CAAC,EAAE,KAAK,CAAA;IACf,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,WAAW,CAAA;IACtC,IAAI,EAAE,OAAO,EAAE,CAAA;CAChB,CAAA;AAED,MAAM,MAAM,WAAW,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;AAElD,MAAM,MAAM,WAAW,CACrB,CAAC,EACD,CAAC,SAAS,KAAK,CAAC,WAAW,CAAC,EAC5B,CAAC,SAAS,MAAM,GAAG,KAAK,IACtB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAEpC,eAAO,MAAM,OAAO,EAAE,OAAO,MAAiB,CAAA"}

package/esm/core/Type.js

@@ -0,0 +1,2 @@
+export const TypeKey = Symbol();
+//# sourceMappingURL=Type.js.map

package/esm/core/Type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Type.js","sourceRoot":"","sources":["../../src/core/Type.ts"],"names":[],"mappings":"AA4CA,MAAM,CAAC,MAAM,OAAO,GAAkB,MAAM,EAAE,CAAA"}

package/esm/core/TypeVisitor.d.ts

@@ -0,0 +1,15 @@
+import type { Expand } from "../util/mod.js";
+import { IntrinsicName, type Intrinsics } from "./intrinsics_util.js";
+import type { PartialType } from "./Type.js";
+export type TypeVisitorArms<C, R> = Expand<{
+    hook?: (next: (ctx: C, type: PartialType) => R, ctx: C, type: PartialType) => R;
+} & (({
+    fallback?: never;
+} & TypeVisitorIntrinsicArms<C, R>) | ({
+    fallback: (ctx: C, type: PartialType, ...args: unknown[]) => R;
+} & Partial<TypeVisitorIntrinsicArms<C, R>>))>;
+export type TypeVisitorIntrinsicArms<C, R> = {
+    [K in IntrinsicName]: (ctx: C, ...rest: Intrinsics[K] extends PartialType ? [type: Intrinsics[K]] : [type: ReturnType<Intrinsics[K]>, ...args: Parameters<Intrinsics[K]>]) => R;
+};
+export declare function TypeVisitor<C, R>(arms: TypeVisitorArms<C, R>): (ctx: C, type: PartialType) => R;
+//# sourceMappingURL=TypeVisitor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TypeVisitor.d.ts","sourceRoot":"","sources":["../../src/core/TypeVisitor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AAC5C,OAAO,EAAE,aAAa,EAAE,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAE5C,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,CAAC,IAAI,MAAM,CACtC;IACA,IAAI,CAAC,EAAE,CACL,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,KAAK,CAAC,EACtC,GAAG,EAAE,CAAC,EACN,IAAI,EAAE,WAAW,KACd,CAAC,CAAA;CACP,GACC,CACE,CAAC;IAAE,QAAQ,CAAC,EAAE,KAAK,CAAA;CAAE,GAAG,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACvD,CACE;IAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;CAAE,GAClE,OAAO,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAC1C,CACF,CACF,CAAA;AAED,MAAM,MAAM,wBAAwB,CAAC,CAAC,EAAE,CAAC,IAAI;KAC1C,CAAC,IAAI,aAAa,GAAG,CACpB,GAAG,EAAE,CAAC,EACN,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,WAAW,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,GAC9D,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,KACtE,CAAC;CACP,CAAA;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,KAAK,CAAC,CAc/F"}

package/esm/core/TypeVisitor.js

@@ -0,0 +1,12 @@
+import { IntrinsicName } from "./intrinsics_util.js";
+export function TypeVisitor(arms) {
+    const { hook } = arms;
+    if (hook) {
+        return (ctx, type) => hook(next, ctx, type);
+    }
+    return next;
+    function next(ctx, type) {
+        return (arms[IntrinsicName(type)] ?? arms.fallback)(ctx, type, ...type.declaration.factory ? type.declaration.args : []);
+    }
+}
+//# sourceMappingURL=TypeVisitor.js.map

package/esm/core/TypeVisitor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeVisitor.js","sourceRoot":"","sources":["../../src/core/TypeVisitor.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAmB,MAAM,sBAAsB,CAAA;AA4BrE,MAAM,UAAU,WAAW,CAAO,IAA2B;IAC3D,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAA;IACrB,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IAC7C,CAAC;IACD,OAAO,IAAI,CAAA;IAEX,SAAS,IAAI,CAAC,GAAM,EAAE,IAAiB;QACrC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,QAAS,CAAC,CAClD,GAAG,EACH,IAAa,EACb,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAa,CAAC,CAAC,CAAC,EAAE,CAClE,CAAA;IACH,CAAC;AACH,CAAC"}

package/esm/core/annotations/Annotation.d.ts

@@ -0,0 +1,7 @@
+import type { Falsy } from "../../deps/jsr.io/@std/assert/1.0.10/mod.js";
+import type { PartialType } from "../Type.js";
+import type { Assertion } from "./Assertion.js";
+import type { Arg, Param } from "./Param.js";
+import type { Template } from "./Template.js";
+export type Annotation<T = any> = Falsy | string | Template | PartialType | Assertion<T> | Param | Arg;
+//# sourceMappingURL=Annotation.d.ts.map

package/esm/core/annotations/Annotation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Annotation.d.ts","sourceRoot":"","sources":["../../../src/core/annotations/Annotation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6CAA6C,CAAA;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAC5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAE7C,MAAM,MAAM,UAAU,CAAC,CAAC,GAAG,GAAG,IAC1B,KAAK,GACL,MAAM,GACN,QAAQ,GACR,WAAW,GACX,SAAS,CAAC,CAAC,CAAC,GACZ,KAAK,GACL,GAAG,CAAA"}

package/esm/core/annotations/Annotation.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Annotation.js.map

package/esm/core/annotations/Annotation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Annotation.js","sourceRoot":"","sources":["../../../src/core/annotations/Annotation.ts"],"names":[],"mappings":""}

package/esm/core/annotations/Assertion.d.ts

@@ -0,0 +1,8 @@
+import type { PromiseOr } from "../../util/mod.js";
+export interface Assertion<T = any> {
+    type: "Assertion";
+    description: string;
+    f?: (value: T) => PromiseOr<void>;
+}
+export declare function Assertion<T>(description: string, f?: (value: T) => PromiseOr<void>): Assertion<T>;
+//# sourceMappingURL=Assertion.d.ts.map

package/esm/core/annotations/Assertion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Assertion.d.ts","sourceRoot":"","sources":["../../../src/core/annotations/Assertion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAElD,MAAM,WAAW,SAAS,CAAC,CAAC,GAAG,GAAG;IAChC,IAAI,EAAE,WAAW,CAAA;IACjB,WAAW,EAAE,MAAM,CAAA;IACnB,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,CAAA;CAClC;AAED,wBAAgB,SAAS,CAAC,CAAC,EACzB,WAAW,EAAE,MAAM,EACnB,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,GAChC,SAAS,CAAC,CAAC,CAAC,CAMd"}

package/esm/core/annotations/Assertion.js

@@ -0,0 +1,8 @@
+export function Assertion(description, f) {
+    return {
+        type: "Assertion",
+        description,
+        f,
+    };
+}
+//# sourceMappingURL=Assertion.js.map

package/esm/core/annotations/Assertion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Assertion.js","sourceRoot":"","sources":["../../../src/core/annotations/Assertion.ts"],"names":[],"mappings":"AAQA,MAAM,UAAU,SAAS,CACvB,WAAmB,EACnB,CAAiC;IAEjC,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,WAAW;QACX,CAAC;KACF,CAAA;AACH,CAAC"}

package/esm/core/annotations/Description.d.ts

@@ -0,0 +1,7 @@
+import { Param } from "./Param.js";
+export declare const DescriptionParamKey: unique symbol;
+export interface DescriptionArg {
+    [DescriptionParamKey]: string;
+}
+export declare function DescriptionParam<K extends symbol, A = string>(key: K, serialize?: (value: A) => string): Param<K, A, DescriptionArg>;
+//# sourceMappingURL=Description.d.ts.map

package/esm/core/annotations/Description.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Description.d.ts","sourceRoot":"","sources":["../../../src/core/annotations/Description.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAElC,eAAO,MAAM,mBAAmB,EAAE,OAAO,MAAiB,CAAA;AAE1D,MAAM,WAAW,cAAc;IAC7B,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,GAAG,MAAM,EAC3D,GAAG,EAAE,CAAC,EACN,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,GAC/B,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,CAI7B"}

package/esm/core/annotations/Description.js

@@ -0,0 +1,8 @@
+import { Param } from "./Param.js";
+export const DescriptionParamKey = Symbol();
+export function DescriptionParam(key, serialize) {
+    return Param(key, (value) => ({
+        [DescriptionParamKey]: (serialize?.(value) ?? value),
+    }));
+}
+//# sourceMappingURL=Description.js.map

package/esm/core/annotations/Description.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Description.js","sourceRoot":"","sources":["../../../src/core/annotations/Description.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAElC,MAAM,CAAC,MAAM,mBAAmB,GAAkB,MAAM,EAAE,CAAA;AAM1D,MAAM,UAAU,gBAAgB,CAC9B,GAAM,EACN,SAAgC;IAEhC,OAAO,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5B,CAAC,mBAAmB,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,CAAW;KAC/D,CAAC,CAAC,CAAA;AACL,CAAC"}

package/esm/core/annotations/Param.d.ts

@@ -0,0 +1,13 @@
+export interface Param<K extends symbol = symbol, A = any, T = any> {
+    (arg: A): Arg<K, T>;
+    type: "Param";
+    key: K;
+}
+export type AnyParam<T> = Param<symbol, any, T>;
+export interface Arg<K extends symbol = symbol, T = any> {
+    type: "Arg";
+    key: K;
+    value: T;
+}
+export declare function Param<K extends symbol, A, T>(key: K, f: (value: A) => T): Param<K, A, T>;
+//# sourceMappingURL=Param.d.ts.map

package/esm/core/annotations/Param.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Param.d.ts","sourceRoot":"","sources":["../../../src/core/annotations/Param.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG;IAChE,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACnB,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,CAAC,CAAA;CACP;AAED,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;AAE/C,MAAM,WAAW,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,GAAG;IACrD,IAAI,EAAE,KAAK,CAAA;IACX,GAAG,EAAE,CAAC,CAAA;IACN,KAAK,EAAE,CAAC,CAAA;CACT;AAED,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAC1C,GAAG,EAAE,CAAC,EACN,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GACjB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAYhB"}

package/esm/core/annotations/Param.js

@@ -0,0 +1,11 @@
+export function Param(key, f) {
+    return Object.assign((value) => ({
+        type: "Arg",
+        key,
+        value: f(value),
+    }), {
+        type: "Param",
+        key,
+    });
+}
+//# sourceMappingURL=Param.js.map

package/esm/core/annotations/Param.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Param.js","sourceRoot":"","sources":["../../../src/core/annotations/Param.ts"],"names":[],"mappings":"AAcA,MAAM,UAAU,KAAK,CACnB,GAAM,EACN,CAAkB;IAElB,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,KAAQ,EAAU,EAAE,CAAC,CAAC;QACrB,IAAI,EAAE,KAAK;QACX,GAAG;QACH,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC;KAChB,CAAC,EACF;QACE,IAAI,EAAE,OAAgB;QACtB,GAAG;KACJ,CACF,CAAA;AACH,CAAC"}

package/esm/core/annotations/Template.d.ts

@@ -0,0 +1,10 @@
+import type { PartialType } from "../Type.js";
+import type { DescriptionArg } from "./Description.js";
+import type { AnyParam } from "./Param.js";
+export interface Template {
+    type: "Template";
+    template: TemplateStringsArray;
+    parts: Array<TemplatePart>;
+}
+export type TemplatePart = string | PartialType | AnyParam<string | DescriptionArg>;
+//# sourceMappingURL=Template.d.ts.map

package/esm/core/annotations/Template.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Template.d.ts","sourceRoot":"","sources":["../../../src/core/annotations/Template.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAC7C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAE1C,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,oBAAoB,CAAA;IAC9B,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;CAC3B;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,WAAW,GAAG,QAAQ,CAAC,MAAM,GAAG,cAAc,CAAC,CAAA"}

package/esm/core/annotations/Template.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Template.js.map

package/esm/core/annotations/Template.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Template.js","sourceRoot":"","sources":["../../../src/core/annotations/Template.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,6 @@
+export * from "./Annotation.js";
+export * from "./Assertion.js";
+export * from "./Description.js";
+export * from "./Param.js";
+export * from "./Template.js";
+//# sourceMappingURL=mod.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../../src/core/annotations/mod.ts"],"names":[],"mappings":"AAEA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,kBAAkB,CAAA;AAChC,cAAc,YAAY,CAAA;AAC1B,cAAc,eAAe,CAAA"}

package/esm/core/annotations/mod.js

@@ -0,0 +1,7 @@
+// moderate
+export * from "./Annotation.js";
+export * from "./Assertion.js";
+export * from "./Description.js";
+export * from "./Param.js";
+export * from "./Template.js";
+//# sourceMappingURL=mod.js.map

package/esm/core/annotations/mod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../../src/core/annotations/mod.ts"],"names":[],"mappings":"AAAA,WAAW;AAEX,cAAc,iBAAiB,CAAA;AAC/B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,kBAAkB,CAAA;AAChC,cAAc,YAAY,CAAA;AAC1B,cAAc,eAAe,CAAA"}

package/esm/core/assert.d.ts

@@ -0,0 +1,22 @@
+import type { PartialType, Type } from "./Type.js";
+export interface Diagnostic {
+    type: PartialType;
+    path: string;
+    exception: unknown;
+    value: unknown;
+}
+export declare namespace Diagnostic {
+    function toString({ exception, path, value }: Diagnostic): string;
+}
+export declare function assert(type: Type<any>, value: unknown): Promise<void>;
+export declare function matchUnionMember(members: Array<PartialType>, value: unknown): PartialType | void;
+export declare class AssertContext {
+    readonly structuralDiagnostics: Array<Diagnostic>;
+    readonly annotationDiagnostics: undefined | Array<Promise<Diagnostic | void>>;
+    readonly path: string;
+    readonly value: unknown;
+    readonly junction?: (number | string) | undefined;
+    constructor(structuralDiagnostics: Array<Diagnostic>, annotationDiagnostics: undefined | Array<Promise<Diagnostic | void>>, path: string, value: unknown, junction?: (number | string) | undefined);
+    descend: (value: unknown, junction?: number | string) => AssertContext;
+}
+//# sourceMappingURL=assert.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assert.d.ts","sourceRoot":"","sources":["../../src/core/assert.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAGlD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,SAAS,EAAE,OAAO,CAAA;IAClB,KAAK,EAAE,OAAO,CAAA;CACf;AAED,yBAAiB,UAAU,CAAC;IAC1B,SAAgB,QAAQ,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,UAAU,GAAG,MAAM,CAMvE;CACF;AAED,wBAAsB,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAU3E;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,OAAO,GAAG,WAAW,GAAG,IAAI,CAWhG;AAED,qBAAa,aAAa;IAEtB,QAAQ,CAAC,qBAAqB,EAAE,KAAK,CAAC,UAAU,CAAC;IACjD,QAAQ,CAAC,qBAAqB,EAAE,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO;IACvB,QAAQ,CAAC,QAAQ,CAAC,GAAE,MAAM,GAAG,MAAM;gBAJ1B,qBAAqB,EAAE,KAAK,CAAC,UAAU,CAAC,EACxC,qBAAqB,EAAE,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC,EACpE,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,OAAO,EACd,QAAQ,CAAC,GAAE,MAAM,GAAG,MAAM,aAAA;IAGrC,OAAO,UAAW,OAAO,aAAa,MAAM,GAAG,MAAM,KAAG,aAAa,CAOlE;CACJ"}

package/esm/core/assert.js

@@ -0,0 +1,155 @@
+import * as A from "../deps/jsr.io/@std/assert/1.0.10/mod.js";
+import { TypeVisitor } from "./TypeVisitor.js";
+export var Diagnostic;
+(function (Diagnostic) {
+    function toString({ exception, path, value }) {
+        return `${exception instanceof Error ? `Error "${exception.name}"` : "Exception"} from value \`${JSON.stringify(value)}\` at \`root${path}\`: ${exception instanceof Error ? exception.message : JSON.stringify(exception)}`;
+    }
+    Diagnostic.toString = toString;
+})(Diagnostic || (Diagnostic = {}));
+export async function assert(type, value) {
+    const ctx = new AssertContext([], [], "root", value);
+    visit(ctx, type);
+    const diagnostics = [
+        ...ctx.structuralDiagnostics,
+        ...await Promise.all(ctx.annotationDiagnostics ?? []).then((v) => v.filter((e) => !!e)),
+    ];
+    if (diagnostics.length) {
+        throw new AggregateError(diagnostics.map(({ exception }) => exception));
+    }
+}
+export function matchUnionMember(members, value) {
+    const queue = [...members];
+    while (queue.length) {
+        const current = queue.pop();
+        const diagnostics = [];
+        visit(new AssertContext(diagnostics, undefined, "", value), current);
+        if (diagnostics.length) {
+            continue;
+        }
+        return current;
+    }
+}
+export class AssertContext {
+    constructor(structuralDiagnostics, annotationDiagnostics, path, value, junction) {
+        Object.defineProperty(this, "structuralDiagnostics", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: structuralDiagnostics
+        });
+        Object.defineProperty(this, "annotationDiagnostics", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: annotationDiagnostics
+        });
+        Object.defineProperty(this, "path", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: path
+        });
+        Object.defineProperty(this, "value", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: value
+        });
+        Object.defineProperty(this, "junction", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: junction
+        });
+        Object.defineProperty(this, "descend", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: (value, junction) => new AssertContext(this.structuralDiagnostics, this.annotationDiagnostics, this.path, value, junction)
+        });
+    }
+}
+const visit = TypeVisitor({
+    hook(next, ctx, type) {
+        const path = ctx.junction ? ctx.path : `${ctx.path}["${ctx.junction}"]`;
+        try {
+            next(ctx, type);
+        }
+        catch (exception) {
+            ctx.structuralDiagnostics.push({
+                type,
+                path,
+                exception,
+                value: ctx.value,
+            });
+        }
+        const { annotationDiagnostics } = ctx;
+        if (annotationDiagnostics) {
+            type.annotations
+                .filter((annotation) => typeof annotation === "object" && annotation?.type === "Assertion")
+                .forEach(({ f }) => {
+                if (f) {
+                    annotationDiagnostics.push((async () => {
+                        try {
+                            await f(ctx.value);
+                        }
+                        catch (exception) {
+                            return {
+                                type,
+                                path,
+                                exception,
+                                value: ctx.value,
+                            };
+                        }
+                    })());
+                }
+            });
+        }
+    },
+    null({ value }) {
+        A.assert(value === null);
+    },
+    boolean({ value }) {
+        A.assert(typeof value === "boolean");
+    },
+    integer({ value }) {
+        A.assert(Number.isInteger(value));
+    },
+    number({ value }) {
+        A.assert(typeof value === "number");
+    },
+    string({ value }) {
+        A.assert(typeof value === "string");
+    },
+    const({ value }, _1, _2, cmpValue) {
+        A.assertEquals(value, cmpValue);
+    },
+    enum({ value }, _1, ...values) {
+        A.assert(typeof value === "string");
+        A.assertArrayIncludes(values, [value]);
+    },
+    array(ctx, _1, element) {
+        A.assert(Array.isArray(ctx.value));
+        ctx.value.forEach((value, i) => visit(ctx.descend(value, i), element));
+    },
+    object(ctx, _1, fields) {
+        const keys = Object.keys(fields).toSorted();
+        const { value } = ctx;
+        A.assert(typeof value === "object" && value !== null);
+        A.assertEquals(keys, Object.keys(value).toSorted());
+        keys.forEach((key) => visit(ctx.descend(value[key], key), fields[key]));
+    },
+    transform(ctx, _1, from) {
+        visit(ctx, from);
+    },
+    union(ctx, _1, ...members) {
+        const match = matchUnionMember(members, ctx.value);
+        A.assert(match);
+        visit(ctx, match);
+    },
+    ref(ctx, _1, get) {
+        visit(ctx, get());
+    },
+});
+//# sourceMappingURL=assert.js.map

package/esm/core/assert.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assert.js","sourceRoot":"","sources":["../../src/core/assert.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,0CAA0C,CAAA;AAE7D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAS9C,MAAM,KAAW,UAAU,CAQ1B;AARD,WAAiB,UAAU;IACzB,SAAgB,QAAQ,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAc;QAC7D,OAAO,GACL,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,UAAU,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,WAC7D,iBAAiB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,IAAI,OACvD,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAC3E,EAAE,CAAA;IACJ,CAAC;IANe,mBAAQ,WAMvB,CAAA;AACH,CAAC,EARgB,UAAU,KAAV,UAAU,QAQ1B;AAED,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAe,EAAE,KAAc;IAC1D,MAAM,GAAG,GAAG,IAAI,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IACpD,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IAChB,MAAM,WAAW,GAAG;QAClB,GAAG,GAAG,CAAC,qBAAqB;QAC5B,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACxF,CAAA;IACD,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAA;IACzE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,OAA2B,EAAE,KAAc;IAC1E,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAA;IAC1B,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;QAC5B,MAAM,WAAW,GAAsB,EAAE,CAAA;QACzC,KAAK,CAAC,IAAI,aAAa,CAAC,WAAW,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,CAAA;QACpE,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;YACvB,SAAQ;QACV,CAAC;QACD,OAAO,OAAO,CAAA;IAChB,CAAC;AACH,CAAC;AAED,MAAM,OAAO,aAAa;IACxB,YACW,qBAAwC,EACxC,qBAAoE,EACpE,IAAY,EACZ,KAAc,EACd,QAA0B;QAJnC;;;;mBAAS,qBAAqB;WAAmB;QACjD;;;;mBAAS,qBAAqB;WAA+C;QAC7E;;;;mBAAS,IAAI;WAAQ;QACrB;;;;mBAAS,KAAK;WAAS;QACvB;;;;mBAAS,QAAQ;WAAkB;QAGrC;;;;mBAAU,CAAC,KAAc,EAAE,QAA0B,EAAiB,EAAE,CACtE,IAAI,aAAa,CACf,IAAI,CAAC,qBAAqB,EAC1B,IAAI,CAAC,qBAAqB,EAC1B,IAAI,CAAC,IAAI,EACT,KAAK,EACL,QAAQ,CACT;WAAA;IATA,CAAC;CAUL;AAED,MAAM,KAAK,GAAG,WAAW,CAAsB;IAC7C,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI;QAClB,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,IAAI,CAAA;QACvE,IAAI,CAAC;YACH,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;QACjB,CAAC;QAAC,OAAO,SAAkB,EAAE,CAAC;YAC5B,GAAG,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC7B,IAAI;gBACJ,IAAI;gBACJ,SAAS;gBACT,KAAK,EAAE,GAAG,CAAC,KAAK;aACjB,CAAC,CAAA;QACJ,CAAC;QACD,MAAM,EAAE,qBAAqB,EAAE,GAAG,GAAG,CAAA;QACrC,IAAI,qBAAqB,EAAE,CAAC;YAC1B,IAAI,CAAC,WAAW;iBACb,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,EAAE,IAAI,KAAK,WAAW,CAAC;iBAC1F,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE;gBACjB,IAAI,CAAC,EAAE,CAAC;oBACN,qBAAqB,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE;wBACrC,IAAI,CAAC;4BACH,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;wBACpB,CAAC;wBAAC,OAAO,SAAkB,EAAE,CAAC;4BAC5B,OAAO;gCACL,IAAI;gCACJ,IAAI;gCACJ,SAAS;gCACT,KAAK,EAAE,GAAG,CAAC,KAAK;6BACjB,CAAA;wBACH,CAAC;oBACH,CAAC,CAAC,EAAE,CAAC,CAAA;gBACP,CAAC;YACH,CAAC,CAAC,CAAA;QACN,CAAC;IACH,CAAC;IACD,IAAI,CAAC,EAAE,KAAK,EAAE;QACZ,CAAC,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,CAAA;IAC1B,CAAC;IACD,OAAO,CAAC,EAAE,KAAK,EAAE;QACf,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAA;IACtC,CAAC;IACD,OAAO,CAAC,EAAE,KAAK,EAAE;QACf,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;IACnC,CAAC;IACD,MAAM,CAAC,EAAE,KAAK,EAAE;QACd,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAA;IACrC,CAAC;IACD,MAAM,CAAC,EAAE,KAAK,EAAE;QACd,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAA;IACrC,CAAC;IACD,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,QAAQ;QAC/B,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACjC,CAAC;IACD,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM;QAC3B,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAA;QACnC,CAAC,CAAC,mBAAmB,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACxC,CAAC;IACD,KAAK,CAAC,GAAG,EAAE,EAAE,EAAE,OAAO;QACpB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QAClC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAA;IACxE,CAAC;IACD,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,MAAM;QACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAA;QAC3C,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,CAAA;QACrB,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAA;QACrD,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAA;QACnD,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAY,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAE,CAAC,CAAC,CAAA;IACnF,CAAC;IACD,SAAS,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI;QACrB,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IAClB,CAAC;IACD,KAAK,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,OAAO;QACvB,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;QAClD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACf,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IACnB,CAAC;IACD,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG;QACd,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;IACnB,CAAC;CACF,CAAC,CAAA"}

package/esm/core/declareIntrinsic.d.ts

@@ -0,0 +1,4 @@
+import type { Annotation } from "./annotations/Annotation.js";
+import { type Type, type TypeDeclaration } from "./Type.js";
+export declare function declare<T, D extends symbol>(declaration: TypeDeclaration, annotations?: Array<Annotation>): Type<T, D>;
+//# sourceMappingURL=declareIntrinsic.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"declareIntrinsic.d.ts","sourceRoot":"","sources":["../../src/core/declareIntrinsic.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAI7D,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,eAAe,EAAW,MAAM,WAAW,CAAA;AAEpE,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EACzC,WAAW,EAAE,eAAe,EAC5B,WAAW,GAAE,KAAK,CAAC,UAAU,CAAM,GAClC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAkCZ"}