liminal 0.5.2 → 0.5.3

package/dist/types/Metatype/MetatypeDescriptor.d.ts

@@ -1,41 +0,0 @@
-import { type JSONObjectType } from "../object.ts";
-import type { Type } from "../Type.ts";
-import type { JSONUnionType } from "../union.ts";
-export type MetatypeRootDescriptor = {
-    type: "record";
-    value: {
-        description: string;
-        fields: Array<{
-            description: string;
-            key: string;
-            value: MetatypeDescriptor;
-        }>;
-    };
-};
-export declare const MetatypeRootDescriptor: Type<MetatypeRootDescriptor, JSONObjectType>;
-export type MetatypeDescriptor = MetatypeRootDescriptor | {
-    type: "atom";
-    value: {
-        description: string;
-        atomType: "boolean" | "integer" | "number" | "string";
-    };
-} | {
-    type: "enum";
-    value: {
-        description: string;
-        variants: Array<string>;
-    };
-} | {
-    type: "array";
-    value: {
-        description: string;
-        items: MetatypeDescriptor;
-    };
-} | {
-    type: "union";
-    value: {
-        description: string;
-        members: Array<MetatypeDescriptor>;
-    };
-};
-export declare const MetatypeDescriptor: Type<MetatypeDescriptor, JSONUnionType>;

package/dist/types/Metatype/MetatypeDescriptor.js

@@ -1,38 +0,0 @@
-import { array } from "../array.js";
-import { enum as enum_ } from "../enum.js";
-import { object } from "../object.js";
-import { ref } from "../ref.js";
-import { string } from "../string.js";
-import { taggedUnion } from "../types_derived/taggedUnion.js";
-const recordFields = {
-    description: string,
-    fields: array({
-        description: string,
-        key: string,
-        value: ref(() => MetatypeDescriptor),
-    }),
-};
-export const MetatypeRootDescriptor = object({
-    type: "record",
-    value: recordFields,
-});
-export const MetatypeDescriptor = taggedUnion({
-    atom: {
-        description: string,
-        atomType: enum_("boolean", "integer", "number", "string"),
-    },
-    enum: {
-        description: string,
-        variants: array(string),
-    },
-    array: {
-        description: string,
-        items: ref(() => MetatypeDescriptor),
-    },
-    record: recordFields,
-    union: {
-        description: string,
-        members: array(ref(() => MetatypeDescriptor)),
-    },
-});
-//# sourceMappingURL=MetatypeDescriptor.js.map

package/dist/types/Metatype/MetatypeDescriptor.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"MetatypeDescriptor.js","sourceRoot":"","sources":["../../../types/Metatype/MetatypeDescriptor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,EAAuB,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAC/B,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAErC,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAA;AAe7D,MAAM,YAAY,GAAG;IACnB,WAAW,EAAE,MAAM;IACnB,MAAM,EAAE,KAAK,CAAC;QACZ,WAAW,EAAE,MAAM;QACnB,GAAG,EAAE,MAAM;QACX,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC;KACrC,CAAC;CACH,CAAA;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAiD,MAAM,CAAC;IACzF,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,YAAY;CACpB,CAAC,CAAA;AA4BF,MAAM,CAAC,MAAM,kBAAkB,GAA4C,WAAW,CAAC;IACrF,IAAI,EAAE;QACJ,WAAW,EAAE,MAAM;QACnB,QAAQ,EAAE,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC;KAC1D;IACD,IAAI,EAAE;QACJ,WAAW,EAAE,MAAM;QACnB,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;KACxB;IACD,KAAK,EAAE;QACL,WAAW,EAAE,MAAM;QACnB,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC;KACrC;IACD,MAAM,EAAE,YAAY;IACpB,KAAK,EAAE;QACL,WAAW,EAAE,MAAM;QACnB,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,CAAC;KAC9C;CACF,CAAC,CAAA"}

package/dist/types/Metatype/fromMetatypeDescriptor.d.ts

@@ -1,6 +0,0 @@
-import type { JSONObject } from "../../util/JSONObject.ts";
-import { type JSONObjectType } from "../object.ts";
-import type { Type } from "../Type.ts";
-import type { MetatypeDescriptor, MetatypeRootDescriptor } from "./MetatypeDescriptor.ts";
-export declare function fromMetatypeRootDescriptor(descriptor: MetatypeRootDescriptor): Type<JSONObject, JSONObjectType>;
-export declare function fromMetatypeDescriptor(descriptor: MetatypeDescriptor): Type;

package/dist/types/Metatype/fromMetatypeDescriptor.js

@@ -1,43 +0,0 @@
-import { array } from "../array.js";
-import { boolean } from "../boolean.js";
-import { enum as enum_ } from "../enum.js";
-import { integer } from "../integer.js";
-import { number } from "../number.js";
-import { object } from "../object.js";
-import { string } from "../string.js";
-import { union } from "../union.js";
-export function fromMetatypeRootDescriptor(descriptor) {
-    return fromMetatypeDescriptor(descriptor);
-}
-export function fromMetatypeDescriptor(descriptor) {
-    return make(descriptor)(descriptor.value.description);
-}
-function make(descriptor) {
-    switch (descriptor.type) {
-        case "atom": {
-            switch (descriptor.value.atomType) {
-                case "boolean":
-                    return boolean;
-                case "integer":
-                    return integer;
-                case "number":
-                    return number;
-                case "string":
-                    return string;
-            }
-        }
-        case "array": {
-            return array(fromMetatypeDescriptor(descriptor.value.items));
-        }
-        case "enum": {
-            return enum_(...descriptor.value.variants);
-        }
-        case "record": {
-            return object(Object.fromEntries(descriptor.value.fields.map(({ key, value, description, }) => [key, fromMetatypeDescriptor(value)(description)])));
-        }
-        case "union": {
-            return union(...descriptor.value.members.map(fromMetatypeDescriptor));
-        }
-    }
-}
-//# sourceMappingURL=fromMetatypeDescriptor.js.map

