liminal 0.4.0 → 0.5.1

package/dist/types/match.js

@@ -0,0 +1,11 @@
+import { AssertDiagnostics } from "./AssertDiagnostics.js";
+export function match(value, members) {
+    for (const member of members) {
+        const diagnostics = AssertDiagnostics({}, member, value);
+        if (!diagnostics.length) {
+            return member;
+        }
+    }
+    return;
+}
+//# sourceMappingURL=match.js.map

package/dist/types/match.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"match.js","sourceRoot":"","sources":["../../types/match.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAG1D,MAAM,UAAU,KAAK,CAAC,KAAgB,EAAE,OAAoB;IAC1D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,WAAW,GAAG,iBAAiB,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;QACxD,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;YACxB,OAAO,MAAM,CAAA;QACf,CAAC;IACH,CAAC;IACD,OAAM;AACR,CAAC"}

package/dist/types/non_factories.d.ts

@@ -0,0 +1,21 @@
+export type { JSONArrayType } from "./array.ts";
+export type { JSONBooleanType } from "./boolean.ts";
+export type { JSONConstType } from "./const.ts";
+export type { JSONEnumType } from "./enum.ts";
+export type { JSONIntegerType } from "./integer.ts";
+export * from "./JSONRootType.ts";
+export * from "./JSONType.ts";
+export { match } from "./match.ts";
+export * from "./Metatype/fromMetatypeDescriptor.ts";
+export type { MetatypeDescriptor, MetatypeRootDescriptor } from "./Metatype/MetatypeDescriptor.ts";
+export type { JSONNullType } from "./null.ts";
+export type { JSONNumberType } from "./number.ts";
+export type { JSONObjectType, ObjectFields as _ObjectFields, RecordFields as _RecordFields, TupleFields as _TupleFields, } from "./object.ts";
+export type { JSONRefType } from "./ref.ts";
+export type { JSONStringType } from "./string.ts";
+export * from "./Type.ts";
+export * from "./TypeContext.ts";
+export * from "./TypeLike.ts";
+export type { TaggedUnionMembers } from "./types_derived/taggedUnion.ts";
+export * from "./TypeVisitor.ts";
+export type { JSONUnionType } from "./union.ts";

package/dist/types/non_factories.js

@@ -0,0 +1,9 @@
+export * from "./JSONRootType.js";
+export * from "./JSONType.js";
+export { match } from "./match.js";
+export * from "./Metatype/fromMetatypeDescriptor.js";
+export * from "./Type.js";
+export * from "./TypeContext.js";
+export * from "./TypeLike.js";
+export * from "./TypeVisitor.js";
+//# sourceMappingURL=non_factories.js.map

package/dist/types/non_factories.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"non_factories.js","sourceRoot":"","sources":["../../types/non_factories.ts"],"names":[],"mappings":"AAKA,cAAc,mBAAmB,CAAA;AACjC,cAAc,eAAe,CAAA;AAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,cAAc,sCAAsC,CAAA;AAYpD,cAAc,WAAW,CAAA;AACzB,cAAc,kBAAkB,CAAA;AAChC,cAAc,eAAe,CAAA;AAE7B,cAAc,kBAAkB,CAAA"}

package/dist/types/null.d.ts

@@ -0,0 +1,7 @@
+import type { JSONTypeBase } from "./JSONTypeBase.ts";
+import type { Type } from "./Type.ts";
+declare const null_: Type<null, JSONNullType>;
+export { null_ as null };
+export interface JSONNullType extends JSONTypeBase {
+    type: "null";
+}

package/dist/types/null.js

@@ -0,0 +1,4 @@
+import { declareType } from "./declareType.js";
+const null_ = declareType(() => null_);
+export { null_ as null };
+//# sourceMappingURL=null.js.map

package/dist/types/null.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"null.js","sourceRoot":"","sources":["../../types/null.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,MAAM,KAAK,GAA6B,WAAW,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;AAChE,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA"}

package/dist/types/number.d.ts

