typebox 1.2.18 → 1.3.0

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

@@ -1,8 +1,6 @@
 import type { StaticCodec, TCodec } from './_codec.mjs';
 import type { StaticAny, TAny } from './any.mjs';
 import type { StaticArray, TArray } from './array.mjs';
-import type { StaticAsyncIterator, TAsyncIterator } from './async_iterator.mjs';
-import type { StaticBase, Base } from './base.mjs';
 import type { StaticBigInt, TBigInt } from './bigint.mjs';
 import type { StaticBoolean, TBoolean } from './boolean.mjs';
 import type { StaticConstructor, TConstructor } from './constructor.mjs';
@@ -12,13 +10,11 @@ import type { StaticFunction, TFunction } from './function.mjs';
 import type { StaticInteger, TInteger } from './integer.mjs';
 import type { StaticDependent, TDependent } from './dependent.mjs';
 import type { StaticIntersect, TIntersect } from './intersect.mjs';
-import type { StaticIterator, TIterator } from './iterator.mjs';
 import type { StaticLiteral, TLiteral, TLiteralValue } from './literal.mjs';
 import type { StaticNever, TNever } from './never.mjs';
 import type { StaticNull, TNull } from './null.mjs';
 import type { StaticNumber, TNumber } from './number.mjs';
 import type { StaticObject, TObject } from './object.mjs';
-import type { StaticPromise, TPromise } from './promise.mjs';
 import type { TProperties } from './properties.mjs';
 import type { StaticRecord, TRecord } from './record.mjs';
 import type { StaticRef, TRef } from './ref.mjs';
@@ -38,7 +34,7 @@ export type StaticEvaluate<T> = {
     [K in keyof T]: T[K];
 } & {};
 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 TDependent<infer If extends TSchema, infer Then extends TSchema, infer Else extends TSchema> ? StaticDependent<Stack, Direction, Context, This, If, Then, Else> : 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>);
+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 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 TDependent<infer If extends TSchema, infer Then extends TSchema, infer Else extends TSchema> ? StaticDependent<Stack, Direction, Context, This, If, Then, Else> : Type extends TInteger ? StaticInteger : Type extends TIntersect<infer Types extends TSchema[]> ? StaticIntersect<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 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<[], 'Encode', Context, {}, Type>> = Result;
 /** Infers a static type from a TypeBox type using Decode logic. */

package/build/typebox.d.mts

@@ -1,7 +1,6 @@
 export { Instantiate, type TInstantiate } from './type/engine/instantiate.mjs';
 export { Extends, ExtendsResult, type TExtends } from './type/extends/index.mjs';
 export { Script, type TScript } from './type/script/index.mjs';
-export { Awaited, type TAwaited, type TAwaitedDeferred } from './type/action/awaited.mjs';
 export { Capitalize, type TCapitalize, type TCapitalizeDeferred } from './type/action/capitalize.mjs';
 export { Conditional, type TConditional, type TConditionalDeferred } from './type/action/conditional.mjs';
 export { ConstructorParameters, type TConstructorParameters, type TConstructorParametersDeferred } from './type/action/constructor_parameters.mjs';
@@ -20,12 +19,12 @@ export { Omit, type TOmit, type TOmitDeferred } from './type/action/omit.mjs';
 export { Parameters, type TParameters, type TParametersDeferred } from './type/action/parameters.mjs';
 export { Partial, type TPartial, type TPartialDeferred } from './type/action/partial.mjs';
 export { Pick, type TPick, type TPickDeferred } from './type/action/pick.mjs';
-export { ReadonlyObject, ReadonlyType, type TReadonlyObject, type TReadonlyObjectDeferred } from './type/action/readonly_object.mjs';
+export { ReadonlyObject, type TReadonlyObject, type TReadonlyObjectDeferred } from './type/action/readonly_object.mjs';
 export { Required, type TRequired, type TRequiredDeferred } from './type/action/required.mjs';
 export { ReturnType, type TReturnType, type TReturnTypeDeferred } from './type/action/return_type.mjs';
 export { type TUncapitalize, type TUncapitalizeDeferred, Uncapitalize } from './type/action/uncapitalize.mjs';
 export { type TUppercase, type TUppercaseDeferred, Uppercase } from './type/action/uppercase.mjs';
-export { Options, type TOptions, type TWith, With } from './type/action/with.mjs';
+export { type TWith, With } from './type/action/with.mjs';
 export { Codec, Decode, DecodeBuilder, Encode, EncodeBuilder, IsCodec, type TCodec } from './type/types/_codec.mjs';
 export { Immutable, IsImmutable, type TImmutable } from './type/types/_immutable.mjs';
 export { IsOptional, Optional, type TOptional } from './type/types/_optional.mjs';
@@ -33,8 +32,6 @@ export { IsReadonly, Readonly, type TReadonly } from './type/types/_readonly.mjs
 export { IsRefine, Refine, type TRefine, type TRefineCheckCallback, type TRefineErrorCallback, type TRefinement } from './type/types/_refine.mjs';
 export { Any, IsAny, type TAny } from './type/types/any.mjs';
 export { Array, IsArray, type TArray } from './type/types/array.mjs';
-export { AsyncIterator, IsAsyncIterator, type TAsyncIterator } from './type/types/async_iterator.mjs';
-export { Base, IsBase } from './type/types/base.mjs';
 export { BigInt, IsBigInt, type TBigInt } from './type/types/bigint.mjs';
 export { Boolean, IsBoolean, type TBoolean } from './type/types/boolean.mjs';
 export { Call, IsCall, type TCall } from './type/types/call.mjs';
