liminal 0.5.1 → 0.5.3

package/dist/types/TypeContext.d.ts

@@ -1,7 +0,0 @@
-import type { Type } from "./Type.js";
-export declare class TypeContext {
-    root: Type;
-    ids: Map<Type, string>;
-    constructor(root: Type, ids?: Map<Type, string>);
-    id(type: Type): string;
-}

package/dist/types/TypeContext.js

@@ -1,17 +0,0 @@
-export class TypeContext {
-    root;
-    ids;
-    constructor(root, ids = new Map()) {
-        this.root = root;
-        this.ids = ids;
-    }
-    id(type) {
-        let id = this.ids.get(type);
-        if (id === undefined) {
-            id = this.ids.size.toString();
-            this.ids.set(type, id);
-        }
-        return id;
-    }
-}
-//# sourceMappingURL=TypeContext.js.map

package/dist/types/TypeContext.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"TypeContext.js","sourceRoot":"","sources":["../../types/TypeContext.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,WAAW;IACtB,IAAI,CAAM;IACV,GAAG,CAAmB;IACtB,YAAY,IAAU,EAAE,MAAyB,IAAI,GAAG,EAAE;QACxD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAA;IAChB,CAAC;IAED,EAAE,CAAC,IAAU;QACX,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC3B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAA;YAC7B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QACxB,CAAC;QACD,OAAO,EAAE,CAAA;IACX,CAAC;CACF"}

package/dist/types/TypeLike.d.ts

@@ -1,23 +0,0 @@
-import type { Falsy } from "../util/Falsy.ts";
-import type { JSONKey } from "../util/JSONKey.ts";
-import { type JSONConstType } from "./const.ts";
-import { type JSONNullType } from "./null.ts";
-import { type JSONObjectType } from "./object.ts";
-import { type JSONStringType } from "./string.ts";
-import { type Type } from "./Type.ts";
-export type TypeLike = Type | TypeLikes | string | Falsy;
-export type TypeLikes = TypeLikeArray | TypeLikeRecord;
-export type TypeLikeArray = Array<TypeLike>;
-export type TypeLikeRecord = {
-    [key: JSONKey]: TypeLike;
-};
-export type NormalizeTypeLikesT<F extends TypeLikes> = {
-    -readonly [K in keyof F as F extends TypeLikeArray ? K extends `${number}` ? K : never : K]: NormalizeTypeLikeT<Extract<F[K], TypeLike>>;
-} & {};
-export type NormalizeTypeLikeT<V extends TypeLike> = V extends TypeLikes ? NormalizeTypeLikesT<V> : V extends string ? V : V extends Type<infer T> ? T : null;
-export type NormalizeTypeLikesJ<F extends TypeLikes> = {
-    -readonly [K in keyof F as F extends TypeLikeArray ? K extends `${number}` ? K : never : K]: NormalizeTypeLikeJ<Extract<F[K], TypeLike>>;
-} & {};
-export type NormalizeTypeLikeJ<V extends TypeLike> = V extends TypeLikes ? JSONObjectType<NormalizeTypeLikesJ<V>> : V extends string ? JSONConstType<JSONStringType, V> : V extends Type<any, infer J> ? J : JSONNullType;
-export declare function normalizeTypeLikes(fields: TypeLikes): Type;
-export declare function normalizeTypeLike(value: TypeLike): Type;

package/dist/types/TypeLike.js

@@ -1,23 +0,0 @@
-import { const as const_ } from "./const.js";
-import { null as null_ } from "./null.js";
-import { _object } from "./object.js";
-import { string } from "./string.js";
-import { isType } from "./Type.js";
-export function normalizeTypeLikes(fields) {
-    return (Array.isArray(fields)
-        ? _object(fields.map(normalizeTypeLike))
-        : _object(Object.fromEntries(Object.entries(fields).map(([k, v]) => [k, normalizeTypeLike(v)]))));
-}
-export function normalizeTypeLike(value) {
-    if (!value) {
-        return null_;
-    }
-    if (typeof value === "string") {
-        return const_(string, value);
-    }
-    if (isType(value)) {
-        return value;
-    }
-    return normalizeTypeLikes(value);
-}
-//# sourceMappingURL=TypeLike.js.map

