typebox 1.0.30 → 1.0.32

package/build/type/engine/object/from-union.d.mts

@@ -1,10 +1,10 @@
 import { type TUnreachable } from '../../../system/unreachable/index.mjs';
 import { type TSchema } from '../../types/schema.mjs';
 import { type TProperties } from '../../types/properties.mjs';
-import { type TEvaluateIntersect } from '../evaluate/evaluate.mjs';
+import { type TEvaluateUnion } from '../evaluate/evaluate.mjs';
 import { type TFromType } from './from-type.mjs';
 type TCollapseUnionProperties<Left extends TProperties, Right extends TProperties, SharedKeys extends PropertyKey = keyof Left & keyof Right, Result extends TProperties = {
-    [Key in SharedKeys]: TEvaluateIntersect<[Left[Key], Right[Key]]>;
+    [Key in SharedKeys]: TEvaluateUnion<[Left[Key], Right[Key]]>;
 }> = Result;
 type TReduceVariants<Types extends TSchema[], Result extends TProperties> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TReduceVariants<Right, TCollapseUnionProperties<Result, TFromType<Left>>> : Result);
 export type TFromUnion<Types extends TSchema[]> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TReduceVariants<Right, TFromType<Left>> : TUnreachable);

package/build/type/engine/object/from-union.mjs

@@ -2,12 +2,12 @@
 import { Unreachable } from '../../../system/unreachable/index.mjs';
 import { Guard } from '../../../guard/index.mjs';
 import { IsSchema } from '../../types/schema.mjs';
-import { EvaluateIntersect } from '../evaluate/evaluate.mjs';
+import { EvaluateUnion } from '../evaluate/evaluate.mjs';
 import { FromType } from './from-type.mjs';
 function CollapseUnionProperties(left, right) {
     const sharedKeys = Guard.Keys(left).filter((key) => key in right);
     const result = sharedKeys.reduce((result, key) => {
-        return { ...result, [key]: EvaluateIntersect([left[key], right[key]]) };
+        return { ...result, [key]: EvaluateUnion([left[key], right[key]]) };
     }, {});
     return result;
 }

package/build/value/repair/from-base.d.mts

@@ -0,0 +1,2 @@
+import type { TProperties, Base } from '../../type/index.mjs';
+export declare function FromBase(context: TProperties, type: Base, value: unknown): unknown;

package/build/value/repair/from-base.mjs

@@ -0,0 +1,8 @@
+// deno-fmt-ignore-file
+import { FromUnknown } from './from-unknown.mjs';
+// ------------------------------------------------------------------
+// FromBase
+// ------------------------------------------------------------------
+export function FromBase(context, type, value) {
+    return FromUnknown(context, type, value);
+}

package/build/value/repair/from-type.mjs

@@ -2,6 +2,7 @@
 import { Guard, GlobalsGuard } from '../../guard/index.mjs';
 import * as T from '../../type/index.mjs';
 import { FromArray } from './from-array.mjs';
+import { FromBase } from './from-base.mjs';
 import { FromEnum } from './from-enum.mjs';
 import { FromIntersect } from './from-intersect.mjs';
 import { FromObject } from './from-object.mjs';
@@ -44,6 +45,10 @@ function AssertRepairableType(context, type, value) {
 // FromType
 // ------------------------------------------------------------------
 export function FromType(context, type, value) {
+    // Intercept Base
+    if (T.IsBase(type))
+        return FromBase(context, type, value);
+    // Standard Repair
     AssertRepairableValue(context, type, value);
     AssertRepairableType(context, type, value);
     return (T.IsArray(type) ? FromArray(context, type, value) :

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typebox",
   "description": "A Runtime Type System for JavaScript",
-  "version": "1.0.30",
+  "version": "1.0.32",
   "keywords": [
     "typescript",
     "jsonschema"