@@ -0,0 +1,6 @@
+import type { JSONTypeBase } from "./JSONTypeBase.ts";
+import type { Type } from "./Type.ts";
+export declare const number: Type<number, JSONNumberType>;
+export interface JSONNumberType extends JSONTypeBase {
+    type: "number";
+}

package/dist/types/number.js

@@ -0,0 +1,3 @@
+import { declareType } from "./declareType.js";
+export const number = declareType(() => number);
+//# sourceMappingURL=number.js.map

package/dist/types/number.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"number.js","sourceRoot":"","sources":["../../types/number.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,MAAM,CAAC,MAAM,MAAM,GAAiC,WAAW,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAA"}

package/dist/types/object.d.ts

@@ -0,0 +1,16 @@
+import type { JSONKey } from "../util/JSONKey.ts";
+import type { JSONType } from "./JSONType.ts";
+import type { JSONTypeBase } from "./JSONTypeBase.ts";
+import { type Type } from "./Type.ts";
+import { type NormalizeTypeLikesJ, type NormalizeTypeLikesT, type TypeLikes } from "./TypeLike.ts";
+export declare function object<const F extends TypeLikes>(fields: F): Type<NormalizeTypeLikesT<F>, JSONObjectType<NormalizeTypeLikesJ<F>>>;
+export declare function _object(fields: ObjectFields): Type;
+export interface JSONObjectType<F extends Record<JSONKey, JSONType> = any> extends JSONTypeBase {
+    type: "object";
+    properties: F;
+    required: Array<keyof F>;
+    additionalProperties: false;
+}
+export type ObjectFields = TupleFields | RecordFields;
+export type TupleFields = Array<Type>;
+export type RecordFields = Record<JSONKey, Type>;

package/dist/types/object.js

@@ -0,0 +1,10 @@
+import { declareType } from "./declareType.js";
+import {} from "./Type.js";
+import { normalizeTypeLikes } from "./TypeLike.js";
+export function object(fields) {
+    return normalizeTypeLikes(fields);
+}
+export function _object(fields) {
+    return declareType(() => _object, [fields]);
+}
+//# sourceMappingURL=object.js.map

package/dist/types/object.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.js","sourceRoot":"","sources":["../../types/object.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAG9C,OAAO,EAAa,MAAM,WAAW,CAAA;AACrC,OAAO,EAAE,kBAAkB,EAAsE,MAAM,eAAe,CAAA;AAEtH,MAAM,UAAU,MAAM,CACpB,MAAS;IAET,OAAO,kBAAkB,CAAC,MAAM,CAAU,CAAA;AAC5C,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAoB;IAC1C,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;AAC7C,CAAC"}

package/dist/types/ref.d.ts

@@ -0,0 +1,7 @@
+import type { JSONValue } from "../util/JSONValue.ts";
+import type { ConstableType } from "./JSONType.ts";
+import type { Type } from "./Type.ts";
+export declare function ref<T extends JSONValue, J extends ConstableType>(getType: () => Type<T, J>): Type<T, JSONRefType>;
+export interface JSONRefType {
+    $ref: string;
+}

package/dist/types/ref.js

@@ -0,0 +1,5 @@
+import { declareType } from "./declareType.js";
+export function ref(getType) {
+    return declareType(() => ref, [getType]);
+}
+//# sourceMappingURL=ref.js.map

package/dist/types/ref.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ref.js","sourceRoot":"","sources":["../../types/ref.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,MAAM,UAAU,GAAG,CAA+C,OAAyB;IACzF,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,GAAS,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;AAChD,CAAC"}

package/dist/types/string.d.ts

@@ -0,0 +1,6 @@
+import type { JSONTypeBase } from "./JSONTypeBase.ts";
+import type { Type } from "./Type.ts";
+export declare const string: Type<string, JSONStringType>;
+export interface JSONStringType extends JSONTypeBase {
+    type: "string";
+}

package/dist/types/string.js

@@ -0,0 +1,3 @@
+import { declareType } from "./declareType.js";
+export const string = declareType(() => string);
+//# sourceMappingURL=string.js.map

package/dist/types/string.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.js","sourceRoot":"","sources":["../../types/string.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,MAAM,CAAC,MAAM,MAAM,GAAiC,WAAW,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAA"}

