@depup/sinclair__typebox 0.34.48-depup.0

package/build/esm/type/literal/literal.d.mts

@@ -0,0 +1,10 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export type TLiteralValue = boolean | number | string;
+export interface TLiteral<T extends TLiteralValue = TLiteralValue> extends TSchema {
+    [Kind]: 'Literal';
+    static: T;
+    const: T;
+}
+/** `[Json]` Creates a Literal type */
+export declare function Literal<T extends TLiteralValue>(value: T, options?: SchemaOptions): TLiteral<T>;

package/build/esm/type/literal/literal.mjs

@@ -0,0 +1,10 @@
+import { CreateType } from '../create/type.mjs';
+import { Kind } from '../symbols/index.mjs';
+/** `[Json]` Creates a Literal type */
+export function Literal(value, options) {
+    return CreateType({
+        [Kind]: 'Literal',
+        const: value,
+        type: typeof value,
+    }, options);
+}

package/build/esm/type/mapped/index.d.mts

@@ -0,0 +1,3 @@
+export * from './mapped-key.mjs';
+export * from './mapped-result.mjs';
+export * from './mapped.mjs';

package/build/esm/type/mapped/index.mjs

@@ -0,0 +1,3 @@
+export * from './mapped-key.mjs';
+export * from './mapped-result.mjs';
+export * from './mapped.mjs';

package/build/esm/type/mapped/mapped-key.d.mts

@@ -0,0 +1,8 @@
+import type { TSchema } from '../schema/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface TMappedKey<T extends PropertyKey[] = PropertyKey[]> extends TSchema {
+    [Kind]: 'MappedKey';
+    static: T[number];
+    keys: T;
+}
+export declare function MappedKey<T extends PropertyKey[]>(T: [...T]): TMappedKey<T>;

package/build/esm/type/mapped/mapped-key.mjs

@@ -0,0 +1,9 @@
+import { CreateType } from '../create/type.mjs';
+import { Kind } from '../symbols/index.mjs';
+// prettier-ignore
+export function MappedKey(T) {
+    return CreateType({
+        [Kind]: 'MappedKey',
+        keys: T
+    });
+}

package/build/esm/type/mapped/mapped-result.d.mts

@@ -0,0 +1,9 @@
+import type { TSchema } from '../schema/index.mjs';
+import type { TProperties } from '../object/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface TMappedResult<T extends TProperties = TProperties> extends TSchema {
+    [Kind]: 'MappedResult';
+    properties: T;
+    static: unknown;
+}
+export declare function MappedResult<T extends TProperties>(properties: T): TMappedResult<T>;

package/build/esm/type/mapped/mapped-result.mjs

@@ -0,0 +1,9 @@
+import { CreateType } from '../create/type.mjs';
+import { Kind } from '../symbols/index.mjs';
+// prettier-ignore
+export function MappedResult(properties) {
+    return CreateType({
+        [Kind]: 'MappedResult',
+        properties
+    });
+}

package/build/esm/type/mapped/mapped.d.mts

