@sinclair/typebox 0.32.34 → 0.32.35

package/build/cjs/errors/function.js

@@ -100,7 +100,7 @@ function DefaultErrorFunction(error) {
         case errors_1.ValueErrorType.ObjectMinProperties:
             return `Expected object to have at least ${error.schema.minProperties} properties`;
         case errors_1.ValueErrorType.ObjectRequiredProperty:
-            return 'Required property';
+            return 'Expected required property';
         case errors_1.ValueErrorType.Promise:
             return 'Expected Promise';
         case errors_1.ValueErrorType.RegExp:

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

@@ -1,6 +1,8 @@
 export declare const PatternBoolean = "(true|false)";
 export declare const PatternNumber = "(0|[1-9][0-9]*)";
 export declare const PatternString = "(.*)";
+export declare const PatternNever = "(?!.*)";
 export declare const PatternBooleanExact = "^(true|false)$";
 export declare const PatternNumberExact = "^(0|[1-9][0-9]*)$";
 export declare const PatternStringExact = "^(.*)$";
+export declare const PatternNeverExact = "^(?!.*)$";

package/build/cjs/type/patterns/patterns.js

@@ -1,10 +1,12 @@
 "use strict";
 
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.PatternStringExact = exports.PatternNumberExact = exports.PatternBooleanExact = exports.PatternString = exports.PatternNumber = exports.PatternBoolean = void 0;
+exports.PatternNeverExact = exports.PatternStringExact = exports.PatternNumberExact = exports.PatternBooleanExact = exports.PatternNever = exports.PatternString = exports.PatternNumber = exports.PatternBoolean = void 0;
 exports.PatternBoolean = '(true|false)';
 exports.PatternNumber = '(0|[1-9][0-9]*)';
 exports.PatternString = '(.*)';
+exports.PatternNever = '(?!.*)';
 exports.PatternBooleanExact = `^${exports.PatternBoolean}$`;
 exports.PatternNumberExact = `^${exports.PatternNumber}$`;
 exports.PatternStringExact = `^${exports.PatternString}$`;
+exports.PatternNeverExact = `^${exports.PatternNever}$`;

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

@@ -1,6 +1,7 @@
 import type { TSchema } from '../schema/index';
 import type { Static } from '../static/index';
 import type { Evaluate, Ensure, Assert } from '../helpers/index';
+import { type TAny } from '../any/index';
 import { type TObject, type TProperties, type TAdditionalProperties, type ObjectOptions } from '../object/index';
 import { type TLiteral, type TLiteralValue } from '../literal/index';
 import { type TNever } from '../never/index';
@@ -33,6 +34,8 @@ type TFromLiteralKey<K extends TLiteralValue, T extends TSchema> = (Ensure<TObje
 }>>);
 type TFromRegExpKey<_ extends TRegExp, T extends TSchema> = (Ensure<TRecord<TRegExp, T>>);
 type TFromStringKey<_ extends TString, T extends TSchema> = (Ensure<TRecord<TString, T>>);
+type TFromAnyKey<_ extends TAny, T extends TSchema> = (Ensure<TRecord<TAny, T>>);
+type TFromNeverKey<_ extends TNever, T extends TSchema> = (Ensure<TRecord<TNever, T>>);
 type TFromIntegerKey<_ extends TSchema, T extends TSchema> = (Ensure<TRecord<TNumber, T>>);
 type TFromNumberKey<_ extends TSchema, T extends TSchema> = (Ensure<TRecord<TNumber, T>>);
 type RecordStatic<K extends TSchema, T extends TSchema, P extends unknown[]> = (Evaluate<{
@@ -47,7 +50,7 @@ export interface TRecord<K extends TSchema = TSchema, T extends TSchema = TSchem
     };
     additionalProperties: TAdditionalProperties;
 }
-export type TRecordOrObject<K extends TSchema, T extends TSchema> = K extends TTemplateLiteral ? TFromTemplateLiteralKey<K, T> : K extends TEnum<infer S> ? TFromEnumKey<S, T> : K extends TUnion<infer S> ? TFromUnionKey<S, T> : K extends TLiteral<infer S> ? TFromLiteralKey<S, T> : K extends TInteger ? TFromIntegerKey<K, T> : K extends TNumber ? TFromNumberKey<K, T> : K extends TRegExp ? TFromRegExpKey<K, T> : K extends TString ? TFromStringKey<K, T> : TNever;
+export type TRecordOrObject<K extends TSchema, T extends TSchema> = K extends TTemplateLiteral ? TFromTemplateLiteralKey<K, T> : K extends TEnum<infer S> ? TFromEnumKey<S, T> : K extends TUnion<infer S> ? TFromUnionKey<S, T> : K extends TLiteral<infer S> ? TFromLiteralKey<S, T> : K extends TInteger ? TFromIntegerKey<K, T> : K extends TNumber ? TFromNumberKey<K, T> : K extends TRegExp ? TFromRegExpKey<K, T> : K extends TString ? TFromStringKey<K, T> : K extends TAny ? TFromAnyKey<K, T> : K extends TNever ? TFromNeverKey<K, T> : TNever;
 /** `[Json]` Creates a Record type */
 export declare function Record<K extends TSchema, T extends TSchema>(K: K, T: T, options?: ObjectOptions): TRecordOrObject<K, T>;
 export {};