@@ -48,14 +45,12 @@ export { Dependent, IsDependent, type TDependent } from './type/types/dependent.
 export { Infer, IsInfer, type TInfer } from './type/types/infer.mjs';
 export { Integer, IsInteger, type TInteger } from './type/types/integer.mjs';
 export { Intersect, IsIntersect, type TIntersect } from './type/types/intersect.mjs';
-export { IsIterator, Iterator, type TIterator } from './type/types/iterator.mjs';
 export { IsLiteral, Literal, type TLiteral, type TLiteralValue } from './type/types/literal.mjs';
 export { IsNever, Never, type TNever } from './type/types/never.mjs';
 export { IsNull, Null, type TNull } from './type/types/null.mjs';
 export { IsNumber, Number, type TNumber } from './type/types/number.mjs';
 export { IsObject, Object, type TObject } from './type/types/object.mjs';
 export { IsParameter, Parameter, type TParameter } from './type/types/parameter.mjs';
-export { IsPromise, Promise, type TPromise } from './type/types/promise.mjs';
 export { type TProperties, type TRequiredArray } from './type/types/properties.mjs';
 export { IsRecord, Record, RecordKey, RecordPattern, RecordValue, type TRecord, type TRecordKey, type TRecordPattern, type TRecordValue } from './type/types/record.mjs';
 export { IsRef, Ref, type TRef } from './type/types/ref.mjs';

package/build/typebox.mjs

@@ -13,7 +13,6 @@ export { Script } from './type/script/index.mjs';
 // ------------------------------------------------------------------
 // Actions
 // ------------------------------------------------------------------
-export { Awaited } from './type/action/awaited.mjs';
 export { Capitalize } from './type/action/capitalize.mjs';
 export { Conditional } from './type/action/conditional.mjs';
 export { ConstructorParameters } from './type/action/constructor_parameters.mjs';
@@ -32,12 +31,12 @@ export { Omit } from './type/action/omit.mjs';
 export { Parameters } from './type/action/parameters.mjs';
 export { Partial } from './type/action/partial.mjs';
 export { Pick } from './type/action/pick.mjs';
-export { ReadonlyObject, ReadonlyType } from './type/action/readonly_object.mjs';
+export { ReadonlyObject } from './type/action/readonly_object.mjs';
 export { Required } from './type/action/required.mjs';
 export { ReturnType } from './type/action/return_type.mjs';
 export { Uncapitalize } from './type/action/uncapitalize.mjs';
 export { Uppercase } from './type/action/uppercase.mjs';
-export { Options, With } from './type/action/with.mjs';
+export { With } from './type/action/with.mjs';
 // ------------------------------------------------------------------
 // Extension
 // ------------------------------------------------------------------
@@ -51,8 +50,6 @@ export { IsRefine, Refine } from './type/types/_refine.mjs';
 // ------------------------------------------------------------------
 export { Any, IsAny } from './type/types/any.mjs';
 export { Array, IsArray } from './type/types/array.mjs';
-export { AsyncIterator, IsAsyncIterator } from './type/types/async_iterator.mjs';
-export { Base, IsBase } from './type/types/base.mjs';
 export { BigInt, IsBigInt } from './type/types/bigint.mjs';
 export { Boolean, IsBoolean } from './type/types/boolean.mjs';
 export { Call, IsCall } from './type/types/call.mjs';
@@ -66,14 +63,12 @@ export { Dependent, IsDependent } from './type/types/dependent.mjs';
 export { Infer, IsInfer } from './type/types/infer.mjs';
 export { Integer, IsInteger } from './type/types/integer.mjs';
 export { Intersect, IsIntersect } from './type/types/intersect.mjs';
-export { IsIterator, Iterator } from './type/types/iterator.mjs';
 export { IsLiteral, Literal } from './type/types/literal.mjs';
 export { IsNever, Never } from './type/types/never.mjs';
 export { IsNull, Null } from './type/types/null.mjs';
 export { IsNumber, Number } from './type/types/number.mjs';
 export { IsObject, Object } from './type/types/object.mjs';
 export { IsParameter, Parameter } from './type/types/parameter.mjs';
-export { IsPromise, Promise } from './type/types/promise.mjs';
 export { IsRecord, Record, RecordKey, RecordPattern, RecordValue } from './type/types/record.mjs';
 export { IsRef, Ref } from './type/types/ref.mjs';
 export { IsRest, Rest } from './type/types/rest.mjs';

package/build/value/clean/from_type.mjs

@@ -1,7 +1,6 @@
 // deno-fmt-ignore-file
 import * as T from '../../type/index.mjs';
 import { FromArray } from './from_array.mjs';
-import { FromBase } from './from_base.mjs';
 import { FromCyclic } from './from_cyclic.mjs';
 import { FromIntersect } from './from_intersect.mjs';
 import { FromObject } from './from_object.mjs';
