liminal 0.5.2 → 0.5.4

package/dist/types/index.d.ts

@@ -1,2 +0,0 @@
-export * from "./factories.ts";
-export * from "./non_factories.ts";

package/dist/types/index.js

@@ -1,3 +0,0 @@
-export * from "./factories.js";
-export * from "./non_factories.js";
-//# sourceMappingURL=index.js.map

package/dist/types/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../types/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAC9B,cAAc,oBAAoB,CAAA"}

package/dist/types/integer.d.ts

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

package/dist/types/integer.js

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

package/dist/types/integer.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"integer.js","sourceRoot":"","sources":["../../types/integer.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,MAAM,CAAC,MAAM,OAAO,GAAkC,QAAQ,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAA"}

package/dist/types/intrinsics.d.ts

@@ -1,11 +0,0 @@
-export { _array } from "./array.ts";
-export { boolean } from "./boolean.ts";
-export { const } from "./const.ts";
-export { enum } from "./enum.ts";
-export { integer } from "./integer.ts";
-export { null } from "./null.ts";
-export { number } from "./number.ts";
-export { _object } from "./object.ts";
-export { ref } from "./ref.ts";
-export { string } from "./string.ts";
-export { _union } from "./union.ts";

package/dist/types/intrinsics.js

@@ -1,12 +0,0 @@
-export { _array } from "./array.js";
-export { boolean } from "./boolean.js";
-export { const } from "./const.js";
-export { enum } from "./enum.js";
-export { integer } from "./integer.js";
-export { null } from "./null.js";
-export { number } from "./number.js";
-export { _object } from "./object.js";
-export { ref } from "./ref.js";
-export { string } from "./string.js";
-export { _union } from "./union.js";
-//# sourceMappingURL=intrinsics.js.map

package/dist/types/intrinsics.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"intrinsics.js","sourceRoot":"","sources":["../../types/intrinsics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAA;AACrC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA"}

package/dist/types/makeType.d.ts

@@ -1,2 +0,0 @@
-import { type Type } from "./Type.ts";
-export declare function makeType<X extends Type>(declaration: () => X | ((...args: any) => X), args?: Array<unknown>, descriptions?: Array<string>): X;

package/dist/types/makeType.js

@@ -1,58 +0,0 @@
-import { infer } from "../actions/infer.js";
-import { LiminalAssertionError } from "../LiminalAssertionError.js";
-import { applyTemplateWithIndentation } from "../util/fixTemplateStrings.js";
-import { isTemplateStringsArray } from "../util/isTemplateStringsArray.js";
-import { AssertDiagnostics, formatAssertDiagnostics } from "./AssertDiagnostics.js";
-import { toJSON } from "./toJSON.js";
-import { TypeKey } from "./Type.js";
-export function makeType(declaration, args, descriptions = []) {
-    const type = Object.assign(Type, {
-        [TypeKey]: true,
-        declaration,
-        args,
-        descriptions,
-        trace: new Error().stack,
-        description() {
-            return descriptions.join("\n");
-        },
-        "~standard": {
-            vendor: "liminal",
-            version: 1,
-            validate: (value) => {
-                const diagnostics = AssertDiagnostics({}, type, value);
-                if (diagnostics.length) {
-                    return {
-                        issues: diagnostics.map(({ path, error }) => ({
-                            path,
-                            message: JSON.stringify(error),
-                        })),
-                    };
-                }
-                return { value: value };
-            },
-        },
-        toJSON,
-        assert: (value) => {
-            const diagnostics = AssertDiagnostics({}, type, value);
-            if (diagnostics.length) {
-                throw new LiminalAssertionError(formatAssertDiagnostics(diagnostics));
-            }
-            return value;
-        },
-        ...{
-            *[Symbol.iterator]() {
-                return yield* infer(this);
-            },
-        },
-    });
-    return type;
-    function Type(e0, ...eRest) {
-        return makeType(declaration, args, [
-            ...descriptions,
-            ...isTemplateStringsArray(e0)
-                ? [applyTemplateWithIndentation(e0, ...eRest)]
-                : [e0, ...eRest].filter((v) => !!v),
-        ]);
-    }
-}
-//# sourceMappingURL=makeType.js.map

