typebox 1.1.11 → 1.1.12

package/build/type/engine/indexed/from-array.d.mts

@@ -10,6 +10,6 @@ type TNormalizeLiteral<Value extends TLiteralValue, Result extends TSchema = TLi
 type TNormalizeIndexerTypes<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TNormalizeIndexerTypes<Right, [...Result, TNormalizeIndexer<Left>]> : Result);
 export type TNormalizeIndexer<Type extends TSchema, Result extends TSchema = (Type extends TIntersect<infer Types extends TSchema[]> ? TIntersect<TNormalizeIndexerTypes<Types>> : Type extends TUnion<infer Types extends TSchema[]> ? TUnion<TNormalizeIndexerTypes<Types>> : Type extends TLiteral<infer Value extends TLiteralValue> ? TNormalizeLiteral<Value> : Type)> = Result;
 export declare function NormalizeIndexer<Type extends TSchema>(type: Type): TNormalizeIndexer<Type>;
-export type TFromArray<Type extends TSchema, Indexer extends TSchema, NormalizedIndexer extends TSchema = TNormalizeIndexer<Indexer>, Check extends ExtendsResult.TResult = TExtends<{}, NormalizedIndexer, TNumber>, Result extends TSchema = Check extends ExtendsResult.TExtendsTrueLike ? Type : TNever> = Result;
+export type TFromArray<Type extends TSchema, Indexer extends TSchema, NormalizedIndexer extends TSchema = TNormalizeIndexer<Indexer>, Check extends ExtendsResult.TResult = TExtends<{}, NormalizedIndexer, TNumber>, Result extends TSchema = (Check extends ExtendsResult.TExtendsTrueLike ? Type : Indexer extends TLiteral<infer _ extends 'length'> ? TNumber : TNever)> = Result;
 export declare function FromArray<Type extends TSchema, Indexer extends TSchema>(type: Type, indexer: Indexer): TFromArray<Type, Indexer>;
 export {};

package/build/type/engine/indexed/from-array.mjs

@@ -1,4 +1,5 @@
 // deno-fmt-ignore-file
+import { Guard } from '../../../guard/index.mjs';
 import { Intersect, IsIntersect } from '../../types/intersect.mjs';
 import { Union, IsUnion } from '../../types/union.mjs';
 import { Literal, IsLiteral } from '../../types/literal.mjs';
@@ -21,6 +22,13 @@ export function NormalizeIndexer(type) {
 export function FromArray(type, indexer) {
     const normalizedIndexer = NormalizeIndexer(indexer);
     const check = Extends({}, normalizedIndexer, Number());
-    const result = ExtendsResult.IsExtendsTrueLike(check) ? type : Never();
+    const result = (
+    // indexer
+    ExtendsResult.IsExtendsTrueLike(check)
+        ? type
+        // length (intrinsic)
+        : IsLiteral(indexer) && Guard.IsEqual(indexer.const, 'length')
+            ? Number()
+            : Never());
     return result;
 }

package/build/type/engine/indexed/from-tuple.d.mts

@@ -8,6 +8,6 @@ import { type TFormatArrayIndexer } from './array-indexer.mjs';
 type TIndexElementsWithIndexer<Types extends TSchema[], Indexer extends TSchema, Result extends TSchema[] = []> = (Types extends [...infer Left extends TSchema[], infer Right extends TSchema] ? TExtends<{}, TLiteral<Left['length']>, Indexer> extends ExtendsResult.TExtendsTrueLike ? TIndexElementsWithIndexer<Left, Indexer, [Right, ...Result]> : TIndexElementsWithIndexer<Left, Indexer, Result> : Result);
 type TFromTupleWithIndexer<Types extends TSchema[], Indexer extends TSchema, ArrayIndexer extends TSchema = TFormatArrayIndexer<Indexer>, Elements extends TSchema[] = TIndexElementsWithIndexer<Types, ArrayIndexer>, Result extends TSchema = TEvaluateUnionFast<Elements>> = Result;
 type TFromTupleWithoutIndexer<Types extends TSchema[], Result extends TSchema = TEvaluateUnionFast<Types>> = Result;
-export type TFromTuple<Types extends TSchema[], Indexer extends TSchema, Result extends TSchema = (Indexer extends TNumber | TInteger ? TFromTupleWithoutIndexer<Types> : TFromTupleWithIndexer<Types, Indexer>)> = Result;
+export type TFromTuple<Types extends TSchema[], Indexer extends TSchema, Result extends TSchema = (Indexer extends TLiteral<infer _ extends 'length'> ? TLiteral<Types['length']> : Indexer extends TNumber | TInteger ? TFromTupleWithoutIndexer<Types> : TFromTupleWithIndexer<Types, Indexer>)> = Result;
 export declare function FromTuple<Types extends TSchema[], Indexer extends TSchema>(types: [...Types], indexer: Indexer): TFromTuple<Types, Indexer>;
 export {};

package/build/type/engine/indexed/from-tuple.mjs

@@ -1,5 +1,6 @@
 // deno-fmt-ignore-file
-import { Literal } from '../../types/literal.mjs';
+import { Guard } from '../../../guard/index.mjs';
+import { Literal, IsLiteral } from '../../types/literal.mjs';
 import { IsNumber } from '../../types/number.mjs';
 import { IsInteger } from '../../types/integer.mjs';
 import { EvaluateUnionFast } from '../evaluate/evaluate.mjs';
@@ -22,7 +23,12 @@ function FromTupleWithoutIndexer(types) {
     return EvaluateUnionFast(types);
 }
 export function FromTuple(types, indexer) {
-    return (IsNumber(indexer) || IsInteger(indexer)
-        ? FromTupleWithoutIndexer(types)
-        : FromTupleWithIndexer(types, indexer));
+    return (
+    // length (intrinsic)
+    IsLiteral(indexer) && Guard.IsEqual(indexer.const, 'length')
+        ? Literal(types.length)
+        // indexer
+        : IsNumber(indexer) || IsInteger(indexer)
+            ? FromTupleWithoutIndexer(types)
+            : FromTupleWithIndexer(types, indexer));
 }

package/package.json

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