@@ -11,13 +10,12 @@ import { FromTuple } from './from_tuple.mjs';
 import { FromUnion } from './from_union.mjs';
 export function FromType(context, type, value) {
     return (T.IsArray(type) ? FromArray(context, type, value) :
-        T.IsBase(type) ? FromBase(context, type, value) :
-            T.IsCyclic(type) ? FromCyclic(context, type, value) :
-                T.IsIntersect(type) ? FromIntersect(context, type, value) :
-                    T.IsObject(type) ? FromObject(context, type, value) :
-                        T.IsRecord(type) ? FromRecord(context, type, value) :
-                            T.IsRef(type) ? FromRef(context, type, value) :
-                                T.IsTuple(type) ? FromTuple(context, type, value) :
-                                    T.IsUnion(type) ? FromUnion(context, type, value) :
-                                        value);
+        T.IsCyclic(type) ? FromCyclic(context, type, value) :
+            T.IsIntersect(type) ? FromIntersect(context, type, value) :
+                T.IsObject(type) ? FromObject(context, type, value) :
+                    T.IsRecord(type) ? FromRecord(context, type, value) :
+                        T.IsRef(type) ? FromRef(context, type, value) :
+                            T.IsTuple(type) ? FromTuple(context, type, value) :
+                                T.IsUnion(type) ? FromUnion(context, type, value) :
+                                    value);
 }

package/build/value/clone/clone.mjs

@@ -1,86 +1,6 @@
 // deno-fmt-ignore-file
-import { Guard, GlobalsGuard } from '../../guard/index.mjs';
 import { Clone as SystemClone } from '../../system/memory/clone.mjs';
 // ------------------------------------------------------------------
-// ClassInstance
-//
-// TypeBox does not support cloning arbitrary class instances. It treats
-// class instances as atomic values, similar to number, boolean, and
-// string. In the future, an implementation could detect the presence of
-// a .clone() method, but no formal specification for this behavior
-// exists, so we don't.
-//
-// ------------------------------------------------------------------
-function FromClassInstance(value) {
-    return value; // atomic
-}
-// ------------------------------------------------------------------
-// TypeInstance
-//
-// TypeBox types have non-enumerable properties that should be
-// retained on Clone. We need to use a SystemClone for this
-// to ensure the non-enumerable properties are preserved.
-// ------------------------------------------------------------------
-function IsTypeInstance(value) {
-    return Guard.HasPropertyKey(value, '~kind');
-}
-function FromTypeInstance(value) {
-    return SystemClone(value);
-}
-// ------------------------------------------------------------------
-// ObjectInstance
-// ------------------------------------------------------------------
-function FromObjectInstance(value) {
-    const result = {};
-    for (const key of Guard.Keys(value)) {
-        if (Guard.IsUnsafePropertyKey(key))
-            continue; // (ignore: prototype-pollution)
-        result[key] = Clone(value[key]);
-    }
-    for (const key of Guard.Symbols(value)) {
-        result[key] = Clone(value[key]);
-    }
-    return result;
-}
-// ------------------------------------------------------------------
-// Object
-// ------------------------------------------------------------------
-function FromObject(value) {
-    return (Guard.IsClassInstance(value) ? FromClassInstance(value) :
-        IsTypeInstance(value) ? FromTypeInstance(value) :
-            FromObjectInstance(value));
-}
-// ------------------------------------------------------------------
-// Array
-// ------------------------------------------------------------------
-function FromArray(value) {
-    return value.map((element) => Clone(element));
-}
-// ------------------------------------------------------------------
-// TypeArray
-// ------------------------------------------------------------------
-function FromTypedArray(value) {
-    return value.slice();
-}
-// ------------------------------------------------------------------
-// Map
-// ------------------------------------------------------------------
-function FromMap(value) {
-    return new Map(Clone([...value.entries()]));
-}
-// ------------------------------------------------------------------
-// Set
-// ------------------------------------------------------------------
-function FromSet(value) {
-    return new Set(Clone([...value.values()]));
-}
-// ------------------------------------------------------------------
-// Value
-// ------------------------------------------------------------------
-function FromValue(value) {
-    return value;
-}
-// ------------------------------------------------------------------
 // Clone
 // ------------------------------------------------------------------
 /**
@@ -88,10 +8,5 @@ function FromValue(value) {
  * but also supports deep cloning instances of Map, Set and TypeArray.
  */
 export function Clone(value) {
-    return (GlobalsGuard.IsTypeArray(value) ? FromTypedArray(value) :
-        GlobalsGuard.IsMap(value) ? FromMap(value) :
-            GlobalsGuard.IsSet(value) ? FromSet(value) :
-                Guard.IsArray(value) ? FromArray(value) :
-                    Guard.IsObject(value) ? FromObject(value) :
-                        FromValue(value));
+    return SystemClone(value);
 }

package/build/value/convert/from_type.mjs

@@ -1,7 +1,6 @@
 // deno-fmt-ignore-file
 import * as Type from '../../type/index.mjs';
 import { FromArray } from './from_array.mjs';
-import { FromBase } from './from_base.mjs';
 import { FromBigInt } from './from_bigint.mjs';
 import { FromBoolean } from './from_boolean.mjs';
 import { FromCyclic } from './from_cyclic.mjs';