package/dist/types/makeType.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"makeType.js","sourceRoot":"","sources":["../../types/makeType.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAC3C,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAA;AAEnE,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAA;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAA;AAE1E,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAA;AAEnF,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAa,OAAO,EAAoB,MAAM,WAAW,CAAA;AAEhE,MAAM,UAAU,QAAQ,CACtB,WAA4C,EAC5C,IAAqB,EACrB,eAA8B,EAAE;IAEhC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CACxB,IAAI,EACJ;QACE,CAAC,OAAO,CAAC,EAAE,IAAI;QACf,WAAW;QACX,IAAI;QACJ,YAAY;QACZ,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC,KAAK;QACxB,WAAW;YACT,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChC,CAAC;QACD,WAAW,EAAE;YACX,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,CAAC;YACV,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE;gBAClB,MAAM,WAAW,GAAG,iBAAiB,CAAC,EAAE,EAAE,IAAa,EAAE,KAAK,CAAC,CAAA;gBAC/D,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;oBACvB,OAAO;wBACL,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAA0B,EAAE,CAAC,CAAC;4BACpE,IAAI;4BACJ,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;yBAC/B,CAAC,CAAC;qBACJ,CAAA;gBACH,CAAC;gBACD,OAAO,EAAE,KAAK,EAAE,KAAe,EAAE,CAAA;YACnC,CAAC;SACF;QACD,MAAM;QACN,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;YAChB,MAAM,WAAW,GAAG,iBAAiB,CAAC,EAAE,EAAE,IAAa,EAAE,KAAK,CAAC,CAAA;YAC/D,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;gBACvB,MAAM,IAAI,qBAAqB,CAAC,uBAAuB,CAAC,WAAW,CAAC,CAAC,CAAA;YACvE,CAAC;YACD,OAAO,KAAc,CAAA;QACvB,CAAC;QACD,GAAG;YACD,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;gBAChB,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAC3B,CAAC;SACF;KACoC,CAC1B,CAAA;IACf,OAAO,IAAI,CAAA;IAIX,SAAS,IAAI,CAAC,EAAyC,EAAE,GAAG,KAA4B;QACtF,OAAO,QAAQ,CAAC,WAAW,EAAE,IAAI,EAAE;YACjC,GAAG,YAAY;YACf,GAAG,sBAAsB,CAAC,EAAE,CAAC;gBAC3B,CAAC,CAAC,CAAC,4BAA4B,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC;gBAC9C,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;SACnD,CAAC,CAAA;IACJ,CAAC;AACH,CAAC"}

package/dist/types/match.d.ts

@@ -1,3 +0,0 @@
-import type { JSONValue } from "../util/JSONValue.ts";
-import type { Type } from "./Type.ts";
-export declare function match(value: JSONValue, members: Array<Type>): Type | undefined;

package/dist/types/match.js

@@ -1,11 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,21 +0,0 @@
-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

@@ -1,9 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,7 +0,0 @@
-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

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

package/dist/types/null.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"null.js","sourceRoot":"","sources":["../../types/null.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,MAAM,KAAK,GAA6B,QAAQ,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;AAC7D,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA"}

package/dist/types/number.d.ts

@@ -1,6 +0,0 @@
-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

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

package/dist/types/number.js.map

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

package/dist/types/object.d.ts

@@ -1,16 +0,0 @@
-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

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

package/dist/types/object.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"object.js","sourceRoot":"","sources":["../../types/object.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,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,QAAQ,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;AAC1C,CAAC"}

package/dist/types/ref.d.ts

@@ -1,7 +0,0 @@
-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

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

package/dist/types/ref.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ref.js","sourceRoot":"","sources":["../../types/ref.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,MAAM,UAAU,GAAG,CAA+C,OAAyB;IACzF,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAS,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;AAC7C,CAAC"}

package/dist/types/string.d.ts

@@ -1,6 +0,0 @@
-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

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

package/dist/types/string.js.map

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

package/dist/types/toJSON.d.ts

@@ -1,5 +0,0 @@
-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

@@ -1,97 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,10 +0,0 @@
-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

@@ -1,12 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,5 +0,0 @@
-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

@@ -1,6 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,19 +0,0 @@
-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

@@ -1,8 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,8 +0,0 @@
-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

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

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

@@ -1 +0,0 @@
-{"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

@@ -1,9 +0,0 @@
-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

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

package/dist/types/union.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"union.js","sourceRoot":"","sources":["../../types/union.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExC,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,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AACxC,CAAC"}

package/dist/util/ArrayOfLength.d.ts

@@ -1 +0,0 @@
-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

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

package/dist/util/ArrayOfLength.js.map

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

package/dist/util/DeferredOr.d.ts

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

package/dist/util/DeferredOr.js

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

package/dist/util/DeferredOr.js.map

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

package/dist/util/EnsureNarrow.d.ts

@@ -1,2 +0,0 @@
-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

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

package/dist/util/EnsureNarrow.js.map

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

package/dist/util/EnsureRecord.d.ts

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

package/dist/util/EnsureRecord.js

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

package/dist/util/EnsureRecord.js.map

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

package/dist/util/Expand.d.ts

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

package/dist/util/Expand.js

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

package/dist/util/Expand.js.map

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

package/dist/util/Falsy.d.ts

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

package/dist/util/Falsy.js

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

package/dist/util/Falsy.js.map

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

package/dist/util/FromEntries.d.ts

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