@sinclair/typebox 0.31.0-dev-2 → 0.31.0

package/typebox.d.ts

@@ -331,22 +331,32 @@ export interface TPromise<T extends TSchema = TSchema> extends TSchema {
     type: 'promise';
     item: TSchema;
 }
-export type RecordTemplateLiteralObjectType<K extends TTemplateLiteral, T extends TSchema> = Ensure<TObject<Evaluate<{
-    [_ in Static<K>]: T;
+export type TRecordFromUnionLiteralString<K extends TLiteralString, T extends TSchema> = {
+    [_ in K['const']]: T;
+};
+export type TRecordFromUnionLiteralNumber<K extends TLiteralNumber, T extends TSchema> = {
+    [_ in K['const']]: T;
+};
+export type TRecordFromUnionRest<K extends TSchema[], T extends TSchema> = K extends [infer L, ...infer R] ? (L extends TUnion<infer S> ? TRecordFromUnionRest<S, T> & TRecordFromUnionRest<AssertRest<R>, T> : L extends TLiteralString ? TRecordFromUnionLiteralString<L, T> & TRecordFromUnionRest<AssertRest<R>, T> : L extends TLiteralNumber ? TRecordFromUnionLiteralNumber<L, T> & TRecordFromUnionRest<AssertRest<R>, T> : {}) : {};
+export type TRecordFromUnion<K extends TSchema[], T extends TSchema> = Ensure<TObject<AssertProperties<Evaluate<TRecordFromUnionRest<K, T>>>>>;
+export type TRecordFromTemplateLiteralKeyInfinite<T extends TSchema> = Ensure<TRecord<TString, T>>;
+export type TRecordFromTemplateLiteralKeyFinite<K extends TTemplateLiteral, T extends TSchema, I = Static<K>> = Ensure<TObject<Evaluate<{
+    [_ in Assert<I, string>]: T;
 }>>>;
-export type RecordTemplateLiteralType<K extends TTemplateLiteral, T extends TSchema> = IsTemplateLiteralFinite<K> extends true ? RecordTemplateLiteralObjectType<K, T> : TRecord<K, T>;
-export type RecordUnionLiteralType<K extends TUnion, T extends TSchema> = Static<K> extends string ? Ensure<TObject<{
-    [X in Static<K>]: T;
-}>> : never;
-export type RecordLiteralType<K extends TLiteral<string | number>, T extends TSchema> = Ensure<TObject<{
-    [K2 in K['const']]: T;
+export type TRecordFromTemplateLiteralKey<K extends TTemplateLiteral, T extends TSchema> = IsTemplateLiteralFinite<K> extends false ? TRecordFromTemplateLiteralKeyInfinite<T> : TRecordFromTemplateLiteralKeyFinite<K, T>;
+export type TRecordFromLiteralStringKey<K extends TLiteralString, T extends TSchema> = Ensure<TObject<{
+    [_ in K['const']]: T;
 }>>;
-export type RecordNumberType<K extends TInteger | TNumber, T extends TSchema> = Ensure<TRecord<K, T>>;
-export type RecordStringType<K extends TString, T extends TSchema> = Ensure<TRecord<K, T>>;
-export type RecordKey = TUnion<TLiteral<string | number>[]> | TLiteral<string | number> | TTemplateLiteral | TInteger | TNumber | TString;
-export interface TRecord<K extends RecordKey = RecordKey, T extends TSchema = TSchema> extends TSchema {
+export type TRecordFromLiteralNumberKey<K extends TLiteralNumber, T extends TSchema> = Ensure<TObject<{
+    [_ in K['const']]: T;
+}>>;
+export type TRecordFromStringKey<K extends TString, T extends TSchema> = Ensure<TRecord<K, T>>;
+export type TRecordFromNumberKey<K extends TNumber, T extends TSchema> = Ensure<TRecord<K, T>>;
+export type TRecordFromIntegerKey<K extends TInteger, T extends TSchema> = Ensure<TRecord<K, T>>;
+export type TRecordResolve<K extends TSchema, T extends TSchema> = K extends TUnion<infer S> ? TRecordFromUnion<S, T> : K extends TTemplateLiteral ? TRecordFromTemplateLiteralKey<K, T> : K extends TLiteralString ? TRecordFromLiteralStringKey<K, T> : K extends TLiteralNumber ? TRecordFromLiteralNumberKey<K, T> : K extends TString ? TRecordFromStringKey<K, T> : K extends TNumber ? TRecordFromNumberKey<K, T> : K extends TInteger ? TRecordFromIntegerKey<K, T> : TNever;
+export interface TRecord<K extends TSchema = TSchema, T extends TSchema = TSchema> extends TSchema {
     [Kind]: 'Record';
-    static: Record<Static<K>, Static<T, this['params']>>;
+    static: Record<Assert<Static<K>, string | number>, Static<T, this['params']>>;
     type: 'object';
     patternProperties: {
         [pattern: string]: T;
@@ -562,97 +572,97 @@ export declare class TypeGuardUnknownTypeError extends TypeBoxError {
 }
 /** Provides functions to test if JavaScript values are TypeBox types */
 export declare namespace TypeGuard {
-    /** Returns true if the given schema is TAny */
+    /** Returns true if the given value is TAny */
     function TAny(schema: unknown): schema is TAny;
-    /** Returns true if the given schema is TArray */
+    /** Returns true if the given value is TArray */
     function TArray(schema: unknown): schema is TArray;
-    /** Returns true if the given schema is TAsyncIterator */
+    /** Returns true if the given value is TAsyncIterator */
     function TAsyncIterator(schema: unknown): schema is TAsyncIterator;
-    /** Returns true if the given schema is TBigInt */
+    /** Returns true if the given value is TBigInt */
     function TBigInt(schema: unknown): schema is TBigInt;
-    /** Returns true if the given schema is TBoolean */
+    /** Returns true if the given value is TBoolean */
     function TBoolean(schema: unknown): schema is TBoolean;
-    /** Returns true if the given schema is TConstructor */
+    /** Returns true if the given value is TConstructor */
     function TConstructor(schema: unknown): schema is TConstructor;
-    /** Returns true if the given schema is TDate */
+    /** Returns true if the given value is TDate */
     function TDate(schema: unknown): schema is TDate;
-    /** Returns true if the given schema is TFunction */
+    /** Returns true if the given value is TFunction */
     function TFunction(schema: unknown): schema is TFunction;
-    /** Returns true if the given schema is TInteger */
+    /** Returns true if the given value is TInteger */
     function TInteger(schema: unknown): schema is TInteger;
-    /** Returns true if the given schema is TIntersect */
+    /** Returns true if the given value is TIntersect */
     function TIntersect(schema: unknown): schema is TIntersect;
-    /** Returns true if the given schema is TIterator */
+    /** Returns true if the given value is TIterator */
     function TIterator(schema: unknown): schema is TIterator;
-    /** Returns true if the given schema is a TKind with the given name. */
+    /** Returns true if the given value is a TKind with the given name. */
     function TKindOf<T extends string>(schema: unknown, kind: T): schema is Record<PropertyKey, unknown> & {
         [Kind]: T;
     };
-    /** Returns true if the given schema is TKind */
+    /** Returns true if the given value is TKind */
     function TKind(schema: unknown): schema is Record<PropertyKey, unknown> & {
         [Kind]: string;
     };
-    /** Returns true if the given schema is TLiteral<string> */
+    /** Returns true if the given value is TLiteral<string> */
     function TLiteralString(schema: unknown): schema is TLiteral<string>;
-    /** Returns true if the given schema is TLiteral<number> */
+    /** Returns true if the given value is TLiteral<number> */
     function TLiteralNumber(schema: unknown): schema is TLiteral<number>;
-    /** Returns true if the given schema is TLiteral<boolean> */
+    /** Returns true if the given value is TLiteral<boolean> */
     function TLiteralBoolean(schema: unknown): schema is TLiteral<boolean>;
-    /** Returns true if the given schema is TLiteral */
+    /** Returns true if the given value is TLiteral */
     function TLiteral(schema: unknown): schema is TLiteral;
-    /** Returns true if the given schema is TNever */
+    /** Returns true if the given value is TNever */
     function TNever(schema: unknown): schema is TNever;
-    /** Returns true if the given schema is TNot */
+    /** Returns true if the given value is TNot */
     function TNot(schema: unknown): schema is TNot;
-    /** Returns true if the given schema is TNull */
+    /** Returns true if the given value is TNull */
     function TNull(schema: unknown): schema is TNull;
-    /** Returns true if the given schema is TNumber */
+    /** Returns true if the given value is TNumber */
     function TNumber(schema: unknown): schema is TNumber;
-    /** Returns true if the given schema is TObject */
+    /** Returns true if the given value is TObject */
     function TObject(schema: unknown): schema is TObject;
-    /** Returns true if the given schema is TPromise */
+    /** Returns true if the given value is TPromise */
     function TPromise(schema: unknown): schema is TPromise;
-    /** Returns true if the given schema is TRecord */
+    /** Returns true if the given value is TRecord */
     function TRecord(schema: unknown): schema is TRecord;
-    /** Returns true if this schema is TRecursive */
+    /** Returns true if this value is TRecursive */
     function TRecursive(schema: unknown): schema is {
         [Hint]: 'Recursive';
     };
-    /** Returns true if the given schema is TRef */
+    /** Returns true if the given value is TRef */
     function TRef(schema: unknown): schema is TRef;
-    /** Returns true if the given schema is TString */
+    /** Returns true if the given value is TString */
     function TString(schema: unknown): schema is TString;
-    /** Returns true if the given schema is TSymbol */
+    /** Returns true if the given value is TSymbol */
     function TSymbol(schema: unknown): schema is TSymbol;
-    /** Returns true if the given schema is TTemplateLiteral */
+    /** Returns true if the given value is TTemplateLiteral */
     function TTemplateLiteral(schema: unknown): schema is TTemplateLiteral;
-    /** Returns true if the given schema is TThis */
+    /** Returns true if the given value is TThis */
     function TThis(schema: unknown): schema is TThis;
-    /** Returns true of this schema is TTransform */
+    /** Returns true of this value is TTransform */
     function TTransform(schema: unknown): schema is {
         [Transform]: TransformOptions;
     };
-    /** Returns true if the given schema is TTuple */
+    /** Returns true if the given value is TTuple */
     function TTuple(schema: unknown): schema is TTuple;
-    /** Returns true if the given schema is TUndefined */
+    /** Returns true if the given value is TUndefined */
     function TUndefined(schema: unknown): schema is TUndefined;
-    /** Returns true if the given schema is TUnion<Literal<string | number>[]> */
+    /** Returns true if the given value is TUnion<Literal<string | number>[]> */
     function TUnionLiteral(schema: unknown): schema is TUnion<TLiteral[]>;
-    /** Returns true if the given schema is TUnion */
+    /** Returns true if the given value is TUnion */
     function TUnion(schema: unknown): schema is TUnion;
-    /** Returns true if the given schema is TUint8Array */
+    /** Returns true if the given value is TUint8Array */
     function TUint8Array(schema: unknown): schema is TUint8Array;
-    /** Returns true if the given schema is TUnknown */
+    /** Returns true if the given value is TUnknown */
     function TUnknown(schema: unknown): schema is TUnknown;
-    /** Returns true if the given schema is a raw TUnsafe */
+    /** Returns true if the given value is a raw TUnsafe */
     function TUnsafe(schema: unknown): schema is TUnsafe<unknown>;
-    /** Returns true if the given schema is TVoid */
+    /** Returns true if the given value is TVoid */
     function TVoid(schema: unknown): schema is TVoid;
-    /** Returns true if this schema has the Readonly modifier */
+    /** Returns true if this value has a Readonly symbol */
     function TReadonly<T extends TSchema>(schema: T): schema is TReadonly<T>;
-    /** Returns true if this schema has the Optional modifier */
+    /** Returns true if this value has a Optional symbol */
     function TOptional<T extends TSchema>(schema: T): schema is TOptional<T>;
-    /** Returns true if the given schema is TSchema */
+    /** Returns true if the given value is TSchema */
     function TSchema(schema: unknown): schema is TSchema;
 }
 /** Fast undefined check used for properties of type undefined */
@@ -859,15 +869,7 @@ export declare class JsonTypeBuilder extends TypeBuilder {
     /** `[Json]` Constructs a type whose keys are picked from the given type */
     Pick<T extends TSchema, K extends TNever>(schema: T, key: K, options?: SchemaOptions): TPick<T, never>;
     /** `[Json]` Creates a Record type */
-    Record<K extends TUnion, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): RecordUnionLiteralType<K, T>;
-    /** `[Json]` Creates a Record type */
-    Record<K extends TLiteral<string | number>, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): RecordLiteralType<K, T>;
-    /** `[Json]` Creates a Record type */
-    Record<K extends TTemplateLiteral, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): RecordTemplateLiteralType<K, T>;
-    /** `[Json]` Creates a Record type */
-    Record<K extends TInteger | TNumber, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): RecordNumberType<K, T>;
-    /** `[Json]` Creates a Record type */
-    Record<K extends TString, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): RecordStringType<K, T>;
+    Record<K extends TSchema, T extends TSchema>(key: K, schema: T, options?: ObjectOptions): TRecordResolve<K, T>;
     /** `[Json]` Creates a Recursive type */
     Recursive<T extends TSchema>(callback: (thisType: TThis) => T, options?: SchemaOptions): TRecursive<T>;
     /** `[Json]` Creates a Ref type. The referenced type must contain a $id */

package/typebox.js

@@ -224,14 +224,14 @@ var TypeGuard;
     function IsOptionalSchema(value) {
         return ValueGuard.IsUndefined(value) || TSchema(value);
     }
-    /** Returns true if the given schema is TAny */
+    /** Returns true if the given value is TAny */
     function TAny(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Any') &&
             IsOptionalString(schema.$id));
     }
     TypeGuard.TAny = TAny;