@@ -22,24 +21,23 @@ import { FromUnion } from './from_union.mjs';
 import { FromVoid } from './from_void.mjs';
 export function FromType(context, type, value) {
     return (Type.IsArray(type) ? FromArray(context, type, value) :
-        Type.IsBase(type) ? FromBase(context, type, value) :
-            Type.IsBigInt(type) ? FromBigInt(context, type, value) :
-                Type.IsBoolean(type) ? FromBoolean(context, type, value) :
-                    Type.IsCyclic(type) ? FromCyclic(context, type, value) :
-                        Type.IsEnum(type) ? FromEnum(context, type, value) :
-                            Type.IsInteger(type) ? FromInteger(context, type, value) :
-                                Type.IsIntersect(type) ? FromIntersect(context, type, value) :
-                                    Type.IsLiteral(type) ? FromLiteral(context, type, value) :
-                                        Type.IsNull(type) ? FromNull(context, type, value) :
-                                            Type.IsNumber(type) ? FromNumber(context, type, value) :
-                                                Type.IsObject(type) ? FromObject(context, type, value) :
-                                                    Type.IsRecord(type) ? FromRecord(context, type, value) :
-                                                        Type.IsRef(type) ? FromRef(context, type, value) :
-                                                            Type.IsString(type) ? FromString(context, type, value) :
-                                                                Type.IsTemplateLiteral(type) ? FromTemplateLiteral(context, type, value) :
-                                                                    Type.IsTuple(type) ? FromTuple(context, type, value) :
-                                                                        Type.IsUndefined(type) ? FromUndefined(context, type, value) :
-                                                                            Type.IsUnion(type) ? FromUnion(context, type, value) :
-                                                                                Type.IsVoid(type) ? FromVoid(context, type, value) :
-                                                                                    value);
+        Type.IsBigInt(type) ? FromBigInt(context, type, value) :
+            Type.IsBoolean(type) ? FromBoolean(context, type, value) :
+                Type.IsCyclic(type) ? FromCyclic(context, type, value) :
+                    Type.IsEnum(type) ? FromEnum(context, type, value) :
+                        Type.IsInteger(type) ? FromInteger(context, type, value) :
+                            Type.IsIntersect(type) ? FromIntersect(context, type, value) :
+                                Type.IsLiteral(type) ? FromLiteral(context, type, value) :
+                                    Type.IsNull(type) ? FromNull(context, type, value) :
+                                        Type.IsNumber(type) ? FromNumber(context, type, value) :
+                                            Type.IsObject(type) ? FromObject(context, type, value) :
+                                                Type.IsRecord(type) ? FromRecord(context, type, value) :
+                                                    Type.IsRef(type) ? FromRef(context, type, value) :
+                                                        Type.IsString(type) ? FromString(context, type, value) :
+                                                            Type.IsTemplateLiteral(type) ? FromTemplateLiteral(context, type, value) :
+                                                                Type.IsTuple(type) ? FromTuple(context, type, value) :
+                                                                    Type.IsUndefined(type) ? FromUndefined(context, type, value) :
+                                                                        Type.IsUnion(type) ? FromUnion(context, type, value) :
+                                                                            Type.IsVoid(type) ? FromVoid(context, type, value) :
+                                                                                value);
 }

package/build/value/create/from_type.mjs

@@ -3,8 +3,6 @@ import * as T from '../../type/index.mjs';
 import * as S from '../../schema/types/index.mjs';
 import { FromDefault } from './from_default.mjs';
 import { FromArray } from './from_array.mjs';
-import { FromAsyncIterator } from './from_async_iterator.mjs';
-import { FromBase } from './from_base.mjs';
 import { FromBigInt } from './from_bigint.mjs';
 import { FromBoolean } from './from_boolean.mjs';
 import { FromConstructor } from './from_constructor.mjs';
@@ -13,13 +11,11 @@ import { FromEnum } from './from_enum.mjs';
 import { FromFunction } from './from_function.mjs';
 import { FromInteger } from './from_integer.mjs';
 import { FromIntersect } from './from_intersect.mjs';
-import { FromIterator } from './from_iterator.mjs';
 import { FromLiteral } from './from_literal.mjs';
 import { FromNever } from './from_never.mjs';
 import { FromNull } from './from_null.mjs';
 import { FromNumber } from './from_number.mjs';
 import { FromObject } from './from_object.mjs';
-import { FromPromise } from './from_promise.mjs';
 import { FromRecord } from './from_record.mjs';
 import { FromRef } from './from_ref.mjs';
 import { FromString } from './from_string.mjs';