@@ -0,0 +1,47 @@
+import type { TSchema } from '../schema/index.mjs';
+import type { Ensure, Evaluate, Assert } from '../helpers/index.mjs';
+import { type TArray } from '../array/index.mjs';
+import { type TAsyncIterator } from '../async-iterator/index.mjs';
+import { type TConstructor } from '../constructor/index.mjs';
+import { type TEnum, type TEnumRecord } from '../enum/index.mjs';
+import { type TFunction } from '../function/index.mjs';
+import { type TIndexPropertyKeys } from '../indexed/index.mjs';
+import { type TIntersect } from '../intersect/index.mjs';
+import { type TIterator } from '../iterator/index.mjs';
+import { type TLiteral, type TLiteralValue } from '../literal/index.mjs';
+import { type TObject, type TProperties, type ObjectOptions } from '../object/index.mjs';
+import { type TOptional } from '../optional/index.mjs';
+import { type TPromise } from '../promise/index.mjs';
+import { type TReadonly } from '../readonly/index.mjs';
+import { type TTuple } from '../tuple/index.mjs';
+import { type TUnion } from '../union/index.mjs';
+import { type TSetIncludes } from '../sets/index.mjs';
+import { type TMappedResult } from './mapped-result.mjs';
+import type { TMappedKey } from './mapped-key.mjs';
+type TFromMappedResult<K extends PropertyKey, P extends TProperties> = (K extends keyof P ? FromSchemaType<K, P[K]> : TMappedResult<P>);
+type TMappedKeyToKnownMappedResultProperties<K extends PropertyKey> = {
+    [_ in K]: TLiteral<Assert<K, TLiteralValue>>;
+};
+type TMappedKeyToUnknownMappedResultProperties<P extends PropertyKey[], Acc extends TProperties = {}> = (P extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? TMappedKeyToUnknownMappedResultProperties<R, Acc & {
+    [_ in L]: TLiteral<Assert<L, TLiteralValue>>;
+}> : Acc);
+type TMappedKeyToMappedResultProperties<K extends PropertyKey, P extends PropertyKey[]> = (TSetIncludes<P, K> extends true ? TMappedKeyToKnownMappedResultProperties<K> : TMappedKeyToUnknownMappedResultProperties<P>);
+type TFromMappedKey<K extends PropertyKey, P extends PropertyKey[], R extends TProperties = TMappedKeyToMappedResultProperties<K, P>> = (TFromMappedResult<K, R>);
+type TFromRest<K extends PropertyKey, T extends TSchema[], Acc extends TSchema[] = []> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<K, R, [...Acc, FromSchemaType<K, L>]> : Acc);
+type FromProperties<K extends PropertyKey, T extends TProperties, R extends TProperties = Evaluate<{
+    [K2 in keyof T]: FromSchemaType<K, T[K2]>;
+}>> = R;
+declare function FromProperties<K extends PropertyKey, T extends TProperties>(K: K, T: T): FromProperties<K, T>;
+type FromSchemaType<K extends PropertyKey, T extends TSchema> = (T extends TReadonly<infer S extends TSchema> ? TReadonly<FromSchemaType<K, S>> : T extends TOptional<infer S extends TSchema> ? TOptional<FromSchemaType<K, S>> : T extends TMappedResult<infer P extends TProperties> ? TFromMappedResult<K, P> : T extends TMappedKey<infer P extends PropertyKey[]> ? TFromMappedKey<K, P> : T extends TConstructor<infer S extends TSchema[], infer R extends TSchema> ? TConstructor<TFromRest<K, S>, FromSchemaType<K, R>> : T extends TFunction<infer S extends TSchema[], infer R extends TSchema> ? TFunction<TFromRest<K, S>, FromSchemaType<K, R>> : T extends TAsyncIterator<infer S extends TSchema> ? TAsyncIterator<FromSchemaType<K, S>> : T extends TIterator<infer S extends TSchema> ? TIterator<FromSchemaType<K, S>> : T extends TIntersect<infer S extends TSchema[]> ? TIntersect<TFromRest<K, S>> : T extends TEnum<infer S extends TEnumRecord> ? TEnum<S> : T extends TUnion<infer S extends TSchema[]> ? TUnion<TFromRest<K, S>> : T extends TTuple<infer S extends TSchema[]> ? TTuple<TFromRest<K, S>> : T extends TObject<infer S extends TProperties> ? TObject<FromProperties<K, S>> : T extends TArray<infer S extends TSchema> ? TArray<FromSchemaType<K, S>> : T extends TPromise<infer S extends TSchema> ? TPromise<FromSchemaType<K, S>> : T);
+declare function FromSchemaType<K extends PropertyKey, T extends TSchema>(K: K, T: T): FromSchemaType<K, T>;
+export type TMappedFunctionReturnType<K extends PropertyKey[], T extends TSchema, Acc extends TProperties = {}> = (K extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? TMappedFunctionReturnType<R, T, Acc & {
+    [_ in L]: FromSchemaType<L, T>;
+}> : Acc);
+export declare function MappedFunctionReturnType<K extends PropertyKey[], T extends TSchema>(K: [...K], T: T): TMappedFunctionReturnType<K, T>;
+export type TMappedFunction<K extends PropertyKey[], I = TMappedKey<K>> = (T: I) => TSchema;
+export type TMapped<K extends PropertyKey[], F extends TMappedFunction<K>, R extends TProperties = Evaluate<TMappedFunctionReturnType<K, ReturnType<F>>>> = Ensure<TObject<R>>;
+/** `[Json]` Creates a Mapped object type */
+export declare function Mapped<K extends TSchema, I extends PropertyKey[] = TIndexPropertyKeys<K>, F extends TMappedFunction<I> = TMappedFunction<I>, R extends TMapped<I, F> = TMapped<I, F>>(key: K, map: F, options?: ObjectOptions): R;
+/** `[Json]` Creates a Mapped object type */
+export declare function Mapped<K extends PropertyKey[], F extends TMappedFunction<K> = TMappedFunction<K>, R extends TMapped<K, F> = TMapped<K, F>>(key: [...K], map: F, options?: ObjectOptions): R;
+export {};

package/build/esm/type/mapped/mapped.mjs