-    /** Returns true if the given schema is TArray */
+    /** Returns true if the given value is TArray */
     function TArray(schema) {
         return (TKindOf(schema, 'Array') &&
             schema.type === 'array' &&
@@ -245,7 +245,7 @@ var TypeGuard;
             IsOptionalNumber(schema.maxContains));
     }
     TypeGuard.TArray = TArray;
-    /** Returns true if the given schema is TAsyncIterator */
+    /** Returns true if the given value is TAsyncIterator */
     function TAsyncIterator(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'AsyncIterator') &&
@@ -254,7 +254,7 @@ var TypeGuard;
             TSchema(schema.items));
     }
     TypeGuard.TAsyncIterator = TAsyncIterator;
-    /** Returns true if the given schema is TBigInt */
+    /** Returns true if the given value is TBigInt */
     function TBigInt(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'BigInt') &&
@@ -267,7 +267,7 @@ var TypeGuard;
             IsOptionalBigInt(schema.multipleOf));
     }
     TypeGuard.TBigInt = TBigInt;
-    /** Returns true if the given schema is TBoolean */
+    /** Returns true if the given value is TBoolean */
     function TBoolean(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Boolean') &&
@@ -275,7 +275,7 @@ var TypeGuard;
             IsOptionalString(schema.$id));
     }
     TypeGuard.TBoolean = TBoolean;
