typebox 1.0.59 → 1.0.61

package/build/type/types/static.d.mts

@@ -39,7 +39,7 @@ export type StaticEvaluate<T> = {
 export type StaticDirection = 'Encode' | 'Decode';
 export type StaticType<Stack extends string[], Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Type extends TSchema> = (Type extends TCodec<infer Type extends TSchema, infer Decoded extends unknown> ? StaticCodec<Stack, Direction, Context, This, Type, Decoded> : Type extends TAny ? StaticAny : Type extends TArray<infer Items extends TSchema> ? StaticArray<Stack, Direction, Context, This, Type, Items> : Type extends TAsyncIterator<infer Type extends TSchema> ? StaticAsyncIterator<Stack, Direction, Context, This, Type> : Type extends Base<infer Value extends unknown> ? StaticBase<Value> : Type extends TBigInt ? StaticBigInt : Type extends TBoolean ? StaticBoolean : Type extends TConstructor<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticConstructor<Stack, Direction, Context, This, Parameters, ReturnType> : Type extends TEnum<infer Values extends TEnumValue[]> ? StaticEnum<Values> : Type extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? StaticFunction<Stack, Direction, Context, This, Parameters, ReturnType> : Type extends TInteger ? StaticInteger : Type extends TIntersect<infer Types extends TSchema[]> ? StaticIntersect<Stack, Direction, Context, This, Types> : Type extends TIterator<infer Types extends TSchema> ? StaticIterator<Stack, Direction, Context, This, Types> : Type extends TLiteral<infer Value extends TLiteralValue> ? StaticLiteral<Value> : Type extends TNever ? StaticNever : Type extends TNull ? StaticNull : Type extends TNumber ? StaticNumber : Type extends TObject<infer Properties extends TProperties> ? StaticObject<Stack, Direction, Context, This, Properties> : Type extends TPromise<infer Type extends TSchema> ? StaticPromise<Stack, Direction, Context, This, Type> : Type extends TRecord<infer Key extends string, infer Value extends TSchema> ? StaticRecord<Stack, Direction, Context, This, Key, Value> : Type extends TCyclic<infer Defs extends TProperties, infer Ref extends string> ? StaticCyclic<Stack, Direction, Context, This, Defs, Ref> : Type extends TRef<infer Ref extends string> ? StaticRef<Stack, Direction, Context, This, Ref> : Type extends TString ? StaticString : Type extends TSymbol ? StaticSymbol : Type extends TTemplateLiteral<infer Pattern extends string> ? StaticTemplateLiteral<Pattern> : Type extends TThis ? StaticThis<Stack, Direction, Context, This> : Type extends TTuple<infer Items extends TSchema[]> ? StaticTuple<Stack, Direction, Context, This, Type, Items> : Type extends TUndefined ? StaticUndefined : Type extends TUnion<infer Types extends TSchema[]> ? StaticUnion<Stack, Direction, Context, This, Types> : Type extends TUnknown ? StaticUnknown : Type extends TUnsafe<infer Type extends unknown> ? StaticUnsafe<Type> : Type extends TVoid ? StaticVoid : XStatic<Type>);
 /** Infers a static type from a TypeBox type using Parse logic. */
-export type StaticParse<Type extends TSchema, Context extends TProperties = {}, Result extends unknown = StaticType<[], 'Decode', Context, {}, Type>> = Result;
+export type StaticParse<Type extends TSchema, Context extends TProperties = {}, Result extends unknown = StaticType<[], 'Encode', Context, {}, Type>> = Result;
 /** Infers a static type from a TypeBox type using Decode logic. */
 export type StaticDecode<Type extends TSchema, Context extends TProperties = {}, Result extends unknown = StaticType<[], 'Decode', Context, {}, Type>> = Result;
 /** Infers a static type from a TypeBox type using Encode logic. */

package/build/value/default/from-object.d.mts

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

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

@@ -1,5 +1,6 @@
 // deno-fmt-ignore-file
 // deno-lint-ignore-file
+import { IsOptional } from '../../type/index.mjs';
 import { Guard } from '../../guard/index.mjs';
 import { FromType } from './from-type.mjs';
 import { IsAdditionalProperties } from '../../schema/types/index.mjs';
@@ -9,12 +10,13 @@ export function FromObject(context, type, value) {
     const knownPropertyKeys = Guard.Keys(type.properties);
     // Properties
     for (const key of knownPropertyKeys) {
-        // note: we need to traverse into the object and test if the return value
-        // yielded a non undefined result. Here we interpret an undefined result as
-        // a non assignable property and continue.
+        // Resolve Value for Property
         const propertyValue = FromType(context, type.properties[key], value[key]);
-        if (Guard.IsUndefined(propertyValue))
+        // Ambiguious Undefined: If the value is undefined, the type is optional there's no default. ignore.
+        const isUnassignableUndefined = Guard.IsUndefined(propertyValue) && (IsOptional(type.properties[key]) || !Guard.HasPropertyKey(type.properties[key], 'default'));
+        if (isUnassignableUndefined)
             continue;
+        // Assign
         value[key] = FromType(context, type.properties[key], value[key]);
     }
     // return if not additional properties

package/package.json

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