@@ -0,0 +1,102 @@
+import { Kind, OptionalKind, ReadonlyKind } from '../symbols/index.mjs';
+import { Discard } from '../discard/index.mjs';
+// evaluation types
+import { Array } from '../array/index.mjs';
+import { AsyncIterator } from '../async-iterator/index.mjs';
+import { Constructor } from '../constructor/index.mjs';
+import { Function as FunctionType } from '../function/index.mjs';
+import { IndexPropertyKeys } from '../indexed/index.mjs';
+import { Intersect } from '../intersect/index.mjs';
+import { Iterator } from '../iterator/index.mjs';
+import { Literal } from '../literal/index.mjs';
+import { Object } from '../object/index.mjs';
+import { Optional } from '../optional/index.mjs';
+import { Promise } from '../promise/index.mjs';
+import { Readonly } from '../readonly/index.mjs';
+import { Tuple } from '../tuple/index.mjs';
+import { Union } from '../union/index.mjs';
+// operator
+import { SetIncludes } from '../sets/index.mjs';
+// mapping types
+import { MappedResult } from './mapped-result.mjs';
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+import { IsArray, IsAsyncIterator, IsConstructor, IsFunction, IsIntersect, IsIterator, IsReadonly, IsMappedResult, IsMappedKey, IsObject, IsOptional, IsPromise, IsSchema, IsTuple, IsUnion } from '../guard/kind.mjs';
+// prettier-ignore
+function FromMappedResult(K, P) {
+    return (K in P
+        ? FromSchemaType(K, P[K])
+        : MappedResult(P));
+}
+// prettier-ignore
+function MappedKeyToKnownMappedResultProperties(K) {
+    return { [K]: Literal(K) };
+}
+// prettier-ignore
+function MappedKeyToUnknownMappedResultProperties(P) {
+    const Acc = {};
+    for (const L of P)
+        Acc[L] = Literal(L);
+    return Acc;
+}
+// prettier-ignore
+function MappedKeyToMappedResultProperties(K, P) {
+    return (SetIncludes(P, K)
+        ? MappedKeyToKnownMappedResultProperties(K)
+        : MappedKeyToUnknownMappedResultProperties(P));
+}
+// prettier-ignore
+function FromMappedKey(K, P) {
+    const R = MappedKeyToMappedResultProperties(K, P);
+    return FromMappedResult(K, R);
+}
+// prettier-ignore
+function FromRest(K, T) {
+    return T.map(L => FromSchemaType(K, L));
+}
+// prettier-ignore
+function FromProperties(K, T) {
+    const Acc = {};
+    for (const K2 of globalThis.Object.getOwnPropertyNames(T))
+        Acc[K2] = FromSchemaType(K, T[K2]);
+    return Acc;
+}
+// prettier-ignore
+function FromSchemaType(K, T) {
+    // required to retain user defined options for mapped type
+    const options = { ...T };
+    return (
+    // unevaluated modifier types
+    IsOptional(T) ? Optional(FromSchemaType(K, Discard(T, [OptionalKind]))) :
+        IsReadonly(T) ? Readonly(FromSchemaType(K, Discard(T, [ReadonlyKind]))) :
+            // unevaluated mapped types
+            IsMappedResult(T) ? FromMappedResult(K, T.properties) :
+                IsMappedKey(T) ? FromMappedKey(K, T.keys) :
+                    // unevaluated types
+                    IsConstructor(T) ? Constructor(FromRest(K, T.parameters), FromSchemaType(K, T.returns), options) :
+                        IsFunction(T) ? FunctionType(FromRest(K, T.parameters), FromSchemaType(K, T.returns), options) :
+                            IsAsyncIterator(T) ? AsyncIterator(FromSchemaType(K, T.items), options) :
+                                IsIterator(T) ? Iterator(FromSchemaType(K, T.items), options) :
+                                    IsIntersect(T) ? Intersect(FromRest(K, T.allOf), options) :
+                                        IsUnion(T) ? Union(FromRest(K, T.anyOf), options) :
+                                            IsTuple(T) ? Tuple(FromRest(K, T.items ?? []), options) :
+                                                IsObject(T) ? Object(FromProperties(K, T.properties), options) :
+                                                    IsArray(T) ? Array(FromSchemaType(K, T.items), options) :
+                                                        IsPromise(T) ? Promise(FromSchemaType(K, T.item), options) :
+                                                            T);
+}
+// prettier-ignore
+export function MappedFunctionReturnType(K, T) {
+    const Acc = {};
+    for (const L of K)
+        Acc[L] = FromSchemaType(L, T);
+    return Acc;
+}
+/** `[Json]` Creates a Mapped object type */
+export function Mapped(key, map, options) {
+    const K = IsSchema(key) ? IndexPropertyKeys(key) : key;
+    const RT = map({ [Kind]: 'MappedKey', keys: K });
+    const R = MappedFunctionReturnType(K, RT);
+    return Object(R, options);
+}

package/build/esm/type/module/compute.d.mts