-    /** Returns true if the given schema is TConstructor */
+    /** Returns true if the given value is TConstructor */
     function TConstructor(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Constructor') &&
@@ -286,7 +286,7 @@ var TypeGuard;
             TSchema(schema.returns));
     }
     TypeGuard.TConstructor = TConstructor;
-    /** Returns true if the given schema is TDate */
+    /** Returns true if the given value is TDate */
     function TDate(schema) {
         return (TKindOf(schema, 'Date') &&
             schema.type === 'Date' &&
@@ -298,7 +298,7 @@ var TypeGuard;
             IsOptionalNumber(schema.multipleOfTimestamp));
     }
     TypeGuard.TDate = TDate;
-    /** Returns true if the given schema is TFunction */
+    /** Returns true if the given value is TFunction */
     function TFunction(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Function') &&
@@ -309,7 +309,7 @@ var TypeGuard;
             TSchema(schema.returns));
     }
     TypeGuard.TFunction = TFunction;
-    /** Returns true if the given schema is TInteger */
+    /** Returns true if the given value is TInteger */
     function TInteger(schema) {
         return (TKindOf(schema, 'Integer') &&
             schema.type === 'integer' &&
@@ -321,7 +321,7 @@ var TypeGuard;
             IsOptionalNumber(schema.multipleOf));
     }
     TypeGuard.TInteger = TInteger;