package/dist/types/toJSON.d.ts

@@ -0,0 +1,5 @@
+import type { JSONValue } from "../util/JSONValue.ts";
+import type { JSONRootType } from "./JSONRootType.ts";
+import type { JSONRootableType } from "./JSONType";
+import { type Type } from "./Type.ts";
+export declare function toJSON<T extends JSONValue, J extends JSONRootableType>(this: Type<T, J>): JSONRootType<J>;

package/dist/types/toJSON.js

@@ -0,0 +1,97 @@
+import {} from "./const.js";
+import { JSONSchema$schema } from "./JSONRootType.js";
+import { _object } from "./object.js";
+import {} from "./string.js";
+import {} from "./Type.js";
+import { PARENT_TYPE_NAMES, typeName } from "./type_common.js";
+import { TypeContext } from "./TypeContext.js";
+import { TypeVisitor } from "./TypeVisitor.js";
+export function toJSON() {
+    const { $defs: { 0: root, ...$defs } } = new ToJSONState(this);
+    return {
+        $schema: JSONSchema$schema,
+        ...root,
+        $defs,
+    };
+}
+class ToJSONState extends TypeContext {
+    $defs = {};
+    constructor(root) {
+        super(root);
+        visit(this, root);
+    }
+}
+const visit = TypeVisitor({
+    hook(next, state, type) {
+        const which = typeName(type);
+        if (PARENT_TYPE_NAMES[which]) {
+            const id = state.id(type);
+            if (!(id in state.$defs)) {
+                state.$defs[id] = undefined;
+                state.$defs[id] = next(state, type);
+            }
+            return type === state.root ? { $ref: "$" } : { $ref: `#/$defs/${id}` };
+        }
+        if (which === "ref") {
+            if (state.ids.has(type)) {
+                const getType = type.args?.[0];
+                return { $ref: `#/$defs/${state.id(getType())}` };
+            }
+            state.id(type);
+            return next(state, type);
+        }
+        return next(state, type);
+    },
+    null() {
+        return { type: "null" };
+    },
+    boolean() {
+        return { type: "boolean" };
+    },
+    integer() {
+        return { type: "integer" };
+    },
+    number() {
+        return { type: "number" };
+    },
+    string() {
+        return { type: "string" };
+    },
+    const(state, _type, valueType, value) {
+        return {
+            ...visit(state, valueType),
+            const: value,
+        };
+    },
+    _array(state, _type, element) {
+        return {
+            type: "array",
+            items: visit(state, element),
+        };
+    },
+    enum(_state, _type, ...values) {
+        return {
+            type: "string",
+            enum: values,
+        };
+    },
+    _union(state, _type, ...members) {
+        return {
+            anyOf: members.map((m) => visit(state, m)),
+        };
+    },
+    _object(state, _type, fields) {
+        return {
+            type: "object",
+            properties: Object.fromEntries(Array.isArray(fields)
+                ? fields.map((v, i) => [i, visit(state, v)])
+                : Object.entries(fields).map(([k, v]) => [k, visit(state, v)])),
+            required: Object.keys(fields),
+            additionalProperties: false,
+        };
+    },
+    ref(state, _type, getType) {
+        return visit(state, getType());
+    },
+});
+//# sourceMappingURL=toJSON.js.map

