ts-data-forge 9.0.1 → 11.0.0

package/src/array/impl/array-utils-modification.mts

@@ -1,8 +1,9 @@
 import {
-  type ArrayOfLength,
+  type FixedLengthTuple,
   type Increment,
   type IsFixedLengthList,
   type NonEmptyArray,
+  type NonEmptyTuple,
 } from 'ts-type-forge';
 import { asPositiveUint32 } from '../../number/index.mjs';
 import { castMutable } from '../../others/index.mjs';
@@ -32,7 +33,7 @@ export function set<const Ar extends readonly unknown[], const V = Ar[number]>(
   newValue: V,
 ): IsFixedLengthList<Ar> extends true
   ? Readonly<{ [K in keyof Ar]: Ar[K] | V }>
-  : Ar extends NonEmptyArray<unknown>
+  : Ar extends NonEmptyTuple<unknown>
     ? NonEmptyArray<Ar[number] | V>
     : readonly (Ar[number] | V)[];
 
@@ -44,7 +45,7 @@ export function set<const V>(
   array: Ar,
 ) => IsFixedLengthList<Ar> extends true
   ? Readonly<{ [K in keyof Ar]: Ar[K] | V }>
-  : Ar extends NonEmptyArray<unknown>
+  : Ar extends NonEmptyTuple<unknown>
     ? NonEmptyArray<Ar[number] | V>
     : readonly (Ar[number] | V)[];
 
@@ -97,7 +98,7 @@ export function toUpdated<
   updater: (prev: Ar[number]) => V,
 ): IsFixedLengthList<Ar> extends true
   ? Readonly<{ [K in keyof Ar]: Ar[K] | V }>
-  : Ar extends NonEmptyArray<unknown>
+  : Ar extends NonEmptyTuple<unknown>
     ? NonEmptyArray<Ar[number] | V>
     : readonly (Ar[number] | V)[];
 
@@ -109,7 +110,7 @@ export function toUpdated<E, const V = E>(
   array: Ar,
 ) => IsFixedLengthList<Ar> extends true
   ? Readonly<{ [K in keyof Ar]: Ar[K] | V }>
-  : Ar extends NonEmptyArray<unknown>
+  : Ar extends NonEmptyTuple<unknown>
     ? NonEmptyArray<Ar[number] | V>
     : readonly (Ar[number] | V)[];
 
@@ -163,7 +164,7 @@ export function toInserted<
   index: ArgArrayIndexWithNegative<Ar>,
   newValue: V,
 ): IsFixedLengthList<Ar> extends true
-  ? ArrayOfLength<CastToNumber<Increment<Ar['length']>>, Ar[number] | V>
+  ? FixedLengthTuple<CastToNumber<Increment<Ar['length']>>, Ar[number] | V>
   : NonEmptyArray<Ar[number] | V>;
 
 // curried version
@@ -173,7 +174,7 @@ export function toInserted<const V>(
 ): <const Ar extends readonly unknown[]>(
   array: Ar,
 ) => IsFixedLengthList<Ar> extends true
-  ? ArrayOfLength<CastToNumber<Increment<Ar['length']>>, Ar[number] | V>
+  ? FixedLengthTuple<CastToNumber<Increment<Ar['length']>>, Ar[number] | V>
   : NonEmptyArray<Ar[number] | V>;
 
 export function toInserted<E, const V = E>(
@@ -367,8 +368,8 @@ export function toFilled<const Ar extends readonly unknown[], const V>(
   array: Ar,
   value: V,
 ): IsFixedLengthList<Ar> extends true
-  ? ArrayOfLength<Ar['length'], V>
-  : Ar extends NonEmptyArray<unknown>
+  ? FixedLengthTuple<Ar['length'], V>
+  : Ar extends NonEmptyTuple<unknown>
     ? NonEmptyArray<V>
     : readonly V[];
 
@@ -378,8 +379,8 @@ export function toFilled<const V>(
 ): <const Ar extends readonly unknown[]>(
   array: Ar,
 ) => IsFixedLengthList<Ar> extends true
-  ? ArrayOfLength<Ar['length'], V>
-  : Ar extends NonEmptyArray<unknown>
+  ? FixedLengthTuple<Ar['length'], V>
+  : Ar extends NonEmptyTuple<unknown>
     ? NonEmptyArray<V>
     : readonly V[];
 
@@ -426,8 +427,8 @@ export function toRangeFilled<const Ar extends readonly unknown[], const V>(
     end: ArgArrayIndexWithNegative<Ar>,
   ],
 ): IsFixedLengthList<Ar> extends true