-    /** Returns true if the given schema is TIntersect */
+    /** Returns true if the given value is TIntersect */
     function TIntersect(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Intersect') &&
@@ -333,7 +333,7 @@ var TypeGuard;
             IsOptionalString(schema.$id));
     }
     TypeGuard.TIntersect = TIntersect;
-    /** Returns true if the given schema is TIterator */
+    /** Returns true if the given value is TIterator */
     function TIterator(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Iterator') &&
@@ -342,32 +342,32 @@ var TypeGuard;
             TSchema(schema.items));
     }
     TypeGuard.TIterator = TIterator;
-    /** Returns true if the given schema is a TKind with the given name. */
+    /** Returns true if the given value is a TKind with the given name. */
     function TKindOf(schema, kind) {
         return TKind(schema) && schema[exports.Kind] === kind;
     }
     TypeGuard.TKindOf = TKindOf;
-    /** Returns true if the given schema is TKind */
+    /** Returns true if the given value is TKind */
     function TKind(schema) {
         return ValueGuard.IsObject(schema) && exports.Kind in schema && ValueGuard.IsString(schema[exports.Kind]);
     }
     TypeGuard.TKind = TKind;
-    /** Returns true if the given schema is TLiteral<string> */
+    /** Returns true if the given value is TLiteral<string> */
     function TLiteralString(schema) {
         return TLiteral(schema) && ValueGuard.IsString(schema.const);
     }
     TypeGuard.TLiteralString = TLiteralString;