package/dist/types/toJSON.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"toJSON.js","sourceRoot":"","sources":["../../types/toJSON.ts"],"names":[],"mappings":"AAGA,OAAO,EAAsB,MAAM,YAAY,CAAA;AAI/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAIrD,OAAO,EAAE,OAAO,EAAuB,MAAM,aAAa,CAAA;AAC1D,OAAO,EAAuB,MAAM,aAAa,CAAA;AACjD,OAAO,EAAa,MAAM,WAAW,CAAA;AACrC,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAG9C,MAAM,UAAU,MAAM;IACpB,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,KAAK,EAAE,EAAE,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,CAAA;IAC9D,OAAO;QACL,OAAO,EAAE,iBAAiB;QAC1B,GAAG,IAAI;QACP,KAAK;KACG,CAAA;AACZ,CAAC;AAED,MAAM,WAAY,SAAQ,WAAW;IAC1B,KAAK,GAAyC,EAAE,CAAA;IACzD,YAAY,IAAU;QACpB,KAAK,CAAC,IAAI,CAAC,CAAA;QACX,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACnB,CAAC;CACF;AAED,MAAM,KAAK,GAAuC,WAAW,CAAC;IAC5D,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI;QACpB,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAA;QAC5B,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;YACzB,IAAI,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,SAAS,CAAA;gBAC3B,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;YACrC,CAAC;YACD,OAAO,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,CAAA;QACxE,CAAC;QACD,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;YACpB,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAe,CAAA;gBAC5C,OAAO,EAAE,IAAI,EAAE,WAAW,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAA;YACnD,CAAC;YACD,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;YACd,OAAO,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC1B,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IAC1B,CAAC;IACD,IAAI;QACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;IACzB,CAAC;IACD,OAAO;QACL,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;IAC5B,CAAC;IACD,OAAO;QACL,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;IAC5B,CAAC;IACD,MAAM;QACJ,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC3B,CAAC;IACD,MAAM;QACJ,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC3B,CAAC;IACD,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK;QAClC,OAAO;YACL,GAAG,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC;YAC1B,KAAK,EAAE,KAAK;SACJ,CAAA;IACZ,CAAC;IACD,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO;QAC1B,OAAO;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC;SAC7B,CAAA;IACH,CAAC;IACD,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM;QAC3B,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,MAAM;SACb,CAAA;IACH,CAAC;IACD,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,OAAO;QAC7B,OAAO;YACL,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;SAC3C,CAAA;IACH,CAAC;IACD,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM;QAC1B,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAC5B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBACnB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC5C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CACjE;YACD,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;YAC7B,oBAAoB,EAAE,KAAK;SAC5B,CAAA;IACH,CAAC;IACD,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO;QACvB,OAAO,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;IAChC,CAAC;CACF,CAAC,CAAA"}

package/dist/types/type_common.d.ts

@@ -0,0 +1,10 @@
+import * as I from "./intrinsics.ts";
+import type { Type } from "./Type.ts";
+export type IntrinsicTypes = typeof I;
+export type IntrinsicTypeName = keyof IntrinsicTypes;
+export type IntrinsicType = IntrinsicTypes[IntrinsicTypeName];
+export declare const getIntrinsicNameLookup: () => Map<IntrinsicType, "string" | "number" | "boolean" | "null" | "integer" | "const" | "enum" | "_array" | "_object" | "ref" | "_union">;
+export declare function typeName(type: Type): IntrinsicTypeName;
+export declare const PARENT_TYPE_NAMES: {
+    [K in IntrinsicTypeName]?: true;
+};

package/dist/types/type_common.js

@@ -0,0 +1,12 @@
+import { nullaryMemo } from "../util/nullaryMemo.js";
+import * as I from "./intrinsics.js";
+export const getIntrinsicNameLookup = nullaryMemo(() => new Map(Object.entries(I).map((entry) => entry.reverse())));
+export function typeName(type) {
+    return getIntrinsicNameLookup().get(type.declaration());
+}
+export const PARENT_TYPE_NAMES = {
+    _object: true,
+    _array: true,
+    _union: true,
+};
+//# sourceMappingURL=type_common.js.map

package/dist/types/type_common.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type_common.js","sourceRoot":"","sources":["../../types/type_common.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,KAAK,CAAC,MAAM,iBAAiB,CAAA;AAOpC,MAAM,CAAC,MAAM,sBAAsB,GAAG,WAAW,CAAC,GAAG,EAAE,CACrD,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,EAA2C,CAAC,CAAC,CACpG,CAAA;AAED,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,OAAO,sBAAsB,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAmB,CAAE,CAAA;AAC3E,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAwC;IACpE,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,IAAI;CACb,CAAA"}

package/dist/types/types_derived/option.d.ts