package/build/cjs/type/record/record.js

@@ -64,6 +64,14 @@ function FromStringKey(K, T, options) {
     return RecordCreateFromPattern(pattern, T, options);
 }
 // prettier-ignore
+function FromAnyKey(K, T, options) {
+    return RecordCreateFromPattern(index_5.PatternStringExact, T, options);
+}
+// prettier-ignore
+function FromNeverKey(K, T, options) {
+    return RecordCreateFromPattern(index_5.PatternNeverExact, T, options);
+}
+// prettier-ignore
 function FromIntegerKey(_, T, options) {
     return RecordCreateFromPattern(index_5.PatternNumberExact, T, options);
 }
@@ -84,5 +92,7 @@ function Record(K, T, options = {}) {
                     (0, kind_1.IsNumber)(K) ? FromNumberKey(K, T, options) :
                         (0, kind_1.IsRegExp)(K) ? FromRegExpKey(K, T, options) :
                             (0, kind_1.IsString)(K) ? FromStringKey(K, T, options) :
-                                (0, index_2.Never)(options));
+                                (0, kind_1.IsAny)(K) ? FromAnyKey(K, T, options) :
+                                    (0, kind_1.IsNever)(K) ? FromNeverKey(K, T, options) :
+                                        (0, index_2.Never)(options));
 }

package/build/cjs/value/convert/convert.js