package/dist/types/TypeLike.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"TypeLike.js","sourceRoot":"","sources":["../../types/TypeLike.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,IAAI,MAAM,EAAsB,MAAM,YAAY,CAAA;AAChE,OAAO,EAAqB,IAAI,IAAI,KAAK,EAAE,MAAM,WAAW,CAAA;AAC5D,OAAO,EAAE,OAAO,EAAuB,MAAM,aAAa,CAAA;AAC1D,OAAO,EAAuB,MAAM,EAAE,MAAM,aAAa,CAAA;AACzD,OAAO,EAAE,MAAM,EAAa,MAAM,WAAW,CAAA;AAoC7C,MAAM,UAAU,kBAAkB,CAAC,MAAiB;IAClD,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAC3B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACxC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACrG,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAe;IAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC9B,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAClB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAA;AAClC,CAAC"}

package/dist/types/TypeVisitor.d.ts

@@ -1,14 +0,0 @@
-import type { Type } from "./Type.ts";
-import { type IntrinsicTypes } from "./type_common.ts";
-export type VisitorArms<S, R> = {
-    hook?: (next: (state: S, type: Type) => R, state: S, type: Type) => R;
-} & ((IntrinsicVisitorArms<S, R> & {
-    fallback?: never;
-}) | (Partial<IntrinsicVisitorArms<S, R>> & {
-    fallback: () => R;
-}));
-export type IntrinsicVisitorArms<S, R> = {
-    [K in keyof IntrinsicTypes]: (state: S, ...args: IntrinsicTypes[K] extends Type ? [IntrinsicTypes[K]] : IntrinsicTypes[K] extends (...args: infer A) => infer T ? [T, ...A] : never) => R;
-};
-export type TypeVisitor<S, R> = (state: S, type: Type) => R;
-export declare function TypeVisitor<S, R>(arms: VisitorArms<S, R>): (state: S, type: Type) => R;

package/dist/types/TypeVisitor.js

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

package/dist/types/TypeVisitor.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"TypeVisitor.js","sourceRoot":"","sources":["../../types/TypeVisitor.ts"],"names":[],"mappings":"AACA,OAAO,EAAuB,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAgChE,MAAM,UAAU,WAAW,CAAO,IAAuB;IACvD,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAA;IACrB,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IACjD,CAAC;IAED,OAAO,IAAI,CAAA;IAEX,SAAS,IAAI,CAAC,KAAQ,EAAE,IAAU;QAChC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,CACnD,KAAK,EACL,IAAI,EACJ,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CACrB,CAAA;IACH,CAAC;AACH,CAAC"}

package/dist/types/array.d.ts

@@ -1,10 +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 array<const F extends TypeLike>(element: F): Type<Array<NormalizeTypeLikeT<F>>, JSONArrayType<NormalizeTypeLikeJ<F>>>;
-export declare function _array(element: Type): Type;
-export interface JSONArrayType<E extends JSONType = any> extends JSONTypeBase {
-    type: "array";
-    items: E;
-}

package/dist/types/array.js

@@ -1,9 +0,0 @@
-import { declareType } from "./declareType.js";
-import { normalizeTypeLike } from "./TypeLike.js";
-export function array(element) {
-    return _array(normalizeTypeLike(element));
-}
-export function _array(element) {
-    return declareType(() => _array, [element]);
-}
-//# sourceMappingURL=array.js.map

package/dist/types/array.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"array.js","sourceRoot":"","sources":["../../types/array.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,OAAO,EAAE,iBAAiB,EAAmE,MAAM,eAAe,CAAA;AAElH,MAAM,UAAU,KAAK,CACnB,OAAU;IAEV,OAAO,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAU,CAAA;AACpD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,OAAa;IAClC,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;AAC7C,CAAC"}

package/dist/types/boolean.d.ts

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

package/dist/types/boolean.js

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

package/dist/types/boolean.js.map

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

package/dist/types/const.d.ts

@@ -1,8 +0,0 @@
-import type { JSONValue } from "../util/JSONValue.ts";
-import type { ConstableType } from "./JSONType.ts";
-import type { Type } from "./Type.ts";
-declare function const_<T extends JSONValue, J extends ConstableType, const V extends T>(type: Type<T, J>, value: V): Type<V, JSONConstType<J, V>>;
-export { const_ as const };
-export type JSONConstType<J extends ConstableType = any, V extends JSONValue = JSONValue> = J & {
-    const: V;
-};

package/dist/types/const.js