-    /** Returns true if the given schema is TLiteral<number> */
+    /** Returns true if the given value is TLiteral<number> */
     function TLiteralNumber(schema) {
         return TLiteral(schema) && ValueGuard.IsNumber(schema.const);
     }
     TypeGuard.TLiteralNumber = TLiteralNumber;
-    /** Returns true if the given schema is TLiteral<boolean> */
+    /** Returns true if the given value is TLiteral<boolean> */
     function TLiteralBoolean(schema) {
         return TLiteral(schema) && ValueGuard.IsBoolean(schema.const);
     }
     TypeGuard.TLiteralBoolean = TLiteralBoolean;
-    /** Returns true if the given schema is TLiteral */
+    /** Returns true if the given value is TLiteral */
     function TLiteral(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Literal') &&
@@ -376,7 +376,7 @@ var TypeGuard;
             ValueGuard.IsString(schema.const)));
     }
     TypeGuard.TLiteral = TLiteral;
-    /** Returns true if the given schema is TNever */
+    /** Returns true if the given value is TNever */
     function TNever(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Never') &&
@@ -384,14 +384,14 @@ var TypeGuard;
             Object.getOwnPropertyNames(schema.not).length === 0);
     }
     TypeGuard.TNever = TNever;
-    /** Returns true if the given schema is TNot */
+    /** Returns true if the given value is TNot */
     function TNot(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Not') &&
             TSchema(schema.not));
     }
     TypeGuard.TNot = TNot;