package/dist/types/Metatype/fromMetatypeDescriptor.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"fromMetatypeDescriptor.js","sourceRoot":"","sources":["../../../types/Metatype/fromMetatypeDescriptor.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AACrC,OAAO,EAAuB,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAGnC,MAAM,UAAU,0BAA0B,CAAC,UAAkC;IAC3E,OAAO,sBAAsB,CAAC,UAAU,CAAU,CAAA;AACpD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,UAA8B;IACnE,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;AACvD,CAAC;AAED,SAAS,IAAI,CAAC,UAA8B;IAC1C,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,QAAQ,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAClC,KAAK,SAAS;oBACZ,OAAO,OAAO,CAAA;gBAChB,KAAK,SAAS;oBACZ,OAAO,OAAO,CAAA;gBAChB,KAAK,QAAQ;oBACX,OAAO,MAAM,CAAA;gBACf,KAAK,QAAQ;oBACX,OAAO,MAAM,CAAA;YACjB,CAAC;QACH,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,KAAK,CAAC,sBAAsB,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;QAC9D,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,OAAO,KAAK,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC5C,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAC5D,GAAG,EACH,KAAK,EACL,WAAW,GACZ,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,sBAAsB,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC5D,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,KAAK,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC,CAAA;QACvE,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/types/Type.d.ts

@@ -1,31 +0,0 @@
-import type { StandardSchemaV1 } from "@standard-schema/spec";
-import type { Action } from "../Action.ts";
-import type { InferenceRequested } from "../events/InferenceRequested.ts";
-import type { Inferred } from "../events/Inferred.ts";
-import type { Spec } from "../Spec.ts";
-import type { Falsy } from "../util/Falsy.ts";
-import type { JSONValue } from "../util/JSONValue.ts";
-import type { Taggable } from "../util/Taggable.ts";
-import type { JSONRootType } from "./JSONRootType.ts";
-import type { JSONType } from "./JSONType.ts";
-import type { JSONObjectType } from "./object.ts";
-export interface Type<T extends JSONValue = JSONValue, J extends JSONType = JSONType> extends Taggable<Array<string | Falsy>>, TypeMembers<T, J> {
-    T: T;
-    J: J;
-    [Symbol.iterator]: J extends JSONObjectType ? () => Iterator<Action<"infer", Spec.Make<{
-        Event: InferenceRequested | Inferred;
-    }>>, T> : never;
-}
-export interface TypeMembers<T extends JSONValue, J extends JSONType> extends StandardSchemaV1<T> {
-    [TypeKey]: true;
-    declaration: () => Type<T, J> | ((...args: any) => Type<T, J>);
-    args?: Array<any>;
-    descriptions: Array<string>;
-    trace: string | undefined;
-    description(): string;
-    toJSON(): JSONRootType<J>;
-    assert(value: unknown): T;
-}
-export type TypeKey = typeof TypeKey;
-export declare const TypeKey: unique symbol;
-export declare function isType(value: unknown): value is Type;

package/dist/types/Type.js

@@ -1,5 +0,0 @@
-export const TypeKey = Symbol.for("Liminal/Type");
-export function isType(value) {
-    return typeof value === "function" && TypeKey in value;
-}
-//# sourceMappingURL=Type.js.map

package/dist/types/Type.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Type.js","sourceRoot":"","sources":["../../types/Type.ts"],"names":[],"mappings":"AA0CA,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAA;AAEjD,MAAM,UAAU,MAAM,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,IAAI,KAAK,CAAA;AACxD,CAAC"}

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 { makeType } from "./makeType.js";
-import { normalizeTypeLike } from "./TypeLike.js";
-export function array(element) {
-    return _array(normalizeTypeLike(element));
-}
-export function _array(element) {
-    return makeType(() => _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":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExC,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,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;AAC1C,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 { makeType } from "./makeType.js";
-export const boolean = makeType(() => 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":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,MAAM,CAAC,MAAM,OAAO,GAAmC,QAAQ,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 { makeType } from "./makeType.js";
-function const_(type, value) {
-    return makeType(() => 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":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,SAAS,MAAM,CACb,IAAgB,EAChB,KAAQ;IAER,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAe,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;AACvD,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/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 { makeType } from "./makeType.js";
-export { enum_ as enum };
-function enum_(...values) {
-    return makeType(() => 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":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAGxC,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AACxB,SAAS,KAAK,CAA0B,GAAG,MAAS;IAClD,OAAO,QAAQ,CAAC,GAAG,EAAE,CAAC,KAAQ,EAAE,MAAM,CAAC,CAAA;AACzC,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 { 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