@@ -0,0 +1,59 @@
+import { Ensure, Evaluate } from '../helpers/index.mjs';
+import { type TSchema } from '../schema/index.mjs';
+import { type TArray } from '../array/index.mjs';
+import { type TAwaited } from '../awaited/index.mjs';
+import { type TAsyncIterator } from '../async-iterator/index.mjs';
+import { TComputed } from '../computed/index.mjs';
+import { type TConstructor } from '../constructor/index.mjs';
+import { type TIndex, type TIndexPropertyKeys } from '../indexed/index.mjs';
+import { TEnum, type TEnumRecord } from '../enum/index.mjs';
+import { type TFunction } from '../function/index.mjs';
+import { type TIntersect, type TIntersectEvaluated } from '../intersect/index.mjs';
+import { type TIterator } from '../iterator/index.mjs';
+import { type TKeyOf } from '../keyof/index.mjs';
+import { type TObject, type TProperties } from '../object/index.mjs';
+import { type TOmit } from '../omit/index.mjs';
+import { type TOptional } from '../optional/index.mjs';
+import { type TPick } from '../pick/index.mjs';
+import { type TNever } from '../never/index.mjs';
+import { TPartial } from '../partial/index.mjs';
+import { type TReadonly } from '../readonly/index.mjs';
+import { type TRecordOrObject, type TRecord } from '../record/index.mjs';
+import { type TRef } from '../ref/index.mjs';
+import { type TRequired } from '../required/index.mjs';
+import { type TTransform } from '../transform/index.mjs';
+import { type TTuple } from '../tuple/index.mjs';
+import { type TUnion, type TUnionEvaluated } from '../union/index.mjs';
+type TDereferenceParameters<ModuleProperties extends TProperties, Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? Left extends TRef<infer Key extends string> ? TDereferenceParameters<ModuleProperties, Right, [...Result, TDereference<ModuleProperties, Key>]> : TDereferenceParameters<ModuleProperties, Right, [...Result, TFromType<ModuleProperties, Left>]> : Result);
+type TDereference<ModuleProperties extends TProperties, Ref extends string, Result extends TSchema = (Ref extends keyof ModuleProperties ? ModuleProperties[Ref] extends TRef<infer Ref2 extends string> ? TDereference<ModuleProperties, Ref2> : TFromType<ModuleProperties, ModuleProperties[Ref]> : TNever)> = Result;
+type TFromAwaited<Parameters extends TSchema[]> = (Parameters extends [infer T0 extends TSchema] ? TAwaited<T0> : never);
+type TFromIndex<Parameters extends TSchema[]> = (Parameters extends [infer T0 extends TSchema, infer T1 extends TSchema] ? TIndex<T0, TIndexPropertyKeys<T1>> extends infer Result extends TSchema ? Result : never : never);
+type TFromKeyOf<Parameters extends TSchema[]> = (Parameters extends [infer T0 extends TSchema] ? TKeyOf<T0> : never);
+type TFromPartial<Parameters extends TSchema[]> = (Parameters extends [infer T0 extends TSchema] ? TPartial<T0> : never);
+type TFromOmit<Parameters extends TSchema[]> = (Parameters extends [infer T0 extends TSchema, infer T1 extends TSchema] ? TOmit<T0, T1> : never);
+type TFromPick<Parameters extends TSchema[]> = (Parameters extends [infer T0 extends TSchema, infer T1 extends TSchema] ? TPick<T0, T1> : never);
+type TFromRequired<Parameters extends TSchema[]> = (Parameters extends [infer T0 extends TSchema] ? TRequired<T0> : never);
+type TFromComputed<ModuleProperties extends TProperties, Target extends string, Parameters extends TSchema[], Dereferenced extends TSchema[] = TDereferenceParameters<ModuleProperties, Parameters>> = (Target extends 'Awaited' ? TFromAwaited<Dereferenced> : Target extends 'Index' ? TFromIndex<Dereferenced> : Target extends 'KeyOf' ? TFromKeyOf<Dereferenced> : Target extends 'Partial' ? TFromPartial<Dereferenced> : Target extends 'Omit' ? TFromOmit<Dereferenced> : Target extends 'Pick' ? TFromPick<Dereferenced> : Target extends 'Required' ? TFromRequired<Dereferenced> : TNever);
+type TFromArray<ModuleProperties extends TProperties, Type extends TSchema> = (Ensure<TArray<TFromType<ModuleProperties, Type>>>);
+type TFromAsyncIterator<ModuleProperties extends TProperties, Type extends TSchema> = (TAsyncIterator<TFromType<ModuleProperties, Type>>);
+type TFromConstructor<ModuleProperties extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema> = (TConstructor<TFromTypes<ModuleProperties, Parameters>, TFromType<ModuleProperties, InstanceType>>);
+type TFromFunction<ModuleProperties extends TProperties, Parameters extends TSchema[], ReturnType extends TSchema> = Ensure<Ensure<TFunction<TFromTypes<ModuleProperties, Parameters>, TFromType<ModuleProperties, ReturnType>>>>;
+type TFromIntersect<ModuleProperties extends TProperties, Types extends TSchema[]> = (Ensure<TIntersectEvaluated<TFromTypes<ModuleProperties, Types>>>);
+type TFromIterator<ModuleProperties extends TProperties, Type extends TSchema> = (TIterator<TFromType<ModuleProperties, Type>>);
+type TFromObject<ModuleProperties extends TProperties, Properties extends TProperties> = Ensure<TObject<Evaluate<{
+    [Key in keyof Properties]: TFromType<ModuleProperties, Properties[Key]>;
+}>>>;
+type TFromRecord<ModuleProperties extends TProperties, Key extends TSchema, Value extends TSchema, Result extends TSchema = TRecordOrObject<Key, TFromType<ModuleProperties, Value>>> = Result;
+type TFromTransform<ModuleProperties extends TProperties, Input extends TSchema, Output extends unknown, Result extends TSchema = Input extends TRef<infer Key extends string> ? TTransform<TDereference<ModuleProperties, Key>, Output> : TTransform<Input, Output>> = Result;
+type TFromTuple<ModuleProperties extends TProperties, Types extends TSchema[]> = (Ensure<TTuple<TFromTypes<ModuleProperties, Types>>>);
+type TFromUnion<ModuleProperties extends TProperties, Types extends TSchema[]> = (Ensure<TUnionEvaluated<TFromTypes<ModuleProperties, Types>>>);
+type TFromTypes<ModuleProperties extends TProperties, Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromTypes<ModuleProperties, Right, [...Result, TFromType<ModuleProperties, Left>]> : Result);
+export type TFromType<ModuleProperties extends TProperties, Type extends TSchema> = (Type extends TOptional<infer Type extends TSchema> ? TOptional<TFromType<ModuleProperties, Type>> : Type extends TReadonly<infer Type extends TSchema> ? TReadonly<TFromType<ModuleProperties, Type>> : Type extends TTransform<infer Input extends TSchema, infer Output extends unknown> ? TFromTransform<ModuleProperties, Input, Output> : Type extends TArray<infer Type extends TSchema> ? TFromArray<ModuleProperties, Type> : Type extends TAsyncIterator<infer Type extends TSchema> ? TFromAsyncIterator<ModuleProperties, Type> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<ModuleProperties, Target, Parameters> : Type extends TConstructor<infer Parameters extends TSchema[], infer InstanceType extends TSchema> ? TFromConstructor<ModuleProperties, Parameters, InstanceType> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? TFromFunction<ModuleProperties, Parameters, ReturnType> : Type extends TIntersect<infer Types extends TSchema[]> ? TFromIntersect<ModuleProperties, Types> : Type extends TIterator<infer Type extends TSchema> ? TFromIterator<ModuleProperties, Type> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<ModuleProperties, Properties> : Type extends TRecord<infer Key extends TSchema, infer Value extends TSchema> ? TFromRecord<ModuleProperties, Key, Value> : Type extends TTuple<infer Types extends TSchema[]> ? TFromTuple<ModuleProperties, Types> : Type extends TEnum<infer _ extends TEnumRecord> ? Type : Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<ModuleProperties, Types> : Type);
+export declare function FromType<ModuleProperties extends TProperties, Type extends TSchema>(moduleProperties: ModuleProperties, type: Type): TFromType<ModuleProperties, Type>;
+export type TComputeType<ModuleProperties extends TProperties, Key extends PropertyKey> = (Key extends keyof ModuleProperties ? TFromType<ModuleProperties, ModuleProperties[Key]> : TNever);
+export declare function ComputeType<ModuleProperties extends TProperties, Key extends PropertyKey>(moduleProperties: ModuleProperties, key: Key): TComputeType<ModuleProperties, Key>;
+export type TComputeModuleProperties<ModuleProperties extends TProperties> = Evaluate<{
+    [Key in keyof ModuleProperties]: TComputeType<ModuleProperties, Key>;
+}>;
+export declare function ComputeModuleProperties<ModuleProperties extends TProperties>(moduleProperties: ModuleProperties): TComputeModuleProperties<ModuleProperties>;
+export {};