@@ -155,6 +155,9 @@ function FromObject(schema, references, value) {
     return result;
 }
 function FromRecord(schema, references, value) {
+    const isConvertable = (0, index_5.IsObject)(value);
+    if (!isConvertable)
+        return value;
     const propertyKey = Object.getOwnPropertyNames(schema.patternProperties)[0];
     const property = schema.patternProperties[propertyKey];
     const result = {};

package/build/esm/errors/function.mjs

@@ -94,7 +94,7 @@ export function DefaultErrorFunction(error) {
         case ValueErrorType.ObjectMinProperties:
             return `Expected object to have at least ${error.schema.minProperties} properties`;
         case ValueErrorType.ObjectRequiredProperty:
-            return 'Required property';
+            return 'Expected required property';
         case ValueErrorType.Promise:
             return 'Expected Promise';
         case ValueErrorType.RegExp:

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

@@ -1,6 +1,8 @@
 export declare const PatternBoolean = "(true|false)";
 export declare const PatternNumber = "(0|[1-9][0-9]*)";
 export declare const PatternString = "(.*)";
+export declare const PatternNever = "(?!.*)";
 export declare const PatternBooleanExact = "^(true|false)$";
 export declare const PatternNumberExact = "^(0|[1-9][0-9]*)$";
 export declare const PatternStringExact = "^(.*)$";
+export declare const PatternNeverExact = "^(?!.*)$";

package/build/esm/type/patterns/patterns.mjs

@@ -1,6 +1,8 @@
 export const PatternBoolean = '(true|false)';
 export const PatternNumber = '(0|[1-9][0-9]*)';
 export const PatternString = '(.*)';
+export const PatternNever = '(?!.*)';
 export const PatternBooleanExact = `^${PatternBoolean}$`;
 export const PatternNumberExact = `^${PatternNumber}$`;
 export const PatternStringExact = `^${PatternString}$`;
+export const PatternNeverExact = `^${PatternNever}$`;

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

@@ -1,6 +1,7 @@
 import type { TSchema } from '../schema/index.mjs';
 import type { Static } from '../static/index.mjs';
 import type { Evaluate, Ensure, Assert } from '../helpers/index.mjs';
+import { type TAny } from '../any/index.mjs';
 import { type TObject, type TProperties, type TAdditionalProperties, type ObjectOptions } from '../object/index.mjs';
 import { type TLiteral, type TLiteralValue } from '../literal/index.mjs';
 import { type TNever } from '../never/index.mjs';
@@ -33,6 +34,8 @@ type TFromLiteralKey<K extends TLiteralValue, T extends TSchema> = (Ensure<TObje
 }>>);
 type TFromRegExpKey<_ extends TRegExp, T extends TSchema> = (Ensure<TRecord<TRegExp, T>>);
 type TFromStringKey<_ extends TString, T extends TSchema> = (Ensure<TRecord<TString, T>>);
+type TFromAnyKey<_ extends TAny, T extends TSchema> = (Ensure<TRecord<TAny, T>>);
+type TFromNeverKey<_ extends TNever, T extends TSchema> = (Ensure<TRecord<TNever, T>>);
 type TFromIntegerKey<_ extends TSchema, T extends TSchema> = (Ensure<TRecord<TNumber, T>>);
 type TFromNumberKey<_ extends TSchema, T extends TSchema> = (Ensure<TRecord<TNumber, T>>);
 type RecordStatic<K extends TSchema, T extends TSchema, P extends unknown[]> = (Evaluate<{
@@ -47,7 +50,7 @@ export interface TRecord<K extends TSchema = TSchema, T extends TSchema = TSchem
     };
     additionalProperties: TAdditionalProperties;
 }
-export type TRecordOrObject<K extends TSchema, T extends TSchema> = K extends TTemplateLiteral ? TFromTemplateLiteralKey<K, T> : K extends TEnum<infer S> ? TFromEnumKey<S, T> : K extends TUnion<infer S> ? TFromUnionKey<S, T> : K extends TLiteral<infer S> ? TFromLiteralKey<S, T> : K extends TInteger ? TFromIntegerKey<K, T> : K extends TNumber ? TFromNumberKey<K, T> : K extends TRegExp ? TFromRegExpKey<K, T> : K extends TString ? TFromStringKey<K, T> : TNever;
+export type TRecordOrObject<K extends TSchema, T extends TSchema> = K extends TTemplateLiteral ? TFromTemplateLiteralKey<K, T> : K extends TEnum<infer S> ? TFromEnumKey<S, T> : K extends TUnion<infer S> ? TFromUnionKey<S, T> : K extends TLiteral<infer S> ? TFromLiteralKey<S, T> : K extends TInteger ? TFromIntegerKey<K, T> : K extends TNumber ? TFromNumberKey<K, T> : K extends TRegExp ? TFromRegExpKey<K, T> : K extends TString ? TFromStringKey<K, T> : K extends TAny ? TFromAnyKey<K, T> : K extends TNever ? TFromNeverKey<K, T> : TNever;
 /** `[Json]` Creates a Record type */
 export declare function Record<K extends TSchema, T extends TSchema>(K: K, T: T, options?: ObjectOptions): TRecordOrObject<K, T>;
 export {};

package/build/esm/type/record/record.mjs

@@ -2,7 +2,7 @@ import { Object } from '../object/index.mjs';
 import { Never } from '../never/index.mjs';
 import { Union } from '../union/index.mjs';
 import { IsTemplateLiteralFinite } from '../template-literal/index.mjs';
-import { PatternStringExact, PatternNumberExact } from '../patterns/index.mjs';
+import { PatternStringExact, PatternNumberExact, PatternNeverExact } from '../patterns/index.mjs';
 import { IndexPropertyKeys } from '../indexed/index.mjs';
 import { Kind, Hint } from '../symbols/index.mjs';
 import { CloneType } from '../clone/type.mjs';
@@ -13,7 +13,7 @@ import { IsUndefined } from '../guard/value.mjs';
 // ------------------------------------------------------------------
 // TypeGuard
 // ------------------------------------------------------------------
-import { IsInteger, IsLiteral, IsNumber, IsString, IsRegExp, IsTemplateLiteral, IsUnion } from '../guard/kind.mjs';
+import { IsInteger, IsLiteral, IsAny, IsNever, IsNumber, IsString, IsRegExp, IsTemplateLiteral, IsUnion } from '../guard/kind.mjs';
 // ------------------------------------------------------------------
 // RecordCreateFromPattern
 // ------------------------------------------------------------------
@@ -60,6 +60,14 @@ function FromStringKey(K, T, options) {
     return RecordCreateFromPattern(pattern, T, options);
 }
 // prettier-ignore
+function FromAnyKey(K, T, options) {
+    return RecordCreateFromPattern(PatternStringExact, T, options);
+}
+// prettier-ignore
+function FromNeverKey(K, T, options) {
+    return RecordCreateFromPattern(PatternNeverExact, T, options);
+}
+// prettier-ignore
 function FromIntegerKey(_, T, options) {
     return RecordCreateFromPattern(PatternNumberExact, T, options);
 }
@@ -80,5 +88,7 @@ export function Record(K, T, options = {}) {
                     IsNumber(K) ? FromNumberKey(K, T, options) :
                         IsRegExp(K) ? FromRegExpKey(K, T, options) :
                             IsString(K) ? FromStringKey(K, T, options) :
-                                Never(options));
+                                IsAny(K) ? FromAnyKey(K, T, options) :
+                                    IsNever(K) ? FromNeverKey(K, T, options) :
+                                        Never(options));
 }

package/build/esm/value/convert/convert.mjs

@@ -151,6 +151,9 @@ function FromObject(schema, references, value) {
     return result;
 }
 function FromRecord(schema, references, value) {
+    const isConvertable = IsObject(value);
+    if (!isConvertable)
+        return value;
     const propertyKey = Object.getOwnPropertyNames(schema.patternProperties)[0];
     const property = schema.patternProperties[propertyKey];
     const result = {};

package/package.json

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