@@ -0,0 +1,5 @@
+import { type JSONNullType } from "../null.ts";
+import type { Type } from "../Type.ts";
+import type { NormalizeTypeLikeJ, NormalizeTypeLikeT, TypeLike } from "../TypeLike.ts";
+import { type JSONUnionType } from "../union.ts";
+export declare function option<const X extends TypeLike>(of: X): Type<null | NormalizeTypeLikeT<X>, JSONUnionType<JSONNullType | NormalizeTypeLikeJ<X>>>;

package/dist/types/types_derived/option.js

@@ -0,0 +1,6 @@
+import { null as null_ } from "../null.js";
+import { _union, union } from "../union.js";
+export function option(of) {
+    return union(null_, of);
+}
+//# sourceMappingURL=option.js.map

package/dist/types/types_derived/option.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"option.js","sourceRoot":"","sources":["../../../types/types_derived/option.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,IAAI,IAAI,KAAK,EAAE,MAAM,YAAY,CAAA;AAG7D,OAAO,EAAE,MAAM,EAAsB,KAAK,EAAE,MAAM,aAAa,CAAA;AAE/D,MAAM,UAAU,MAAM,CACpB,EAAK;IAEL,OAAO,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;AACzB,CAAC"}

package/dist/types/types_derived/taggedUnion.d.ts

@@ -0,0 +1,19 @@
+import type { JSONKey } from "../../util/JSONKey.ts";
+import type { JSONConstType } from "../const.ts";
+import { type JSONObjectType } from "../object.ts";
+import type { JSONStringType } from "../string.ts";
+import { type Type } from "../Type.ts";
+import { type NormalizeTypeLikeJ, type NormalizeTypeLikeT, type TypeLike } from "../TypeLike.ts";
+import { type JSONUnionType } from "../union.ts";
+export declare function taggedUnion<const M extends TaggedUnionMembers, K extends Extract<keyof M, string>>(members: M): Type<{
+    [L in K]: {
+        type: L;
+        value: NormalizeTypeLikeT<M[L]>;
+    };
+}[K], JSONUnionType<{
+    [L in K]: JSONObjectType<{
+        type: JSONConstType<JSONStringType, L>;
+        value: NormalizeTypeLikeJ<M[L]>;
+    }>;
+}[K]>>;
+export type TaggedUnionMembers = Record<JSONKey, TypeLike>;

package/dist/types/types_derived/taggedUnion.js

@@ -0,0 +1,8 @@
+import { object } from "../object.js";
+import {} from "../Type.js";
+import {} from "../TypeLike.js";
+import { _union, union } from "../union.js";
+export function taggedUnion(members) {
+    return union(...Object.entries(members).map(([type, value]) => object({ type, value })));
+}
+//# sourceMappingURL=taggedUnion.js.map

package/dist/types/types_derived/taggedUnion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"taggedUnion.js","sourceRoot":"","sources":["../../../types/types_derived/taggedUnion.ts"],"names":[],"mappings":"AAEA,OAAO,EAAuB,MAAM,EAAE,MAAM,cAAc,CAAA;AAE1D,OAAO,EAAa,MAAM,YAAY,CAAA;AACtC,OAAO,EAAmE,MAAM,gBAAgB,CAAA;AAChG,OAAO,EAAE,MAAM,EAAsB,KAAK,EAAE,MAAM,aAAa,CAAA;AAE/D,MAAM,UAAU,WAAW,CAAyE,OAAU;IAgB5G,OAAO,KAAK,CACV,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAClE,CAAA;AACZ,CAAC"}

package/dist/types/types_derived/wrapper.d.ts

@@ -0,0 +1,8 @@
+import { type JSONObjectType } from "../object.ts";
+import type { Type } from "../Type.ts";
+import type { NormalizeTypeLikeJ, NormalizeTypeLikeT, TypeLike } from "../TypeLike.ts";
+export declare function wrapper<X extends TypeLike>(value: X): Type<{
+    value: NormalizeTypeLikeT<X>;
+}, JSONObjectType<{
+    value: NormalizeTypeLikeJ<X>;
+}>>;

package/dist/types/types_derived/wrapper.js

@@ -0,0 +1,5 @@
+import { object } from "../object.js";
+export function wrapper(value) {
+    return object({ value });
+}
+//# sourceMappingURL=wrapper.js.map