-    /** Returns true if the given schema is TNull */
+    /** Returns true if the given value is TNull */
     function TNull(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Null') &&
@@ -399,7 +399,7 @@ var TypeGuard;
             IsOptionalString(schema.$id));
     }
     TypeGuard.TNull = TNull;
-    /** Returns true if the given schema is TNumber */
+    /** Returns true if the given value is TNumber */
     function TNumber(schema) {
         return (TKindOf(schema, 'Number') &&
             schema.type === 'number' &&
@@ -411,7 +411,7 @@ var TypeGuard;
             IsOptionalNumber(schema.multipleOf));
     }
     TypeGuard.TNumber = TNumber;
-    /** Returns true if the given schema is TObject */
+    /** Returns true if the given value is TObject */
     function TObject(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Object') &&
@@ -424,7 +424,7 @@ var TypeGuard;
             Object.entries(schema.properties).every(([key, schema]) => IsControlCharacterFree(key) && TSchema(schema)));
     }
     TypeGuard.TObject = TObject;
-    /** Returns true if the given schema is TPromise */
+    /** Returns true if the given value is TPromise */
     function TPromise(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Promise') &&
@@ -433,7 +433,7 @@ var TypeGuard;
             TSchema(schema.item));
     }
     TypeGuard.TPromise = TPromise;
-    /** Returns true if the given schema is TRecord */
+    /** Returns true if the given value is TRecord */
     function TRecord(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Record') &&
@@ -450,12 +450,12 @@ var TypeGuard;
             })(schema));
     }
     TypeGuard.TRecord = TRecord;
-    /** Returns true if this schema is TRecursive */
+    /** Returns true if this value is TRecursive */
     function TRecursive(schema) {
         return ValueGuard.IsObject(schema) && exports.Hint in schema && schema[exports.Hint] === 'Recursive';
     }
     TypeGuard.TRecursive = TRecursive;
-    /** Returns true if the given schema is TRef */
+    /** Returns true if the given value is TRef */
     function TRef(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Ref') &&
@@ -463,7 +463,7 @@ var TypeGuard;
             ValueGuard.IsString(schema.$ref));
     }
     TypeGuard.TRef = TRef;
-    /** Returns true if the given schema is TString */
+    /** Returns true if the given value is TString */
     function TString(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'String') &&
@@ -475,7 +475,7 @@ var TypeGuard;
             IsOptionalFormat(schema.format));
     }
     TypeGuard.TString = TString;
-    /** Returns true if the given schema is TSymbol */
+    /** Returns true if the given value is TSymbol */
     function TSymbol(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Symbol') &&
@@ -483,7 +483,7 @@ var TypeGuard;
             IsOptionalString(schema.$id));
     }
     TypeGuard.TSymbol = TSymbol;
-    /** Returns true if the given schema is TTemplateLiteral */
+    /** Returns true if the given value is TTemplateLiteral */
     function TTemplateLiteral(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'TemplateLiteral') &&
@@ -493,7 +493,7 @@ var TypeGuard;
             schema.pattern[schema.pattern.length - 1] === '$');
     }
     TypeGuard.TTemplateLiteral = TTemplateLiteral;
-    /** Returns true if the given schema is TThis */
+    /** Returns true if the given value is TThis */
     function TThis(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'This') &&
@@ -501,12 +501,12 @@ var TypeGuard;
             ValueGuard.IsString(schema.$ref));
     }
     TypeGuard.TThis = TThis;
-    /** Returns true of this schema is TTransform */
+    /** Returns true of this value is TTransform */
     function TTransform(schema) {
         return ValueGuard.IsObject(schema) && exports.Transform in schema;
     }
     TypeGuard.TTransform = TTransform;
