typebox 1.0.63 → 1.0.65

package/build/guard/emit.mjs

@@ -125,7 +125,7 @@ export function Keys(value) {
     return `Object.getOwnPropertyNames(${value})`;
 }
 export function HasPropertyKey(value, key) {
-    const isProtoField = G.IsEqual(key, '"__proto__"') || G.IsEqual(key, '"toString"') || G.IsEqual(key, '"constructor"');
+    const isProtoField = G.IsEqual(key, '"__proto__"') || G.IsEqual(key, '"constructor"');
     return isProtoField ? `Object.prototype.hasOwnProperty.call(${value}, ${key})` : `${key} in ${value}`;
 }
 export function IsDeepEqual(left, right) {

package/build/guard/guard.mjs

@@ -156,7 +156,8 @@ export function EveryAll(value, offset, callback) {
 // --------------------------------------------------------------------------
 /** Returns true if this value has this property key */
 export function HasPropertyKey(value, key) {
-    return Object.prototype.hasOwnProperty.call(value, key);
+    const isProtoField = IsEqual(key, '__proto__') || IsEqual(key, 'constructor');
+    return isProtoField ? Object.prototype.hasOwnProperty.call(value, key) : key in value;
 }
 /** Returns object entries as `[RegExp, Value][]` */
 export function EntriesRegExp(value) {

package/build/schema/static/if.d.mts

@@ -0,0 +1,8 @@
+import type { XSchema } from '../types/schema.mjs';
+import type { XStaticSchema } from './schema.mjs';
+import type { XIf } from '../types/if.mjs';
+import type { XElse } from '../types/else.mjs';
+import type { XThen } from '../types/then.mjs';
+type XStaticIfReduce<Types extends unknown[], Result extends unknown = never> = (Types extends [infer Left extends unknown, ...infer Right extends unknown[]] ? XStaticIfReduce<Right, Result | Left> : Result);
+export type XStaticIf<Stack extends string[], Root extends XSchema, Schema extends XIf, IfSchema extends XSchema, Then extends unknown[] = Schema extends XThen<infer ThenSchema extends XSchema> ? [XStaticSchema<Stack, Root, IfSchema> & XStaticSchema<Stack, Root, ThenSchema>] : [], Else extends unknown[] = Schema extends XElse<infer ElseSchema extends XSchema> ? [...Then, XStaticSchema<Stack, Root, ElseSchema>] : Then, Result extends unknown = Else extends [] ? unknown : XStaticIfReduce<Else>> = Result;
+export {};

package/build/schema/static/if.mjs

@@ -0,0 +1,2 @@
+// deno-fmt-ignore-file
+export {};

package/build/schema/static/schema.d.mts

@@ -3,6 +3,7 @@ import type { XAnyOf } from '../types/anyOf.mjs';
 import type { XAllOf } from '../types/allOf.mjs';
 import type { XConst } from '../types/const.mjs';
 import type { XEnum } from '../types/enum.mjs';
+import type { XIf } from '../types/if.mjs';
 import type { XItems } from '../types/items.mjs';
 import type { XOneOf } from '../types/oneOf.mjs';
 import type { XPatternProperties } from '../types/patternProperties.mjs';
@@ -18,6 +19,7 @@ import type { XStaticAllOf } from './allOf.mjs';
 import type { XStaticAnyOf } from './anyOf.mjs';
 import type { XStaticConst } from './const.mjs';
 import type { XStaticEnum } from './enum.mjs';
+import type { XStaticIf } from './if.mjs';
 import type { XStaticItems } from './items.mjs';
 import type { XStaticOneOf } from './oneOf.mjs';
 import type { XStaticPatternProperties } from './patternProperties.mjs';
@@ -32,7 +34,7 @@ type TFromKeywords<Stack extends string[], Root extends XSchema, Schema extends
     Schema extends XAllOf<infer Types extends XSchema[]> ? XStaticAllOf<Stack, Root, Types> : unknown,
     Schema extends XAnyOf<infer Types extends XSchema[]> ? XStaticAnyOf<Stack, Root, Types> : unknown,
     Schema extends XConst<infer Value extends unknown> ? XStaticConst<Value> : unknown,
-    Schema extends XEnum<infer Values extends unknown[]> ? XStaticEnum<Values> : unknown,
+    Schema extends XIf<infer Type extends XSchema> ? XStaticIf<Stack, Root, Schema, Type> : Schema extends XEnum<infer Values extends unknown[]> ? XStaticEnum<Values> : unknown,
     Schema extends XItems<infer Types extends XSchema[] | XSchema> ? XStaticItems<Stack, Root, Schema, Types> : unknown,
     Schema extends XOneOf<infer Types extends XSchema[]> ? XStaticOneOf<Stack, Root, Types> : unknown,
     Schema extends XPatternProperties<infer Properties extends Record<PropertyKey, XSchema>> ? XStaticPatternProperties<Stack, Root, Properties> : unknown,

package/build/value/default/from-object.mjs

@@ -20,7 +20,7 @@ export function FromObject(context, type, value) {
         value[key] = FromType(context, type.properties[key], value[key]);
     }
     // return if not additional properties
-    if (!IsAdditionalProperties(type))
+    if (!IsAdditionalProperties(type) || Guard.IsBoolean(type.additionalProperties))
         return value;
     // AdditionalProperties
     for (const key of Guard.Keys(value)) {

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typebox",
   "description": "Json Schema Type Builder with Static Type Resolution for TypeScript",
-  "version": "1.0.63",
+  "version": "1.0.65",
   "keywords": [
     "typescript",
     "jsonschema"

package/readme.md

@@ -254,18 +254,6 @@ const A = C.Parse({                                 // const A: {
 })                                                  // } = ...
 ```
 
-It can also be used to accelerate remote libraries via Json Schema translation.
-
-```typescript
-const C = Compile(x.toJsonSchema(x.object({
-  x: x.number(),
-  y: x.number(),
-  z: x.number()
-})))
-
-const A = C.Check(...)                              // high performance runtime checking
-```
-
 ## Contribute
 
 TypeBox is open to community contribution. Please ensure you submit an issue before submitting a pull request. The TypeBox project prefers open community discussion before accepting new features.