package/dist/types/types_derived/wrapper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wrapper.js","sourceRoot":"","sources":["../../../types/types_derived/wrapper.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuB,MAAM,EAAE,MAAM,cAAc,CAAA;AAI1D,MAAM,UAAU,OAAO,CAAqB,KAAQ;IAIlD,OAAO,MAAM,CAAC,EAAE,KAAK,EAAE,CAAU,CAAA;AACnC,CAAC"}

package/dist/types/union.d.ts

@@ -0,0 +1,9 @@
+import type { JSONType } from "./JSONType.ts";
+import type { JSONTypeBase } from "./JSONTypeBase.ts";
+import type { Type } from "./Type.ts";
+import { type NormalizeTypeLikeJ, type NormalizeTypeLikeT, type TypeLike } from "./TypeLike.ts";
+export declare function union<const M extends Array<TypeLike>>(...members: M): Type<NormalizeTypeLikeT<M[number]>, JSONUnionType<NormalizeTypeLikeJ<M[number]>>>;
+export declare function _union(...members: Array<Type>): Type;
+export interface JSONUnionType<M extends JSONType = any> extends JSONTypeBase {
+    anyOf: Array<M>;
+}

package/dist/types/union.js

@@ -0,0 +1,9 @@
+import { declareType } from "./declareType.js";
+import { normalizeTypeLike } from "./TypeLike.js";
+export function union(...members) {
+    return _union(...members.map(normalizeTypeLike));
+}
+export function _union(...members) {
+    return declareType(() => _union, members);
+}
+//# sourceMappingURL=union.js.map

package/dist/types/union.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.js","sourceRoot":"","sources":["../../types/union.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,OAAO,EAAE,iBAAiB,EAAmE,MAAM,eAAe,CAAA;AAElH,MAAM,UAAU,KAAK,CACnB,GAAG,OAAU;IAEb,OAAO,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAU,CAAA;AAC3D,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAG,OAAoB;IAC5C,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAC3C,CAAC"}

package/dist/util/ArrayOfLength.d.ts

@@ -0,0 +1 @@
+export type ArrayOfLength<T, L extends number, A extends Array<T> = []> = number extends L ? Array<T> : L extends A["length"] ? A : ArrayOfLength<T, L, [...A, T]>;

package/dist/util/ArrayOfLength.js

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

package/dist/util/ArrayOfLength.js.map

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

package/dist/util/DeferredOr.d.ts

@@ -0,0 +1 @@
+export type DeferredOr<T> = T | (() => T);

package/dist/util/DeferredOr.js

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

package/dist/util/DeferredOr.js.map

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

package/dist/util/EnsureNarrow.d.ts

@@ -0,0 +1,2 @@
+export type EnsureNarrow<V> = unknown extends V ? [error: typeof WIDENING_TYPE_DISALLOWED] : [V] extends [never] ? [error: typeof WIDENING_TYPE_DISALLOWED] : [];
+export declare const WIDENING_TYPE_DISALLOWED: unique symbol;

package/dist/util/EnsureNarrow.js

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

package/dist/util/EnsureNarrow.js.map

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

package/dist/util/EnsureRecord.d.ts

@@ -0,0 +1,2 @@
+import type { TupleToRecord } from "./TupleToRecord.ts";
+export type EnsureRecord<T> = T extends Array<any> ? TupleToRecord<T> : T;

package/dist/util/EnsureRecord.js

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

package/dist/util/EnsureRecord.js.map

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

package/dist/util/Expand.d.ts

@@ -0,0 +1,3 @@
+export type Expand<T> = T extends T ? {
+    [K in keyof T]: T[K];
+} : never;

package/dist/util/Expand.js

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

package/dist/util/Expand.js.map

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

package/dist/util/Falsy.d.ts

@@ -0,0 +1 @@
+export type Falsy = false | 0 | 0n | "" | null | undefined;

package/dist/util/Falsy.js

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

package/dist/util/Falsy.js.map

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

package/dist/util/FromEntries.d.ts

@@ -0,0 +1,3 @@
+export type FromEntries<E extends [keyof any, any]> = {
+    [K in E[0]]: Extract<E, [K, any]> extends [K, infer V] ? V : never;
+};