@@ -39,31 +35,27 @@ export function FromType(context, type) {
         // Types
         // -----------------------------------------------------
         T.IsArray(type) ? FromArray(context, type) :
-            T.IsAsyncIterator(type) ? FromAsyncIterator(context, type) :
-                T.IsBase(type) ? FromBase(context, type) :
-                    T.IsBigInt(type) ? FromBigInt(context, type) :
-                        T.IsBoolean(type) ? FromBoolean(context, type) :
-                            T.IsConstructor(type) ? FromConstructor(context, type) :
-                                T.IsCyclic(type) ? FromCyclic(context, type) :
-                                    T.IsEnum(type) ? FromEnum(context, type) :
-                                        T.IsFunction(type) ? FromFunction(context, type) :
-                                            T.IsInteger(type) ? FromInteger(context, type) :
-                                                T.IsIntersect(type) ? FromIntersect(context, type) :
-                                                    T.IsIterator(type) ? FromIterator(context, type) :
-                                                        T.IsLiteral(type) ? FromLiteral(context, type) :
-                                                            T.IsNever(type) ? FromNever(context, type) :
-                                                                T.IsNull(type) ? FromNull(context, type) :
-                                                                    T.IsNumber(type) ? FromNumber(context, type) :
-                                                                        T.IsObject(type) ? FromObject(context, type) :
-                                                                            T.IsPromise(type) ? FromPromise(context, type) :
-                                                                                T.IsRecord(type) ? FromRecord(context, type) :
-                                                                                    T.IsRef(type) ? FromRef(context, type) :
-                                                                                        T.IsString(type) ? FromString(context, type) :
-                                                                                            T.IsSymbol(type) ? FromSymbol(context, type) :
-                                                                                                T.IsTemplateLiteral(type) ? FromTemplateLiteral(context, type) :
-                                                                                                    T.IsTuple(type) ? FromTuple(context, type) :
-                                                                                                        T.IsUndefined(type) ? FromUndefined(context, type) :
-                                                                                                            T.IsUnion(type) ? FromUnion(context, type) :
-                                                                                                                T.IsVoid(type) ? FromVoid(context, type) :
-                                                                                                                    undefined);
+            T.IsBigInt(type) ? FromBigInt(context, type) :
+                T.IsBoolean(type) ? FromBoolean(context, type) :
+                    T.IsConstructor(type) ? FromConstructor(context, type) :
+                        T.IsCyclic(type) ? FromCyclic(context, type) :
+                            T.IsEnum(type) ? FromEnum(context, type) :
+                                T.IsFunction(type) ? FromFunction(context, type) :
+                                    T.IsInteger(type) ? FromInteger(context, type) :
+                                        T.IsIntersect(type) ? FromIntersect(context, type) :
+                                            T.IsLiteral(type) ? FromLiteral(context, type) :
+                                                T.IsNever(type) ? FromNever(context, type) :
+                                                    T.IsNull(type) ? FromNull(context, type) :
+                                                        T.IsNumber(type) ? FromNumber(context, type) :
+                                                            T.IsObject(type) ? FromObject(context, type) :
+                                                                T.IsRecord(type) ? FromRecord(context, type) :
+                                                                    T.IsRef(type) ? FromRef(context, type) :
+                                                                        T.IsString(type) ? FromString(context, type) :
+                                                                            T.IsSymbol(type) ? FromSymbol(context, type) :
+                                                                                T.IsTemplateLiteral(type) ? FromTemplateLiteral(context, type) :
+                                                                                    T.IsTuple(type) ? FromTuple(context, type) :
+                                                                                        T.IsUndefined(type) ? FromUndefined(context, type) :
+                                                                                            T.IsUnion(type) ? FromUnion(context, type) :
+                                                                                                T.IsVoid(type) ? FromVoid(context, type) :
+                                                                                                    undefined);
 }

package/build/value/default/from_type.mjs

@@ -3,7 +3,6 @@
 import { IsDefault } from '../../schema/index.mjs';
 import * as T from '../../type/index.mjs';
 import { FromArray } from './from_array.mjs';
-import { FromBase } from './from_base.mjs';
 import { FromCyclic } from './from_cyclic.mjs';
 import { FromDefault } from './from_default.mjs';
 import { FromIntersect } from './from_intersect.mjs';
@@ -15,13 +14,12 @@ import { FromUnion } from './from_union.mjs';
 export function FromType(context, type, value) {
     const defaulted = IsDefault(type) ? FromDefault(type, value) : value;
     return (T.IsArray(type) ? FromArray(context, type, defaulted) :
-        T.IsBase(type) ? FromBase(context, type, defaulted) :
-            T.IsCyclic(type) ? FromCyclic(context, type, defaulted) :
-                T.IsIntersect(type) ? FromIntersect(context, type, defaulted) :
-                    T.IsObject(type) ? FromObject(context, type, defaulted) :
-                        T.IsRecord(type) ? FromRecord(context, type, defaulted) :
-                            T.IsRef(type) ? FromRef(context, type, defaulted) :
-                                T.IsTuple(type) ? FromTuple(context, type, defaulted) :
-                                    T.IsUnion(type) ? FromUnion(context, type, defaulted) :
-                                        defaulted);
+        T.IsCyclic(type) ? FromCyclic(context, type, defaulted) :
+            T.IsIntersect(type) ? FromIntersect(context, type, defaulted) :
+                T.IsObject(type) ? FromObject(context, type, defaulted) :
+                    T.IsRecord(type) ? FromRecord(context, type, defaulted) :
+                        T.IsRef(type) ? FromRef(context, type, defaulted) :
+                            T.IsTuple(type) ? FromTuple(context, type, defaulted) :
+                                T.IsUnion(type) ? FromUnion(context, type, defaulted) :
+                                    defaulted);
 }

package/build/value/index.d.mts

@@ -9,7 +9,6 @@ export * from './errors/index.mjs';
 export * from './default/index.mjs';
 export * from './equal/index.mjs';
 export * from './hash/index.mjs';
-export * from './mutate/index.mjs';
 export * from './parse/index.mjs';
 export * from './delta/index.mjs';
 export * from './pipeline/index.mjs';

package/build/value/index.mjs

@@ -12,7 +12,6 @@ export * from './errors/index.mjs';
 export * from './default/index.mjs';
 export * from './equal/index.mjs';
 export * from './hash/index.mjs';
-export * from './mutate/index.mjs';
 export * from './parse/index.mjs';
 export * from './delta/index.mjs';
 export * from './pipeline/index.mjs';

package/build/value/repair/from_type.mjs

@@ -4,7 +4,6 @@ import * as T from '../../type/index.mjs';
 import { Check } from '../check/index.mjs';
 import { Create } from '../create/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';
