@sinclair/typebox 0.34.20 → 0.34.22

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

@@ -18,7 +18,7 @@ import { type TPick } from '../pick/index';
 import { type TNever } from '../never/index';
 import { TPartial } from '../partial/index';
 import { type TReadonly } from '../readonly/index';
-import { type TRecordOrObject } from '../record/index';
+import { type TRecordOrObject, type TRecord } from '../record/index';
 import { type TRef } from '../ref/index';
 import { TRequired } from '../required/index';
 import { type TTuple } from '../tuple/index';
@@ -31,12 +31,12 @@ type TFromKeyOf<Parameters extends TSchema[]> = (Parameters extends [infer T0 ex
 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 TFromRecord<Parameters extends TSchema[]> = (Parameters extends [infer T0 extends TSchema, infer T1 extends TSchema] ? TRecordOrObject<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 'Record' ? TFromRecord<Dereferenced> : Target extends 'Required' ? TFromRequired<Dereferenced> : TNever);
+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 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>>>);
@@ -46,7 +46,7 @@ type TFromArray<ModuleProperties extends TProperties, Type extends TSchema> = (E
 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 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 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);
 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

@@ -5,26 +5,27 @@ exports.FromType = FromType;
 exports.ComputeType = ComputeType;
 exports.ComputeModuleProperties = ComputeModuleProperties;
 const index_1 = require("../create/index");
-const index_2 = require("../discard/index");
-const index_3 = require("../array/index");
-const index_4 = require("../awaited/index");
-const index_5 = require("../async-iterator/index");
-const index_6 = require("../constructor/index");
-const index_7 = require("../indexed/index");
-const index_8 = require("../function/index");
-const index_9 = require("../intersect/index");
-const index_10 = require("../iterator/index");
-const index_11 = require("../keyof/index");
-const index_12 = require("../object/index");
-const index_13 = require("../omit/index");
-const index_14 = require("../pick/index");
-const index_15 = require("../never/index");
-const index_16 = require("../partial/index");
-const index_17 = require("../record/index");
-const index_18 = require("../required/index");
-const index_19 = require("../tuple/index");
-const index_20 = require("../union/index");
-const index_21 = require("../symbols/index");
+const index_2 = require("../clone/index");
+const index_3 = require("../discard/index");
+const index_4 = require("../array/index");
+const index_5 = require("../awaited/index");
+const index_6 = require("../async-iterator/index");
+const index_7 = require("../constructor/index");
+const index_8 = require("../indexed/index");
+const index_9 = require("../function/index");
+const index_10 = require("../intersect/index");
+const index_11 = require("../iterator/index");
+const index_12 = require("../keyof/index");
+const index_13 = require("../object/index");
+const index_14 = require("../omit/index");
+const index_15 = require("../pick/index");
+const index_16 = require("../never/index");
+const index_17 = require("../partial/index");
+const index_18 = require("../record/index");
+const index_19 = require("../required/index");
+const index_20 = require("../tuple/index");
+const index_21 = require("../union/index");
+const index_22 = require("../symbols/index");
 // ------------------------------------------------------------------
 // KindGuard
 // ------------------------------------------------------------------
@@ -43,39 +44,35 @@ function Deref(moduleProperties, ref) {
         ? KindGuard.IsRef(moduleProperties[ref])
             ? Deref(moduleProperties, moduleProperties[ref].$ref)
             : FromType(moduleProperties, moduleProperties[ref])
-        : (0, index_15.Never)());
+        : (0, index_16.Never)());
 }
 // prettier-ignore
 function FromAwaited(parameters) {
-    return (0, index_4.Awaited)(parameters[0]);
+    return (0, index_5.Awaited)(parameters[0]);
 }
 // prettier-ignore
 function FromIndex(parameters) {
-    return (0, index_7.Index)(parameters[0], parameters[1]);
+    return (0, index_8.Index)(parameters[0], parameters[1]);
 }
 // prettier-ignore
 function FromKeyOf(parameters) {
-    return (0, index_11.KeyOf)(parameters[0]);
+    return (0, index_12.KeyOf)(parameters[0]);
 }
 // prettier-ignore
 function FromPartial(parameters) {
-    return (0, index_16.Partial)(parameters[0]);
+    return (0, index_17.Partial)(parameters[0]);
 }
 // prettier-ignore
 function FromOmit(parameters) {
-    return (0, index_13.Omit)(parameters[0], parameters[1]);
+    return (0, index_14.Omit)(parameters[0], parameters[1]);
 }
 // prettier-ignore
 function FromPick(parameters) {
-    return (0, index_14.Pick)(parameters[0], parameters[1]);
-}
-// prettier-ignore
-function FromRecord(parameters) {
-    return (0, index_17.Record)(parameters[0], parameters[1]);
+    return (0, index_15.Pick)(parameters[0], parameters[1]);
 }
 // prettier-ignore
 function FromRequired(parameters) {
-    return (0, index_18.Required)(parameters[0]);
+    return (0, index_19.Required)(parameters[0]);
 }
 // prettier-ignore
 function FromComputed(moduleProperties, target, parameters) {
@@ -86,40 +83,46 @@ function FromComputed(moduleProperties, target, parameters) {
                 target === 'Partial' ? FromPartial(dereferenced) :
                     target === 'Omit' ? FromOmit(dereferenced) :
                         target === 'Pick' ? FromPick(dereferenced) :
-                            target === 'Record' ? FromRecord(dereferenced) :
-                                target === 'Required' ? FromRequired(dereferenced) :
-                                    (0, index_15.Never)());
+                            target === 'Required' ? FromRequired(dereferenced) :
+                                (0, index_16.Never)());
 }
 function FromObject(moduleProperties, properties) {
-    return (0, index_12.Object)(globalThis.Object.keys(properties).reduce((result, key) => {
+    return (0, index_13.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, (0, index_18.RecordValue)(type)), (0, index_18.RecordPattern)(type)];
+    const result = (0, index_2.CloneType)(type);
+    result.patternProperties[pattern] = value;
+    return result;
+}
+// prettier-ignore
 function FromConstructor(moduleProperties, parameters, instanceType) {
-    return (0, index_6.Constructor)(FromRest(moduleProperties, parameters), FromType(moduleProperties, instanceType));
+    return (0, index_7.Constructor)(FromRest(moduleProperties, parameters), FromType(moduleProperties, instanceType));
 }
 // prettier-ignore
 function FromFunction(moduleProperties, parameters, returnType) {
-    return (0, index_8.Function)(FromRest(moduleProperties, parameters), FromType(moduleProperties, returnType));
+    return (0, index_9.Function)(FromRest(moduleProperties, parameters), FromType(moduleProperties, returnType));
 }
 function FromTuple(moduleProperties, types) {
-    return (0, index_19.Tuple)(FromRest(moduleProperties, types));
+    return (0, index_20.Tuple)(FromRest(moduleProperties, types));
 }
 function FromIntersect(moduleProperties, types) {
-    return (0, index_9.Intersect)(FromRest(moduleProperties, types));
+    return (0, index_10.Intersect)(FromRest(moduleProperties, types));
 }
 function FromUnion(moduleProperties, types) {
-    return (0, index_20.Union)(FromRest(moduleProperties, types));
+    return (0, index_21.Union)(FromRest(moduleProperties, types));
 }
 function FromArray(moduleProperties, type) {
-    return (0, index_3.Array)(FromType(moduleProperties, type));
+    return (0, index_4.Array)(FromType(moduleProperties, type));
 }
 function FromAsyncIterator(moduleProperties, type) {
-    return (0, index_5.AsyncIterator)(FromType(moduleProperties, type));
+    return (0, index_6.AsyncIterator)(FromType(moduleProperties, type));
 }
 function FromIterator(moduleProperties, type) {
-    return (0, index_10.Iterator)(FromType(moduleProperties, type));
+    return (0, index_11.Iterator)(FromType(moduleProperties, type));
 }
 function FromRest(moduleProperties, types) {
     return types.map((type) => FromType(moduleProperties, type));
@@ -128,8 +131,8 @@ function FromRest(moduleProperties, types) {
 function FromType(moduleProperties, type) {
     return (
     // Modifier Unwrap - Reapplied via CreateType Options
-    KindGuard.IsOptional(type) ? (0, index_1.CreateType)(FromType(moduleProperties, (0, index_2.Discard)(type, [index_21.OptionalKind])), type) :
-        KindGuard.IsReadonly(type) ? (0, index_1.CreateType)(FromType(moduleProperties, (0, index_2.Discard)(type, [index_21.ReadonlyKind])), type) :
+    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) :
@@ -139,15 +142,16 @@ function FromType(moduleProperties, 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.IsTuple(type) ? (0, index_1.CreateType)(FromTuple(moduleProperties, type.items || []), type) :
-                                                KindGuard.IsUnion(type) ? (0, index_1.CreateType)(FromUnion(moduleProperties, type.anyOf), type) :
-                                                    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) {
     return (key in moduleProperties
         ? FromType(moduleProperties, moduleProperties[key])
-        : (0, index_15.Never)());
+        : (0, index_16.Never)());
 }
 // prettier-ignore
 function ComputeModuleProperties(moduleProperties) {

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

@@ -10,6 +10,15 @@ import { type TObject, type TProperties } from '../object/index';
 import { type TIntersect } from '../intersect/index';
 import { type TUnion } from '../union/index';
 import { type TRef } from '../ref/index';
+import { type TBigInt } from '../bigint/index';
+import { type TBoolean } from '../boolean/index';
+import { type TInteger } from '../integer/index';
+import { type TLiteral } from '../literal/index';
+import { type TNull } from '../null/index';
+import { type TNumber } from '../number/index';
+import { type TString } from '../string/index';
+import { type TSymbol } from '../symbol/index';
+import { type TUndefined } from '../undefined/index';
 import { type TPartialFromMappedResult } from './partial-from-mapped-result';
 type TFromComputed<Target extends string, Parameters extends TSchema[]> = Ensure<TComputed<'Partial', [TComputed<Target, Parameters>]>>;
 type TFromRef<Ref extends string> = Ensure<TComputed<'Partial', [TRef<Ref>]>>;
@@ -18,7 +27,7 @@ type TFromProperties<Properties extends TProperties> = Evaluate<{
 }>;
 type TFromObject<Type extends TObject, Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties>)>>;
 type TFromRest<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TPartial<L>]> : Result);
-export type TPartial<T extends TSchema> = (T extends TRecursive<infer Type extends TSchema> ? TRecursive<TPartial<Type>> : T extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : T extends TRef<infer Ref extends string> ? TFromRef<Ref> : T extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : T extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : T extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : TObject<{}>);
+export type TPartial<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TPartial<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
 /** `[Json]` Constructs a type where all properties are optional */
 export declare function Partial<MappedResult extends TMappedResult>(type: MappedResult, options?: SchemaOptions): TPartialFromMappedResult<MappedResult>;
 /** `[Json]` Constructs a type where all properties are optional */

package/build/cjs/type/partial/partial.js

@@ -13,9 +13,9 @@ const index_7 = require("../discard/index");
 const index_8 = require("../symbols/index");
 const partial_from_mapped_result_1 = require("./partial-from-mapped-result");
 // ------------------------------------------------------------------
-// TypeGuard
+// KindGuard
 // ------------------------------------------------------------------
-const kind_1 = require("../guard/kind");
+const KindGuard = require("../guard/kind");
 // prettier-ignore
 function FromComputed(target, parameters) {
     return (0, index_1.Computed)('Partial', [(0, index_1.Computed)(target, parameters)]);
@@ -32,9 +32,9 @@ function FromProperties(properties) {
     return partialProperties;
 }
 // prettier-ignore
-function FromObject(T) {
-    const options = (0, index_7.Discard)(T, [index_8.TransformKind, '$id', 'required', 'properties']);
-    const properties = FromProperties(T['properties']);
+function FromObject(type) {
+    const options = (0, index_7.Discard)(type, [index_8.TransformKind, '$id', 'required', 'properties']);
+    const properties = FromProperties(type['properties']);
     return (0, index_3.Object)(properties, options);
 }
 // prettier-ignore
@@ -46,16 +46,29 @@ function FromRest(types) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function PartialResolve(type) {
-    return ((0, kind_1.IsComputed)(type) ? FromComputed(type.target, type.parameters) :
-        (0, kind_1.IsRef)(type) ? FromRef(type.$ref) :
-            (0, kind_1.IsIntersect)(type) ? (0, index_4.Intersect)(FromRest(type.allOf)) :
-                (0, kind_1.IsUnion)(type) ? (0, index_5.Union)(FromRest(type.anyOf)) :
-                    (0, kind_1.IsObject)(type) ? FromObject(type) :
-                        (0, index_3.Object)({}));
+    return (
+    // Mappable
+    KindGuard.IsComputed(type) ? FromComputed(type.target, type.parameters) :
+        KindGuard.IsRef(type) ? FromRef(type.$ref) :
+            KindGuard.IsIntersect(type) ? (0, index_4.Intersect)(FromRest(type.allOf)) :
+                KindGuard.IsUnion(type) ? (0, index_5.Union)(FromRest(type.anyOf)) :
+                    KindGuard.IsObject(type) ? FromObject(type) :
+                        // Intrinsic
+                        KindGuard.IsBigInt(type) ? type :
+                            KindGuard.IsBoolean(type) ? type :
+                                KindGuard.IsInteger(type) ? type :
+                                    KindGuard.IsLiteral(type) ? type :
+                                        KindGuard.IsNull(type) ? type :
+                                            KindGuard.IsNumber(type) ? type :
+                                                KindGuard.IsString(type) ? type :
+                                                    KindGuard.IsSymbol(type) ? type :
+                                                        KindGuard.IsUndefined(type) ? type :
+                                                            // Passthrough
+                                                            (0, index_3.Object)({}));
 }
 /** `[Json]` Constructs a type where all properties are optional */
 function Partial(type, options) {
-    if ((0, kind_1.IsMappedResult)(type)) {
+    if (KindGuard.IsMappedResult(type)) {
         return (0, partial_from_mapped_result_1.PartialFromMappedResult)(type, options);
     }
     else {

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

@@ -61,11 +61,11 @@ export declare function Record<Key extends TSchema, Type extends TSchema>(key: K
 /** Gets the Records Pattern */
 export declare function RecordPattern(record: TRecord): string;
 /** Gets the Records Key Type */
-export type TRecordKey<Type extends TRecord> = (Type extends TRecord<infer Key extends TSchema, TSchema> ? (Key extends TNumber ? TNumber : Key extends TString ? TString : TString) : TString);
+export type TRecordKey<Type extends TRecord, Result extends TSchema = Type extends TRecord<infer Key extends TSchema, TSchema> ? (Key extends TNumber ? TNumber : Key extends TString ? TString : TString) : TString> = Result;
 /** Gets the Records Key Type */
 export declare function RecordKey<Type extends TRecord>(type: Type): TRecordKey<Type>;
 /** Gets a Record Value Type */
-export type TRecordValue<Type extends TRecord> = (Type extends TRecord<TSchema, infer Value extends TSchema> ? Value : TNever);
+export type TRecordValue<Type extends TRecord, Result extends TSchema = (Type extends TRecord<TSchema, infer Value extends TSchema> ? Value : TNever)> = Result;
 /** Gets a Record Value Type */
 export declare function RecordValue<Type extends TRecord>(type: Type): TRecordValue<Type>;
 export {};

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

@@ -10,6 +10,15 @@ import { type TObject, type TProperties } from '../object/index';
 import { type TIntersect } from '../intersect/index';
 import { type TUnion } from '../union/index';
 import { type TRef } from '../ref/index';
+import { type TBigInt } from '../bigint/index';
+import { type TBoolean } from '../boolean/index';
+import { type TInteger } from '../integer/index';
+import { type TLiteral } from '../literal/index';
+import { type TNull } from '../null/index';
+import { type TNumber } from '../number/index';
+import { type TString } from '../string/index';
+import { type TSymbol } from '../symbol/index';
+import { type TUndefined } from '../undefined/index';
 import { type TRequiredFromMappedResult } from './required-from-mapped-result';
 type TFromComputed<Target extends string, Parameters extends TSchema[]> = Ensure<TComputed<'Required', [TComputed<Target, Parameters>]>>;
 type TFromRef<Ref extends string> = Ensure<TComputed<'Required', [TRef<Ref>]>>;
@@ -18,7 +27,7 @@ type TFromProperties<Properties extends TProperties> = Evaluate<{
 }>;
 type TFromObject<Type extends TObject, Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties>)>>;
 type TFromRest<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TRequired<L>]> : Result);
-export type TRequired<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TRequired<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : TObject<{}>);
+export type TRequired<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TRequired<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
 /** `[Json]` Constructs a type where all properties are required */
 export declare function Required<MappedResult extends TMappedResult>(type: MappedResult, options?: SchemaOptions): TRequiredFromMappedResult<MappedResult>;
 /** `[Json]` Constructs a type where all properties are required */

package/build/cjs/type/required/required.js

@@ -14,7 +14,7 @@ const required_from_mapped_result_1 = require("./required-from-mapped-result");
 // ------------------------------------------------------------------
 // TypeGuard
 // ------------------------------------------------------------------
-const kind_1 = require("../guard/kind");
+const KindGuard = require("../guard/kind");
 // prettier-ignore
 function FromComputed(target, parameters) {
     return (0, index_1.Computed)('Required', [(0, index_1.Computed)(target, parameters)]);
@@ -45,16 +45,29 @@ function FromRest(types) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function RequiredResolve(type) {
-    return ((0, kind_1.IsComputed)(type) ? FromComputed(type.target, type.parameters) :
-        (0, kind_1.IsRef)(type) ? FromRef(type.$ref) :
-            (0, kind_1.IsIntersect)(type) ? (0, index_3.Intersect)(FromRest(type.allOf)) :
-                (0, kind_1.IsUnion)(type) ? (0, index_4.Union)(FromRest(type.anyOf)) :
-                    (0, kind_1.IsObject)(type) ? FromObject(type) :
-                        (0, index_2.Object)({}));
+    return (
+    // Mappable
+    KindGuard.IsComputed(type) ? FromComputed(type.target, type.parameters) :
+        KindGuard.IsRef(type) ? FromRef(type.$ref) :
+            KindGuard.IsIntersect(type) ? (0, index_3.Intersect)(FromRest(type.allOf)) :
+                KindGuard.IsUnion(type) ? (0, index_4.Union)(FromRest(type.anyOf)) :
+                    KindGuard.IsObject(type) ? FromObject(type) :
+                        // Intrinsic
+                        KindGuard.IsBigInt(type) ? type :
+                            KindGuard.IsBoolean(type) ? type :
+                                KindGuard.IsInteger(type) ? type :
+                                    KindGuard.IsLiteral(type) ? type :
+                                        KindGuard.IsNull(type) ? type :
+                                            KindGuard.IsNumber(type) ? type :
+                                                KindGuard.IsString(type) ? type :
+                                                    KindGuard.IsSymbol(type) ? type :
+                                                        KindGuard.IsUndefined(type) ? type :
+                                                            // Passthrough
+                                                            (0, index_2.Object)({}));
 }
 /** `[Json]` Constructs a type where all properties are required */
 function Required(type, options) {
-    if ((0, kind_1.IsMappedResult)(type)) {
+    if (KindGuard.IsMappedResult(type)) {
         return (0, required_from_mapped_result_1.RequiredFromMappedResult)(type, options);
     }
     else {

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

@@ -18,7 +18,7 @@ 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 } from '../record/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 TTuple } from '../tuple/index.mjs';
@@ -31,12 +31,12 @@ type TFromKeyOf<Parameters extends TSchema[]> = (Parameters extends [infer T0 ex
 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 TFromRecord<Parameters extends TSchema[]> = (Parameters extends [infer T0 extends TSchema, infer T1 extends TSchema] ? TRecordOrObject<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 'Record' ? TFromRecord<Dereferenced> : Target extends 'Required' ? TFromRequired<Dereferenced> : TNever);
+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 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>>>);
@@ -46,7 +46,7 @@ type TFromArray<ModuleProperties extends TProperties, Type extends TSchema> = (E
 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 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 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);
 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

@@ -1,4 +1,5 @@
 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';
@@ -14,7 +15,7 @@ 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 { Record } from '../record/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';
@@ -64,10 +65,6 @@ function FromPick(parameters) {
     return Pick(parameters[0], parameters[1]);
 }
 // prettier-ignore
-function FromRecord(parameters) {
-    return Record(parameters[0], parameters[1]);
-}
-// prettier-ignore
 function FromRequired(parameters) {
     return Required(parameters[0]);
 }
@@ -80,9 +77,8 @@ function FromComputed(moduleProperties, target, parameters) {
                 target === 'Partial' ? FromPartial(dereferenced) :
                     target === 'Omit' ? FromOmit(dereferenced) :
                         target === 'Pick' ? FromPick(dereferenced) :
-                            target === 'Record' ? FromRecord(dereferenced) :
-                                target === 'Required' ? FromRequired(dereferenced) :
-                                    Never());
+                            target === 'Required' ? FromRequired(dereferenced) :
+                                Never());
 }
 function FromObject(moduleProperties, properties) {
     return Object(globalThis.Object.keys(properties).reduce((result, key) => {
@@ -90,6 +86,13 @@ function FromObject(moduleProperties, properties) {
     }, {}));
 }
 // 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 FromConstructor(moduleProperties, parameters, instanceType) {
     return Constructor(FromRest(moduleProperties, parameters), FromType(moduleProperties, instanceType));
 }
@@ -133,9 +136,10 @@ export function FromType(moduleProperties, 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.IsTuple(type) ? CreateType(FromTuple(moduleProperties, type.items || []), type) :
-                                                KindGuard.IsUnion(type) ? CreateType(FromUnion(moduleProperties, type.anyOf), type) :
-                                                    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/partial/partial.d.mts

@@ -10,6 +10,15 @@ import { type TObject, type TProperties } from '../object/index.mjs';
 import { type TIntersect } from '../intersect/index.mjs';
 import { type TUnion } from '../union/index.mjs';
 import { type TRef } from '../ref/index.mjs';
+import { type TBigInt } from '../bigint/index.mjs';
+import { type TBoolean } from '../boolean/index.mjs';
+import { type TInteger } from '../integer/index.mjs';
+import { type TLiteral } from '../literal/index.mjs';
+import { type TNull } from '../null/index.mjs';
+import { type TNumber } from '../number/index.mjs';
+import { type TString } from '../string/index.mjs';
+import { type TSymbol } from '../symbol/index.mjs';
+import { type TUndefined } from '../undefined/index.mjs';
 import { type TPartialFromMappedResult } from './partial-from-mapped-result.mjs';
 type TFromComputed<Target extends string, Parameters extends TSchema[]> = Ensure<TComputed<'Partial', [TComputed<Target, Parameters>]>>;
 type TFromRef<Ref extends string> = Ensure<TComputed<'Partial', [TRef<Ref>]>>;
@@ -18,7 +27,7 @@ type TFromProperties<Properties extends TProperties> = Evaluate<{
 }>;
 type TFromObject<Type extends TObject, Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties>)>>;
 type TFromRest<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TPartial<L>]> : Result);
-export type TPartial<T extends TSchema> = (T extends TRecursive<infer Type extends TSchema> ? TRecursive<TPartial<Type>> : T extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : T extends TRef<infer Ref extends string> ? TFromRef<Ref> : T extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : T extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : T extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : TObject<{}>);
+export type TPartial<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TPartial<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
 /** `[Json]` Constructs a type where all properties are optional */
 export declare function Partial<MappedResult extends TMappedResult>(type: MappedResult, options?: SchemaOptions): TPartialFromMappedResult<MappedResult>;
 /** `[Json]` Constructs a type where all properties are optional */

package/build/esm/type/partial/partial.mjs

@@ -9,9 +9,9 @@ import { Discard } from '../discard/index.mjs';
 import { TransformKind } from '../symbols/index.mjs';
 import { PartialFromMappedResult } from './partial-from-mapped-result.mjs';
 // ------------------------------------------------------------------
-// TypeGuard
+// KindGuard
 // ------------------------------------------------------------------
-import { IsMappedResult, IsIntersect, IsUnion, IsObject, IsRef, IsComputed } from '../guard/kind.mjs';
+import * as KindGuard from '../guard/kind.mjs';
 // prettier-ignore
 function FromComputed(target, parameters) {
     return Computed('Partial', [Computed(target, parameters)]);
@@ -28,9 +28,9 @@ function FromProperties(properties) {
     return partialProperties;
 }
 // prettier-ignore
-function FromObject(T) {
-    const options = Discard(T, [TransformKind, '$id', 'required', 'properties']);
-    const properties = FromProperties(T['properties']);
+function FromObject(type) {
+    const options = Discard(type, [TransformKind, '$id', 'required', 'properties']);
+    const properties = FromProperties(type['properties']);
     return Object(properties, options);
 }
 // prettier-ignore
@@ -42,16 +42,29 @@ function FromRest(types) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function PartialResolve(type) {
-    return (IsComputed(type) ? FromComputed(type.target, type.parameters) :
-        IsRef(type) ? FromRef(type.$ref) :
-            IsIntersect(type) ? Intersect(FromRest(type.allOf)) :
-                IsUnion(type) ? Union(FromRest(type.anyOf)) :
-                    IsObject(type) ? FromObject(type) :
-                        Object({}));
+    return (
+    // Mappable
+    KindGuard.IsComputed(type) ? FromComputed(type.target, type.parameters) :
+        KindGuard.IsRef(type) ? FromRef(type.$ref) :
+            KindGuard.IsIntersect(type) ? Intersect(FromRest(type.allOf)) :
+                KindGuard.IsUnion(type) ? Union(FromRest(type.anyOf)) :
+                    KindGuard.IsObject(type) ? FromObject(type) :
+                        // Intrinsic
+                        KindGuard.IsBigInt(type) ? type :
+                            KindGuard.IsBoolean(type) ? type :
+                                KindGuard.IsInteger(type) ? type :
+                                    KindGuard.IsLiteral(type) ? type :
+                                        KindGuard.IsNull(type) ? type :
+                                            KindGuard.IsNumber(type) ? type :
+                                                KindGuard.IsString(type) ? type :
+                                                    KindGuard.IsSymbol(type) ? type :
+                                                        KindGuard.IsUndefined(type) ? type :
+                                                            // Passthrough
+                                                            Object({}));
 }
 /** `[Json]` Constructs a type where all properties are optional */
 export function Partial(type, options) {
-    if (IsMappedResult(type)) {
+    if (KindGuard.IsMappedResult(type)) {
         return PartialFromMappedResult(type, options);
     }
     else {

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

@@ -61,11 +61,11 @@ export declare function Record<Key extends TSchema, Type extends TSchema>(key: K
 /** Gets the Records Pattern */
 export declare function RecordPattern(record: TRecord): string;
 /** Gets the Records Key Type */
-export type TRecordKey<Type extends TRecord> = (Type extends TRecord<infer Key extends TSchema, TSchema> ? (Key extends TNumber ? TNumber : Key extends TString ? TString : TString) : TString);
+export type TRecordKey<Type extends TRecord, Result extends TSchema = Type extends TRecord<infer Key extends TSchema, TSchema> ? (Key extends TNumber ? TNumber : Key extends TString ? TString : TString) : TString> = Result;
 /** Gets the Records Key Type */
 export declare function RecordKey<Type extends TRecord>(type: Type): TRecordKey<Type>;
 /** Gets a Record Value Type */
-export type TRecordValue<Type extends TRecord> = (Type extends TRecord<TSchema, infer Value extends TSchema> ? Value : TNever);
+export type TRecordValue<Type extends TRecord, Result extends TSchema = (Type extends TRecord<TSchema, infer Value extends TSchema> ? Value : TNever)> = Result;
 /** Gets a Record Value Type */
 export declare function RecordValue<Type extends TRecord>(type: Type): TRecordValue<Type>;
 export {};

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

@@ -10,6 +10,15 @@ import { type TObject, type TProperties } from '../object/index.mjs';
 import { type TIntersect } from '../intersect/index.mjs';
 import { type TUnion } from '../union/index.mjs';
 import { type TRef } from '../ref/index.mjs';
+import { type TBigInt } from '../bigint/index.mjs';
+import { type TBoolean } from '../boolean/index.mjs';
+import { type TInteger } from '../integer/index.mjs';
+import { type TLiteral } from '../literal/index.mjs';
+import { type TNull } from '../null/index.mjs';
+import { type TNumber } from '../number/index.mjs';
+import { type TString } from '../string/index.mjs';
+import { type TSymbol } from '../symbol/index.mjs';
+import { type TUndefined } from '../undefined/index.mjs';
 import { type TRequiredFromMappedResult } from './required-from-mapped-result.mjs';
 type TFromComputed<Target extends string, Parameters extends TSchema[]> = Ensure<TComputed<'Required', [TComputed<Target, Parameters>]>>;
 type TFromRef<Ref extends string> = Ensure<TComputed<'Required', [TRef<Ref>]>>;
@@ -18,7 +27,7 @@ type TFromProperties<Properties extends TProperties> = Evaluate<{
 }>;
 type TFromObject<Type extends TObject, Properties extends TProperties = Type['properties']> = Ensure<TObject<(TFromProperties<Properties>)>>;
 type TFromRest<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TRequired<L>]> : Result);
-export type TRequired<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TRequired<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : TObject<{}>);
+export type TRequired<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TRecursive<TRequired<Type>> : Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TFromRest<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TFromRest<Types>> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<TObject<Properties>> : Type extends TBigInt ? Type : Type extends TBoolean ? Type : Type extends TInteger ? Type : Type extends TLiteral ? Type : Type extends TNull ? Type : Type extends TNumber ? Type : Type extends TString ? Type : Type extends TSymbol ? Type : Type extends TUndefined ? Type : TObject<{}>);
 /** `[Json]` Constructs a type where all properties are required */
 export declare function Required<MappedResult extends TMappedResult>(type: MappedResult, options?: SchemaOptions): TRequiredFromMappedResult<MappedResult>;
 /** `[Json]` Constructs a type where all properties are required */

package/build/esm/type/required/required.mjs

@@ -10,7 +10,7 @@ import { RequiredFromMappedResult } from './required-from-mapped-result.mjs';
 // ------------------------------------------------------------------
 // TypeGuard
 // ------------------------------------------------------------------
-import { IsMappedResult, IsIntersect, IsUnion, IsObject, IsRef, IsComputed } from '../guard/kind.mjs';
+import * as KindGuard from '../guard/kind.mjs';
 // prettier-ignore
 function FromComputed(target, parameters) {
     return Computed('Required', [Computed(target, parameters)]);
@@ -41,16 +41,29 @@ function FromRest(types) {
 // ------------------------------------------------------------------
 // prettier-ignore
 function RequiredResolve(type) {
-    return (IsComputed(type) ? FromComputed(type.target, type.parameters) :
-        IsRef(type) ? FromRef(type.$ref) :
-            IsIntersect(type) ? Intersect(FromRest(type.allOf)) :
-                IsUnion(type) ? Union(FromRest(type.anyOf)) :
-                    IsObject(type) ? FromObject(type) :
-                        Object({}));
+    return (
+    // Mappable
+    KindGuard.IsComputed(type) ? FromComputed(type.target, type.parameters) :
+        KindGuard.IsRef(type) ? FromRef(type.$ref) :
+            KindGuard.IsIntersect(type) ? Intersect(FromRest(type.allOf)) :
+                KindGuard.IsUnion(type) ? Union(FromRest(type.anyOf)) :
+                    KindGuard.IsObject(type) ? FromObject(type) :
+                        // Intrinsic
+                        KindGuard.IsBigInt(type) ? type :
+                            KindGuard.IsBoolean(type) ? type :
+                                KindGuard.IsInteger(type) ? type :
+                                    KindGuard.IsLiteral(type) ? type :
+                                        KindGuard.IsNull(type) ? type :
+                                            KindGuard.IsNumber(type) ? type :
+                                                KindGuard.IsString(type) ? type :
+                                                    KindGuard.IsSymbol(type) ? type :
+                                                        KindGuard.IsUndefined(type) ? type :
+                                                            // Passthrough
+                                                            Object({}));
 }
 /** `[Json]` Constructs a type where all properties are required */
 export function Required(type, options) {
-    if (IsMappedResult(type)) {
+    if (KindGuard.IsMappedResult(type)) {
         return RequiredFromMappedResult(type, options);
     }
     else {

package/package.json

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