ts-codemod-lib 3.3.2 → 3.4.0

package/dist/functions/ast-transformers/transform-source-code.mjs

@@ -1,63 +1,114 @@
 import { Arr } from 'ts-data-forge';
 import * as tsm from 'ts-morph';
-const extractFileIgnoreTransformers = (code) => {
+const fileIgnorePrefixes = [
+    'transformer-ignore',
+    'ts-codemod-ignore',
+    'codemod-ignore',
+    'transform-ignore',
+];
+
+
+
+
+
 
-    const patterns = [
-        {
-            prefix: 'transformer-ignore',
-            regex: /\/\*\s*transformer-ignore\s*(.*?)\s*\*\//u,
-        },
-        {
-            prefix: 'ts-codemod-ignore',
-            regex: /\/\*\s*ts-codemod-ignore\s*(.*?)\s*\*\//u,
-        },
-        {
-            prefix: 'codemod-ignore',
-            regex: /\/\*\s*codemod-ignore\s*(.*?)\s*\*\//u,
-        },
-        {
-            prefix: 'transform-ignore',
-            regex: /\/\*\s*transform-ignore\s*(.*?)\s*\*\//u,
-        },
-    ];
-    for (const { regex } of patterns) {
-        const match = regex.exec(code);
-        if (match !== null) {
-            const targetTransformers = match[1]?.trim() ?? '';
-
-            if (targetTransformers === '') {
-                return [];
-            }
 
-            return targetTransformers.split(',').map((name) => name.trim());
+
+
+const findFileIgnoreTransformers = (code) => {
+    for (const prefix of fileIgnorePrefixes) {
+        const names = findFileIgnoreComment(code, prefix);
+        if (names !== undefined) {
+            return names;
         }
     }
-    return [];
+    return undefined;
 };
-const shouldSkipFile = (code, transformerName) => {
-    const ignoredTransformers = extractFileIgnoreTransformers(code);
-
-    const patterns = [
-        /\/\*\s*transformer-ignore\s*.*?\s*\*\//u,
-        /\/\*\s*ts-codemod-ignore\s*.*?\s*\*\//u,
-        /\/\*\s*codemod-ignore\s*.*?\s*\*\//u,
-        /\/\*\s*transform-ignore\s*.*?\s*\*\//u,
-    ];
-    const hasFileIgnoreComment = patterns.some((regex) => regex.test(code));
-    if (!hasFileIgnoreComment && Arr.isEmpty(ignoredTransformers)) {
-        return false;
-    }
+const findFileIgnoreComment = (code, prefix) => {
+
+
+    const findCommentEnd = createForwardSearch((from) => code.indexOf('*/', from));
+    const findLineTerminator = createForwardSearch((from) => indexOfLineTerminator(code, from));
+    const trimEndBefore = createLastValueCache((commentEnd) => skipWhitespaceBackward(code, commentEnd));
+    for (let mut_open = code.indexOf('/*'); mut_open !== -1; mut_open = code.indexOf('/*', mut_open + 2)) {
+        const prefixStart = skipWhitespace(code, mut_open + 2);
+        if (!code.startsWith(prefix, prefixStart)) {
+            continue;
+        }
+        const namesStart = skipWhitespace(code, prefixStart + prefix.length);
+        const commentEnd = findCommentEnd(namesStart);
+
+        if (commentEnd === -1) {
+            return undefined;
+        }
+        const namesEnd = Math.max(namesStart, trimEndBefore(commentEnd));
+        const lineTerminator = findLineTerminator(namesStart);
+        if (lineTerminator === -1 || lineTerminator >= namesEnd) {
+            const names = code.slice(namesStart, namesEnd);
 
-    if (Arr.isEmpty(ignoredTransformers)) {
-        return true;
-    }
 
-    if (transformerName === undefined) {
-        return false;
+            return names === '' ? [] : names.split(',').map((name) => name.trim());
+        }
     }
+    return undefined;
+};
+const shouldSkipFile = (ignoredTransformers, transformerName) => ignoredTransformers !== undefined &&
+
+
+
+    (Arr.isEmpty(ignoredTransformers) ||
+        ignoredTransformers.includes(transformerName));
 
-    return ignoredTransformers.includes(transformerName);
+
+
+
+const createForwardSearch = (search) => {
+    let mut_from = Number.POSITIVE_INFINITY;
+    let mut_found = -1;
+    return (from) => {
+        if (from < mut_from || (mut_found !== -1 && from > mut_found)) {
+            mut_from = from;
+            mut_found = search(from);
+        }
+        return mut_found;
+    };
 };
+const createLastValueCache = (fn) => {
+    let mut_arg = undefined;
+    let mut_value = 0;
+    return (arg) => {
+        if (arg !== mut_arg) {
+            mut_arg = arg;
+            mut_value = fn(arg);
+        }
+        return mut_value;
+    };
+};
+const skipWhitespace = (code, from) => {
+    let mut_index = from;
+    while (mut_index < code.length && isWhitespace(code[mut_index])) {
+        mut_index += 1;
+    }
+    return mut_index;
+};
+const skipWhitespaceBackward = (code, end) => {
+    let mut_index = end;
+    while (mut_index > 0 && isWhitespace(code[mut_index - 1])) {
+        mut_index -= 1;
+    }
+    return mut_index;
+};
+const indexOfLineTerminator = (code, from) => {
+    let mut_index = from;
+    while (mut_index < code.length && !isLineTerminator(code[mut_index])) {
+        mut_index += 1;
+    }
+    return mut_index < code.length ? mut_index : -1;
+};
+
+const isWhitespace = (char) => char !== undefined && /^\s$/u.test(char);
+
+const isLineTerminator = (char) => char !== undefined && /^[\n\r\u{2028}\u{2029}]$/u.test(char);
 export const transformSourceCode = (code, isTsx, transformers, debug = false) => {
     const project = new tsm.Project({
         useInMemoryFileSystem: true,
@@ -68,9 +119,10 @@ export const transformSourceCode = (code, isTsx, transformers, debug = false) =>
         },
     });
     const sourceAst = project.createSourceFile(`source.${isTsx ? 'tsx' : 'ts'}`, code);
+    const ignoredTransformers = findFileIgnoreTransformers(code);
     for (const transformer of transformers) {
         const transformerName = transformer.name;
-        if (shouldSkipFile(code, transformerName)) {
+        if (shouldSkipFile(ignoredTransformers, transformerName)) {
             if (debug) {
                 console.debug(`skipped by ignore-file comment for transformer: ${transformerName}`);
             }

package/dist/functions/ast-transformers/transform-source-code.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"transform-source-code.mjs","sourceRoot":"","sources":["../../../src/functions/ast-transformers/transform-source-code.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAGhC,MAAM,6BAA6B,GAAG,CAAC,IAAY,EAAqB,EAAE;IACxE,sEAAsE;IACtE,MAAM,QAAQ,GAAG;QACf;YACE,MAAM,EAAE,oBAAoB;YAC5B,KAAK,EAAE,2CAA2C;SACnD;QACD;YACE,MAAM,EAAE,mBAAmB;YAC3B,KAAK,EAAE,0CAA0C;SAClD;QACD;YACE,MAAM,EAAE,gBAAgB;YACxB,KAAK,EAAE,uCAAuC;SAC/C;QACD;YACE,MAAM,EAAE,kBAAkB;YAC1B,KAAK,EAAE,yCAAyC;SACjD;KACO,CAAC;IAEX,KAAK,MAAM,EAAE,KAAK,EAAE,IAAI,QAAQ,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE/B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAElD,sCAAsC;YACtC,IAAI,kBAAkB,KAAK,EAAE,EAAE,CAAC;gBAC9B,OAAO,EAAE,CAAC;YACZ,CAAC;YAED,0CAA0C;YAC1C,OAAO,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAY,EACZ,eAAmC,EAC1B,EAAE;IACX,MAAM,mBAAmB,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC;IAEhE,oDAAoD;IACpD,MAAM,QAAQ,GAAG;QACf,yCAAyC;QACzC,wCAAwC;QACxC,qCAAqC;QACrC,uCAAuC;KAC/B,CAAC;IAEX,MAAM,oBAAoB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAExE,IAAI,CAAC,oBAAoB,IAAI,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,8FAA8F;IAC9F,IAAI,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,mDAAmD;IACnD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,iDAAiD;IACjD,OAAO,mBAAmB,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAY,EACZ,KAAc,EACd,YAA2C,EAC3C,KAAK,GAAY,KAAK,EACd,EAAE;IACV,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC;QAC9B,qBAAqB,EAAE,IAAI;QAC3B,eAAe,EAAE;YACf,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;YAC7C,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM;YAClC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM;SACjC;KACF,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CACxC,UAAU,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAChC,IAAI,CACL,CAAC;IAEF,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,MAAM,eAAe,GAAG,WAAW,CAAC,IAAI,CAAC;QAEzC,IAAI,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,CAAC;YAC1C,IAAI,KAAK,EAAE,CAAC;gBACV,OAAO,CAAC,KAAK,CACX,mDAAmD,eAAe,EAAE,CACrE,CAAC;YACJ,CAAC;YAED,SAAS;QACX,CAAC;QAED,WAAW,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,SAAS,CAAC,WAAW,EAAE,CAAC;AACjC,CAAC,CAAC"}
+{"version":3,"file":"transform-source-code.mjs","sourceRoot":"","sources":["../../../src/functions/ast-transformers/transform-source-code.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAGhC,MAAM,kBAAkB,GAAG;IACzB,oBAAoB;IACpB,mBAAmB;IACnB,gBAAgB;IAChB,kBAAkB;CACV,CAAC;AAEX;;;;;;;;GAQG;AACH,MAAM,0BAA0B,GAAG,CACjC,IAAY,EACmB,EAAE;IACjC,KAAK,MAAM,MAAM,IAAI,kBAAkB,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAElD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,MAAc,EACiB,EAAE;IACjC,2EAA2E;IAC3E,qCAAqC;IACrC,MAAM,cAAc,GAAG,mBAAmB,CAAC,CAAC,IAAI,EAAE,EAAE,CAClD,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CACzB,CAAC;IAEF,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,CAAC,IAAI,EAAE,EAAE,CACtD,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAClC,CAAC;IAEF,MAAM,aAAa,GAAG,oBAAoB,CAAC,CAAC,UAAkB,EAAE,EAAE,CAChE,sBAAsB,CAAC,IAAI,EAAE,UAAU,CAAC,CACzC,CAAC;IAEF,KACE,IAAI,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EACjC,QAAQ,KAAK,CAAC,CAAC,EACf,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG,CAAC,CAAC,EAC3C,CAAC;QACD,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC;QAEvD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;YAC1C,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAErE,MAAM,UAAU,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;QAE9C,qEAAqE;QACrE,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACtB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC;QAEjE,MAAM,cAAc,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;QAEtD,IAAI,cAAc,KAAK,CAAC,CAAC,IAAI,cAAc,IAAI,QAAQ,EAAE,CAAC;YACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YAE/C,uEAAuE;YACvE,oBAAoB;YACpB,OAAO,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,mBAAkD,EAClD,eAAuB,EACd,EAAE,CACX,mBAAmB,KAAK,SAAS;IACjC,uEAAuE;IACvE,uEAAuE;IACvE,cAAc;IACd,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC;QAC/B,mBAAmB,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;AAEnD;;;GAGG;AACH,MAAM,mBAAmB,GAAG,CAC1B,MAAgC,EACJ,EAAE;IAC9B,IAAI,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAExC,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;IAEnB,OAAO,CAAC,IAAI,EAAE,EAAE;QACd,IAAI,IAAI,GAAG,QAAQ,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC,IAAI,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC;YAC9D,QAAQ,GAAG,IAAI,CAAC;YAEhB,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,EAA2B,EACA,EAAE;IAC7B,IAAI,OAAO,GAAuB,SAAS,CAAC;IAE5C,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,OAAO,CAAC,GAAG,EAAE,EAAE;QACb,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YACpB,OAAO,GAAG,GAAG,CAAC;YAEd,SAAS,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE;IAC5D,IAAI,SAAS,GAAG,IAAI,CAAC;IAErB,OAAO,SAAS,GAAG,IAAI,CAAC,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QAChE,SAAS,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAE,GAAW,EAAU,EAAE;IACnE,IAAI,SAAS,GAAG,GAAG,CAAC;IAEpB,OAAO,SAAS,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,SAAS,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE;IACnE,IAAI,SAAS,GAAG,IAAI,CAAC;IAErB,OAAO,SAAS,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QACrE,SAAS,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF,+CAA+C;AAC/C,MAAM,YAAY,GAAG,CAAC,IAAwB,EAAW,EAAE,CACzD,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE3C,oCAAoC;AACpC,MAAM,gBAAgB,GAAG,CAAC,IAAwB,EAAW,EAAE,CAC7D,IAAI,KAAK,SAAS,IAAI,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE/D,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAY,EACZ,KAAc,EACd,YAA2C,EAC3C,KAAK,GAAY,KAAK,EACd,EAAE;IACV,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC;QAC9B,qBAAqB,EAAE,IAAI;QAC3B,eAAe,EAAE;YACf,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;YAC7C,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM;YAClC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM;SACjC;KACF,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,OAAO,CAAC,gBAAgB,CACxC,UAAU,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAChC,IAAI,CACL,CAAC;IAEF,MAAM,mBAAmB,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAE7D,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,MAAM,eAAe,GAAG,WAAW,CAAC,IAAI,CAAC;QAEzC,IAAI,cAAc,CAAC,mBAAmB,EAAE,eAAe,CAAC,EAAE,CAAC;YACzD,IAAI,KAAK,EAAE,CAAC;gBACV,OAAO,CAAC,KAAK,CACX,mDAAmD,eAAe,EAAE,CACrE,CAAC;YACJ,CAAC;YAED,SAAS;QACX,CAAC;QAED,WAAW,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,SAAS,CAAC,WAAW,EAAE,CAAC;AACjC,CAAC,CAAC"}

package/dist/functions/functions/should-avoid-parentheses-for-readonly.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"should-avoid-parentheses-for-readonly.d.mts","sourceRoot":"","sources":["../../../src/functions/functions/should-avoid-parentheses-for-readonly.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAEhC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,iCAAiC,SAAU,GAAG,CAAC,IAAI,KAAG,OAYlE,CAAC"}
+{"version":3,"file":"should-avoid-parentheses-for-readonly.d.mts","sourceRoot":"","sources":["../../../src/functions/functions/should-avoid-parentheses-for-readonly.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAEhC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,iCAAiC,SAAU,GAAG,CAAC,IAAI,KAAG,OAQlE,CAAC"}

package/dist/functions/functions/should-avoid-parentheses-for-readonly.mjs

@@ -14,13 +14,10 @@ import * as tsm from 'ts-morph';
 
 export const shouldAvoidParenthesesForReadonly = (node) => {
     const parent = node.getParent();
-    if (parent === undefined) {
-        return false;
-    }
 
 
 
 
-    return parent.isKind(tsm.SyntaxKind.TypePredicate);
+    return parent?.isKind(tsm.SyntaxKind.TypePredicate) ?? false;
 };
 //# sourceMappingURL=should-avoid-parentheses-for-readonly.mjs.map

package/dist/functions/functions/should-avoid-parentheses-for-readonly.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"should-avoid-parentheses-for-readonly.mjs","sourceRoot":"","sources":["../../../src/functions/functions/should-avoid-parentheses-for-readonly.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAEhC;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,IAAc,EAAW,EAAE;IAC3E,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAEhC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2CAA2C;IAC3C,mFAAmF;IACnF,gDAAgD;IAChD,mDAAmD;IACnD,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;AACrD,CAAC,CAAC"}
+{"version":3,"file":"should-avoid-parentheses-for-readonly.mjs","sourceRoot":"","sources":["../../../src/functions/functions/should-avoid-parentheses-for-readonly.mts"],"names":[],"mappings":"AAAA,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAEhC;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,IAAc,EAAW,EAAE;IAC3E,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAEhC,2CAA2C;IAC3C,mFAAmF;IACnF,gDAAgD;IAChD,mDAAmD;IACnD,OAAO,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;AAC/D,CAAC,CAAC"}

package/dist/functions/functions/wrap-with-parentheses.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"wrap-with-parentheses.d.mts","sourceRoot":"","sources":["../../../src/functions/functions/wrap-with-parentheses.mts"],"names":[],"mappings":"AAsDA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,mBAAmB,YAAa,MAAM,KAAG,MAQrD,CAAC"}
+{"version":3,"file":"wrap-with-parentheses.d.mts","sourceRoot":"","sources":["../../../src/functions/functions/wrap-with-parentheses.mts"],"names":[],"mappings":"AAsDA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,mBAAmB,YAAa,MAAM,KAAG,MAMrD,CAAC"}

package/dist/functions/functions/wrap-with-parentheses.mjs

@@ -65,9 +65,8 @@ const isWrappedWithParentheses = (str) => {
 
 export const wrapWithParentheses = (nodeStr) => {
     const trimmed = nodeStr.trim();
-    if (isWrappedWithParentheses(trimmed)) {
-        return trimmed;
-    }
-    return `(${trimmed})`;
+    return isWrappedWithParentheses(trimmed)
+        ? trimmed
+        : `(${trimmed})`;
 };
 //# sourceMappingURL=wrap-with-parentheses.mjs.map

package/dist/functions/functions/wrap-with-parentheses.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"wrap-with-parentheses.mjs","sourceRoot":"","sources":["../../../src/functions/functions/wrap-with-parentheses.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEhD,MAAM,eAAe,GAAG,CAAC,IAAwB,EAAU,EAAE;IAC3D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,GAAG;YACN,OAAO,CAAC,CAAC;QAEX,KAAK,GAAG;YACN,OAAO,CAAC,CAAC,CAAC;QAEZ,sEAAsE;QACtE,0DAA0D;QAC1D,KAAK,SAAS,CAAC;QACf;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,wBAAwB,GAAG,CAAC,GAAW,EAAW,EAAE;IACxD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAE3B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,4DAA4D;IAC5D,6DAA6D;IAC7D,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACvD,SAAS,IAAI,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QAEhD,kFAAkF;QAClF,IAAI,SAAS,KAAK,CAAC,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAe,EAAU,EAAE;IAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAE/B,IAAI,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,OAAO,GAAY,CAAC;AACjC,CAAC,CAAC"}
+{"version":3,"file":"wrap-with-parentheses.mjs","sourceRoot":"","sources":["../../../src/functions/functions/wrap-with-parentheses.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEhD,MAAM,eAAe,GAAG,CAAC,IAAwB,EAAU,EAAE;IAC3D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,GAAG;YACN,OAAO,CAAC,CAAC;QAEX,KAAK,GAAG;YACN,OAAO,CAAC,CAAC,CAAC;QAEZ,sEAAsE;QACtE,0DAA0D;QAC1D,KAAK,SAAS,CAAC;QACf;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,wBAAwB,GAAG,CAAC,GAAW,EAAW,EAAE;IACxD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAE3B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,4DAA4D;IAC5D,6DAA6D;IAC7D,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACvD,SAAS,IAAI,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QAEhD,kFAAkF;QAClF,IAAI,SAAS,KAAK,CAAC,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAe,EAAU,EAAE;IAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAE/B,OAAO,wBAAwB,CAAC,OAAO,CAAC;QACtC,CAAC,CAAC,OAAO;QACT,CAAC,CAAE,IAAI,OAAO,GAAa,CAAC;AAChC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-codemod-lib",
-  "version": "3.3.2",
+  "version": "3.4.0",
   "private": false,
   "keywords": [
     "typescript",
@@ -43,39 +43,39 @@
     "ts-type-forge": "^9.2.2"
   },
   "devDependencies": {
-    "@types/node": "26.5.0",
-    "@vitest/browser-playwright": "5.0.0",
-    "@vitest/coverage-v8": "5.0.0",
-    "@vitest/ui": "5.0.0",
-    "cspell": "10.2.1",
+    "@types/node": "26.6.3",
+    "@vitest/browser-playwright": "5.0.2",
+    "@vitest/coverage-v8": "5.0.2",
+    "@vitest/ui": "5.0.2",
+    "cspell": "10.3.5",
     "dedent": "1.7.2",
     "esbuild": "0.28.2",
-    "eslint": "10.9.1",
-    "eslint-config-typed": "5.11.7",
-    "eslint-plugin-ts-data-forge": "0.7.4",
-    "eslint-plugin-ts-fortress": "1.2.2",
-    "eslint-plugin-ts-type-forge": "0.8.3",
+    "eslint": "10.11.0",
+    "eslint-config-typed": "5.16.0",
+    "eslint-plugin-ts-data-forge": "0.8.2",
+    "eslint-plugin-ts-fortress": "1.2.4",
+    "eslint-plugin-ts-type-forge": "0.8.5",
     "jiti": "2.7.0",
     "npm-run-all2": "9.0.3",
-    "playwright": "1.62.1",
-    "prettier": "3.9.6",
+    "playwright": "1.63.0",
+    "prettier": "3.9.9",
     "prettier-plugin-organize-imports": "4.3.0",
     "prettier-plugin-packagejson": "3.0.2",
-    "ts-repo-utils": "10.6.2",
-    "tsx": "4.23.13",
+    "ts-repo-utils": "10.7.1",
+    "tsx": "4.23.15",
     "typedoc": "0.28.20",
     "typedoc-github-theme": "0.4.0",
     "typescript": "6.0.3",
     "typescript-native": "npm:typescript@7.0.2",
-    "vite": "8.2.2",
-    "vitest": "5.0.0"
+    "vite": "8.3.1",
+    "vitest": "5.0.2"
   },
   "engines": {
     "node": ">=22.22.2",
     "pnpm": ">=9.0.0"
   },
   "volta": {
-    "node": "26.8.1"
+    "node": "26.10.0"
   },
   "publishConfig": {
     "access": "public",
@@ -83,38 +83,39 @@
   },
   "scripts": {
     "build": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/cmd/build.mts",
-    "build:min": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/cmd/build.mts --skip-check",
+    "check:cspell": "cspell \"**\" --gitignore --gitignore-root ../../ --no-progress",
+    "check:dist": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/cmd/check-dist.mts",
     "check:ext": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/cmd/check-ext.mts",
+    "check:lint": "eslint .",
+    "check:test": "pnpm run z:vitest:node run",
+    "check:test:browser": "pnpm run z:vitest --project='Browser' run",
+    "check:test:cov": "pnpm run z:vitest:node run --coverage",
+    "check:types": "node ../../node_modules/typescript-native/bin/tsc --noEmit",
     "check-all": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/cmd/check-all.mts",
     "clean": "pnpm run /clean:.*/",
     "clean:logs": "npx rimraf ./*.log",
-    "codemod": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../ts-codemod-cli/src/cmd/ts-codemod.mts --uncommitted --transformer append-as-const --transformer convert-interface-to-type --transformer convert-to-readonly --transformer replace-any-with-unknown --transformer replace-record-with-unknown-record '{src,scripts,samples,test}/**/*.{mts,tsx}' && pnpm run fmt",
-    "codemod:diff": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../ts-codemod-cli/src/cmd/ts-codemod.mts --diff-from origin/main --transformer append-as-const --transformer convert-interface-to-type --transformer convert-to-readonly --transformer replace-any-with-unknown --transformer replace-record-with-unknown-record '{src,scripts,samples,test}/**/*.{mts,tsx}' && pnpm run fmt",
-    "codemod:full": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../ts-codemod-cli/src/cmd/ts-codemod.mts --transformer append-as-const --transformer convert-interface-to-type --transformer convert-to-readonly --transformer replace-any-with-unknown --transformer replace-record-with-unknown-record '{src,scripts,samples,test}/**/*.{mts,tsx}' && pnpm run fmt",
-    "cspell": "cspell \"**\" --gitignore --gitignore-root ../../ --no-progress",
     "doc": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/cmd/gen-docs.mts",
-    "doc:embed": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/cmd/embed-examples.mts",
-    "doc:embed:jsdoc": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/cmd/embed-examples-in-jsdoc.mts",
     "doc:preview": "vite preview --config ./configs/vite.doc.config.mts",
-    "doc:watch": "typedoc --options ./configs/typedoc.config.mjs --watch",
-    "fmt": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../../libs/ts-repo-utils/src/cmd/format-uncommitted.mts --cwd .",
-    "fmt:diff": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../../libs/ts-repo-utils/src/cmd/format-diff-from.mts origin/main --cwd .",
-    "fmt:full": "prettier --write .",
-    "gi": "run-s gi:src fmt",
-    "gi:src": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../../libs/ts-repo-utils/src/cmd/gen-index-ts.mts ./src --index-ext .mts --export-ext .mjs --target-ext .mts --target-ext .tsx --exclude entry-point.mts",
-    "lint": "eslint .",
-    "lint:fix": "eslint . --fix",
-    "prepare-release": "run-s fmt build doc",
+    "fix:codemod": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../ts-codemod-cli/src/cmd/ts-codemod.mts --uncommitted --transformer append-as-const --transformer convert-interface-to-type --transformer convert-to-readonly --transformer replace-any-with-unknown --transformer replace-record-with-unknown-record '{src,scripts,samples,test}/**/*.{mts,tsx}' && pnpm run fix:fmt",
+    "fix:codemod:diff": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../ts-codemod-cli/src/cmd/ts-codemod.mts --diff-from origin/main --transformer append-as-const --transformer convert-interface-to-type --transformer convert-to-readonly --transformer replace-any-with-unknown --transformer replace-record-with-unknown-record '{src,scripts,samples,test}/**/*.{mts,tsx}' && pnpm run fix:fmt",
+    "fix:codemod:full": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../ts-codemod-cli/src/cmd/ts-codemod.mts --transformer append-as-const --transformer convert-interface-to-type --transformer convert-to-readonly --transformer replace-any-with-unknown --transformer replace-record-with-unknown-record '{src,scripts,samples,test}/**/*.{mts,tsx}' && pnpm run fix:fmt",
+    "fix:fmt": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../../libs/ts-repo-utils/src/cmd/format-uncommitted.mts --cwd .",
+    "fix:fmt:diff": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../../libs/ts-repo-utils/src/cmd/format-diff-from.mts origin/main --cwd .",
+    "fix:fmt:full": "prettier --write .",
+    "fix:lint": "eslint . --fix",
+    "fmt": "pnpm run fix:fmt",
+    "gen": "run-s gen:index gen:readme gen:jsdoc",
+    "gen:index": "run-s gen:index:src fix:fmt",
+    "gen:index:src": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../../libs/ts-repo-utils/src/cmd/gen-index-ts.mts ./src --index-ext .mts --export-ext .mjs --target-ext .mts --target-ext .tsx --exclude entry-point.mts",
+    "gen:jsdoc": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/cmd/embed-examples-in-jsdoc.mts",
+    "gen:readme": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/cmd/embed-examples.mts",
     "run:test": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/test-code/transform-test-code.mts",
-    "test": "pnpm run z:vitest:node run",
-    "test:browser": "pnpm run z:vitest --project='Browser' run",
-    "test:cov": "pnpm run z:vitest:node run --coverage",
+    "test": "pnpm run check:test",
     "test:cov:ui": "vite preview --outDir ./coverage",
     "test:ui": "pnpm run z:vitest:node --ui",
-    "testw": "pnpm run z:vitest:node watch",
-    "tsc": "node ../../node_modules/typescript-native/bin/tsc --noEmit",
-    "tscw": "node ../../node_modules/typescript-native/bin/tsc --noEmit --watch -p ./tsconfig.json",
-    "type-check": "node ../../node_modules/typescript-native/bin/tsc --noEmit",
+    "watch:doc": "typedoc --options ./configs/typedoc.config.mjs --watch",
+    "watch:test": "pnpm run z:vitest:node watch",
+    "watch:types": "node ../../node_modules/typescript-native/bin/tsc --noEmit --watch -p ./tsconfig.json",
     "z:vitest": "vitest --config ./configs/vitest.config.mts",
     "z:vitest:node": "pnpm run z:vitest --project='Node.js'"
   }

package/src/functions/ast-transformers/append-as-const.mts

@@ -362,28 +362,30 @@ const transformNode = (
     return;
   }
 
-  if (tsm.Node.isConditionalExpression(node)) {
-    // For conditional expressions, traverse both branches in a non-const context
-    transformNode(
-      node.getWhenTrue(),
-      {
-        isDirectUnderConstInitializer: context.isDirectUnderConstInitializer,
-        isUnderConstContext: false,
-      },
-      options,
-    );
+  if (!tsm.Node.isConditionalExpression(node)) {
+    return;
+  }
 
-    transformNode(
-      node.getWhenFalse(),
-      {
-        isDirectUnderConstInitializer: context.isDirectUnderConstInitializer,
-        isUnderConstContext: false,
-      },
-      options,
-    );
+  // For conditional expressions, traverse both branches in a non-const context
+  transformNode(
+    node.getWhenTrue(),
+    {
+      isDirectUnderConstInitializer: context.isDirectUnderConstInitializer,
+      isUnderConstContext: false,
+    },
+    options,
+  );
 
-    // return;
-  }
+  transformNode(
+    node.getWhenFalse(),
+    {
+      isDirectUnderConstInitializer: context.isDirectUnderConstInitializer,
+      isUnderConstContext: false,
+    },
+    options,
+  );
+
+  // return;
 };
 
 /**

package/src/functions/ast-transformers/convert-to-readonly.mts

@@ -1303,6 +1303,7 @@ const transformIntersectionTypeNode = (
 /**
  * - `tr(A | B) |-> tr(A) | tr(B)`
  * - `tr(Readonly<A> | Readonly<B>) |-> Readonly<tr(A) | tr(B)>`
+ * - `tr(DeepReadonly<A> | DeepReadonly<B>) |-> DeepReadonly<tr(A) | tr(B)>`
  */
 const transformUnionTypeNode = (
   // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
@@ -1416,7 +1417,14 @@ const transformUnionOrIntersectionTypeNodeImpl = (
       others,
       (a) =>
         [
-          a.nodes.map((n) => wrapWithParentheses(n.getFullText())),
+          // `&` is deliberately not merged, unlike `Readonly<A> & Readonly<B>`
+          // above. See `mergeDeepReadonlyUnionMembers` for why.
+          operator === '|'
+            ? mergeDeepReadonlyUnionMembers(
+                a.nodes,
+                options.DeepReadonly.typeName,
+              )
+            : a.nodes.map((n) => wrapWithParentheses(n.getFullText())),
           a.firstPosition,
         ] as const,
     ),
@@ -1450,6 +1458,93 @@ const transformUnionOrIntersectionTypeNodeImpl = (
   );
 };
 
+/**
+ * - `tr(DeepReadonly<A> | B | DeepReadonly<C>) |-> DeepReadonly<A | C> | B`
+ *
+ * The merged member takes the place of the first `DeepReadonly` member.
+ *
+ * Only a union is merged, although `Readonly<A> & Readonly<B>` is merged into
+ * `Readonly<A & B>`. The two differ in kind:
+ *
+ * - `Readonly` is a homomorphic mapped type, and over type literals
+ *   `Readonly<A & B>` and `Readonly<A> & Readonly<B>` have the same properties
+ *   with the same modifiers. (That merge also takes `Readonly<T>` with any
+ *   `T`, where this does not hold for an array `T`; it is not relied on here.)
+ * - `DeepReadonly` is a conditional type that picks a branch by what `T` is
+ *   (primitive, function, Map, Set, array, object). It distributes over a union
+ *   because each member is tested on its own, but an intersection is tested as
+ *   a whole and matches every branch any one member matches: with
+ *   `F = () => void`, `F & { x: number[] }` extends a function type because `F`
+ *   does, so `DeepReadonly<F & { x: number[] }>` hits that branch and returns
+ *   the intersection unchanged, leaving `x` mutable, while `DeepReadonly<F> &
+ *   DeepReadonly<{ x: number[] }>` is `F & { readonly x: readonly number[] }`.
+ *   The codemod cannot tell whether a type argument is such a member, so it
+ *   merges no intersection.
+ *
+ * The test "premises of merging DeepReadonly members" pins both facts against
+ * ts-type-forge's `DeepReadonly`.
+ */
+const mergeDeepReadonlyUnionMembers = (
+  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+  nodes: readonly tsm.TypeNode[],
+  deepReadonlyTypeName: string,
+): readonly string[] => {
+  const typeArgsOfDeepReadonly = nodes.map((n) =>
+    getDeepReadonlyTypeArg(n, deepReadonlyTypeName),
+  );
+
+  const typeArgs = typeArgsOfDeepReadonly.filter((t) => t !== undefined);
+
+  if (typeArgs.length < 2) {
+    return nodes.map((n) => wrapWithParentheses(n.getFullText()));
+  }
+
+  const firstIndex = typeArgsOfDeepReadonly.findIndex((t) => t !== undefined);
+
+  const merged = unionToString({
+    types: typeArgs.map((t_) => {
+      const t = removeParentheses(t_);
+
+      // NOTE: DeepReadonly<A | B> | DeepReadonly<C> -> DeepReadonly<A | B | C>
+      // NOTE: DeepReadonly<() => void> | DeepReadonly<B> -> DeepReadonly<(() => void) | B>
+      return t.isKind(tsm.SyntaxKind.UnionType)
+        ? t.getFullText()
+        : wrapWithParentheses(t.getFullText());
+    }),
+    op: '|',
+    wrapWithReadonly: deepReadonlyTypeName,
+  });
+
+  return nodes.flatMap((n, i) =>
+    typeArgsOfDeepReadonly[i] === undefined
+      ? [wrapWithParentheses(n.getFullText())]
+      : i === firstIndex
+        ? [merged]
+        : [],
+  );
+};
+
+/** `DeepReadonly<T>` |-> `T`, anything else |-> `undefined` */
+const getDeepReadonlyTypeArg = (
+  // eslint-disable-next-line @typescript-eslint/prefer-readonly-parameter-types
+  node: tsm.TypeNode,
+  deepReadonlyTypeName: string,
+): tsm.TypeNode | undefined => {
+  if (!node.isKind(tsm.SyntaxKind.TypeReference)) {
+    return undefined;
+  }
+
+  const typeName = node.getTypeName();
+
+  const typeArguments = node.getTypeArguments();
+
+  return typeName.isKind(tsm.SyntaxKind.Identifier) &&
+    typeName.getText() === deepReadonlyTypeName &&
+    Arr.isFixedLengthArray(1, typeArguments)
+    ? typeArguments[0]
+    : undefined;
+};
+
 const unionToString = ({
   types: typesRaw,
   op,