@@ -33,12 +32,9 @@ function AssertRepairableValue(context, type, value) {
 // AssertRepairableType
 // ------------------------------------------------------------------
 function AssertRepairableType(context, type, value) {
-    const unsupported = T.IsAsyncIterator(type)
-        || T.IsIterator(type)
-        || T.IsConstructor(type)
+    const unsupported = T.IsConstructor(type)
         || T.IsFunction(type)
-        || T.IsNever(type)
-        || T.IsPromise(type);
+        || T.IsNever(type);
     if (unsupported) {
         throw new RepairError(context, type, value, 'Type is not repairable');
     }
@@ -64,12 +60,6 @@ function FinalizeRepair(context, type, repaired) {
 // FromType
 // ------------------------------------------------------------------
 export function FromType(context, type, value) {
-    // Base Repair
-    if (T.IsBase(type)) {
-        const repaired = FromBase(context, type, value);
-        return FinalizeRepair(context, type, repaired);
-    }
-    // Schema Repair
     AssertRepairableValue(context, type, value);
     AssertRepairableType(context, type, value);
     const repaired = (T.IsArray(type) ? FromArray(context, type, value) :

package/build/value/value.d.mts

@@ -9,7 +9,6 @@ export { Default } from './default/index.mjs';
 export { Equal } from './equal/index.mjs';
 export { Errors } from './errors/index.mjs';
 export { Hash } from './hash/index.mjs';
-export { Mutate, type TMutable } from './mutate/index.mjs';
 export { Parse } from './parse/index.mjs';
 export { Diff, Patch } from './delta/index.mjs';
 export { Pointer } from './pointer/index.mjs';

package/build/value/value.mjs

@@ -9,7 +9,6 @@ export { Default } from './default/index.mjs';
 export { Equal } from './equal/index.mjs';
 export { Errors } from './errors/index.mjs';
 export { Hash } from './hash/index.mjs';
-export { Mutate } from './mutate/index.mjs';
 export { Parse } from './parse/index.mjs';
 export { Diff, Patch } from './delta/index.mjs';
 export { Pointer } from './pointer/index.mjs';

package/package.json

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

package/readme.md

@@ -111,7 +111,7 @@ type User = Type.Static<typeof User>              // type User = {
 
 ## Script
 
-[Documentation](https://sinclairzx81.github.io/typebox/#/docs/script/overview) | [Example 1](https://www.typescriptlang.org/play/?target=99&module=7#code/JYWwDg9gTgLgBAFQJ5gKZwGZQiOByGFVAIwgA88AoSgehrgFonmXW32POv3b7k0AdAGUAxlGBgYACjwC5eAJS9G3VWvXdqdOADkAhiFQBnMHpGpKIiADsj8ALJ6YACzgBeREWFiJ0gAaUcHCEaHAAaqgiMNAATO5wAN5wZABccNYAriDEqFAANHBIaZnZuXAAvoHBROGR0VAAzPEAogBuegA2GU6oADwRUbFwAGSJcABexVk5UBUAfFUh6AP1ACwt7V09-XXQTaNJAO5TpbPlC35KygAiqGjWACao1vD6hiZmFla28En2xq5yvF+KhvOJJFIknIBI4XBUCn4gosahFYKgyPEElUgpAjMAYMAbGkVtBVnlseloCBOsTdo1yUEghlWrTBlAYlVKkElnAAOKoHCoGBQJCYimtXIE8xGWlosgAbQAugzGcBHsBpScZkrOcjQrDcsBOmLGXADMRgM8YKy1iqgg9gBgMBkjKgbaS7XATJEMh09FB3VBVrruTV-kZXB4saaAOYCwzCop8+NCkWe6kwQ00uAG8SdXWXLT0ABKGReoHQxdQGA6dUJ1ko4ecAjA2DQsEtRgEccFiZbbclnYEEo70oE+NQIC7rYg7YJxhbEDxBJs-dng4XZEbALXc6HPYTIt3G67I6lC4nU+PHYX1ipnWv867W6bj-3Kb7M73C7PGovmavL8TwEZk303bcIzArsMyzDooIEB0nRdUEgJvZ8IObVCnwEGC8zgrCh3NS0Xngl8dwIhdcKNfCBzQgRvREX1-VIos4CEGAnA1OAAElrAwXJnnMShnWsKJ6zgKBnieKApHeZw0hBYQOKlXolggDAcwBOYFESKo5O7D8j1-aV5QABkVRdl3rAQtyCfSD1TJBh0HEzzIEO8oGpODbLgezDKc4zjDMizQJ8-SqIfRDnVdGy9J3CK4KIq1Yrs+Kejw+i0EYv0oFi8ogA) | [Example 2](https://www.typescriptlang.org/play/?target=99&module=7#code/JYWwDg9gTgLgBAFQJ5gKZwGZQiOByGFVAIwgA88AoSgehrgFonmXW32POv3b7k0AdACpejbuImTu1OnAByAQxCoAzmAUBjVJQB2S1eq1wAsgpgALOAG9KcOKjKRYcDRB0r4ANVQaY0AExwALyIRAIA8sQAVj4wABRWcGQAXKGCcgCuIMSoUHEAlAA0cEip-KgCmdm5BXAAvvm29o7Q8K7uXrHQAMzBaRUAogBuCgA2GWaoceUCAJI6MLkqsXEA2t6+AcUzkTG+CXAAXmVhVTl5+fX5ALr5jXYOTm1uHnAbflAALH0zw2MTi2mYXmiygy326y6UG62zCuxWiQA7id0llzrUGrdGnUZPQACKoNA6AAmqAW8n0ak02nar28sAcPzh0QRTUgKmAMGAblSpgsAne0E+hSaOmgIDGvLM5gFUJhTQyQyl-MFUH8lAalFp8AA4qgcKgYFAkEzBPD9jY7ENclytCoURUAIJQKAKJBxemLMhFJrAEnAO0OgTO13umZnGp3DWNbUmSZQYBjU0Vc3xS1wJTEYBkmDKmWq4VNYnADAYDLLPOyzZfEV2NQ+DKjBRQSsF6Nal7wYyqSwhHYsi1NADm+uURtKcD1BvHtbgEtBidGytyi-bogAShkFqB0OvUBhRrFuTpKN2VDKwNg0LBsyoBCPp8aBJeINeuaoBNab3aBJzUCA7xfN9b2fCAOS5NxnyvG0QLIU8eyg18YI-B8xyfIDkLvL9bQ-P8AMQ4CPzFKAJVGAjMIEOCzwvaCbxQ0dDXQ2j3ywmCfzwwDmJAxVyLou8qIQjC+IEecVzGXiWIEYtS3LCohMkgTzwkkDRITcT5JAzNswWZSP0UmikOE1TF10u96w0Rtm1MyjcTgABlGAzADOB5gwXIyS0Sgyx0XxjzgKAyVJPJlHPIMHKcjQAB5CDQCAMBMHsAD5LnTEKZVQxikE-NjVFWAAGa5QPA48bLsNL7wY8dsu-XKCoEYjSNKucEIyqrsIDWrCp4uCyoQ4zxOkstlia8r+rIrScxGvr4xM8zLKgGy6iAA) | [Challenges](test/typescript/readme.md)
+[Documentation](https://sinclairzx81.github.io/typebox/#/docs/script/overview) | [Example 1](https://www.typescriptlang.org/play/?target=99&module=7#code/JYWwDg9gTgLgBAFQJ5gKZwGZQiOByGFVAIwgA88AoSgehrgFonmXW32POv3b7k0AdAGUAxlGBgYACjwC5eAJS9G3VWvXdqdOADkAhiFQBnMHpGpKIiADsj8ALJ6YACzgBeREWFiJ0gAaUcHCEaHAAaqgiMNAATO5wAN5wZABccNYAriDEqFAANHBIaZnZuXAAvoHBROGR0VAAzPEAogBuegA2GU6oADwRUbFwAGSJcABexVk5UBUAfFUh6AP1ACwt7V09-XXQTaNJAO5TpbPlC35KygAiqGjWACao1vD6hiZmFla28En2xq5yvF+KhvOJJFIknIBI4XBUCn4gosahFYKgyPEElUgpAjMAYMAbGkVtBVnlseloCBOsTdo1yUEghlWrTBlAYlVKkElnAAOKoHCoGBQJCYimtXIE8xGWlosgAbQAugzGcBHsBpScZkrOcjQrDcsBOmLGXADMRgM8YKy1iqgg9gBgMBkjKgbaS7XATJEMh09FB3VBVrruTV-kZXB4saaAOYCwzCop8+NCkWe6kwQ00uAG8SdXWXLT0ABKGReoHQxdQGA6dUJ1ko4ecAjA2DQsEtRgEccFiZbbclnYEEo70oE+NQIC7rYg7YJxhbEDxBJs-dng4XZEbALXc6HPYTIt3G67I6lC4nU+PHYX1ipnWv867W6bj-3Kb7M73C7PGovmavL8TwEZk303bcIzArsMyzDooIEB0nRdUEgJvZ8IObVCnwEGC8zgrCh3NS0Xngl8dwIhdcKNfCBzQgRvREX1-VIos4CEGAnA1OAAElrAwXJnnMShnWsKJ6zgKBnieKApHeZw0hBYQOKlXolggDAcwBOYFESKo5O7D8j1-aV5QABkVRdl3rAQtyCfSD1TJBh0HEzzIEO8oGpODbLgezDKc4zjDMizQJ8-SqIfRDnVdGy9J3CK4KIq1Yrs+Kejw+i0EYv0oFi8ogA) | [Example 2](https://www.typescriptlang.org/play/?target=99&module=7#code/JYWwDg9gTgLgBAFQJ5gKZwGZQiOByGFVAIwgA88AoSgehrgFonmXW32POv3b7k0AdACpejbuImTu1OnAByAQxCoAzmAUBjVJQB2S1eq1wAsgpgALOAG9KcOKjKRYcDRB0r4ANVQaY0AExwALyIRAIA8sQAVj4wABRWcGQAXKGCcgCuIMSoUHEAlAA0cEip-KgCmdm5BXAAvvm29o7Q8K7uXrHQAMzBaRUAogBuCgA2GWaoceUCAJI6MLkqsXEA2t6+AcUzkTG+CXAAXmVhVTl5+fX5ALr5jXYOTm1uHnAbflAALH0zw2MTi2mYXmiygy326y6UG62zCuxWiQA7id0llzrUGrdGnUZPQACKoNA6AAmqAW8n0ak02nar28sAcPzh0QRTUgKmAMGAblSpgsAne0E+hSaOmgIDGvLM5gFUJhTQyQyl-MFUH8lAalFp8AA4qgcKgYFAkEzBPD9jY7ENclytCoURUAIJQKAKJBxemLMhFJrAEnAO0OgTO13umZnGp3DWNbUmSZQYBjU0Vc3xS1wJTEYBkmDKmWq4VNYnADAYDLLPOyzZfEV2NQ+DKjBRQSsF6Nal7wYyqSwhHYsi1NADm+uURtKcD1BvHtbgEtBidGytyi-bogAShkFqB0OvUBhRrFuTpKN2VDKwNg0LBsyoBCPp8aBJeINeuaoBNab3aBJzUCA7xfN9b2fCAOS5NxnyvG0QLIU8eyg18YI-B8xyfIDkLvL9bQ-P8AMQ4CPzFKAJVGAjMIEOCzwvaCbxQ0dDXQ2j3ywmCfzwwDmJAxVyLou8qIQjC+IEecVzGXiWIEYtS3LCohMkgTzwkkDRITcT5JAzNswWZSP0UmikOE1TF10u96w0Rtm1MyjcTgABlGAzADOB5gwXIyS0Sgyx0XxjzgKAyVJPJlHPIMHKcjQAB5CDQCAMBMHsAD5LnTEKZVQxikE-NjVFWAAGa5QPA48bLsNL7wY8dsu-XKCoEYjSNKucEIyqrsIDWrCp4uCyoQ4zxOkstlia8r+rIrScxGvr4xM8zLKgGy6iAA) | [Challenge](test/typescript/readme.md)
 
 TypeBox includes a syntax engine that can transform TypeScript declarations into JSON Schema. The engine is a full syntactic frontend to Type.* and supports many advanced type-level constructs such as Conditional, Mapped, Indexed, Infer, Generics, Distributed types and more. This feature is implemented symmetrically at runtime and statically via TypeScript Template Literal types.
 

package/build/schema/engine/_guard.d.mts

@@ -1,6 +0,0 @@
-import * as Schema from '../types/index.mjs';
-import { Stack } from './_stack.mjs';
-import { BuildContext, CheckContext, ErrorContext } from './_context.mjs';
-export declare function BuildGuard(_stack: Stack, _context: BuildContext, schema: Schema.XGuard, value: string): string;
-export declare function CheckGuard(_stack: Stack, _context: CheckContext, schema: Schema.XGuard, value: unknown): boolean;
-export declare function ErrorGuard(_stack: Stack, context: ErrorContext, schemaPath: string, instancePath: string, schema: Schema.XGuard, value: unknown): boolean;

package/build/schema/engine/_guard.mjs

@@ -1,26 +0,0 @@
-// deno-fmt-ignore-file
-import * as Externals from './_externals.mjs';
-import { EmitGuard as E } from '../../guard/index.mjs';
-// ------------------------------------------------------------------
-// Build
-// ------------------------------------------------------------------
-export function BuildGuard(_stack, _context, schema, value) {
-    return E.Call(E.Member(E.Member(Externals.CreateVariable(schema), '~guard'), 'check'), [value]);
-}
-// ------------------------------------------------------------------
-// Check
-// ------------------------------------------------------------------
-export function CheckGuard(_stack, _context, schema, value) {
-    return schema['~guard'].check(value);
-}
-// ------------------------------------------------------------------
-// Error
-// ------------------------------------------------------------------
-export function ErrorGuard(_stack, context, schemaPath, instancePath, schema, value) {
-    return schema['~guard'].check(value) || context.AddError({
-        keyword: '~guard',
-        schemaPath,
-        instancePath,
-        params: { errors: schema['~guard'].errors(value) },
-    });
-}

package/build/schema/types/_guard.d.mts

@@ -1,10 +0,0 @@
-import type { XSchemaObject } from './schema.mjs';
-export interface XGuardInterface<Value extends unknown = unknown> {
-    check(value: unknown): value is Value;
-    errors(value: unknown): object[];
-}
-export interface XGuard<Value extends unknown = unknown> {
-    '~guard': XGuardInterface<Value>;
-}
-export declare function IsGuardInterface(value: unknown): value is XGuardInterface;
-export declare function IsGuard(value: XSchemaObject): value is XGuard;

package/build/schema/types/_guard.mjs

@@ -1,16 +0,0 @@
-// deno-fmt-ignore-file
-import { Guard } from '../../guard/index.mjs';
-// ------------------------------------------------------------------
-// Guard
-// ------------------------------------------------------------------
-export function IsGuardInterface(value) {
-    return Guard.IsObject(value)
-        && Guard.HasPropertyKey(value, 'check')
-        && Guard.HasPropertyKey(value, 'errors')
-        && Guard.IsFunction(value.check)
-        && Guard.IsFunction(value.errors);
-}
-export function IsGuard(value) {
-    return Guard.HasPropertyKey(value, '~guard')
-        && IsGuardInterface(value['~guard']);
-}

package/build/type/action/awaited.d.mts

@@ -1,15 +0,0 @@
-import { type TSchema, type TSchemaOptions } from '../types/schema.mjs';
-import { type TDeferred } from '../types/deferred.mjs';
-import { type TAwaitedAction } from '../engine/awaited/instantiate.mjs';
-/** Creates a deferred Awaited action. */
-export type TAwaitedDeferred<Type extends TSchema> = (TDeferred<'Awaited', [Type]>);
-/** Creates a deferred Awaited action. */
-export declare function AwaitedDeferred<Type extends TSchema>(type: Type, options?: TSchemaOptions): TAwaitedDeferred<Type>;
-/** Applies an Awaited action to a type. */
-export type TAwaited<Type extends TSchema> = (TAwaitedAction<Type>);
-/**
- * Applies an Awaited action to a type.
- *
- * @deprecated This action is being removed in the next version of TypeBox.
- */
-export declare function Awaited<Type extends TSchema>(type: Type, options?: TSchemaOptions): TAwaited<Type>;