package/build/esm/type/module/compute.mjs

@@ -0,0 +1,166 @@
+import { CreateType } from '../create/index.mjs';
+import { CloneType } from '../clone/index.mjs';
+import { Discard } from '../discard/index.mjs';
+import { Array } from '../array/index.mjs';
+import { Awaited } from '../awaited/index.mjs';
+import { AsyncIterator } from '../async-iterator/index.mjs';
+import { Constructor } from '../constructor/index.mjs';
+import { Index } from '../indexed/index.mjs';
+import { Function as FunctionType } from '../function/index.mjs';
+import { Intersect } from '../intersect/index.mjs';
+import { Iterator } from '../iterator/index.mjs';
+import { KeyOf } from '../keyof/index.mjs';
+import { Object } from '../object/index.mjs';
+import { Omit } from '../omit/index.mjs';
+import { Pick } from '../pick/index.mjs';
+import { Never } from '../never/index.mjs';
+import { Partial } from '../partial/index.mjs';
+import { RecordValue, RecordPattern } from '../record/index.mjs';
+import { Required } from '../required/index.mjs';
+import { Tuple } from '../tuple/index.mjs';
+import { Union } from '../union/index.mjs';
+// ------------------------------------------------------------------
+// Symbols
+// ------------------------------------------------------------------
+import { TransformKind, OptionalKind, ReadonlyKind } from '../symbols/index.mjs';
+// ------------------------------------------------------------------
+// KindGuard
+// ------------------------------------------------------------------
+import * as KindGuard from '../guard/kind.mjs';
+// prettier-ignore
+function DereferenceParameters(moduleProperties, types) {
+    return types.map((type) => {
+        return KindGuard.IsRef(type)
+            ? Dereference(moduleProperties, type.$ref)
+            : FromType(moduleProperties, type);
+    });
+}
+// prettier-ignore
+function Dereference(moduleProperties, ref) {
+    return (ref in moduleProperties
+        ? KindGuard.IsRef(moduleProperties[ref])
+            ? Dereference(moduleProperties, moduleProperties[ref].$ref)
+            : FromType(moduleProperties, moduleProperties[ref])
+        : Never());
+}
+// prettier-ignore
+function FromAwaited(parameters) {
+    return Awaited(parameters[0]);
+}
+// prettier-ignore
+function FromIndex(parameters) {
+    return Index(parameters[0], parameters[1]);
+}
+// prettier-ignore
+function FromKeyOf(parameters) {
+    return KeyOf(parameters[0]);
+}
+// prettier-ignore
+function FromPartial(parameters) {
+    return Partial(parameters[0]);
+}
+// prettier-ignore
+function FromOmit(parameters) {
+    return Omit(parameters[0], parameters[1]);
+}
+// prettier-ignore
+function FromPick(parameters) {
+    return Pick(parameters[0], parameters[1]);
+}
+// prettier-ignore
+function FromRequired(parameters) {
+    return Required(parameters[0]);
+}
+// prettier-ignore
+function FromComputed(moduleProperties, target, parameters) {
+    const dereferenced = DereferenceParameters(moduleProperties, parameters);
+    return (target === 'Awaited' ? FromAwaited(dereferenced) :
+        target === 'Index' ? FromIndex(dereferenced) :
+            target === 'KeyOf' ? FromKeyOf(dereferenced) :
+                target === 'Partial' ? FromPartial(dereferenced) :
+                    target === 'Omit' ? FromOmit(dereferenced) :
+                        target === 'Pick' ? FromPick(dereferenced) :
+                            target === 'Required' ? FromRequired(dereferenced) :
+                                Never());
+}
+function FromArray(moduleProperties, type) {
+    return Array(FromType(moduleProperties, type));
+}
+function FromAsyncIterator(moduleProperties, type) {
+    return AsyncIterator(FromType(moduleProperties, type));
+}
+// prettier-ignore
+function FromConstructor(moduleProperties, parameters, instanceType) {
+    return Constructor(FromTypes(moduleProperties, parameters), FromType(moduleProperties, instanceType));
+}
+// prettier-ignore
+function FromFunction(moduleProperties, parameters, returnType) {
+    return FunctionType(FromTypes(moduleProperties, parameters), FromType(moduleProperties, returnType));
+}
+function FromIntersect(moduleProperties, types) {
+    return Intersect(FromTypes(moduleProperties, types));
+}
+function FromIterator(moduleProperties, type) {
+    return Iterator(FromType(moduleProperties, type));
+}
+function FromObject(moduleProperties, properties) {
+    return Object(globalThis.Object.keys(properties).reduce((result, key) => {
+        return { ...result, [key]: FromType(moduleProperties, properties[key]) };
+    }, {}));
+}
+// prettier-ignore
+function FromRecord(moduleProperties, type) {
+    const [value, pattern] = [FromType(moduleProperties, RecordValue(type)), RecordPattern(type)];
+    const result = CloneType(type);
+    result.patternProperties[pattern] = value;
+    return result;
+}
+// prettier-ignore
+function FromTransform(moduleProperties, transform) {
+    return (KindGuard.IsRef(transform))
+        ? { ...Dereference(moduleProperties, transform.$ref), [TransformKind]: transform[TransformKind] }
+        : transform;
+}
+function FromTuple(moduleProperties, types) {
+    return Tuple(FromTypes(moduleProperties, types));
+}
+function FromUnion(moduleProperties, types) {
+    return Union(FromTypes(moduleProperties, types));
+}
+function FromTypes(moduleProperties, types) {
+    return types.map((type) => FromType(moduleProperties, type));
+}
+// prettier-ignore
+export function FromType(moduleProperties, type) {
+    return (
+    // Modifiers
+    KindGuard.IsOptional(type) ? CreateType(FromType(moduleProperties, Discard(type, [OptionalKind])), type) :
+        KindGuard.IsReadonly(type) ? CreateType(FromType(moduleProperties, Discard(type, [ReadonlyKind])), type) :
+            // Transform
+            KindGuard.IsTransform(type) ? CreateType(FromTransform(moduleProperties, type), type) :
+                // Types
+                KindGuard.IsArray(type) ? CreateType(FromArray(moduleProperties, type.items), type) :
+                    KindGuard.IsAsyncIterator(type) ? CreateType(FromAsyncIterator(moduleProperties, type.items), type) :
+                        KindGuard.IsComputed(type) ? CreateType(FromComputed(moduleProperties, type.target, type.parameters)) :
+                            KindGuard.IsConstructor(type) ? CreateType(FromConstructor(moduleProperties, type.parameters, type.returns), type) :
+                                KindGuard.IsFunction(type) ? CreateType(FromFunction(moduleProperties, type.parameters, type.returns), type) :
+                                    KindGuard.IsIntersect(type) ? CreateType(FromIntersect(moduleProperties, type.allOf), type) :
+                                        KindGuard.IsIterator(type) ? CreateType(FromIterator(moduleProperties, type.items), type) :
+                                            KindGuard.IsObject(type) ? CreateType(FromObject(moduleProperties, type.properties), type) :
+                                                KindGuard.IsRecord(type) ? CreateType(FromRecord(moduleProperties, type)) :
+                                                    KindGuard.IsTuple(type) ? CreateType(FromTuple(moduleProperties, type.items || []), type) :
+                                                        KindGuard.IsUnion(type) ? CreateType(FromUnion(moduleProperties, type.anyOf), type) :
+                                                            type);
+}
+// prettier-ignore
+export function ComputeType(moduleProperties, key) {
+    return (key in moduleProperties
+        ? FromType(moduleProperties, moduleProperties[key])
+        : Never());
+}
+// prettier-ignore
+export function ComputeModuleProperties(moduleProperties) {
+    return globalThis.Object.getOwnPropertyNames(moduleProperties).reduce((result, key) => {
+        return { ...result, [key]: ComputeType(moduleProperties, key) };
+    }, {});
+}