@@ -1,7 +0,0 @@
-import { declareType } from "./declareType.js";
-function const_(type, value) {
-    return declareType(() => const_, [type, value]);
-}
-Object.defineProperty(const_, "name", { value: "const" });
-export { const_ as const };
-//# sourceMappingURL=const.js.map

package/dist/types/const.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"const.js","sourceRoot":"","sources":["../../types/const.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,SAAS,MAAM,CACb,IAAgB,EAChB,KAAQ;IAER,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,MAAe,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;AAC1D,CAAC;AACD,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;AACzD,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA"}

package/dist/types/declareType.d.ts

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

package/dist/types/declareType.js

@@ -1,57 +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 declareType(declaration, args, descriptions = []) {
-    const type = Object.assign(Type, {
-        [TypeKey]: true,
-        declaration,
-        args,
-        descriptions,
-        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 declareType(declaration, args, [
-            ...descriptions,
-            ...isTemplateStringsArray(e0)
-                ? [applyTemplateWithIndentation(e0, ...eRest)]
-                : [e0, ...eRest].filter((v) => !!v),
-        ]);
-    }
-}
-//# sourceMappingURL=declareType.js.map

package/dist/types/declareType.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"declareType.js","sourceRoot":"","sources":["../../types/declareType.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,WAAW,CACzB,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,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,WAAW,CAAC,WAAW,EAAE,IAAI,EAAE;YACpC,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/enum.d.ts

@@ -1,8 +0,0 @@
-import type { JSONTypeBase } from "./JSONTypeBase.ts";
-import type { Type } from "./Type.ts";
-export { enum_ as enum };
-declare function enum_<A extends Array<string>>(...values: A): Type<A[number], JSONEnumType<A[number]>>;
-export interface JSONEnumType<K extends string = string> extends JSONTypeBase {
-    type: "string";
-    enum: Array<K>;
-}

package/dist/types/enum.js

@@ -1,7 +0,0 @@
-import { declareType } from "./declareType.js";
-export { enum_ as enum };
-function enum_(...values) {
-    return declareType(() => enum_, values);
-}
-Object.defineProperty(enum_, "name", { value: "enum" });
-//# sourceMappingURL=enum.js.map

package/dist/types/enum.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"enum.js","sourceRoot":"","sources":["../../types/enum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,SAAS,KAAK,CAA0B,GAAG,MAAS;IAClD,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC,KAAQ,EAAE,MAAM,CAAC,CAAA;AAC5C,CAAC;AACD,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA"}

package/dist/types/factories.d.ts

@@ -1,8 +0,0 @@
-export { array } from "./array.ts";
-export { boolean, const, enum, integer, null, number, ref, string } from "./intrinsics.ts";
-export { MetatypeDescriptor, MetatypeRootDescriptor } from "./Metatype/MetatypeDescriptor.ts";
-export { object } from "./object.ts";
-export { option } from "./types_derived/option.ts";
-export { taggedUnion } from "./types_derived/taggedUnion.ts";
-export { wrapper } from "./types_derived/wrapper.ts";
-export { union } from "./union.ts";

package/dist/types/factories.js

@@ -1,9 +0,0 @@
-export { array } from "./array.js";
-export { boolean, const, enum, integer, null, number, ref, string } from "./intrinsics.js";
-export { MetatypeDescriptor, MetatypeRootDescriptor } from "./Metatype/MetatypeDescriptor.js";
-export { object } from "./object.js";
-export { option } from "./types_derived/option.js";
-export { taggedUnion } from "./types_derived/taggedUnion.js";
-export { wrapper } from "./types_derived/wrapper.js";
-export { union } from "./union.js";
-//# sourceMappingURL=factories.js.map

package/dist/types/factories.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"factories.js","sourceRoot":"","sources":["../../types/factories.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAC1F,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAA;AAC7F,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAA;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAA;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA"}

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 { declareType } from "./declareType.js";
-export const integer = declareType(() => 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":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAI9C,MAAM,CAAC,MAAM,OAAO,GAAkC,WAAW,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/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 { declareType } from "./declareType.js";
-const null_ = declareType(() => 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":"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

@@ -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 { declareType } from "./declareType.js";
-export const number = declareType(() => 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":"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

@@ -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 { 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

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

@@ -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 { declareType } from "./declareType.js";
-export function ref(getType) {
-    return declareType(() => 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":"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

@@ -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 { declareType } from "./declareType.js";
-export const string = declareType(() => 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":"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

@@ -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>;