@sinclair/typebox 0.21.1 → 0.21.2

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sinclair/typebox",
-  "version": "0.21.1",
+  "version": "0.21.2",
   "description": "JSONSchema Type Builder with Static Type Resolution for TypeScript",
   "keywords": [
     "json-schema",
@@ -20,7 +20,10 @@
     "clean": "hammer task clean",
     "build": "hammer task build",
     "example": "hammer task example",
-    "test": "hammer task spec"
+    "spec": "hammer task spec",
+    "spec:types": "hammer task spec_types",
+    "spec:schemas": "hammer task spec_schemas",
+    "test": "npm run spec"
   },
   "devDependencies": {
     "@sinclair/hammer": "^0.15.7",
@@ -31,6 +34,7 @@
     "ajv-formats": "^2.0.2",
     "chai": "^4.3.4",
     "mocha": "^9.1.2",
+    "tsd": "^0.19.0",
     "typescript": "^4.5.2"
   }
 }

package/typebox.d.ts

@@ -190,6 +190,10 @@ export declare type TVoid = Infer<void> & {
 } & CustomOptions;
 export declare type TSchema = TIntersect<any> | TUnion<any> | TTuple<any> | TObject<any> | TKeyOf<any> | TRecord<any> | TArray<any> | TEnum<any> | TLiteral<any> | TString | TNumber | TInteger | TBoolean | TNull | TUnknown | TAny | TConstructor<any> | TFunction<any> | TPromise<any> | TUndefined | TVoid;
 export declare type UnionToIntersect<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;
+export declare type IntersectEvaluate<T extends readonly TSchema[]> = {
+    [K in keyof T]: Static<T[K]>;
+};
+export declare type IntersectReduce<I extends unknown, T extends readonly any[]> = T extends [infer A, ...infer B] ? IntersectReduce<I & A, B> : I;
 export declare type ReadonlyOptionalPropertyKeys<T extends TProperties> = {
     [K in keyof T]: T[K] extends TReadonlyOptional<TSchema> ? K : never;
 }[keyof T];
@@ -209,9 +213,10 @@ export declare type StaticProperties<T extends TProperties> = {
 } & {
     [K in RequiredPropertyKeys<T>]: Static<T[K]>;
 };
+export declare type StaticRecord<K extends TRecordKey, T extends TSchema> = K extends TString ? Record<string, Static<T>> : K extends TNumber ? Record<number, Static<T>> : K extends TKeyOf<any> ? Record<K['_infer'], Static<T>> : K extends TUnion<any> ? Record<K['_infer'], Static<T>> : never;
 export declare type StaticEnum<T> = T extends TEnumKey<infer U>[] ? U : never;
 export declare type StaticKeyOf<T extends TKey[]> = T extends Array<infer K> ? K : never;
-export declare type StaticIntersect<T extends readonly TSchema[]> = UnionToIntersect<StaticUnion<T>>;
+export declare type StaticIntersect<T extends readonly TSchema[]> = IntersectReduce<unknown, IntersectEvaluate<T>>;
 export declare type StaticUnion<T extends readonly TSchema[]> = {
     [K in keyof T]: Static<T[K]>;
 }[number];
@@ -219,7 +224,6 @@ export declare type StaticTuple<T extends readonly TSchema[]> = {
     [K in keyof T]: Static<T[K]>;
 };
 export declare type StaticObject<T extends TProperties> = StaticProperties<StaticProperties<T>>;
-export declare type StaticRecord<K extends TRecordKey, T extends TSchema> = K extends TString ? Record<string, Static<T>> : K extends TNumber ? Record<number, Static<T>> : K extends TKeyOf<any> ? Record<K['_infer'], Static<T>> : K extends TUnion<any> ? Record<K['_infer'], Static<T>> : never;
 export declare type StaticArray<T extends TSchema> = Array<Static<T>>;
 export declare type StaticLiteral<T extends TValue> = T;
 export declare type StaticConstructor<T extends readonly TSchema[], U extends TSchema> = new (...args: [...{