package/build/esm/type/module/index.d.mts

@@ -0,0 +1 @@
+export * from './module.mjs';

package/build/esm/type/module/index.mjs

@@ -0,0 +1 @@
+export * from './module.mjs';

package/build/esm/type/module/infer.d.mts

@@ -0,0 +1,49 @@
+import { Ensure, Evaluate } from '../helpers/index.mjs';
+import { TSchema } from '../schema/index.mjs';
+import { TArray } from '../array/index.mjs';
+import { TAsyncIterator } from '../async-iterator/index.mjs';
+import { TConstructor } from '../constructor/index.mjs';
+import { TEnum, TEnumRecord } from '../enum/index.mjs';
+import { TFunction } from '../function/index.mjs';
+import { TIntersect } from '../intersect/index.mjs';
+import { TIterator } from '../iterator/index.mjs';
+import { TObject, TProperties } from '../object/index.mjs';
+import { TOptional } from '../optional/index.mjs';
+import { TRecord } from '../record/index.mjs';
+import { TReadonly } from '../readonly/index.mjs';
+import { TRef } from '../ref/index.mjs';
+import { TTuple } from '../tuple/index.mjs';
+import { TUnion } from '../union/index.mjs';
+import { Static } from '../static/index.mjs';
+import { TRecursive } from '../recursive/index.mjs';
+type TInferArray<ModuleProperties extends TProperties, Type extends TSchema> = (Ensure<Array<TInfer<ModuleProperties, Type>>>);
+type TInferAsyncIterator<ModuleProperties extends TProperties, Type extends TSchema> = (Ensure<AsyncIterableIterator<TInfer<ModuleProperties, Type>>>);
+type TInferConstructor<ModuleProperties extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema> = Ensure<new (...args: TInferTuple<ModuleProperties, Parameters>) => TInfer<ModuleProperties, InstanceType>>;
+type TInferFunction<ModuleProperties extends TProperties, Parameters extends TSchema[], ReturnType extends TSchema> = Ensure<(...args: TInferTuple<ModuleProperties, Parameters>) => TInfer<ModuleProperties, ReturnType>>;
+type TInferIterator<ModuleProperties extends TProperties, Type extends TSchema> = (Ensure<IterableIterator<TInfer<ModuleProperties, Type>>>);
+type TInferIntersect<ModuleProperties extends TProperties, Types extends TSchema[], Result extends unknown = unknown> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TInferIntersect<ModuleProperties, Right, Result & TInfer<ModuleProperties, Left>> : Result);
+type ReadonlyOptionalPropertyKeys<Properties extends TProperties> = {
+    [Key in keyof Properties]: Properties[Key] extends TReadonly<TSchema> ? (Properties[Key] extends TOptional<Properties[Key]> ? Key : never) : never;
+}[keyof Properties];
+type ReadonlyPropertyKeys<Source extends TProperties> = {
+    [Key in keyof Source]: Source[Key] extends TReadonly<TSchema> ? (Source[Key] extends TOptional<Source[Key]> ? never : Key) : never;
+}[keyof Source];
+type OptionalPropertyKeys<Source extends TProperties> = {
+    [Key in keyof Source]: Source[Key] extends TOptional<TSchema> ? (Source[Key] extends TReadonly<Source[Key]> ? never : Key) : never;
+}[keyof Source];
+type RequiredPropertyKeys<Source extends TProperties> = keyof Omit<Source, ReadonlyOptionalPropertyKeys<Source> | ReadonlyPropertyKeys<Source> | OptionalPropertyKeys<Source>>;
+type InferPropertiesWithModifiers<Properties extends TProperties, Source extends Record<keyof any, unknown>> = Evaluate<(Readonly<Partial<Pick<Source, ReadonlyOptionalPropertyKeys<Properties>>>> & Readonly<Pick<Source, ReadonlyPropertyKeys<Properties>>> & Partial<Pick<Source, OptionalPropertyKeys<Properties>>> & Required<Pick<Source, RequiredPropertyKeys<Properties>>>)>;
+type InferProperties<ModuleProperties extends TProperties, Properties extends TProperties> = InferPropertiesWithModifiers<Properties, {
+    [K in keyof Properties]: TInfer<ModuleProperties, Properties[K]>;
+}>;
+type TInferObject<ModuleProperties extends TProperties, Properties extends TProperties> = (InferProperties<ModuleProperties, Properties>);
+type TInferTuple<ModuleProperties extends TProperties, Types extends TSchema[], Result extends unknown[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TInferTuple<ModuleProperties, R, [...Result, TInfer<ModuleProperties, L>]> : Result);
+type TInferRecord<ModuleProperties extends TProperties, Key extends TSchema, Type extends TSchema, InferredKey extends PropertyKey = TInfer<ModuleProperties, Key> extends infer Key extends PropertyKey ? Key : never, InferedType extends unknown = TInfer<ModuleProperties, Type>> = Ensure<{
+    [_ in InferredKey]: InferedType;
+}>;
+type TInferRef<ModuleProperties extends TProperties, Ref extends string> = (Ref extends keyof ModuleProperties ? TInfer<ModuleProperties, ModuleProperties[Ref]> : unknown);
+type TInferUnion<ModuleProperties extends TProperties, Types extends TSchema[], Result extends unknown = never> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TInferUnion<ModuleProperties, R, Result | TInfer<ModuleProperties, L>> : Result);
+type TInfer<ModuleProperties extends TProperties, Type extends TSchema> = (Type extends TArray<infer Type extends TSchema> ? TInferArray<ModuleProperties, Type> : Type extends TAsyncIterator<infer Type extends TSchema> ? TInferAsyncIterator<ModuleProperties, Type> : Type extends TConstructor<infer Parameters extends TSchema[], infer InstanceType extends TSchema> ? TInferConstructor<ModuleProperties, Parameters, InstanceType> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? TInferFunction<ModuleProperties, Parameters, ReturnType> : Type extends TIntersect<infer Types extends TSchema[]> ? TInferIntersect<ModuleProperties, Types> : Type extends TIterator<infer Type extends TSchema> ? TInferIterator<ModuleProperties, Type> : Type extends TObject<infer Properties extends TProperties> ? TInferObject<ModuleProperties, Properties> : Type extends TRecord<infer Key extends TSchema, infer Type extends TSchema> ? TInferRecord<ModuleProperties, Key, Type> : Type extends TRef<infer Ref extends string> ? TInferRef<ModuleProperties, Ref> : Type extends TTuple<infer Types extends TSchema[]> ? TInferTuple<ModuleProperties, Types> : Type extends TEnum<infer _ extends TEnumRecord> ? Static<Type> : Type extends TUnion<infer Types extends TSchema[]> ? TInferUnion<ModuleProperties, Types> : Type extends TRecursive<infer Schema extends TSchema> ? TInfer<ModuleProperties, Schema> : Static<Type>);
+/** Inference Path for Imports. This type is used to compute TImport `static` */
+export type TInferFromModuleKey<ModuleProperties extends TProperties, Key extends PropertyKey> = (Key extends keyof ModuleProperties ? TInfer<ModuleProperties, ModuleProperties[Key]> : never);
+export {};

