ts-fortress 6.2.2 → 6.2.4

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-fortress",
-  "version": "6.2.2",
+  "version": "6.2.4",
   "private": false,
   "keywords": [
     "typescript"
@@ -32,8 +32,10 @@
   "scripts": {
     "build": "tsx ./scripts/cmd/build.mts",
     "build:min": "tsx ./scripts/cmd/build.mts --skip-check",
-    "check-all": "tsx ./scripts/cmd/check-all.mts",
     "check:ext": "tsx ./scripts/cmd/check-ext.mts",
+    "check-all": "tsx ./scripts/cmd/check-all.mts",
+    "codemod": "run-s codemod:all fmt",
+    "codemod:all": "convert-to-readonly '{src,scripts,samples,test}/**/*.{mts,tsx}'",
     "cspell": "cspell \"**\" --gitignore --gitignore-root ./ --no-progress",
     "doc": "tsx ./scripts/cmd/gen-docs.mts",
     "doc:embed": "tsx ./scripts/cmd/embed-samples.mts",
@@ -69,8 +71,8 @@
   },
   "dependencies": {
     "@sindresorhus/is": "^7.2.0",
-    "ts-data-forge": "^6.2.1",
-    "ts-type-forge": "^2.3.0"
+    "ts-data-forge": "^6.3.0",
+    "ts-type-forge": "^2.3.1"
   },
   "devDependencies": {
     "@rollup/plugin-replace": "6.0.3",
@@ -83,39 +85,44 @@
     "@semantic-release/github": "12.0.2",
     "@semantic-release/npm": "13.1.3",
     "@semantic-release/release-notes-generator": "14.1.0",
-    "@types/node": "25.0.3",
-    "@vitest/browser-playwright": "4.0.16",
-    "@vitest/coverage-v8": "4.0.16",
-    "@vitest/ui": "4.0.16",
+    "@types/node": "25.0.10",
+    "@vitest/browser-playwright": "4.0.17",
+    "@vitest/coverage-v8": "4.0.17",
+    "@vitest/ui": "4.0.17",
     "conventional-changelog-conventionalcommits": "9.1.0",
-    "cspell": "9.4.0",
+    "cspell": "9.6.0",
     "eslint": "9.39.2",
-    "eslint-config-typed": "4.3.0",
+    "eslint-config-typed": "4.6.0",
     "fast-glob": "3.3.3",
     "fp-ts": "2.16.11",
-    "github-settings-as-code": "1.0.6",
+    "github-settings-as-code": "1.0.11",
     "io-ts": "2.2.22",
     "jiti": "2.6.1",
     "markdownlint": "0.40.0",
     "markdownlint-cli2": "0.20.0",
     "npm-run-all2": "8.0.4",
     "playwright": "1.57.0",
-    "prettier": "3.7.4",
+    "prettier": "3.8.0",
     "prettier-plugin-organize-imports": "4.3.0",
-    "prettier-plugin-packagejson": "2.5.20",
-    "rollup": "4.54.0",
+    "prettier-plugin-packagejson": "3.0.0",
+    "rollup": "4.55.2",
     "semantic-release": "25.0.2",
-    "ts-repo-utils": "7.9.5",
+    "ts-codemod-lib": "^1.1.3",
+    "ts-repo-utils": "8.1.0",
     "tslib": "2.8.1",
     "tsx": "4.21.0",
-    "typedoc": "0.28.15",
+    "typedoc": "0.28.16",
     "typedoc-github-theme": "0.3.1",
     "typescript": "5.9.3",
-    "vite": "7.3.0",
-    "vitest": "4.0.16",
-    "zod": "4.2.1"
+    "vite": "7.3.1",
+    "vitest": "4.0.17",
+    "zod": "4.3.5"
   },
   "packageManager": "pnpm@10.24.0",
+  "engines": {
+    "node": ">=20.11.0",
+    "pnpm": ">=8.0.0"
+  },
   "volta": {
     "node": "25.2.1"
   }

package/src/array/array-at-least-length.mts

@@ -12,10 +12,12 @@ import {
 export const arrayAtLeastLength = <A, N extends SmallUint>(
   size: N,
   elementType: Type<A>,
-  options?: PartialReadonly<{
-    typeName: string;
-    defaultValue: ArrayAtLeastLen<N, A>;
-  }>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: ArrayAtLeastLen<N, A>;
+    }>
+  >,
 ): Type<ArrayAtLeastLen<N, A>> => {
   type T = ArrayAtLeastLen<N, A>;
 

package/src/array/array-of-length.mts

@@ -12,10 +12,12 @@ import {
 export const arrayOfLength = <A, N extends SmallUint>(
   size: N,
   elementType: Type<A>,
-  options?: PartialReadonly<{
-    typeName: string;
-    defaultValue: ArrayOfLength<N, A>;
-  }>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: ArrayOfLength<N, A>;
+    }>
+  >,
 ): Type<ArrayOfLength<N, A>> => {
   type T = ArrayOfLength<N, A>;
 

package/src/array/array.mts

@@ -11,10 +11,12 @@ import {
 
 export const array = <A,>(
   elementType: Type<A>,
-  options?: PartialReadonly<{
-    typeName: string;
-    defaultValue: readonly A[];
-  }>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: readonly A[];
+    }>
+  >,
 ): Type<readonly A[]> => {
   type T = readonly A[];
 

package/src/array/non-empty-array.mts

@@ -11,10 +11,12 @@ import {
 
 export const nonEmptyArray = <A,>(
   elementType: Type<A>,
-  options?: PartialReadonly<{
-    typeName: string;
-    defaultValue: NonEmptyArray<A>;
-  }>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: NonEmptyArray<A>;
+    }>
+  >,
 ): Type<NonEmptyArray<A>> => {
   type T = NonEmptyArray<A>;
 

package/src/array/tuple.mts

@@ -9,15 +9,17 @@ import {
   type ValidationError,
 } from '../utils/index.mjs';
 
-type MapTuple<T extends readonly Type<unknown>[]> = {
-  readonly [K in keyof T]: TypeOf<T[K]>;
-};
+type MapTuple<T extends readonly Type<unknown>[]> = Readonly<{
+  [K in keyof T]: TypeOf<T[K]>;
+}>;
 
 export const tuple = <const A extends readonly Type<unknown>[]>(
   types: A,
-  options?: PartialReadonly<{
-    typeName: string;
-  }>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+    }>
+  >,
 ): Type<MapTuple<A>> => {
   type T = MapTuple<A>;
 

package/src/brand/brand.mts

@@ -9,7 +9,7 @@ type ArrayToUnion<A extends readonly unknown[]> = A extends readonly []
 export const brand = <
   const A extends StrictExtract<Primitive, string | number | bigint | boolean>,
   const BrandTrueKeys extends readonly string[],
-  const BrandFalseKeys extends readonly string[] = [],
+  const BrandFalseKeys extends readonly string[] = readonly [],
 >({
   baseType,
   brandFalseKeys,

package/src/compose/intersection.mts

@@ -11,9 +11,11 @@ import {
 export const intersection = <const Types extends NonEmptyArray<Type<unknown>>>(
   types: Types,
   defaultType: IntersectionType<Types>,
-  options?: PartialReadonly<{
-    typeName: string;
-  }>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+    }>
+  >,
 ): IntersectionType<Types> => {
   type T = IntersectionTypeValue<Types>;
 
@@ -78,27 +80,35 @@ namespace TsFortressInternal {
     Types extends NonEmptyArray<Type<unknown>>,
   > = Intersection<Cast0<UnwrapTypeList<Types>>>;
 
-  type Cast0<T> = [T] extends [NonEmptyArray<unknown>] ? T : never;
+  type Cast0<T> = readonly [T] extends readonly [NonEmptyArray<unknown>]
+    ? T
+    : never;
 }
 
 expectType<
   IntersectionType<
-    [
-      Type<{
-        a: 0;
-        b: 0;
-      }>,
-      Type<{
-        b: 0;
-        c: 0;
-      }>,
+    readonly [
+      Type<
+        Readonly<{
+          a: 0;
+          b: 0;
+        }>
+      >,
+      Type<
+        Readonly<{
+          b: 0;
+          c: 0;
+        }>
+      >,
     ]
   >,
-  Type<{
-    a: 0;
-    b: 0;
-    c: 0;
-  }>
+  Type<
+    Readonly<{
+      a: 0;
+      b: 0;
+      c: 0;
+    }>
+  >
 >('=');
 
 type UnwrapTypeList<Types extends readonly Type<unknown>[]> =
@@ -107,108 +117,115 @@ type UnwrapTypeList<Types extends readonly Type<unknown>[]> =
 namespace TsFortressInternal {
   export type UnwrapTypeImpl<Types extends readonly unknown[]> =
     Types extends readonly []
-      ? []
+      ? readonly []
       : Types extends readonly [infer Head, ...infer Tail]
         ? readonly [TypeOf<Cast1<Head>>, ...UnwrapTypeImpl<Tail>]
         : never;
 
+  // transformer-ignore-next-line
   type Cast1<T> = [T] extends [Type<unknown>] ? T : never;
 }
 
 expectType<
   TypeOf<
-    Type<{
-      a: 0;
-      b: 0;
-    }>
+    Type<
+      Readonly<{
+        a: 0;
+        b: 0;
+      }>
+    >
   >,
-  {
+  Readonly<{
     a: 0;
     b: 0;
-  }
+  }>
 >('=');
 
 expectType<
   UnwrapTypeList<
-    [
-      Type<{
-        a: 0;
-        b: 0;
-      }>,
-      Type<{
-        b: 0;
-        c: 0;
-      }>,
+    readonly [
+      Type<
+        Readonly<{
+          a: 0;
+          b: 0;
+        }>
+      >,
+      Type<
+        Readonly<{
+          b: 0;
+          c: 0;
+        }>
+      >,
     ]
   >,
   readonly [
-    {
+    Readonly<{
       a: 0;
       b: 0;
-    },
-    {
+    }>,
+    Readonly<{
       b: 0;
       c: 0;
-    },
+    }>,
   ]
 >('=');
 
 expectType<
   Intersection<
-    [
-      {
+    readonly [
+      Readonly<{
         a: 0;
         b: 0;
-      },
-      {
+      }>,
+      Readonly<{
         b: 0;
         c: 0;
-      },
+      }>,
     ]
   >,
-  {
+  Readonly<{
     a: 0;
     b: 0;
     c: 0;
-  }
+  }>
 >('=');
 
 expectType<
   Intersection<
-    [
-      {
+    readonly [
+      Readonly<{
         a: 0;
         b: 0;
-      },
-      {
+      }>,
+      Readonly<{
         b: 0;
         c: 0;
-      },
-      {
+      }>,
+      Readonly<{
         c: 0;
         d: 0;
-      },
+      }>,
     ]
   >,
-  {
+  Readonly<{
     a: 0;
     b: 0;
     c: 0;
     d: 0;
-  }
+  }>
 >('=');
 
 expectType<
   Intersection<
-    [
-      {
+    readonly [
+      Readonly<{
         a: 0;
         b: 0;
-      },
-      {
+      }>,
+      Readonly<{
         b: 1;
         c: 0;
-      },
+      }>,
     ]
   >,
   never

package/src/compose/merge-records.mts

@@ -12,10 +12,12 @@ export const mergeRecords = <
   const Types extends NonEmptyArray<Type<UnknownRecord>>,
 >(
   types: Types,
-  options?: PartialReadonly<{
-    typeName: string;
-    defaultType: IntersectionType<Types>;
-  }>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultType: IntersectionType<Types>;
+    }>
+  >,
 ): IntersectionType<Types> => {
   type T = IntersectionTypeValue<Types>;
 
@@ -93,128 +95,141 @@ namespace TsFortressInternal {
 
   type UnwrapTypeImpl<Types extends readonly unknown[]> =
     Types extends readonly []
-      ? []
+      ? readonly []
       : Types extends readonly [infer Head, ...infer Tail]
         ? readonly [TypeOf<Cast1<Head>>, ...UnwrapTypeImpl<Tail>]
         : never;
 
+  // transformer-ignore-next-line
   type Cast1<T> = [T] extends [Type<UnknownRecord>] ? T : never;
 }
 
 expectType<
   IntersectionType<
-    [
-      Type<{
-        a: 0;
-        b: 0;
-      }>,
-      Type<{
-        b: 0;
-        c: 0;
-      }>,
+    readonly [
+      Type<
+        Readonly<{
+          a: 0;
+          b: 0;
+        }>
+      >,
+      Type<
+        Readonly<{
+          b: 0;
+          c: 0;
+        }>
+      >,
     ]
   >,
-  Type<{
-    a: 0;
-    b: 0;
-    c: 0;
-  }>
+  Type<
+    Readonly<{
+      a: 0;
+      b: 0;
+      c: 0;
+    }>
+  >
 >('=');
 
 expectType<
   TypeOf<
-    Type<{
-      a: 0;
-      b: 0;
-    }>
+    Type<
+      Readonly<{
+        a: 0;
+        b: 0;
+      }>
+    >
   >,
-  {
+  Readonly<{
     a: 0;
     b: 0;
-  }
+  }>
 >('=');
 
 expectType<
   TsFortressInternal.UnwrapTypeList<
-    [
-      Type<{
-        a: 0;
-        b: 0;
-      }>,
-      Type<{
-        b: 0;
-        c: 0;
-      }>,
+    readonly [
+      Type<
+        Readonly<{
+          a: 0;
+          b: 0;
+        }>
+      >,
+      Type<
+        Readonly<{
+          b: 0;
+          c: 0;
+        }>
+      >,
     ]
   >,
   readonly [
-    {
+    Readonly<{
       a: 0;
       b: 0;
-    },
-    {
+    }>,
+    Readonly<{
       b: 0;
       c: 0;
-    },
+    }>,
   ]
 >('=');
 
 expectType<
   Intersection<
-    [
-      {
+    readonly [
+      Readonly<{
         a: 0;
         b: 0;
-      },
-      {
+      }>,
+      Readonly<{
         b: 0;
         c: 0;
-      },
+      }>,
     ]
   >,
-  {
+  Readonly<{
     a: 0;
     b: 0;
     c: 0;
-  }
+  }>
 >('=');
 
 expectType<
   Intersection<
-    [
-      {
+    readonly [
+      Readonly<{
         a: 0;
         b: 0;
-      },
-      {
+      }>,
+      Readonly<{
         b: 0;
         c: 0;
-      },
-      {
+      }>,
+      Readonly<{
         c: 0;
         d: 0;
-      },
+      }>,
     ]
   >,
-  {
+  Readonly<{
     a: 0;
     b: 0;
     c: 0;
     d: 0;
-  }
+  }>
 >('=');
 
 expectType<
   Intersection<
-    [
-      {
+    readonly [
+      Readonly<{
         a: 0;
         b: 0;
-      },
-      {
+      }>,
+      Readonly<{
         b: 1;
         c: 0;
-      },
+      }>,
     ]
   >,
   never

package/src/compose/union-literal-array.test.mts

@@ -16,7 +16,7 @@ describe('union - literal and array', () => {
 
   type TargetType = TypeOf<typeof targetType>;
 
-  expectType<TargetType, 'none' | readonly number[] | false>('=');
+  expectType<TargetType, 'none' | false | readonly number[]>('=');
 
   expectType<typeof targetType.defaultValue, TargetType>('=');
 

package/src/compose/union-nested-record.test.mts

@@ -32,14 +32,16 @@ describe('union - nested records', () => {
 
   expectType<
     TargetType,
-    | Readonly<{
-        type: string;
-        data: Readonly<{ value: number }>;
-      }>
-    | Readonly<{
-        kind: string;
-        config: Readonly<{ enabled: string }>;
-      }>
+    Readonly<
+      | {
+          type: string;
+          data: Readonly<{ value: number }>;
+        }
+      | {
+          kind: string;
+          config: Readonly<{ enabled: string }>;
+        }
+    >
   >('=');
 
   expectType<typeof targetType.defaultValue, TargetType>('=');