@sinclair/typebox 0.34.26 → 0.34.28

package/build/cjs/type/module/compute.d.ts

@@ -20,11 +20,12 @@ import { TPartial } from '../partial/index';
 import { type TReadonly } from '../readonly/index';
 import { type TRecordOrObject, type TRecord } from '../record/index';
 import { type TRef } from '../ref/index';
-import { TRequired } from '../required/index';
+import { type TRequired } from '../required/index';
+import { type TTransform } from '../transform/index';
 import { type TTuple } from '../tuple/index';
 import { type TUnion, type TUnionEvaluated } from '../union/index';
-type TDerefParameters<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> ? TDerefParameters<ModuleProperties, Right, [...Result, TDeref<ModuleProperties, Key>]> : TDerefParameters<ModuleProperties, Right, [...Result, TFromType<ModuleProperties, Left>]> : Result);
-type TDeref<ModuleProperties extends TProperties, Ref extends string, Result extends TSchema = (Ref extends keyof ModuleProperties ? ModuleProperties[Ref] extends TRef<infer Ref2 extends string> ? TDeref<ModuleProperties, Ref2> : TFromType<ModuleProperties, ModuleProperties[Ref]> : TNever)> = Result;
+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);
@@ -32,21 +33,22 @@ type TFromPartial<Parameters extends TSchema[]> = (Parameters extends [infer T0
 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[] = TDerefParameters<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 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 TFromConstructor<ModuleProperties extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema> = (TConstructor<TFromRest<ModuleProperties, Parameters>, TFromType<ModuleProperties, InstanceType>>);
-type TFromFunction<ModuleProperties extends TProperties, Parameters extends TSchema[], ReturnType extends TSchema> = Ensure<Ensure<TFunction<TFromRest<ModuleProperties, Parameters>, TFromType<ModuleProperties, ReturnType>>>>;
-type TFromTuple<ModuleProperties extends TProperties, Types extends TSchema[]> = (Ensure<TTuple<TFromRest<ModuleProperties, Types>>>);
-type TFromIntersect<ModuleProperties extends TProperties, Types extends TSchema[]> = (Ensure<TIntersectEvaluated<TFromRest<ModuleProperties, Types>>>);
-type TFromUnion<ModuleProperties extends TProperties, Types extends TSchema[]> = (Ensure<TUnionEvaluated<TFromRest<ModuleProperties, Types>>>);
-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 TFromIterator<ModuleProperties extends TProperties, Type extends TSchema> = (TIterator<TFromType<ModuleProperties, Type>>);
-type TFromRest<ModuleProperties extends TProperties, Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromRest<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 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);
+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>;

package/build/cjs/type/module/compute.js

@@ -25,24 +25,27 @@ const index_18 = require("../record/index");
 const index_19 = require("../required/index");
 const index_20 = require("../tuple/index");
 const index_21 = require("../union/index");
+// ------------------------------------------------------------------
+// Symbols
+// ------------------------------------------------------------------
 const index_22 = require("../symbols/index");
 // ------------------------------------------------------------------
 // KindGuard
 // ------------------------------------------------------------------
 const KindGuard = require("../guard/kind");
 // prettier-ignore
-function DerefParameters(moduleProperties, types) {
+function DereferenceParameters(moduleProperties, types) {
     return types.map((type) => {
         return KindGuard.IsRef(type)
-            ? Deref(moduleProperties, type.$ref)
+            ? Dereference(moduleProperties, type.$ref)
             : FromType(moduleProperties, type);
     });
 }
 // prettier-ignore
-function Deref(moduleProperties, ref) {
+function Dereference(moduleProperties, ref) {
     return (ref in moduleProperties
         ? KindGuard.IsRef(moduleProperties[ref])
-            ? Deref(moduleProperties, moduleProperties[ref].$ref)
+            ? Dereference(moduleProperties, moduleProperties[ref].$ref)
             : FromType(moduleProperties, moduleProperties[ref])
         : (0, index_16.Never)());
 }
@@ -76,7 +79,7 @@ function FromRequired(parameters) {
 }
 // prettier-ignore
 function FromComputed(moduleProperties, target, parameters) {
-    const dereferenced = DerefParameters(moduleProperties, parameters);
+    const dereferenced = DereferenceParameters(moduleProperties, parameters);
     return (target === 'Awaited' ? FromAwaited(dereferenced) :
         target === 'Index' ? FromIndex(dereferenced) :
             target === 'KeyOf' ? FromKeyOf(dereferenced) :
@@ -86,6 +89,26 @@ function FromComputed(moduleProperties, target, parameters) {
                             target === 'Required' ? FromRequired(dereferenced) :
                                 (0, index_16.Never)());
 }
+function FromArray(moduleProperties, type) {
+    return (0, index_4.Array)(FromType(moduleProperties, type));
+}
+function FromAsyncIterator(moduleProperties, type) {
+    return (0, index_6.AsyncIterator)(FromType(moduleProperties, type));
+}
+// prettier-ignore
+function FromConstructor(moduleProperties, parameters, instanceType) {
+    return (0, index_7.Constructor)(FromTypes(moduleProperties, parameters), FromType(moduleProperties, instanceType));
+}
+// prettier-ignore
+function FromFunction(moduleProperties, parameters, returnType) {
+    return (0, index_9.Function)(FromTypes(moduleProperties, parameters), FromType(moduleProperties, returnType));
+}
+function FromIntersect(moduleProperties, types) {
+    return (0, index_10.Intersect)(FromTypes(moduleProperties, types));
+}
+function FromIterator(moduleProperties, type) {
+    return (0, index_11.Iterator)(FromType(moduleProperties, type));
+}
 function FromObject(moduleProperties, properties) {
     return (0, index_13.Object)(globalThis.Object.keys(properties).reduce((result, key) => {
         return { ...result, [key]: FromType(moduleProperties, properties[key]) };
@@ -99,53 +122,41 @@ function FromRecord(moduleProperties, type) {
     return result;
 }
 // prettier-ignore
-function FromConstructor(moduleProperties, parameters, instanceType) {
-    return (0, index_7.Constructor)(FromRest(moduleProperties, parameters), FromType(moduleProperties, instanceType));
-}
-// prettier-ignore
-function FromFunction(moduleProperties, parameters, returnType) {
-    return (0, index_9.Function)(FromRest(moduleProperties, parameters), FromType(moduleProperties, returnType));
+function FromTransform(moduleProperties, transform) {
+    return (KindGuard.IsRef(transform))
+        ? { ...Dereference(moduleProperties, transform.$ref), [index_22.TransformKind]: transform[index_22.TransformKind] }
+        : transform;
 }
 function FromTuple(moduleProperties, types) {
-    return (0, index_20.Tuple)(FromRest(moduleProperties, types));
-}
-function FromIntersect(moduleProperties, types) {
-    return (0, index_10.Intersect)(FromRest(moduleProperties, types));
+    return (0, index_20.Tuple)(FromTypes(moduleProperties, types));
 }
 function FromUnion(moduleProperties, types) {
-    return (0, index_21.Union)(FromRest(moduleProperties, types));
-}
-function FromArray(moduleProperties, type) {
-    return (0, index_4.Array)(FromType(moduleProperties, type));
-}
-function FromAsyncIterator(moduleProperties, type) {
-    return (0, index_6.AsyncIterator)(FromType(moduleProperties, type));
-}
-function FromIterator(moduleProperties, type) {
-    return (0, index_11.Iterator)(FromType(moduleProperties, type));
+    return (0, index_21.Union)(FromTypes(moduleProperties, types));
 }
-function FromRest(moduleProperties, types) {
+function FromTypes(moduleProperties, types) {
     return types.map((type) => FromType(moduleProperties, type));
 }
 // prettier-ignore
 function FromType(moduleProperties, type) {
     return (
-    // Modifier Unwrap - Reapplied via CreateType Options
+    // Modifiers
     KindGuard.IsOptional(type) ? (0, index_1.CreateType)(FromType(moduleProperties, (0, index_3.Discard)(type, [index_22.OptionalKind])), type) :
         KindGuard.IsReadonly(type) ? (0, index_1.CreateType)(FromType(moduleProperties, (0, index_3.Discard)(type, [index_22.ReadonlyKind])), type) :
-            // Traveral
-            KindGuard.IsArray(type) ? (0, index_1.CreateType)(FromArray(moduleProperties, type.items), type) :
-                KindGuard.IsAsyncIterator(type) ? (0, index_1.CreateType)(FromAsyncIterator(moduleProperties, type.items), type) :
-                    KindGuard.IsComputed(type) ? (0, index_1.CreateType)(FromComputed(moduleProperties, type.target, type.parameters)) :
-                        KindGuard.IsConstructor(type) ? (0, index_1.CreateType)(FromConstructor(moduleProperties, type.parameters, type.returns), type) :
-                            KindGuard.IsFunction(type) ? (0, index_1.CreateType)(FromFunction(moduleProperties, type.parameters, type.returns), type) :
-                                KindGuard.IsIntersect(type) ? (0, index_1.CreateType)(FromIntersect(moduleProperties, type.allOf), type) :
-                                    KindGuard.IsIterator(type) ? (0, index_1.CreateType)(FromIterator(moduleProperties, type.items), type) :
-                                        KindGuard.IsObject(type) ? (0, index_1.CreateType)(FromObject(moduleProperties, type.properties), type) :
-                                            KindGuard.IsRecord(type) ? (0, index_1.CreateType)(FromRecord(moduleProperties, type)) :
-                                                KindGuard.IsTuple(type) ? (0, index_1.CreateType)(FromTuple(moduleProperties, type.items || []), type) :
-                                                    KindGuard.IsUnion(type) ? (0, index_1.CreateType)(FromUnion(moduleProperties, type.anyOf), type) :
-                                                        type);
+            // Transform
+            KindGuard.IsTransform(type) ? (0, index_1.CreateType)(FromTransform(moduleProperties, type), type) :
+                // Types
+                KindGuard.IsArray(type) ? (0, index_1.CreateType)(FromArray(moduleProperties, type.items), type) :
+                    KindGuard.IsAsyncIterator(type) ? (0, index_1.CreateType)(FromAsyncIterator(moduleProperties, type.items), type) :
+                        KindGuard.IsComputed(type) ? (0, index_1.CreateType)(FromComputed(moduleProperties, type.target, type.parameters)) :
+                            KindGuard.IsConstructor(type) ? (0, index_1.CreateType)(FromConstructor(moduleProperties, type.parameters, type.returns), type) :
+                                KindGuard.IsFunction(type) ? (0, index_1.CreateType)(FromFunction(moduleProperties, type.parameters, type.returns), type) :
+                                    KindGuard.IsIntersect(type) ? (0, index_1.CreateType)(FromIntersect(moduleProperties, type.allOf), type) :
+                                        KindGuard.IsIterator(type) ? (0, index_1.CreateType)(FromIterator(moduleProperties, type.items), type) :
+                                            KindGuard.IsObject(type) ? (0, index_1.CreateType)(FromObject(moduleProperties, type.properties), type) :
+                                                KindGuard.IsRecord(type) ? (0, index_1.CreateType)(FromRecord(moduleProperties, type)) :
+                                                    KindGuard.IsTuple(type) ? (0, index_1.CreateType)(FromTuple(moduleProperties, type.items || []), type) :
+                                                        KindGuard.IsUnion(type) ? (0, index_1.CreateType)(FromUnion(moduleProperties, type.anyOf), type) :
+                                                            type);
 }
 // prettier-ignore
 function ComputeType(moduleProperties, key) {

package/build/cjs/type/static/static.d.ts

@@ -7,6 +7,7 @@ import type { TConstructor } from '../constructor/index';
 import type { TEnum } from '../enum/index';
 import type { TFunction } from '../function/index';
 import type { TIntersect } from '../intersect/index';
+import type { TImport } from '../module/index';
 import type { TIterator } from '../iterator/index';
 import type { TNot } from '../not/index';
 import type { TObject, TProperties } from '../object/index';
@@ -19,17 +20,20 @@ import type { TUnion } from '../union/index';
 import type { TUnsafe } from '../unsafe/index';
 import type { TSchema } from '../schema/index';
 import type { TTransform } from '../transform/index';
-export type TDecodeProperties<T extends TProperties> = {
-    [K in keyof T]: TDecodeType<T[K]>;
+import type { TNever } from '../never/index';
+type TDecodeImport<ModuleProperties extends TProperties, Key extends PropertyKey> = (Key extends keyof ModuleProperties ? TDecodeType<ModuleProperties[Key]> extends infer Type extends TSchema ? Type extends TRef<infer Ref extends string> ? TDecodeImport<ModuleProperties, Ref> : Type : TNever : TNever);
+type TDecodeProperties<Properties extends TProperties> = {
+    [Key in keyof Properties]: TDecodeType<Properties[Key]>;
 };
-export type TDecodeRest<T extends TSchema[], Acc extends TSchema[] = []> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TDecodeRest<R, [...Acc, TDecodeType<L>]> : Acc;
-export type TDecodeType<T extends TSchema> = (T extends TOptional<infer S extends TSchema> ? TOptional<TDecodeType<S>> : T extends TReadonly<infer S extends TSchema> ? TReadonly<TDecodeType<S>> : T extends TTransform<infer _, infer R> ? TUnsafe<R> : T extends TArray<infer S extends TSchema> ? TArray<TDecodeType<S>> : T extends TAsyncIterator<infer S extends TSchema> ? TAsyncIterator<TDecodeType<S>> : T extends TConstructor<infer P extends TSchema[], infer R extends TSchema> ? TConstructor<TDecodeRest<P>, TDecodeType<R>> : T extends TEnum<infer S> ? TEnum<S> : T extends TFunction<infer P extends TSchema[], infer R extends TSchema> ? TFunction<TDecodeRest<P>, TDecodeType<R>> : T extends TIntersect<infer S extends TSchema[]> ? TIntersect<TDecodeRest<S>> : T extends TIterator<infer S extends TSchema> ? TIterator<TDecodeType<S>> : T extends TNot<infer S extends TSchema> ? TNot<TDecodeType<S>> : T extends TObject<infer S> ? TObject<Evaluate<TDecodeProperties<S>>> : T extends TPromise<infer S extends TSchema> ? TPromise<TDecodeType<S>> : T extends TRecord<infer K, infer S> ? TRecord<K, TDecodeType<S>> : T extends TRecursive<infer S extends TSchema> ? TRecursive<TDecodeType<S>> : T extends TRef<infer S extends string> ? TRef<S> : T extends TTuple<infer S extends TSchema[]> ? TTuple<TDecodeRest<S>> : T extends TUnion<infer S extends TSchema[]> ? TUnion<TDecodeRest<S>> : T);
-export type StaticDecodeIsAny<T> = boolean extends (T extends TSchema ? true : false) ? true : false;
+type TDecodeTypes<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TDecodeTypes<Right, [...Result, TDecodeType<Left>]> : Result);
+export type TDecodeType<Type extends TSchema> = (Type extends TOptional<infer Type extends TSchema> ? TOptional<TDecodeType<Type>> : Type extends TReadonly<infer Type extends TSchema> ? TReadonly<TDecodeType<Type>> : Type extends TTransform<infer _Input extends TSchema, infer Output> ? TUnsafe<Output> : Type extends TArray<infer Type extends TSchema> ? TArray<TDecodeType<Type>> : Type extends TAsyncIterator<infer Type extends TSchema> ? TAsyncIterator<TDecodeType<Type>> : Type extends TConstructor<infer Parameters extends TSchema[], infer InstanceType extends TSchema> ? TConstructor<TDecodeTypes<Parameters>, TDecodeType<InstanceType>> : Type extends TEnum<infer Values> ? TEnum<Values> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? TFunction<TDecodeTypes<Parameters>, TDecodeType<ReturnType>> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TDecodeTypes<Types>> : Type extends TImport<infer ModuleProperties extends TProperties, infer Key> ? TDecodeImport<ModuleProperties, Key> : Type extends TIterator<infer Type extends TSchema> ? TIterator<TDecodeType<Type>> : Type extends TNot<infer Type extends TSchema> ? TNot<TDecodeType<Type>> : Type extends TObject<infer Properties extends TProperties> ? TObject<Evaluate<TDecodeProperties<Properties>>> : Type extends TPromise<infer Type extends TSchema> ? TPromise<TDecodeType<Type>> : Type extends TRecord<infer Key extends TSchema, infer Value extends TSchema> ? TRecord<Key, TDecodeType<Value>> : Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TDecodeType<Type>> : Type extends TRef<infer Ref extends string> ? TRef<Ref> : Type extends TTuple<infer Types extends TSchema[]> ? TTuple<TDecodeTypes<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TDecodeTypes<Types>> : Type);
+export type StaticDecodeIsAny<Type> = boolean extends (Type extends TSchema ? true : false) ? true : false;
 /** Creates an decoded static type from a TypeBox type */
-export type StaticDecode<T extends TSchema, P extends unknown[] = []> = StaticDecodeIsAny<T> extends true ? unknown : Static<TDecodeType<T>, P>;
+export type StaticDecode<Type extends TSchema, Params extends unknown[] = [], Result = StaticDecodeIsAny<Type> extends true ? unknown : Static<TDecodeType<Type>, Params>> = Result;
 /** Creates an encoded static type from a TypeBox type */
-export type StaticEncode<T extends TSchema, P extends unknown[] = []> = Static<T, P>;
+export type StaticEncode<Type extends TSchema, Params extends unknown[] = [], Result = Static<Type, Params>> = Result;
 /** Creates a static type from a TypeBox type */
-export type Static<T extends TSchema, P extends unknown[] = []> = (T & {
-    params: P;
-})['static'];
+export type Static<Type extends TSchema, Params extends unknown[] = [], Result = (Type & {
+    params: Params;
+})['static']> = Result;
+export {};

package/build/cjs/value/parse/parse.d.ts

@@ -4,7 +4,7 @@ import { StaticDecode } from '../../type/static/index';
 export declare class ParseError extends TypeBoxError {
     constructor(message: string);
 }
-export type TParseOperation = 'Clone' | 'Clean' | 'Default' | 'Convert' | 'Assert' | 'Decode' | 'Encode' | ({} & string);
+export type TParseOperation = 'Assert' | 'Cast' | 'Clean' | 'Clone' | 'Convert' | 'Decode' | 'Default' | 'Encode' | ({} & string);
 export type TParseFunction = (type: TSchema, references: TSchema[], value: unknown) => unknown;
 export declare namespace ParseRegistry {
     function Delete(key: string): void;

package/build/cjs/value/parse/parse.js

@@ -6,14 +6,15 @@ exports.Parse = Parse;
 const index_1 = require("../../type/error/index");
 const index_2 = require("../transform/index");
 const index_3 = require("../assert/index");
-const index_4 = require("../default/index");
-const index_5 = require("../convert/index");
-const index_6 = require("../clean/index");
-const index_7 = require("../clone/index");
+const index_4 = require("../cast/index");
+const index_5 = require("../clean/index");
+const index_6 = require("../clone/index");
+const index_7 = require("../convert/index");
+const index_8 = require("../default/index");
 // ------------------------------------------------------------------
 // Guards
 // ------------------------------------------------------------------
-const index_8 = require("../guard/index");
+const index_9 = require("../guard/index");
 // ------------------------------------------------------------------
 // Error
 // ------------------------------------------------------------------
@@ -27,12 +28,13 @@ exports.ParseError = ParseError;
 var ParseRegistry;
 (function (ParseRegistry) {
     const registry = new Map([
-        ['Clone', (_type, _references, value) => (0, index_7.Clone)(value)],
-        ['Clean', (type, references, value) => (0, index_6.Clean)(type, references, value)],
-        ['Default', (type, references, value) => (0, index_4.Default)(type, references, value)],
-        ['Convert', (type, references, value) => (0, index_5.Convert)(type, references, value)],
         ['Assert', (type, references, value) => { (0, index_3.Assert)(type, references, value); return value; }],
+        ['Cast', (type, references, value) => (0, index_4.Cast)(type, references, value)],
+        ['Clean', (type, references, value) => (0, index_5.Clean)(type, references, value)],
+        ['Clone', (_type, _references, value) => (0, index_6.Clone)(value)],
+        ['Convert', (type, references, value) => (0, index_7.Convert)(type, references, value)],
         ['Decode', (type, references, value) => ((0, index_2.HasTransform)(type, references) ? (0, index_2.TransformDecode)(type, references, value) : value)],
+        ['Default', (type, references, value) => (0, index_8.Default)(type, references, value)],
         ['Encode', (type, references, value) => ((0, index_2.HasTransform)(type, references) ? (0, index_2.TransformEncode)(type, references, value) : value)],
     ]);
     // Deletes an entry from the registry
@@ -52,7 +54,7 @@ var ParseRegistry;
     ParseRegistry.Get = Get;
 })(ParseRegistry || (exports.ParseRegistry = ParseRegistry = {}));
 // ------------------------------------------------------------------
-// Default Parse Sequence
+// Default Parse Pipeline
 // ------------------------------------------------------------------
 // prettier-ignore
 exports.ParseDefault = [
@@ -69,7 +71,7 @@ exports.ParseDefault = [
 function ParseValue(operations, type, references, value) {
     return operations.reduce((value, operationKey) => {
         const operation = ParseRegistry.Get(operationKey);
-        if ((0, index_8.IsUndefined)(operation))
+        if ((0, index_9.IsUndefined)(operation))
             throw new ParseError(`Unable to find Parse operation '${operationKey}'`);
         return operation(type, references, value);
     }, value);
@@ -78,7 +80,7 @@ function ParseValue(operations, type, references, value) {
 function Parse(...args) {
     // prettier-ignore
     const [operations, schema, references, value] = (args.length === 4 ? [args[0], args[1], args[2], args[3]] :
-        args.length === 3 ? (0, index_8.IsArray)(args[0]) ? [args[0], args[1], [], args[2]] : [exports.ParseDefault, args[0], args[1], args[2]] :
+        args.length === 3 ? (0, index_9.IsArray)(args[0]) ? [args[0], args[1], [], args[2]] : [exports.ParseDefault, args[0], args[1], args[2]] :
             args.length === 2 ? [exports.ParseDefault, args[0], [], args[1]] :
                 (() => { throw new ParseError('Invalid Arguments'); })());
     return ParseValue(operations, schema, references, value);

package/build/cjs/value/transform/decode.js

@@ -85,12 +85,10 @@ function FromIntersect(schema, references, path, value) {
 }
 // prettier-ignore
 function FromImport(schema, references, path, value) {
-    const definitions = globalThis.Object.values(schema.$defs);
+    const additional = globalThis.Object.values(schema.$defs);
     const target = schema.$defs[schema.$ref];
-    const transform = schema[index_1.TransformKind];
-    // Note: we need to re-spec the target as TSchema + [TransformKind]
-    const transformTarget = { [index_1.TransformKind]: transform, ...target };
-    return Visit(transformTarget, [...references, ...definitions], path, value);
+    const result = Visit(target, [...references, ...additional], path, value);
+    return Default(schema, path, result);
 }
 function FromNot(schema, references, path, value) {
     return Default(schema, path, Visit(schema.not, references, path, value));

package/build/cjs/value/transform/encode.js

@@ -62,12 +62,10 @@ function FromArray(schema, references, path, value) {
 }
 // prettier-ignore
 function FromImport(schema, references, path, value) {
-    const definitions = globalThis.Object.values(schema.$defs);
+    const additional = globalThis.Object.values(schema.$defs);
     const target = schema.$defs[schema.$ref];
-    const transform = schema[index_1.TransformKind];
-    // Note: we need to re-spec the target as TSchema + [TransformKind]
-    const transformTarget = { [index_1.TransformKind]: transform, ...target };
-    return Visit(transformTarget, [...references, ...definitions], path, value);
+    const result = Default(schema, path, value);
+    return Visit(target, [...references, ...additional], path, result);
 }
 // prettier-ignore
 function FromIntersect(schema, references, path, value) {

package/build/cjs/value/transform/has.js

@@ -33,6 +33,12 @@ function FromIntersect(schema, references) {
     return (0, kind_1.IsTransform)(schema) || (0, kind_1.IsTransform)(schema.unevaluatedProperties) || schema.allOf.some((schema) => Visit(schema, references));
 }
 // prettier-ignore
+function FromImport(schema, references) {
+    const additional = globalThis.Object.getOwnPropertyNames(schema.$defs).reduce((result, key) => [...result, schema.$defs[key]], []);
+    const target = schema.$defs[schema.$ref];
+    return (0, kind_1.IsTransform)(schema) || Visit(target, [...additional, ...references]);
+}
+// prettier-ignore
 function FromIterator(schema, references) {
     return (0, kind_1.IsTransform)(schema) || Visit(schema.items, references);
 }
@@ -93,6 +99,8 @@ function Visit(schema, references) {
             return FromConstructor(schema_, references_);
         case 'Function':
             return FromFunction(schema_, references_);
+        case 'Import':
+            return FromImport(schema_, references_);
         case 'Intersect':
             return FromIntersect(schema_, references_);
         case 'Iterator':

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

@@ -20,11 +20,12 @@ 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 { TRequired } from '../required/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 TDerefParameters<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> ? TDerefParameters<ModuleProperties, Right, [...Result, TDeref<ModuleProperties, Key>]> : TDerefParameters<ModuleProperties, Right, [...Result, TFromType<ModuleProperties, Left>]> : Result);
-type TDeref<ModuleProperties extends TProperties, Ref extends string, Result extends TSchema = (Ref extends keyof ModuleProperties ? ModuleProperties[Ref] extends TRef<infer Ref2 extends string> ? TDeref<ModuleProperties, Ref2> : TFromType<ModuleProperties, ModuleProperties[Ref]> : TNever)> = Result;
+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);
@@ -32,21 +33,22 @@ type TFromPartial<Parameters extends TSchema[]> = (Parameters extends [infer T0
 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[] = TDerefParameters<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 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 TFromConstructor<ModuleProperties extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema> = (TConstructor<TFromRest<ModuleProperties, Parameters>, TFromType<ModuleProperties, InstanceType>>);
-type TFromFunction<ModuleProperties extends TProperties, Parameters extends TSchema[], ReturnType extends TSchema> = Ensure<Ensure<TFunction<TFromRest<ModuleProperties, Parameters>, TFromType<ModuleProperties, ReturnType>>>>;
-type TFromTuple<ModuleProperties extends TProperties, Types extends TSchema[]> = (Ensure<TTuple<TFromRest<ModuleProperties, Types>>>);
-type TFromIntersect<ModuleProperties extends TProperties, Types extends TSchema[]> = (Ensure<TIntersectEvaluated<TFromRest<ModuleProperties, Types>>>);
-type TFromUnion<ModuleProperties extends TProperties, Types extends TSchema[]> = (Ensure<TUnionEvaluated<TFromRest<ModuleProperties, Types>>>);
-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 TFromIterator<ModuleProperties extends TProperties, Type extends TSchema> = (TIterator<TFromType<ModuleProperties, Type>>);
-type TFromRest<ModuleProperties extends TProperties, Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromRest<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 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);
+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>;

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

@@ -19,24 +19,27 @@ 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';
-import { OptionalKind, ReadonlyKind } from '../symbols/index.mjs';
+// ------------------------------------------------------------------
+// Symbols
+// ------------------------------------------------------------------
+import { TransformKind, OptionalKind, ReadonlyKind } from '../symbols/index.mjs';
 // ------------------------------------------------------------------
 // KindGuard
 // ------------------------------------------------------------------
 import * as KindGuard from '../guard/kind.mjs';
 // prettier-ignore
-function DerefParameters(moduleProperties, types) {
+function DereferenceParameters(moduleProperties, types) {
     return types.map((type) => {
         return KindGuard.IsRef(type)
-            ? Deref(moduleProperties, type.$ref)
+            ? Dereference(moduleProperties, type.$ref)
             : FromType(moduleProperties, type);
     });
 }
 // prettier-ignore
-function Deref(moduleProperties, ref) {
+function Dereference(moduleProperties, ref) {
     return (ref in moduleProperties
         ? KindGuard.IsRef(moduleProperties[ref])
-            ? Deref(moduleProperties, moduleProperties[ref].$ref)
+            ? Dereference(moduleProperties, moduleProperties[ref].$ref)
             : FromType(moduleProperties, moduleProperties[ref])
         : Never());
 }
@@ -70,7 +73,7 @@ function FromRequired(parameters) {
 }
 // prettier-ignore
 function FromComputed(moduleProperties, target, parameters) {
-    const dereferenced = DerefParameters(moduleProperties, parameters);
+    const dereferenced = DereferenceParameters(moduleProperties, parameters);
     return (target === 'Awaited' ? FromAwaited(dereferenced) :
         target === 'Index' ? FromIndex(dereferenced) :
             target === 'KeyOf' ? FromKeyOf(dereferenced) :
@@ -80,6 +83,26 @@ function FromComputed(moduleProperties, target, parameters) {
                             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]) };
@@ -93,53 +116,41 @@ function FromRecord(moduleProperties, type) {
     return result;
 }
 // prettier-ignore
-function FromConstructor(moduleProperties, parameters, instanceType) {
-    return Constructor(FromRest(moduleProperties, parameters), FromType(moduleProperties, instanceType));
-}
-// prettier-ignore
-function FromFunction(moduleProperties, parameters, returnType) {
-    return FunctionType(FromRest(moduleProperties, parameters), FromType(moduleProperties, returnType));
+function FromTransform(moduleProperties, transform) {
+    return (KindGuard.IsRef(transform))
+        ? { ...Dereference(moduleProperties, transform.$ref), [TransformKind]: transform[TransformKind] }
+        : transform;
 }
 function FromTuple(moduleProperties, types) {
-    return Tuple(FromRest(moduleProperties, types));
-}
-function FromIntersect(moduleProperties, types) {
-    return Intersect(FromRest(moduleProperties, types));
+    return Tuple(FromTypes(moduleProperties, types));
 }
 function FromUnion(moduleProperties, types) {
-    return Union(FromRest(moduleProperties, types));
-}
-function FromArray(moduleProperties, type) {
-    return Array(FromType(moduleProperties, type));
-}
-function FromAsyncIterator(moduleProperties, type) {
-    return AsyncIterator(FromType(moduleProperties, type));
-}
-function FromIterator(moduleProperties, type) {
-    return Iterator(FromType(moduleProperties, type));
+    return Union(FromTypes(moduleProperties, types));
 }
-function FromRest(moduleProperties, types) {
+function FromTypes(moduleProperties, types) {
     return types.map((type) => FromType(moduleProperties, type));
 }
 // prettier-ignore
 export function FromType(moduleProperties, type) {
     return (
-    // Modifier Unwrap - Reapplied via CreateType Options
+    // Modifiers
     KindGuard.IsOptional(type) ? CreateType(FromType(moduleProperties, Discard(type, [OptionalKind])), type) :
         KindGuard.IsReadonly(type) ? CreateType(FromType(moduleProperties, Discard(type, [ReadonlyKind])), type) :
-            // Traveral
-            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);
+            // 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) {

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

@@ -7,6 +7,7 @@ import type { TConstructor } from '../constructor/index.mjs';
 import type { TEnum } from '../enum/index.mjs';
 import type { TFunction } from '../function/index.mjs';
 import type { TIntersect } from '../intersect/index.mjs';
+import type { TImport } from '../module/index.mjs';
 import type { TIterator } from '../iterator/index.mjs';
 import type { TNot } from '../not/index.mjs';
 import type { TObject, TProperties } from '../object/index.mjs';
@@ -19,17 +20,20 @@ import type { TUnion } from '../union/index.mjs';
 import type { TUnsafe } from '../unsafe/index.mjs';
 import type { TSchema } from '../schema/index.mjs';
 import type { TTransform } from '../transform/index.mjs';
-export type TDecodeProperties<T extends TProperties> = {
-    [K in keyof T]: TDecodeType<T[K]>;
+import type { TNever } from '../never/index.mjs';
+type TDecodeImport<ModuleProperties extends TProperties, Key extends PropertyKey> = (Key extends keyof ModuleProperties ? TDecodeType<ModuleProperties[Key]> extends infer Type extends TSchema ? Type extends TRef<infer Ref extends string> ? TDecodeImport<ModuleProperties, Ref> : Type : TNever : TNever);
+type TDecodeProperties<Properties extends TProperties> = {
+    [Key in keyof Properties]: TDecodeType<Properties[Key]>;
 };
-export type TDecodeRest<T extends TSchema[], Acc extends TSchema[] = []> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TDecodeRest<R, [...Acc, TDecodeType<L>]> : Acc;
-export type TDecodeType<T extends TSchema> = (T extends TOptional<infer S extends TSchema> ? TOptional<TDecodeType<S>> : T extends TReadonly<infer S extends TSchema> ? TReadonly<TDecodeType<S>> : T extends TTransform<infer _, infer R> ? TUnsafe<R> : T extends TArray<infer S extends TSchema> ? TArray<TDecodeType<S>> : T extends TAsyncIterator<infer S extends TSchema> ? TAsyncIterator<TDecodeType<S>> : T extends TConstructor<infer P extends TSchema[], infer R extends TSchema> ? TConstructor<TDecodeRest<P>, TDecodeType<R>> : T extends TEnum<infer S> ? TEnum<S> : T extends TFunction<infer P extends TSchema[], infer R extends TSchema> ? TFunction<TDecodeRest<P>, TDecodeType<R>> : T extends TIntersect<infer S extends TSchema[]> ? TIntersect<TDecodeRest<S>> : T extends TIterator<infer S extends TSchema> ? TIterator<TDecodeType<S>> : T extends TNot<infer S extends TSchema> ? TNot<TDecodeType<S>> : T extends TObject<infer S> ? TObject<Evaluate<TDecodeProperties<S>>> : T extends TPromise<infer S extends TSchema> ? TPromise<TDecodeType<S>> : T extends TRecord<infer K, infer S> ? TRecord<K, TDecodeType<S>> : T extends TRecursive<infer S extends TSchema> ? TRecursive<TDecodeType<S>> : T extends TRef<infer S extends string> ? TRef<S> : T extends TTuple<infer S extends TSchema[]> ? TTuple<TDecodeRest<S>> : T extends TUnion<infer S extends TSchema[]> ? TUnion<TDecodeRest<S>> : T);
-export type StaticDecodeIsAny<T> = boolean extends (T extends TSchema ? true : false) ? true : false;
+type TDecodeTypes<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TDecodeTypes<Right, [...Result, TDecodeType<Left>]> : Result);
+export type TDecodeType<Type extends TSchema> = (Type extends TOptional<infer Type extends TSchema> ? TOptional<TDecodeType<Type>> : Type extends TReadonly<infer Type extends TSchema> ? TReadonly<TDecodeType<Type>> : Type extends TTransform<infer _Input extends TSchema, infer Output> ? TUnsafe<Output> : Type extends TArray<infer Type extends TSchema> ? TArray<TDecodeType<Type>> : Type extends TAsyncIterator<infer Type extends TSchema> ? TAsyncIterator<TDecodeType<Type>> : Type extends TConstructor<infer Parameters extends TSchema[], infer InstanceType extends TSchema> ? TConstructor<TDecodeTypes<Parameters>, TDecodeType<InstanceType>> : Type extends TEnum<infer Values> ? TEnum<Values> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? TFunction<TDecodeTypes<Parameters>, TDecodeType<ReturnType>> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TDecodeTypes<Types>> : Type extends TImport<infer ModuleProperties extends TProperties, infer Key> ? TDecodeImport<ModuleProperties, Key> : Type extends TIterator<infer Type extends TSchema> ? TIterator<TDecodeType<Type>> : Type extends TNot<infer Type extends TSchema> ? TNot<TDecodeType<Type>> : Type extends TObject<infer Properties extends TProperties> ? TObject<Evaluate<TDecodeProperties<Properties>>> : Type extends TPromise<infer Type extends TSchema> ? TPromise<TDecodeType<Type>> : Type extends TRecord<infer Key extends TSchema, infer Value extends TSchema> ? TRecord<Key, TDecodeType<Value>> : Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TDecodeType<Type>> : Type extends TRef<infer Ref extends string> ? TRef<Ref> : Type extends TTuple<infer Types extends TSchema[]> ? TTuple<TDecodeTypes<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TDecodeTypes<Types>> : Type);
+export type StaticDecodeIsAny<Type> = boolean extends (Type extends TSchema ? true : false) ? true : false;
 /** Creates an decoded static type from a TypeBox type */
-export type StaticDecode<T extends TSchema, P extends unknown[] = []> = StaticDecodeIsAny<T> extends true ? unknown : Static<TDecodeType<T>, P>;
+export type StaticDecode<Type extends TSchema, Params extends unknown[] = [], Result = StaticDecodeIsAny<Type> extends true ? unknown : Static<TDecodeType<Type>, Params>> = Result;
 /** Creates an encoded static type from a TypeBox type */
-export type StaticEncode<T extends TSchema, P extends unknown[] = []> = Static<T, P>;
+export type StaticEncode<Type extends TSchema, Params extends unknown[] = [], Result = Static<Type, Params>> = Result;
 /** Creates a static type from a TypeBox type */
-export type Static<T extends TSchema, P extends unknown[] = []> = (T & {
-    params: P;
-})['static'];
+export type Static<Type extends TSchema, Params extends unknown[] = [], Result = (Type & {
+    params: Params;
+})['static']> = Result;
+export {};

package/build/esm/value/parse/parse.d.mts

@@ -4,7 +4,7 @@ import { StaticDecode } from '../../type/static/index.mjs';
 export declare class ParseError extends TypeBoxError {
     constructor(message: string);
 }
-export type TParseOperation = 'Clone' | 'Clean' | 'Default' | 'Convert' | 'Assert' | 'Decode' | 'Encode' | ({} & string);
+export type TParseOperation = 'Assert' | 'Cast' | 'Clean' | 'Clone' | 'Convert' | 'Decode' | 'Default' | 'Encode' | ({} & string);
 export type TParseFunction = (type: TSchema, references: TSchema[], value: unknown) => unknown;
 export declare namespace ParseRegistry {
     function Delete(key: string): void;

package/build/esm/value/parse/parse.mjs

@@ -1,10 +1,11 @@
 import { TypeBoxError } from '../../type/error/index.mjs';
 import { TransformDecode, TransformEncode, HasTransform } from '../transform/index.mjs';
 import { Assert } from '../assert/index.mjs';
-import { Default } from '../default/index.mjs';
-import { Convert } from '../convert/index.mjs';
+import { Cast } from '../cast/index.mjs';
 import { Clean } from '../clean/index.mjs';
 import { Clone } from '../clone/index.mjs';
+import { Convert } from '../convert/index.mjs';
+import { Default } from '../default/index.mjs';
 // ------------------------------------------------------------------
 // Guards
 // ------------------------------------------------------------------
@@ -21,12 +22,13 @@ export class ParseError extends TypeBoxError {
 export var ParseRegistry;
 (function (ParseRegistry) {
     const registry = new Map([
-        ['Clone', (_type, _references, value) => Clone(value)],
+        ['Assert', (type, references, value) => { Assert(type, references, value); return value; }],
+        ['Cast', (type, references, value) => Cast(type, references, value)],
         ['Clean', (type, references, value) => Clean(type, references, value)],
-        ['Default', (type, references, value) => Default(type, references, value)],
+        ['Clone', (_type, _references, value) => Clone(value)],
         ['Convert', (type, references, value) => Convert(type, references, value)],
-        ['Assert', (type, references, value) => { Assert(type, references, value); return value; }],
         ['Decode', (type, references, value) => (HasTransform(type, references) ? TransformDecode(type, references, value) : value)],
+        ['Default', (type, references, value) => Default(type, references, value)],
         ['Encode', (type, references, value) => (HasTransform(type, references) ? TransformEncode(type, references, value) : value)],
     ]);
     // Deletes an entry from the registry
@@ -46,7 +48,7 @@ export var ParseRegistry;
     ParseRegistry.Get = Get;
 })(ParseRegistry || (ParseRegistry = {}));
 // ------------------------------------------------------------------
-// Default Parse Sequence
+// Default Parse Pipeline
 // ------------------------------------------------------------------
 // prettier-ignore
 export const ParseDefault = [

package/build/esm/value/transform/decode.mjs

@@ -78,12 +78,10 @@ function FromIntersect(schema, references, path, value) {
 }
 // prettier-ignore
 function FromImport(schema, references, path, value) {
-    const definitions = globalThis.Object.values(schema.$defs);
+    const additional = globalThis.Object.values(schema.$defs);
     const target = schema.$defs[schema.$ref];
-    const transform = schema[TransformKind];
-    // Note: we need to re-spec the target as TSchema + [TransformKind]
-    const transformTarget = { [TransformKind]: transform, ...target };
-    return Visit(transformTarget, [...references, ...definitions], path, value);
+    const result = Visit(target, [...references, ...additional], path, value);
+    return Default(schema, path, result);
 }
 function FromNot(schema, references, path, value) {
     return Default(schema, path, Visit(schema.not, references, path, value));

package/build/esm/value/transform/encode.mjs

@@ -55,12 +55,10 @@ function FromArray(schema, references, path, value) {
 }
 // prettier-ignore
 function FromImport(schema, references, path, value) {
-    const definitions = globalThis.Object.values(schema.$defs);
+    const additional = globalThis.Object.values(schema.$defs);
     const target = schema.$defs[schema.$ref];
-    const transform = schema[TransformKind];
-    // Note: we need to re-spec the target as TSchema + [TransformKind]
-    const transformTarget = { [TransformKind]: transform, ...target };
-    return Visit(transformTarget, [...references, ...definitions], path, value);
+    const result = Default(schema, path, value);
+    return Visit(target, [...references, ...additional], path, result);
 }
 // prettier-ignore
 function FromIntersect(schema, references, path, value) {

package/build/esm/value/transform/has.mjs

@@ -29,6 +29,12 @@ function FromIntersect(schema, references) {
     return IsTransform(schema) || IsTransform(schema.unevaluatedProperties) || schema.allOf.some((schema) => Visit(schema, references));
 }
 // prettier-ignore
+function FromImport(schema, references) {
+    const additional = globalThis.Object.getOwnPropertyNames(schema.$defs).reduce((result, key) => [...result, schema.$defs[key]], []);
+    const target = schema.$defs[schema.$ref];
+    return IsTransform(schema) || Visit(target, [...additional, ...references]);
+}
+// prettier-ignore
 function FromIterator(schema, references) {
     return IsTransform(schema) || Visit(schema.items, references);
 }
@@ -89,6 +95,8 @@ function Visit(schema, references) {
             return FromConstructor(schema_, references_);
         case 'Function':
             return FromFunction(schema_, references_);
+        case 'Import':
+            return FromImport(schema_, references_);
         case 'Intersect':
             return FromIntersect(schema_, references_);
         case 'Iterator':

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sinclair/typebox",
-  "version": "0.34.26",
+  "version": "0.34.28",
   "description": "Json Schema Type Builder with Static Type Resolution for TypeScript",
   "keywords": [
     "typescript",

package/readme.md

@@ -544,7 +544,7 @@ The following table lists the supported Json types. These types are fully compat
 
 ### JavaScript Types
 
-TypeBox provides an extended type set that can be used to create schematics for common JavaScript constructs. These types can not be used with any standard Json Schema validator; but can be used to frame schematics for interfaces that may receive Json validated data. JavaScript types are prefixed with the `[JavaScript]` jsdoc comment for convenience. The following table lists the supported types.
+TypeBox provides an extended type set that can be used to create schematics for common JavaScript constructs. These types can not be used with any standard Json Schema validator; but can be used to frame schematics for interfaces that may receive Json validated data. JavaScript types are prefixed with the `[JavaScript]` JSDoc comment for convenience. The following table lists the supported types.
 
 ```typescript
 ┌────────────────────────────────┬─────────────────────────────┬────────────────────────────────┐
@@ -717,11 +717,11 @@ Object properties can be modified with Readonly and Optional. The following tabl
 
 ### Generic Types
 
-Generic types can be created with generic functions
+Generic types can be created with generic functions.
 
 ```typescript
 const Nullable = <T extends TSchema>(T: T) => {     // type Nullable<T> = T | null
-  return Type.Union([T, Type.Null())
+  return Type.Union([T, Type.Null()])
 }
 
 const T = Nullable(Type.String())                  // type T = Nullable<string>
@@ -731,7 +731,7 @@ const T = Nullable(Type.String())                  // type T = Nullable<string>
 
 ### Recursive Types
 
-Use the Recursive function to create recursive types
+Use the Recursive function to create recursive types.
 
 ```typescript
 const Node = Type.Recursive(This => Type.Object({    // const Node = {
@@ -875,7 +875,7 @@ const C = Type.Index(T, Type.KeyOf(T))               // type C = T[keyof T]
 
 ### Mapped Types
 
-TypeBox supports mapped types with the Mapped function. This function accepts two arguments, the first is a union type typically derived from KeyOf, the second is a mapping function that receives a mapping key `K` that can be used to index properties of a type. The following implements a mapped type that remaps each property to be `T | null`
+TypeBox supports mapped types with the Mapped function. This function accepts two arguments, the first is a union type typically derived from KeyOf, the second is a mapping function that receives a mapping key `K` that can be used to index properties of a type. The following implements a mapped type that remaps each property to be `T | null`.
 
 ```typescript
 const T = Type.Object({                              // type T = {
@@ -1123,7 +1123,7 @@ const Z = Value.Default(T, { x: 1 })                    // const 'Z = { x: 1, y:
 
 ### Cast
 
-Use the Cast function to upcast a value into a target type. This function will retain as much infomation as possible from the original value. The Cast function is intended to be used in data migration scenarios where existing values need to be upgraded to match a modified type.
+Use the Cast function to upcast a value into a target type. This function will retain as much information as possible from the original value. The Cast function is intended to be used in data migration scenarios where existing values need to be upgraded to match a modified type.
 
 ```typescript
 const T = Type.Object({ x: Type.Number(), y: Type.Number() }, { additionalProperties: false })
@@ -1203,7 +1203,7 @@ const R = Value.Equal(                               // const R = true
 
 ### Hash
 
-Use the Hash function to create a [FNV1A-64](https://en.wikipedia.org/wiki/Fowler%E2%80%93Noll%E2%80%93Vo_hash_function) non cryptographic hash of a value.
+Use the Hash function to create a [FNV1A-64](https://en.wikipedia.org/wiki/Fowler%E2%80%93Noll%E2%80%93Vo_hash_function) non-cryptographic hash of a value.
 
 ```typescript
 const A = Value.Hash({ x: 1, y: 2, z: 3 })           // const A = 2910466848807138541n
@@ -1383,7 +1383,7 @@ type BasisVectors = Static<typeof BasisVectors>     // type BasisVectors = {
 
 ### Options
 
-Options can be passed via the last parameter
+Options can be passed via the last parameter.
 
 ```typescript
 const T = Syntax(`number`, { minimum: 42 })       // const T = {
@@ -1455,7 +1455,7 @@ const B = Value.Check(T, 'bar')                      // const B = false
 
 ## TypeCheck
 
-TypeBox types target Json Schema Draft 7 and are compatible with any validator that supports this specification. TypeBox also provides a built in type checking compiler designed specifically for TypeBox types that offers high performance compilation and value checking.
+TypeBox types target Json Schema Draft 7 and are compatible with any validator that supports this specification. TypeBox also provides a built-in type checking compiler designed specifically for TypeBox types that offers high performance compilation and value checking.
 
 The following sections detail using Ajv and the TypeBox compiler infrastructure.
 
@@ -1574,7 +1574,7 @@ const C = TypeCompiler.Code(Type.String())           // const C = `return functi
 
 ## TypeMap
 
-TypeBox offers an external package for bi-directional mapping between TypeBox, Valibot, and Zod type libraries. It also includes syntax parsing support for Valibot and Zod and supports the Standard Schema specification. For more details on TypeMap, refer to the project repository.
+TypeBox offers an external package for bidirectional mapping between TypeBox, Valibot, and Zod type libraries. It also includes syntax parsing support for Valibot and Zod and supports the Standard Schema specification. For more details on TypeMap, refer to the project repository.
 
 [TypeMap Repository](https://github.com/sinclairzx81/typemap)
 
@@ -1582,7 +1582,7 @@ TypeBox offers an external package for bi-directional mapping between TypeBox, V
 
 ### Usage
 
-TypeMap needs to be installed seperately
+TypeMap needs to be installed separately
 
 ```bash
 $ npm install @sinclair/typemap
@@ -1731,11 +1731,11 @@ The following is a list of community packages that offer general tooling, extend
 | [json2typebox](https://github.com/hacxy/json2typebox) | Creating TypeBox code from Json Data |
 | [nominal-typebox](https://github.com/Coder-Spirit/nominal/tree/main/%40coderspirit/nominal-typebox) | Allows devs to integrate nominal types into TypeBox schemas |
 | [openapi-box](https://github.com/geut/openapi-box) | Generate TypeBox types from OpenApi IDL + Http client library |
-| [prismabox](https://github.com/m1212e/prismabox) | Converts a prisma.schema to typebox schema matching the database models |
+| [prismabox](https://github.com/m1212e/prismabox) | Converts a prisma.schema to TypeBox schema matching the database models |
 | [schema2typebox](https://github.com/xddq/schema2typebox)  | Creating TypeBox code from Json Schemas |
 | [sveltekit-superforms](https://github.com/ciscoheat/sveltekit-superforms)  | A comprehensive SvelteKit form library for server and client validation |
 | [ts2typebox](https://github.com/xddq/ts2typebox) | Creating TypeBox code from Typescript types |
-| [typebox-cli](https://github.com/gsuess/typebox-cli) | Generate Schema with typebox from the CLI |
+| [typebox-cli](https://github.com/gsuess/typebox-cli) | Generate Schema with TypeBox from the CLI |
 | [typebox-form-parser](https://github.com/jtlapp/typebox-form-parser) | Parses form and query data based on TypeBox schemas |