-  ? ArrayOfLength<Ar['length'], V | Ar[number]>
-  : Ar extends NonEmptyArray<unknown>
+  ? FixedLengthTuple<Ar['length'], V | Ar[number]>
+  : Ar extends NonEmptyTuple<unknown>
     ? NonEmptyArray<V | Ar[number]>
     : readonly (V | Ar[number])[];
 
@@ -441,8 +442,8 @@ export function toRangeFilled<const V>(
 ): <const Ar extends readonly unknown[]>(
   array: Ar,
 ) => IsFixedLengthList<Ar> extends true
-  ? ArrayOfLength<Ar['length'], V | Ar[number]>
-  : Ar extends NonEmptyArray<unknown>
+  ? FixedLengthTuple<Ar['length'], V | Ar[number]>
+  : Ar extends NonEmptyTuple<unknown>
     ? NonEmptyArray<V | Ar[number]>
     : readonly (V | Ar[number])[];
 

package/src/array/impl/array-utils-modification.test.mts

@@ -1,4 +1,4 @@
-import { type ArrayOfLength, type NonEmptyArray } from 'ts-type-forge';
+import { type FixedLengthTuple, type NonEmptyArray } from 'ts-type-forge';
 import { expectType } from '../../expect-type.mjs';
 import { asUint32 } from '../../number/index.mjs';
 import {
@@ -18,7 +18,7 @@ describe('Arr modifications', () => {
 
     const result = toUpdated(xs, 1, (x) => x + 2);
 
-    expectType<typeof result, ArrayOfLength<3, number>>('=');
+    expectType<typeof result, FixedLengthTuple<3, number>>('=');
 
     test('case 1', () => {
       assert.deepStrictEqual(result, [1, 4, 3]);
@@ -39,7 +39,7 @@ describe('Arr modifications', () => {
     test('case 1', () => {
       const result = toInserted(xs, 1, 5);
 
-      expectType<typeof result, ArrayOfLength<4, 1 | 2 | 3 | 5>>('=');
+      expectType<typeof result, FixedLengthTuple<4, 1 | 2 | 3 | 5>>('=');
 
       assert.deepStrictEqual(result, [1, 5, 2, 3]);
     });
@@ -47,7 +47,7 @@ describe('Arr modifications', () => {
     test('case 2 (insert head)', () => {
       const result = toInserted(xs, 0, 5);
 
-      expectType<typeof result, ArrayOfLength<4, 1 | 2 | 3 | 5>>('=');
+      expectType<typeof result, FixedLengthTuple<4, 1 | 2 | 3 | 5>>('=');
 
       assert.deepStrictEqual(result, [5, 1, 2, 3]);
     });
@@ -61,7 +61,12 @@ describe('Arr modifications', () => {
 
       expectType<typeof result, NonEmptyArray<string | 5>>('=');
 
-      assert.deepStrictEqual(result, ['a', 'b', 'c', 5]);
+      assert.deepStrictEqual<readonly (5 | string)[]>(result, [
+        'a',
+        'b',
+        'c',
+        5,
+      ]);
     });
 
     test('should work with curried version', () => {

package/src/array/impl/array-utils-reducing-value.mts

@@ -1,5 +1,5 @@
 import { isError } from '@sindresorhus/is';
-import { type Int, type NonEmptyArray, type Uint } from 'ts-type-forge';
+import { type Int, type NonEmptyTuple, type Uint } from 'ts-type-forge';
 import { IMap } from '../../collections/index.mjs';
 import { Optional, Result } from '../../functional/index.mjs';
 import { isString, isUndefined } from '../../guard/index.mjs';
@@ -40,12 +40,12 @@ export function min<const Ar extends readonly number[]>(
   array: Ar,
   // If the array elements are numbers, comparator is optional.
   comparator?: (x: Ar[number], y: Ar[number]) => number,
-): Ar extends NonEmptyArray<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
+): Ar extends NonEmptyTuple<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
 
 export function min<const Ar extends readonly unknown[]>(
   array: Ar,
   comparator: (x: Ar[number], y: Ar[number]) => number,
-): Ar extends NonEmptyArray<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
+): Ar extends NonEmptyTuple<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
 
 export function min<E extends number>(
   array: readonly E[],
@@ -86,12 +86,12 @@ export function max<const Ar extends readonly number[]>(
   array: Ar,
   // If the array elements are numbers, comparator is optional.
   comparator?: (x: Ar[number], y: Ar[number]) => number,
-): Ar extends NonEmptyArray<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
+): Ar extends NonEmptyTuple<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
 
 export function max<const Ar extends readonly unknown[]>(
   array: Ar,
   comparator: (x: Ar[number], y: Ar[number]) => number,
-): Ar extends NonEmptyArray<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
+): Ar extends NonEmptyTuple<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
 
 export function max<E extends number>(
   array: readonly E[],
@@ -132,13 +132,13 @@ export function minBy<const Ar extends readonly unknown[]>(
   array: Ar,
   // If the array elements are mapped to numbers, comparator is optional.
   comparatorValueMapper: (value: Ar[number]) => number,
-): Ar extends NonEmptyArray<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
+): Ar extends NonEmptyTuple<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
 
 export function minBy<const Ar extends readonly unknown[], V>(
   array: Ar,
   comparatorValueMapper: (value: Ar[number]) => V,
   comparator: (x: V, y: V) => number,
-): Ar extends NonEmptyArray<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
+): Ar extends NonEmptyTuple<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
 
 export function minBy<E, V>(
   array: readonly E[],
@@ -184,13 +184,13 @@ export function maxBy<const Ar extends readonly unknown[]>(
   array: Ar,
   // If the array elements are mapped to numbers, comparator is optional.
   comparatorValueMapper: (value: Ar[number]) => number,
-): Ar extends NonEmptyArray<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
+): Ar extends NonEmptyTuple<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
 
 export function maxBy<const Ar extends readonly unknown[], V>(
   array: Ar,
   comparatorValueMapper: (value: Ar[number]) => V,
   comparator: (x: V, y: V) => number,
-): Ar extends NonEmptyArray<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
+): Ar extends NonEmptyTuple<unknown> ? Some<Ar[number]> : Optional<Ar[number]>;
 
 export function maxBy<E, V>(
   array: readonly E[],

package/src/array/impl/array-utils-size.mts

@@ -1,6 +1,6 @@
 import {
   type IntersectBrand,
-  type NonEmptyArray,
+  type NonEmptyTuple,
   type PositiveNumber,
 } from 'ts-type-forge';
 /**
@@ -26,7 +26,7 @@ import { type SizeType } from '../../types.mjs';
 
 export const size = <const Ar extends readonly unknown[]>(
   array: Ar,
-): Ar extends NonEmptyArray<unknown>
+): Ar extends NonEmptyTuple<unknown>
   ? IntersectBrand<PositiveNumber, SizeType.Arr>
   : SizeType.Arr =>
   // eslint-disable-next-line total-functions/no-unsafe-type-assertion

package/src/array/impl/array-utils-slicing.mts

@@ -1,4 +1,9 @@
-import { type List, type NonEmptyArray, type SmallUint } from 'ts-type-forge';
+import {
+  type List,
+  type NonEmptyArray,
+  type NonEmptyTuple,
+  type StructuralPrefixLength,
+} from 'ts-type-forge';
 import { Uint32 } from '../../number/index.mjs';
 import { type SizeType } from '../../types.mjs';
 import { size } from './array-utils-size.mjs';
@@ -84,10 +89,10 @@ export function take<
 >(
   array: Ar,
   num: N,
-): N extends SmallUint
+): N extends StructuralPrefixLength
   ? List.Take<N, Ar>
   : N extends SizeType.ArgArrPositive
-    ? Ar extends NonEmptyArray<unknown>
+    ? Ar extends NonEmptyTuple<unknown>
       ? NonEmptyArray<Ar[number]>
       : readonly Ar[number][]
     : readonly Ar[number][];
@@ -96,10 +101,10 @@ export function take<N extends SizeType.ArgArr>(
   num: N,
 ): <const Ar extends readonly unknown[]>(
   array: Ar,
-) => N extends SmallUint
+) => N extends StructuralPrefixLength
   ? List.Take<N, Ar>
   : N extends SizeType.ArgArrPositive
-    ? Ar extends NonEmptyArray<unknown>
+    ? Ar extends NonEmptyTuple<unknown>
       ? NonEmptyArray<Ar[number]>
       : readonly Ar[number][]
     : readonly Ar[number][];
@@ -147,10 +152,10 @@ export function takeLast<
 >(
   array: Ar,
   num: N,
-): N extends SmallUint
+): N extends StructuralPrefixLength
   ? List.TakeLast<N, Ar>
   : N extends SizeType.ArgArrPositive
-    ? Ar extends NonEmptyArray<unknown>
+    ? Ar extends NonEmptyTuple<unknown>
       ? NonEmptyArray<Ar[number]>
       : readonly Ar[number][]
     : readonly Ar[number][];
@@ -159,10 +164,10 @@ export function takeLast<N extends SizeType.ArgArr>(
   num: N,
 ): <const Ar extends readonly unknown[]>(
   array: Ar,
-) => N extends SmallUint
+) => N extends StructuralPrefixLength
   ? List.TakeLast<N, Ar>
   : N extends SizeType.ArgArrPositive
-    ? Ar extends NonEmptyArray<unknown>
+    ? Ar extends NonEmptyTuple<unknown>
       ? NonEmptyArray<Ar[number]>
       : readonly Ar[number][]
     : readonly Ar[number][];
@@ -210,14 +215,16 @@ export function skip<
 >(
   array: Ar,
   num: N,
-): N extends SmallUint ? List.Skip<N, Ar> : readonly Ar[number][];
+): N extends StructuralPrefixLength ? List.Skip<N, Ar> : readonly Ar[number][];
 
 // curried version
 export function skip<N extends SizeType.ArgArr>(
   num: N,
 ): <const Ar extends readonly unknown[]>(
   array: Ar,
-) => N extends SmallUint ? List.Skip<N, Ar> : readonly Ar[number][];
+) => N extends StructuralPrefixLength
+  ? List.Skip<N, Ar>
+  : readonly Ar[number][];
 
 export function skip<E>(
   ...args: readonly [readonly E[], SizeType.ArgArr] | readonly [SizeType.ArgArr]
@@ -260,14 +267,18 @@ export function skipLast<
 >(
   array: Ar,
   num: N,
-): N extends SmallUint ? List.SkipLast<N, Ar> : readonly Ar[number][];
+): N extends StructuralPrefixLength
+  ? List.SkipLast<N, Ar>
+  : readonly Ar[number][];
 
 // curried version
 export function skipLast<N extends SizeType.ArgArr>(
   num: N,
 ): <const Ar extends readonly unknown[]>(
   array: Ar,
-) => N extends SmallUint ? List.SkipLast<N, Ar> : readonly Ar[number][];
+) => N extends StructuralPrefixLength
+  ? List.SkipLast<N, Ar>
+  : readonly Ar[number][];
 
 export function skipLast<E>(
   ...args:

package/src/array/impl/array-utils-transformation.mts

@@ -1,9 +1,9 @@
 import {
-  type ArrayOfLength,
+  type FixedLengthTuple,
   type IsFixedLengthList,
   type List,
-  type MutableNonEmptyArray,
   type NonEmptyArray,
+  type NonEmptyTuple,
   type PositiveInt,
   type PositiveUint32,
   type Primitive,
@@ -98,9 +98,12 @@ export function map<A, B>(
  *
  * const expectedCurriedTotals = [10, 5, 20] as const;
  *
- * assert.deepStrictEqual(runningTotals, expectedTotals);
+ * assert.deepStrictEqual<readonly number[]>(runningTotals, expectedTotals);
  *
- * assert.deepStrictEqual(runningTotalsFromCurried, expectedCurriedTotals);
+ * assert.deepStrictEqual<readonly number[]>(
+ *   runningTotalsFromCurried,
+ *   expectedCurriedTotals,
+ * );
  * ```
  */
 export function scan<const Ar extends readonly unknown[], S>(
@@ -137,12 +140,12 @@ export function scan<E, S>(
         ) => S,
         init: S,
       ]
-): NonEmptyArray<S> | ((array: readonly E[]) => NonEmptyArray<S>) {
+): NonEmptyTuple<S> | ((array: readonly E[]) => NonEmptyTuple<S>) {
   switch (args.length) {
     case 3: {
       const [array, reducer, init] = args;
 
-      const mut_result: MutableNonEmptyArray<S> = castMutable(
+      const mut_result = castMutable<NonEmptyTuple<S>>(
         newArray<PositiveUint32, S>(asPositiveUint32(array.length + 1), init),
       );
 
@@ -220,8 +223,8 @@ export const toSorted = <const Ar extends readonly unknown[]>(
       ]
     : readonly [array: Ar, comparator: (x: Ar[number], y: Ar[number]) => number]
 ): IsFixedLengthList<Ar> extends true
-  ? ArrayOfLength<Ar['length'], Ar[number]>
-  : Ar extends NonEmptyArray<unknown>
+  ? FixedLengthTuple<Ar['length'], Ar[number]>
+  : Ar extends NonEmptyTuple<unknown>
     ? NonEmptyArray<Ar[number]>
     : readonly Ar[number][] =>
   // eslint-disable-next-line total-functions/no-unsafe-type-assertion
@@ -278,8 +281,8 @@ export function toSortedBy<const Ar extends readonly unknown[]>(
   // If the array elements are mapped to numbers, comparator is optional.
   comparator?: (x: number, y: number) => number,
 ): IsFixedLengthList<Ar> extends true
-  ? ArrayOfLength<Ar['length'], Ar[number]>
-  : Ar extends NonEmptyArray<unknown>
+  ? FixedLengthTuple<Ar['length'], Ar[number]>
+  : Ar extends NonEmptyTuple<unknown>
     ? NonEmptyArray<Ar[number]>
     : readonly Ar[number][];
 
@@ -288,8 +291,8 @@ export function toSortedBy<const Ar extends readonly unknown[], const V>(
   comparatorValueMapper: (value: Ar[number]) => V,
   comparator: (x: V, y: V) => number,
 ): IsFixedLengthList<Ar> extends true
-  ? ArrayOfLength<Ar['length'], Ar[number]>
-  : Ar extends NonEmptyArray<unknown>
+  ? FixedLengthTuple<Ar['length'], Ar[number]>
+  : Ar extends NonEmptyTuple<unknown>
     ? NonEmptyArray<Ar[number]>
     : readonly Ar[number][];
 
@@ -434,12 +437,12 @@ export function filterNot<E>(
  *
  * const expected = ['a', 'b', 'c'] as const;
  *
- * assert.deepStrictEqual(uniqueLetters, expected);
+ * assert.deepStrictEqual<readonly string[]>(uniqueLetters, expected);
  * ```
  */
 export const uniq = <const Ar extends readonly Primitive[]>(
   array: Ar,
-): Ar extends NonEmptyArray<unknown>
+): Ar extends NonEmptyTuple<unknown>
   ? NonEmptyArray<Ar[number]>
   : readonly Ar[number][] =>
   // eslint-disable-next-line total-functions/no-unsafe-type-assertion
@@ -466,7 +469,10 @@ export const uniq = <const Ar extends readonly Primitive[]>(
  *   { id: 3, name: 'Grace' },
  * ] as const;
  *
- * assert.deepStrictEqual(uniqueById, expected);
+ * assert.deepStrictEqual<readonly Readonly<{ id: number; name: string }>[]>(
+ *   uniqueById,
+ *   expected,
+ * );
  * ```
  */
 export const uniqBy = <
@@ -475,7 +481,7 @@ export const uniqBy = <
 >(
   array: Ar,
   mapFn: (value: Ar[number]) => P,
-): Ar extends NonEmptyArray<unknown>
+): Ar extends NonEmptyTuple<unknown>
   ? NonEmptyArray<Ar[number]>
   : readonly Ar[number][] => {
   const mut_mappedValues = new Set<P>();

package/src/array/impl/array-utils-transformation.test.mts

@@ -1,4 +1,4 @@
-import { type ArrayOfLength } from 'ts-type-forge';
+import { type FixedLengthTuple } from 'ts-type-forge';
 import { IMap } from '../../collections/index.mjs';
 import { expectType } from '../../expect-type.mjs';
 import { Optional } from '../../functional/index.mjs';
@@ -26,7 +26,7 @@ describe('Arr transformations', () => {
   describe(map, () => {
     const mapped = map([1, 2, 3], (x, i): number => x ** 2 * i);
 
-    expectType<typeof mapped, ArrayOfLength<3, number>>('=');
+    expectType<typeof mapped, FixedLengthTuple<3, number>>('=');
 
     test('case 1', () => {
       assert.deepStrictEqual(mapped, [0, 4, 18]);
@@ -73,7 +73,7 @@ describe('Arr transformations', () => {
 
       expectType<typeof runningSum, readonly [number, ...number[]]>('<=');
 
-      assert.deepStrictEqual(runningSum, [0, 1, 3, 6, 10]);
+      assert.deepStrictEqual<readonly number[]>(runningSum, [0, 1, 3, 6, 10]);
     });
 
     test('should include initial value as first element', () => {
@@ -81,7 +81,7 @@ describe('Arr transformations', () => {
 
       const result = scan(numbers, (acc, curr) => acc + curr, 100);
 
-      assert.deepStrictEqual(result, [100, 110, 130, 160]);
+      assert.deepStrictEqual<readonly number[]>(result, [100, 110, 130, 160]);
 
       expect(result).toHaveLength(4); // original length + 1
     });
@@ -93,9 +93,9 @@ describe('Arr transformations', () => {
 
       const result2 = scanSum([5, 10]);
 
-      assert.deepStrictEqual(result1, [0, 1, 3, 6]);
+      assert.deepStrictEqual<readonly number[]>(result1, [0, 1, 3, 6]);
 
-      assert.deepStrictEqual(result2, [0, 5, 15]);
+      assert.deepStrictEqual<readonly number[]>(result2, [0, 5, 15]);
     });
 
     test('should provide index to reducer', () => {
@@ -121,7 +121,7 @@ describe('Arr transformations', () => {
 
       const result = scan(empty, (acc, curr) => acc + curr, 42);
 
-      assert.deepStrictEqual(result, [42]);
+      assert.deepStrictEqual<readonly number[]>(result, [42]);
     });
 
     test('should work with different accumulator and element types', () => {
@@ -131,7 +131,7 @@ describe('Arr transformations', () => {
 
       expectType<typeof result, readonly [number, ...number[]]>('<=');
 
-      assert.deepStrictEqual(result, [0, 1, 2, 3]);
+      assert.deepStrictEqual<readonly number[]>(result, [0, 1, 2, 3]);
     });
 
     test('should compute running product', () => {
@@ -139,7 +139,7 @@ describe('Arr transformations', () => {
 
       const runningProduct = scan(numbers, (acc, curr) => acc * curr, 1);
 
-      assert.deepStrictEqual(runningProduct, [1, 2, 6, 24]);
+      assert.deepStrictEqual<readonly number[]>(runningProduct, [1, 2, 6, 24]);
     });
 
     test('should work with objects', () => {
@@ -147,7 +147,7 @@ describe('Arr transformations', () => {
 
       const result = scan(items, (acc, curr) => acc + curr.value, 0);
 
-      assert.deepStrictEqual(result, [0, 10, 30, 60]);
+      assert.deepStrictEqual<readonly number[]>(result, [0, 10, 30, 60]);
     });
 
     test('should preserve all intermediate values', () => {
@@ -156,7 +156,7 @@ describe('Arr transformations', () => {
       const result = scan(numbers, (acc, curr) => acc - curr, 10);
 
       // 10 -> 10-1=9 -> 9-2=7 -> 7-3=4
-      assert.deepStrictEqual(result, [10, 9, 7, 4]);
+      assert.deepStrictEqual<readonly number[]>(result, [10, 9, 7, 4]);
     });
   });
 
@@ -215,7 +215,7 @@ describe('Arr transformations', () => {
 
       const result = toSorted(xs);
 
-      expectType<typeof result, ArrayOfLength<3, 1 | 2 | 3>>('=');
+      expectType<typeof result, FixedLengthTuple<3, 1 | 2 | 3>>('=');
 
       test('case 1', () => {
         assert.deepStrictEqual(result, [1, 2, 3]);
@@ -227,7 +227,7 @@ describe('Arr transformations', () => {
 
       const result = toSorted(xs, (a, b) => a - b);
 
-      expectType<typeof result, ArrayOfLength<3, 1 | 2 | 3>>('=');
+      expectType<typeof result, FixedLengthTuple<3, 1 | 2 | 3>>('=');
 
       test('case 2', () => {
         assert.deepStrictEqual(result, [1, 2, 3]);
@@ -239,7 +239,7 @@ describe('Arr transformations', () => {
 
       const result = toSorted(xs, (a, b) => b - a);
 
-      expectType<typeof result, ArrayOfLength<3, 1 | 2 | 3>>('=');
+      expectType<typeof result, FixedLengthTuple<3, 1 | 2 | 3>>('=');
 
       test('case 3', () => {
         assert.deepStrictEqual(result, [3, 2, 1]);
@@ -255,7 +255,7 @@ describe('Arr transformations', () => {
 
       expectType<
         typeof sorted,
-        ArrayOfLength<3, Readonly<{ v: 1 } | { v: 2 } | { v: 3 }>>
+        FixedLengthTuple<3, Readonly<{ v: 1 } | { v: 2 } | { v: 3 }>>
       >('=');
 
       test('case 1', () => {
@@ -274,7 +274,7 @@ describe('Arr transformations', () => {
 
       expectType<
         typeof sorted,
-        ArrayOfLength<3, Readonly<{ v: 1 } | { v: 2 } | { v: 3 }>>
+        FixedLengthTuple<3, Readonly<{ v: 1 } | { v: 2 } | { v: 3 }>>
       >('=');
 
       test('case 2', () => {
@@ -429,7 +429,7 @@ describe('Arr transformations', () => {
 
       const result = uniq(array);
 
-      assert.deepStrictEqual(result, [1, 2, 3, 4]);
+      assert.deepStrictEqual<readonly number[]>(result, [1, 2, 3, 4]);
     });
 
     test('should work with strings', () => {
@@ -437,7 +437,7 @@ describe('Arr transformations', () => {
 
       const result = uniq(array);
 
-      assert.deepStrictEqual(result, ['a', 'b', 'c']);
+      assert.deepStrictEqual<readonly string[]>(result, ['a', 'b', 'c']);
     });
 
     test('should work with empty array', () => {
@@ -453,7 +453,7 @@ describe('Arr transformations', () => {
 
       const result = uniq(array);
 
-      assert.deepStrictEqual(result, [3, 1, 2]);
+      assert.deepStrictEqual<readonly number[]>(result, [3, 1, 2]);
     });
   });