package/build/esm/type/module/infer.mjs

@@ -0,0 +1 @@
+export {};

package/build/esm/type/module/module.d.mts

@@ -0,0 +1,27 @@
+import { Kind } from '../symbols/index.mjs';
+import { SchemaOptions, TSchema } from '../schema/index.mjs';
+import { TProperties } from '../object/index.mjs';
+import { Static } from '../static/index.mjs';
+import { TComputeModuleProperties } from './compute.mjs';
+import { TInferFromModuleKey } from './infer.mjs';
+export interface TDefinitions<ModuleProperties extends TProperties> extends TSchema {
+    static: {
+        [K in keyof ModuleProperties]: Static<ModuleProperties[K]>;
+    };
+    $defs: ModuleProperties;
+}
+export interface TImport<ModuleProperties extends TProperties = {}, Key extends keyof ModuleProperties = keyof ModuleProperties> extends TSchema {
+    [Kind]: 'Import';
+    static: TInferFromModuleKey<ModuleProperties, Key>;
+    $defs: ModuleProperties;
+    $ref: Key;
+}
+export declare class TModule<ModuleProperties extends TProperties, ComputedModuleProperties extends TProperties = TComputeModuleProperties<ModuleProperties>> {
+    private readonly $defs;
+    constructor($defs: ModuleProperties);
+    /** `[Json]` Imports a Type by Key. */
+    Import<Key extends keyof ComputedModuleProperties>(key: Key, options?: SchemaOptions): TImport<ComputedModuleProperties, Key>;
+    private WithIdentifiers;
+}
+/** `[Json]` Creates a Type Definition Module. */
+export declare function Module<Properties extends TProperties>(properties: Properties): TModule<Properties>;

