typebox 1.1.31 → 1.1.33

package/build/guard/guard.d.mts

@@ -43,8 +43,12 @@ export declare function GraphemeCount(value: string): number;
 export declare function IsMaxLength(value: string, length: number): boolean;
 /** Returns true if the string has at least the given number of graphemes */
 export declare function IsMinLength(value: string, length: number): boolean;
+/** Returns true if all elements from offset satisfy the callback, short-circuiting on the first failure */
 export declare function Every<T>(value: T[], offset: number, callback: (value: T, index: number) => boolean): boolean;
+/** Returns true if all elements from offset satisfy the callback, visiting every element regardless of failure */
 export declare function EveryAll<T>(value: T[], offset: number, callback: (value: T, index: number) => boolean): boolean;
+/** Takes the left-most element from an array and dispatches to the true arm, or the false arm if empty */
+export declare function TakeLeft<T, True extends (left: T, right: T[]) => unknown, False extends () => unknown>(array: T[], true_: True, false_: False): ReturnType<True> | ReturnType<False>;
 /** Returns true if this value has this property key */
 export declare function HasPropertyKey<Key extends PropertyKey>(value: object, key: Key): value is {
     [_ in Key]: unknown;

package/build/guard/guard.mjs

@@ -145,6 +145,7 @@ export function IsMinLength(value, length) {
 // --------------------------------------------------------------------------
 // Array
 // --------------------------------------------------------------------------
+/** Returns true if all elements from offset satisfy the callback, short-circuiting on the first failure */
 export function Every(value, offset, callback) {
     for (let index = offset; index < value.length; index++) {
         if (!callback(value[index], index))
@@ -152,6 +153,7 @@ export function Every(value, offset, callback) {
     }
     return true;
 }
+/** Returns true if all elements from offset satisfy the callback, visiting every element regardless of failure */
 export function EveryAll(value, offset, callback) {
     let result = true;
     for (let index = offset; index < value.length; index++) {
@@ -160,6 +162,10 @@ export function EveryAll(value, offset, callback) {
     }
     return result;
 }
+/** Takes the left-most element from an array and dispatches to the true arm, or the false arm if empty */
+export function TakeLeft(array, true_, false_) {
+    return (IsEqual(array.length, 0) ? false_() : true_(array[0], array.slice(1)));
+}
 // --------------------------------------------------------------------------
 // Object
 // --------------------------------------------------------------------------

package/build/system/locale/_config.d.mts

@@ -1,4 +1,4 @@
-import { TLocalizedValidationMessageCallback } from '../../error/index.mjs';
+import { type TLocalizedValidationMessageCallback } from '../../error/index.mjs';
 /** Sets the locale */
 export declare function Set(callback: TLocalizedValidationMessageCallback): void;
 /** Gets the locale */

package/build/system/locale/ar_001.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Arabic (World) - ISO 639-1 language code 'ar' with UN M.49 region code '001' for World. */
 export declare function ar_001(error: TValidationError): string;

package/build/system/locale/bn_BD.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Bengali (Bangladesh) - ISO 639-1 language code 'bn' with ISO 3166-1 alpha-2 country code 'BD' for Bangladesh. */
 export declare function bn_BD(error: TValidationError): string;

package/build/system/locale/cs_CZ.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Czech (Czech Republic) - ISO 639-1 language code 'cs' with ISO 3166-1 alpha-2 country code 'CZ' for Czech Republic. */
 export declare function cs_CZ(error: TValidationError): string;

package/build/system/locale/de_DE.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /**  German (Germany) - ISO 639-1 language code 'de' with ISO 3166-1 alpha-2 country code 'DE' for Germany. */
 export declare function de_DE(error: TValidationError): string;

package/build/system/locale/el_GR.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Greek (Greece) - ISO 639-1 language code 'el' with ISO 3166-1 alpha-2 country code 'GR' for Greece. */
 export declare function el_GR(error: TValidationError): string;

package/build/system/locale/en_US.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** en_US: English (United States) - ISO 639-1 language code 'en' with ISO 3166-1 alpha-2 country code 'US' for United States. */
 export declare function en_US(error: TValidationError): string;

package/build/system/locale/es_419.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Spanish (Latin America) - ISO 639-1 language code 'es' with UN M.49 region code '419' for Latin America and the Caribbean. */
 export declare function es_419(error: TValidationError): string;

package/build/system/locale/es_AR.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Spanish (Argentina) - ISO 639-1 language code 'es' with ISO 3166-1 alpha-2 country code 'AR' for Argentina. */
 export declare function es_AR(error: TValidationError): string;

package/build/system/locale/es_ES.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Spanish (Spain) - ISO 639-1 language code 'es' with ISO 3166-1 alpha-2 country code 'ES' for Spain. */
 export declare function es_ES(error: TValidationError): string;

package/build/system/locale/es_MX.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /**  Spanish (Mexico) - ISO 639-1 language code 'es' with ISO 3166-1 alpha-2 country code 'MX' for Mexico. */
 export declare function es_MX(error: TValidationError): string;

package/build/system/locale/fa_IR.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Persian (Iran) - ISO 639-1 language code 'fa' with ISO 3166-1 alpha-2 country code 'IR' for Iran. */
 export declare function fa_IR(error: TValidationError): string;

package/build/system/locale/fil_PH.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Filipino (Philippines) - ISO 639-1 language code 'fil' with ISO 3166-1  */
 export declare function fil_PH(error: TValidationError): string;

package/build/system/locale/fr_CA.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** French (Canada) - ISO 639-1 language code 'fr' with ISO 3166-1 alpha-2 country code 'CA' for Canada. */
 export declare function fr_CA(error: TValidationError): string;

package/build/system/locale/fr_FR.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** French (France) - ISO 639-1 language code 'fr' with ISO 3166-1 alpha-2 country code 'FR' for France. */
 export declare function fr_FR(error: TValidationError): string;

package/build/system/locale/ha_NG.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Hausa (Nigeria) - ISO 639-1 language code 'ha' with ISO 3166-1 alpha-2 country code 'NG' for Nigeria. */
 export declare function ha_NG(error: TValidationError): string;

package/build/system/locale/hi_IN.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Hindi (India) - ISO 639-1 language code 'hi' with ISO 3166-1 alpha-2 country code 'IN' for India. */
 export declare function hi_IN(error: TValidationError): string;

package/build/system/locale/hu_HU.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Hungarian (Hungary) - ISO 639-1 language code 'hu' with ISO 3166-1 alpha-2 country code 'HU' for Hungary. */
 export declare function hu_HU(error: TValidationError): string;

package/build/system/locale/id_ID.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Indonesian (Indonesia) - ISO 639-1 language code 'id' with ISO 3166-1 alpha-2 country code 'ID' for Indonesia. */
 export declare function id_ID(error: TValidationError): string;

package/build/system/locale/it_IT.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Italian (Italy) - ISO 639-1 language code 'it' with ISO 3166-1 alpha-2 country code 'IT' for Italy. */
 export declare function it_IT(error: TValidationError): string;

package/build/system/locale/ja_JP.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Japanese (Japan) - ISO 639-1 language code 'ja' with ISO 3166-1 alpha-2 country code 'JP' for Japan. */
 export declare function ja_JP(error: TValidationError): string;

package/build/system/locale/ko_KR.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Korean (South Korea) - ISO 639-1 language code 'ko' with ISO 3166-1 alpha-2 country code 'KR' for South Korea. */
 export declare function ko_KR(error: TValidationError): string;

package/build/system/locale/ms_MY.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Malay (Malaysia) - ISO 639-1 language code 'ms' with ISO 3166-1 alpha-2 country code 'MY' for Malaysia. */
 export declare function ms_MY(error: TValidationError): string;

package/build/system/locale/nl_NL.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Dutch (Netherlands) - ISO 639-1 language code 'nl' with ISO 3166-1 alpha-2 country code 'NL' for Netherlands. */
 export declare function nl_NL(error: TValidationError): string;

package/build/system/locale/pl_PL.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Polish (Poland) - ISO 639-1 language code 'pl' with ISO 3166-1 alpha-2 country code 'PL' for Poland. */
 export declare function pl_PL(error: TValidationError): string;

package/build/system/locale/pt_BR.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Portuguese (Brazil) - ISO 639-1 language code 'pt' with ISO 3166-1 alpha-2 country code 'BR' for Brazil. */
 export declare function pt_BR(error: TValidationError): string;

package/build/system/locale/pt_PT.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Portuguese (Portugal) - ISO 639-1 language code 'pt' with ISO 3166-1 alpha-2 country code 'PT' for Portugal. */
 export declare function pt_PT(error: TValidationError): string;

package/build/system/locale/ro_RO.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Romanian (Romania) - ISO 639-1 language code 'ro' with ISO 3166-1 alpha-2 country code 'RO' for Romania. */
 export declare function ro_RO(error: TValidationError): string;

package/build/system/locale/ru_RU.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Russian (Russia) - ISO 639-1 language code 'ru' with ISO 3166-1 alpha-2 country code 'RU' for Russia. */
 export declare function ru_RU(error: TValidationError): string;

package/build/system/locale/sv_SE.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Swedish (Sweden) - ISO 639-1 language code 'sv' with ISO 3166-1 alpha-2 country code 'SE' for Sweden. */
 export declare function sv_SE(error: TValidationError): string;

package/build/system/locale/sw_TZ.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Swahili (Tanzania) - ISO 639-1 language code 'sw' with ISO 3166-1 alpha-2 country code 'TZ' for Tanzania (as a common representative). */
 export declare function sw_TZ(error: TValidationError): string;

package/build/system/locale/th_TH.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Thai (Thailand) - ISO 639-1 language code 'th' with ISO 3166-1 alpha-2 country code 'TH' for Thailand. */
 export declare function th_TH(error: TValidationError): string;

package/build/system/locale/tr_TR.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Turkish (Turkey) - ISO 639-1 language code 'tr' with ISO 3166-1 alpha-2 country code 'TR' for Turkey. */
 export declare function tr_TR(error: TValidationError): string;

package/build/system/locale/uk_UA.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Ukrainian (Ukraine) - ISO 639-1 language code 'uk' with ISO 3166-1 alpha-2 country code 'UA' for Ukraine. */
 export declare function uk_UA(error: TValidationError): string;

package/build/system/locale/ur_PK.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Urdu (Pakistan) - ISO 639-1 language code 'ur' with ISO 3166-1 alpha-2 country code 'PK' for Pakistan. */
 export declare function ur_PK(error: TValidationError): string;

package/build/system/locale/vi_VN.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Vietnamese (Vietnam) - ISO 639-1 language code 'vi' with ISO 3166-1 alpha-2 country code 'VN' for Vietnam. */
 export declare function vi_VN(error: TValidationError): string;

package/build/system/locale/yo_NG.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Yoruba (Nigeria) - ISO 639-1 language code 'yo' with ISO 3166-1 alpha-2 country code 'NG' for Nigeria. */
 export declare function yo_NG(error: TValidationError): string;

package/build/system/locale/zh_Hans.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Chinese (Simplified) - ISO 639-1 language code 'zh' with script code 'Hans' for Simplified Chinese. */
 export declare function zh_Hans(error: TValidationError): string;

package/build/system/locale/zh_Hant.d.mts

@@ -1,3 +1,3 @@
-import { TValidationError } from '../../error/index.mjs';
+import { type TValidationError } from '../../error/index.mjs';
 /** Chinese (Traditional) - ISO 639-1 language code 'zh' with script code 'Hant' for Traditional Chinese. */
 export declare function zh_Hant(error: TValidationError): string;

package/build/type/engine/call/distribute-arguments.mjs

@@ -19,13 +19,7 @@ function BuildDistributionArray(parameters, names) {
     return parameters.reduce((result, left) => [...result, names.includes(left.name)], []);
 }
 function ZipDistributionArray(arguments_, distributionArray, result = []) {
-    const [argumentLeft, ...argumentRight] = arguments_;
-    const [booleanLeft, ...booleanRight] = distributionArray;
-    return (Guard.IsGreaterThan(arguments_.length, 0)
-        ? Guard.IsGreaterThan(distributionArray.length, 0)
-            ? ZipDistributionArray(argumentRight, booleanRight, [...result, [booleanLeft, argumentLeft]])
-            : result
-        : result);
+    return Guard.TakeLeft(arguments_, (argumentLeft, argumentRight) => Guard.TakeLeft(distributionArray, (booleanLeft, booleanRight) => ZipDistributionArray(argumentRight, booleanRight, [...result, [booleanLeft, argumentLeft]]), () => result), () => result);
 }
 function Expand(type) {
     return (IsUnion(type)

package/build/type/engine/call/resolve-arguments.mjs

@@ -1,6 +1,6 @@
 // deno-fmt-ignore-file
+import { Guard } from '../../../guard/index.mjs';
 import { Memory } from '../../../system/memory/index.mjs';
-import { IsSchema } from '../../types/schema.mjs';
 import { InstantiateType } from '../instantiate.mjs';
 import { Extends, ExtendsResult } from '../../extends/index.mjs';
 import { IsInfer } from '../../types/infer.mjs';
@@ -23,16 +23,10 @@ function BindArgument(context, state, name, extends_, type) {
 function BindArguments(context, state, parameterLeft, parameterRight, arguments_) {
     const instantiatedExtends = InstantiateType(context, state, parameterLeft.extends);
     const instantiatedEquals = InstantiateType(context, state, parameterLeft.equals);
-    const [left, ...right] = arguments_;
-    return (IsSchema(left)
-        ? BindParameters(BindArgument(context, state, parameterLeft['name'], instantiatedExtends, left), state, parameterRight, right)
-        : BindParameters(BindArgument(context, state, parameterLeft['name'], instantiatedExtends, instantiatedEquals), state, parameterRight, []));
+    return Guard.TakeLeft(arguments_, (left, right) => BindParameters(BindArgument(context, state, parameterLeft['name'], instantiatedExtends, left), state, parameterRight, right), () => BindParameters(BindArgument(context, state, parameterLeft['name'], instantiatedExtends, instantiatedEquals), state, parameterRight, []));
 }
 function BindParameters(context, state, parameters, arguments_) {
-    const [left, ...right] = parameters;
-    return (IsSchema(left)
-        ? BindArguments(context, state, left, right, arguments_)
-        : context);
+    return Guard.TakeLeft(parameters, (left, right) => BindArguments(context, state, left, right, arguments_), () => context);
 }
 export function ResolveArgumentsContext(context, state, parameters, arguments_) {
     return BindParameters(context, state, parameters, arguments_);

package/build/type/engine/cyclic/candidates.d.mts

@@ -1,5 +1,5 @@
 import { type TUnreachable } from '../../../system/unreachable/index.mjs';
-import { type TProperties, TPropertyKeys } from '../../types/properties.mjs';
+import { type TProperties, type TPropertyKeys } from '../../types/properties.mjs';
 import { type TCyclicCheck } from './check.mjs';
 type TResolveCandidateKeys<Context extends TProperties, Keys extends string[], Result extends string[] = []> = (Keys extends [infer Left extends string, ...infer Right extends string[]] ? Left extends keyof Context ? TCyclicCheck<[Left], Context, Context[Left]> extends true ? TResolveCandidateKeys<Context, Right, [...Result, Left]> : TResolveCandidateKeys<Context, Right, Result> : TUnreachable : Result);
 /** Returns keys for context types that need to be transformed to TCyclic. */

package/build/type/engine/cyclic/check.mjs

@@ -1,5 +1,5 @@
 // deno-fmt-ignore-file
-import { IsSchema } from '../../types/schema.mjs';
+import { Guard } from '../../../guard/index.mjs';
 import { IsArray } from '../../types/array.mjs';
 import { IsAsyncIterator } from '../../types/async-iterator.mjs';
 import { IsConstructor } from '../../types/constructor.mjs';
@@ -24,12 +24,9 @@ function FromProperties(stack, context, properties) {
     return FromTypes(stack, context, types);
 }
 function FromTypes(stack, context, types) {
-    const [left, ...right] = types;
-    return (IsSchema(left)
-        ? FromType(stack, context, left)
-            ? true
-            : FromTypes(stack, context, right)
-        : false);
+    return Guard.TakeLeft(types, (left, right) => FromType(stack, context, left)
+        ? true
+        : FromTypes(stack, context, right), () => false);
 }
 function FromType(stack, context, type) {
     return (IsRef(type) ? FromRef(stack, context, type.$ref) :

package/build/type/engine/evaluate/distribute.mjs

@@ -1,7 +1,6 @@
 // deno-fmt-ignore-file
 // deno-fmt-ignore-file
 import { Guard } from '../../../guard/index.mjs';
-import { IsSchema } from '../../types/schema.mjs';
 import { IsUnion } from '../../types/union.mjs';
 import { IsObject } from '../../types/object.mjs';
 import { IsTuple } from '../../types/tuple.mjs';
@@ -32,24 +31,15 @@ function DistributeOperation(left, right) {
     return result;
 }
 function DistributeType(type, types, result = []) {
-    const [left, ...right] = types;
-    return (!Guard.IsUndefined(left) // TSchema[]
-        ? DistributeType(type, right, [...result, DistributeOperation(type, left)])
-        : result.length === 0
-            ? [type]
-            : result);
+    return Guard.TakeLeft(types, (left, right) => DistributeType(type, right, [...result, DistributeOperation(type, left)]), () => Guard.IsEqual(result.length, 0)
+        ? [type]
+        : result);
 }
 function DistributeUnion(types, distribution, result = []) {
-    const [left, ...right] = types;
-    return (IsSchema(left)
-        ? DistributeUnion(right, distribution, [...result, ...Distribute([left], distribution)])
-        : result);
+    return Guard.TakeLeft(types, (left, right) => DistributeUnion(right, distribution, [...result, ...Distribute([left], distribution)]), () => result);
 }
 export function Distribute(types, result = []) {
-    const [left, ...right] = types;
-    return (IsSchema(left)
-        ? IsUnion(left)
-            ? Distribute(right, DistributeUnion(left.anyOf, result))
-            : Distribute(right, DistributeType(left, result))
-        : result);
+    return Guard.TakeLeft(types, (left, right) => IsUnion(left)
+        ? Distribute(right, DistributeUnion(left.anyOf, result))
+        : Distribute(right, DistributeType(left, result)), () => result);
 }

package/build/type/engine/evaluate/flatten.d.mts

@@ -1,4 +1,4 @@
-import { TSchema } from '../../types/schema.mjs';
+import { type TSchema } from '../../types/schema.mjs';
 import { type TUnion } from '../../types/union.mjs';
 type TFlattenType<Type extends TSchema, Result extends TSchema[] = Type extends TUnion<infer Types extends TSchema[]> ? TFlatten<Types> : [Type]> = Result;
 export type TFlatten<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFlatten<Right, [...Result, ...TFlattenType<Left>]> : Result);

package/build/type/engine/evaluate/narrow.d.mts

@@ -1,5 +1,5 @@
-import { TSchema } from '../../types/schema.mjs';
-import { TNever } from '../../types/never.mjs';
-import { TCompare, TCompareResult, ResultLeftInside, ResultRightInside, ResultEqual } from './compare.mjs';
+import { type TSchema } from '../../types/schema.mjs';
+import { type TNever } from '../../types/never.mjs';
+import { type TCompare, type TCompareResult, ResultLeftInside, ResultRightInside, ResultEqual } from './compare.mjs';
 export type TNarrow<Left extends TSchema, Right extends TSchema, Result extends TCompareResult = TCompare<Left, Right>> = (Result extends typeof ResultLeftInside ? Left : Result extends typeof ResultRightInside ? Right : Result extends typeof ResultEqual ? Right : TNever);
 export declare function Narrow<Left extends TSchema, Right extends TSchema>(left: Left, right: Right): TNarrow<Left, Right>;

package/build/type/engine/indexable/from-literal.d.mts

@@ -1,3 +1,3 @@
-import { TLiteralValue } from '../../types/literal.mjs';
+import { type TLiteralValue } from '../../types/literal.mjs';
 export type TFromLiteral<Value extends TLiteralValue, Result extends string[] = [`${Value}`]> = Result;
 export declare function FromLiteral<Value extends TLiteralValue>(value: Value): TFromLiteral<Value>;

package/build/type/engine/indexable/from-type.d.mts

@@ -6,12 +6,12 @@ import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
 import { type TProperties } from '../../types/properties.mjs';
 import { type TTemplateLiteral } from '../../types/template-literal.mjs';
 import { type TUnion } from '../../types/union.mjs';
-import { TFromCyclic } from './from-cyclic.mjs';
-import { TFromEnum } from './from-enum.mjs';
-import { TFromIntersect } from './from-intersect.mjs';
-import { TFromLiteral } from './from-literal.mjs';
-import { TFromTemplateLiteral } from './from-template-literal.mjs';
-import { TFromUnion } from './from-union.mjs';
+import { type TFromCyclic } from './from-cyclic.mjs';
+import { type TFromEnum } from './from-enum.mjs';
+import { type TFromIntersect } from './from-intersect.mjs';
+import { type TFromLiteral } from './from-literal.mjs';
+import { type TFromTemplateLiteral } from './from-template-literal.mjs';
+import { type TFromUnion } from './from-union.mjs';
 export type TFromType<Indexer extends TSchema, Result extends string[] = (Indexer extends TCyclic<infer Defs extends TProperties, infer Ref extends string> ? TFromCyclic<Defs, Ref> : Indexer extends TEnum<infer Values extends TEnumValue[]> ? TFromEnum<Values> : Indexer extends TIntersect<infer Types extends TSchema[]> ? TFromIntersect<Types> : Indexer extends TLiteral<infer Value extends TLiteralValue> ? TFromLiteral<Value> : Indexer extends TTemplateLiteral<infer Pattern extends string> ? TFromTemplateLiteral<Pattern> : Indexer extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Types> : [
 ])> = Result;
 export declare function FromType<Indexer extends TSchema>(type: Indexer): TFromType<Indexer>;

package/build/type/engine/instantiate.d.mts

@@ -1,6 +1,6 @@
 import { type TImmutable } from '../types/_immutable.mjs';
-import { type TOptional, TOptionalAdd, TOptionalRemove } from '../types/_optional.mjs';
-import { type TReadonly, TReadonlyAdd, TReadonlyRemove } from '../types/_readonly.mjs';
+import { type TOptional, type TOptionalAdd, type TOptionalRemove } from '../types/_optional.mjs';
+import { type TReadonly, type TReadonlyAdd, type TReadonlyRemove } from '../types/_readonly.mjs';
 import { type TSchema } from '../types/schema.mjs';
 import { type TArray } from '../types/array.mjs';
 import { type TAsyncIterator } from '../types/async-iterator.mjs';

package/build/type/engine/instantiate.mjs

@@ -11,8 +11,7 @@ import { IsReadonly, ReadonlyAdd, ReadonlyRemove } from '../types/_readonly.mjs'
 // Types
 // ------------------------------------------------------------------
 import { IsBase } from '../types/base.mjs';
-import { IsSchema } from '../types/schema.mjs';
-import { Array, IsArray, ArrayOptions } from '../types/array.mjs';
+import { _Array_, IsArray, ArrayOptions } from '../types/array.mjs';
 import { AsyncIterator, IsAsyncIterator, AsyncIteratorOptions } from '../types/async-iterator.mjs';
 import { Constructor, IsConstructor, ConstructorOptions } from '../types/constructor.mjs';
 import { Deferred, IsDeferred } from '../types/deferred.mjs';
@@ -66,12 +65,9 @@ import { UncapitalizeInstantiate } from './intrinsics/instantiate.mjs';
 import { UppercaseInstantiate } from './intrinsics/instantiate.mjs';
 import { RestSpread } from './rest/index.mjs';
 export function CanInstantiate(types) {
-    const [left, ...right] = types;
-    return (IsSchema(left)
-        ? IsRef(left)
-            ? false
-            : CanInstantiate(right)
-        : true);
+    return Guard.TakeLeft(types, (left, right) => IsRef(left)
+        ? false
+        : CanInstantiate(right), () => true);
 }
 function ModifierActions(type, readonly, optional) {
     return (IsReadonlyRemoveAction(type) ? ModifierActions(type.type, 'remove', optional) :
@@ -138,7 +134,7 @@ export function InstantiateType(context, state, input) {
     const modifiers = ModifierActions(input, IsReadonly(input) ? 'add' : 'none', IsOptional(input) ? 'add' : 'none');
     const type = IsBase(modifiers[0]) ? modifiers[0].Clone() : modifiers[0];
     const instantiated = (IsRef(type) ? RefInstantiate(context, state, type, type.$ref) :
-        IsArray(type) ? Array(InstantiateType(context, state, type.items), ArrayOptions(type)) :
+        IsArray(type) ? _Array_(InstantiateType(context, state, type.items), ArrayOptions(type)) :
             IsAsyncIterator(type) ? AsyncIterator(InstantiateType(context, state, type.iteratorItems), AsyncIteratorOptions(type)) :
                 IsCall(type) ? CallInstantiate(context, state, type.target, type.arguments) :
                     IsConstructor(type) ? Constructor(InstantiateTypes(context, state, type.parameters), InstantiateType(context, state, type.instanceType), ConstructorOptions(type)) :

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

@@ -1,7 +1,6 @@
 // deno-fmt-ignore-file
-import { Unreachable } from '../../../system/unreachable/index.mjs';
 import { Guard } from '../../../guard/index.mjs';
-import { IsSchema } from '../../types/schema.mjs';
+import { Unreachable } from '../../../system/unreachable/index.mjs';
 import { EvaluateUnion } from '../evaluate/evaluate.mjs';
 import { FromType } from './from-type.mjs';
 function CollapseUnionProperties(left, right) {
@@ -12,15 +11,9 @@ function CollapseUnionProperties(left, right) {
     return result;
 }
 function ReduceVariants(types, result) {
-    const [left, ...right] = types;
-    return (IsSchema(left)
-        ? ReduceVariants(right, CollapseUnionProperties(result, FromType(left)))
-        : result);
+    return Guard.TakeLeft(types, (left, right) => ReduceVariants(right, CollapseUnionProperties(result, FromType(left))), () => result);
 }
 export function FromUnion(types) {
-    const [left, ...right] = types;
-    return (IsSchema(left)
-        ? ReduceVariants(right, FromType(left))
-        : Unreachable());
+    return Guard.TakeLeft(types, (left, right) => ReduceVariants(right, FromType(left)), () => Unreachable());
 }
 // deno-coverage-ignore-stop

package/build/type/engine/ref/instantiate.d.mts

@@ -1,4 +1,4 @@
-import { TProperties } from '../../types/properties.mjs';
+import { type TProperties } from '../../types/properties.mjs';
 import { type TState, type TInstantiateType } from '../instantiate.mjs';
 import { type TCyclicCheck } from '../cyclic/check.mjs';
 import { type TRef } from '../../types/ref.mjs';

package/build/type/engine/template-literal/decode.d.mts

@@ -1,6 +1,6 @@
-import { TUnreachable } from '../../../system/unreachable/index.mjs';
-import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
+import { type TUnreachable } from '../../../system/unreachable/index.mjs';
 import { type TSchema } from '../../types/schema.mjs';
+import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
 import { type TString } from '../../types/string.mjs';
 import { type TTemplateLiteral } from '../../types/template-literal.mjs';
 import { type TUnion } from '../../types/union.mjs';

package/build/type/engine/template-literal/decode.mjs

@@ -1,8 +1,7 @@
 // deno-fmt-ignore-file
-import { Unreachable } from '../../../system/unreachable/index.mjs';
 import { Guard } from '../../../guard/index.mjs';
+import { Unreachable } from '../../../system/unreachable/index.mjs';
 import { Literal, IsLiteral } from '../../types/literal.mjs';
-import { IsSchema } from '../../types/schema.mjs';
 import { String } from '../../types/string.mjs';
 import { IsTemplateLiteral } from '../../types/template-literal.mjs';
 import { Union, IsUnion } from '../../types/union.mjs';
@@ -10,17 +9,13 @@ import { ParsePatternIntoTypes } from '../patterns/pattern.mjs';
 import { IsTemplateLiteralFinite } from './is-finite.mjs';
 import { TemplateLiteralCreate } from './create.mjs';
 function FromLiteralPush(variants, value, result = []) {
-    const [left, ...right] = variants;
-    return (Guard.IsString(left) ? FromLiteralPush(right, value, [...result, `${left}${value}`]) : result);
+    return Guard.TakeLeft(variants, (left, right) => FromLiteralPush(right, value, [...result, `${left}${value}`]), () => result);
 }
 function FromLiteral(variants, value) {
     return (Guard.IsEqual(variants.length, 0) ? [`${value}`] : FromLiteralPush(variants, value));
 }
 function FromUnion(variants, types, result = []) {
-    const [left, ...right] = types;
-    return (IsSchema(left)
-        ? FromUnion(variants, right, [...result, ...FromType(variants, left)])
-        : result);
+    return Guard.TakeLeft(types, (left, right) => FromUnion(variants, right, [...result, ...FromType(variants, left)]), () => result);
 }
 // ------------------------------------------------------------------
 // deno-coverage-ignore-start - symmetric unreachable | internal
@@ -38,8 +33,7 @@ function FromType(variants, type) {
     return result;
 }
 function DecodeFromSpan(variants, types) {
-    const [left, ...right] = types;
-    return (IsSchema(left) ? DecodeFromSpan(FromType(variants, left), right) : variants);
+    return Guard.TakeLeft(types, (left, right) => DecodeFromSpan(FromType(variants, left), right), () => variants);
 }
 function VariantsToLiterals(variants) {
     return variants.map(variant => Literal(variant));

package/build/type/engine/template-literal/encode.d.mts

@@ -2,7 +2,7 @@ import { type TSchema } from '../../types/schema.mjs';
 import { type TEnum, type TEnumValue } from '../../types/enum.mjs';
 import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
 import { type TUnion } from '../../types/union.mjs';
-import { type TTemplateLiteral, TTemplateLiteralDeferred } from '../../types/template-literal.mjs';
+import { type TTemplateLiteral, type TTemplateLiteralDeferred } from '../../types/template-literal.mjs';
 import { type TBigInt, BigIntPattern } from '../../types/bigint.mjs';
 import { type TString, StringPattern } from '../../types/string.mjs';
 import { type TNumber, NumberPattern } from '../../types/number.mjs';