-    /** Returns true if the given schema is TTuple */
+    /** Returns true if the given value is TTuple */
     function TTuple(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Tuple') &&
@@ -522,7 +522,7 @@ var TypeGuard;
                 schema.items.every(schema => TSchema(schema)))));
     }
     TypeGuard.TTuple = TTuple;
-    /** Returns true if the given schema is TUndefined */
+    /** Returns true if the given value is TUndefined */
     function TUndefined(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Undefined') &&
@@ -530,12 +530,12 @@ var TypeGuard;
             IsOptionalString(schema.$id));
     }
     TypeGuard.TUndefined = TUndefined;
-    /** Returns true if the given schema is TUnion<Literal<string | number>[]> */
+    /** Returns true if the given value is TUnion<Literal<string | number>[]> */
     function TUnionLiteral(schema) {
         return TUnion(schema) && schema.anyOf.every((schema) => TLiteralString(schema) || TLiteralNumber(schema));
     }
     TypeGuard.TUnionLiteral = TUnionLiteral;
-    /** Returns true if the given schema is TUnion */
+    /** Returns true if the given value is TUnion */
     function TUnion(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Union') &&
@@ -545,7 +545,7 @@ var TypeGuard;
             schema.anyOf.every(schema => TSchema(schema)));
     }
     TypeGuard.TUnion = TUnion;
-    /** Returns true if the given schema is TUint8Array */
+    /** Returns true if the given value is TUint8Array */
     function TUint8Array(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Uint8Array') &&
@@ -555,19 +555,19 @@ var TypeGuard;
             IsOptionalNumber(schema.maxByteLength));
     }
     TypeGuard.TUint8Array = TUint8Array;
-    /** Returns true if the given schema is TUnknown */
+    /** Returns true if the given value is TUnknown */
     function TUnknown(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Unknown') &&
             IsOptionalString(schema.$id));
     }
     TypeGuard.TUnknown = TUnknown;
-    /** Returns true if the given schema is a raw TUnsafe */
+    /** Returns true if the given value is a raw TUnsafe */
     function TUnsafe(schema) {
         return TKindOf(schema, 'Unsafe');
     }
     TypeGuard.TUnsafe = TUnsafe;
-    /** Returns true if the given schema is TVoid */
+    /** Returns true if the given value is TVoid */
     function TVoid(schema) {
         // prettier-ignore
         return (TKindOf(schema, 'Void') &&
@@ -575,17 +575,17 @@ var TypeGuard;
             IsOptionalString(schema.$id));
     }
     TypeGuard.TVoid = TVoid;
-    /** Returns true if this schema has the Readonly modifier */
+    /** Returns true if this value has a Readonly symbol */
     function TReadonly(schema) {
         return ValueGuard.IsObject(schema) && schema[exports.Readonly] === 'Readonly';
     }
     TypeGuard.TReadonly = TReadonly;
-    /** Returns true if this schema has the Optional modifier */
+    /** Returns true if this value has a Optional symbol */
     function TOptional(schema) {
         return ValueGuard.IsObject(schema) && schema[exports.Optional] === 'Optional';
     }
     TypeGuard.TOptional = TOptional;
-    /** Returns true if the given schema is TSchema */
+    /** Returns true if the given value is TSchema */
     function TSchema(schema) {
         return (ValueGuard.IsObject(schema) &&
             (TAny(schema) ||
@@ -2148,7 +2148,7 @@ class JsonTypeBuilder extends TypeBuilder {
                             const pattern = ValueGuard.IsUndefined(key.pattern) ? exports.PatternStringExact : key.pattern;
                             return this.Create({ ...options, [exports.Kind]: 'Record', type: 'object', patternProperties: { [pattern]: TypeClone.Type(schema) } });
                         })() :
-                            this.Throw(`Record key is an invalid type`));
+                            this.Never());
     }
     /** `[Json]` Creates a Recursive type */
     Recursive(callback, options = {}) {