package/build/esm/type/module/module.mjs

@@ -0,0 +1,32 @@
+import { CreateType } from '../create/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+// ------------------------------------------------------------------
+// Module Infrastructure Types
+// ------------------------------------------------------------------
+import { ComputeModuleProperties } from './compute.mjs';
+// ------------------------------------------------------------------
+// Module
+// ------------------------------------------------------------------
+// prettier-ignore
+export class TModule {
+    constructor($defs) {
+        const computed = ComputeModuleProperties($defs);
+        const identified = this.WithIdentifiers(computed);
+        this.$defs = identified;
+    }
+    /** `[Json]` Imports a Type by Key. */
+    Import(key, options) {
+        const $defs = { ...this.$defs, [key]: CreateType(this.$defs[key], options) };
+        return CreateType({ [Kind]: 'Import', $defs, $ref: key });
+    }
+    // prettier-ignore
+    WithIdentifiers($defs) {
+        return globalThis.Object.getOwnPropertyNames($defs).reduce((result, key) => {
+            return { ...result, [key]: { ...$defs[key], $id: key } };
+        }, {});
+    }
+}
+/** `[Json]` Creates a Type Definition Module. */
+export function Module(properties) {
+    return new TModule(properties);
+}

package/build/esm/type/never/index.d.mts

@@ -0,0 +1 @@
+export * from './never.mjs';

package/build/esm/type/never/index.mjs

@@ -0,0 +1 @@
+export * from './never.mjs';

package/build/esm/type/never/never.d.mts

@@ -0,0 +1,9 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface TNever extends TSchema {
+    [Kind]: 'Never';
+    static: never;
+    not: {};
+}
+/** `[Json]` Creates a Never type */
+export declare function Never(options?: SchemaOptions): TNever;

package/build/esm/type/never/never.mjs

@@ -0,0 +1,6 @@
+import { CreateType } from '../create/type.mjs';
+import { Kind } from '../symbols/index.mjs';
+/** `[Json]` Creates a Never type */
+export function Never(options) {
+    return CreateType({ [Kind]: 'Never', not: {} }, options);
+}

package/build/esm/type/not/index.d.mts

@@ -0,0 +1 @@
+export * from './not.mjs';

package/build/esm/type/not/index.mjs

@@ -0,0 +1 @@
+export * from './not.mjs';

package/build/esm/type/not/not.d.mts

@@ -0,0 +1,10 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { Static } from '../static/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface TNot<T extends TSchema = TSchema> extends TSchema {
+    [Kind]: 'Not';
+    static: T extends TNot<infer U> ? Static<U> : unknown;
+    not: T;
+}
+/** `[Json]` Creates a Not type */
+export declare function Not<Type extends TSchema>(type: Type, options?: SchemaOptions): TNot<Type>;