package/dist/util/FromEntries.js

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

package/dist/util/FromEntries.js.map

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

package/dist/util/IteratorLike.d.ts

@@ -0,0 +1 @@
+export type IteratorLike<Y = any, O = any> = Iterator<Y, O> | AsyncIterator<Y, O>;

package/dist/util/IteratorLike.js

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

package/dist/util/IteratorLike.js.map

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

package/dist/util/JSONEntry.d.ts

@@ -0,0 +1,2 @@
+import type { JSONKey } from "./JSONKey.ts";
+export type JSONEntry<V = any> = [JSONKey, V];

package/dist/util/JSONEntry.js

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

package/dist/util/JSONEntry.js.map

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

package/dist/util/JSONKey.d.ts

@@ -0,0 +1 @@
+export type JSONKey = number | string;

package/dist/util/JSONKey.js

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

package/dist/util/JSONKey.js.map

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

package/dist/util/JSONObject.d.ts

@@ -0,0 +1,5 @@
+import type { JSONKey } from "./JSONKey.ts";
+import type { JSONValue } from "./JSONValue.ts";
+export type JSONObject = {
+    [value: JSONKey]: JSONValue;
+};

package/dist/util/JSONObject.js

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

package/dist/util/JSONObject.js.map

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

package/dist/util/JSONSchemaMemo.d.ts

@@ -0,0 +1,2 @@
+import type { StandardSchemaV1 } from "@standard-schema/spec";
+export declare function JSONSchemaMemo(type: StandardSchemaV1): Promise<object>;

package/dist/util/JSONSchemaMemo.js

@@ -0,0 +1,13 @@
+import { toJSONSchema } from "standard-json-schema";
+import { isType } from "../types/Type.js";
+const memo = new WeakMap();
+export function JSONSchemaMemo(type) {
+    let pending = memo.get(type);
+    if (pending) {
+        return pending;
+    }
+    pending = isType(type) ? Promise.resolve(type.toJSON()) : toJSONSchema(type);
+    memo.set(type, pending);
+    return pending;
+}
+//# sourceMappingURL=JSONSchemaMemo.js.map

package/dist/util/JSONSchemaMemo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JSONSchemaMemo.js","sourceRoot":"","sources":["../../util/JSONSchemaMemo.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAEzC,MAAM,IAAI,GAAG,IAAI,OAAO,EAAqC,CAAA;AAE7D,MAAM,UAAU,cAAc,CAAC,IAAsB;IACnD,IAAI,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC5B,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAA;IAChB,CAAC;IACD,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;IAC5E,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACvB,OAAO,OAAO,CAAA;AAChB,CAAC"}

package/dist/util/JSONValue.d.ts

@@ -0,0 +1,2 @@
+import type { JSONObject } from "./JSONObject.ts";
+export type JSONValue = null | boolean | number | string | Array<JSONValue> | JSONObject;

package/dist/util/JSONValue.js

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

package/dist/util/JSONValue.js.map

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

package/dist/util/PromiseOr.d.ts

@@ -0,0 +1 @@
+export type PromiseOr<T> = T | Promise<T>;

package/dist/util/PromiseOr.js

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

package/dist/util/PromiseOr.js.map

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

package/dist/util/Result.d.ts

@@ -0,0 +1,7 @@
+export type Result<T, E> = {
+    value: T;
+    thrown?: never;
+} | {
+    value?: never;
+    thrown: E;
+};

package/dist/util/Result.js

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

package/dist/util/Result.js.map

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

package/dist/util/Taggable.d.ts

@@ -0,0 +1,9 @@
+export interface Taggable<A extends Array<any>> {
+    (template: TemplateStringsArray, ...substitutions: Array<string>): this;
+    (...values: A): this;
+}
+export type TaggableArgs<A extends Array<any>> = A | [
+    raw: TemplateStringsArray,
+    ...substitutions: Array<string>
+];
+export declare function normalizeTaggableArgs<A extends Array<unknown>>(...[e0, ...eRest]: TaggableArgs<A>): [string] | A;