Hideaki Noshiro

同じ内容を記事にしたので削除 
→ <a href="https://zenn.dev/noshiro_piko/articles/typescript-type-utilities" target="_blank">https://zenn.dev/noshiro_piko/articles/typescript-type-utilities</a>

型が <code>never</code> かどうか判定する関数
<div class="code-block-container"><pre class="language-ts"><code class="language-ts">type IsNever&lt;T&gt; = [T] extends [never] ? true : false;
</code></pre></div>［解説」 <code>T extends never</code> だと union distribution により <code>IsNever&lt;never&gt;</code> が <code>never</code> になってしまうため、タプル型にして union distribution を回避する。
<div class="code-block-container"><pre class="language-ts"><code class="language-ts">expectType&lt;IsNever&lt;never&gt;, true&gt;('=');
expectType&lt;IsNever&lt;string&gt;, false&gt;('=');
expectType&lt;IsNever&lt;number | string&gt;, false&gt;('=');
expectType&lt;IsNever&lt;[number | string]&gt;, false&gt;('=');
</code></pre></div>関連： <a href="https://github.com/type-challenges/type-challenges/blob/main/questions/01042-medium-isnever/README.md" target="_blank" rel="nofollow noopener noreferrer">type-challenges - IsNever</a>

ほぼ私のライブラリ <a href="https://github.com/noshiro-pf/mono/tree/main/packages/utils/ts-type-utils-no-stdlib" target="_blank" rel="nofollow noopener noreferrer">ts-type-utils-no-stdlib</a> と <a href="https://github.com/noshiro-pf/mono/tree/main/packages/utils/ts-type-utils" target="_blank" rel="nofollow noopener noreferrer">ts-type-utils</a> からの抜粋です（都合によりstdlib に依存するかどうかでパッケージを分けています）。
リンク集
<ul>
<li><a href="https://github.com/type-challenges/type-challenges" target="_blank" rel="nofollow noopener noreferrer">https://github.com/type-challenges/type-challenges</a></li>
</ul>

型が union 型かどうか判定する関数
<div class="code-block-container"><pre class="language-ts"><code class="language-ts">type IsUnion&lt;U&gt; = _IsUnionImpl&lt;U&gt;;

/** @internal */
type _IsUnionImpl&lt;U, K extends U = U&gt; = [U] extends [never]
 ? false
 : K extends unknown
 ? IsNever&lt;Exclude&lt;U, K&gt;&gt; extends true
 ? false
 : true
 : never;
</code></pre></div><div class="code-block-container"><pre class="language-ts"><code class="language-ts">expectType&lt;IsUnion&lt;never&gt;, false&gt;('=');
expectType&lt;IsUnion&lt;string&gt;, false&gt;('=');
expectType&lt;IsUnion&lt;number | string&gt;, true&gt;('=');
expectType&lt;IsUnion&lt;[number | string]&gt;, false&gt;('=');
</code></pre></div>

<div class="code-block-container"><pre class="language-ts"><code class="language-ts">type ToNumber&lt;S extends `${number}`&gt; =
 S extends `${infer N extends number}` ? N : never;
</code></pre></div><div class="code-block-container"><pre class="language-ts"><code class="language-ts">expectType&lt;ToNumber&lt;'1000'&gt;, 1000&gt;('=');
expectType&lt;ToNumber&lt;'8192'&gt;, 8192&gt;('=');
expectType&lt;ToNumber&lt;'9999'&gt;, 9999&gt;('=');
expectType&lt;ToNumber&lt;'10000'&gt;, 10000&gt;('=');
</code></pre></div>注意： TypeScript 4.8 でのみ使用可。 
<iframe id="zenn-embedded__304bb15a2ed8a" src="https://embed.zenn.studio/card#zenn-embedded__304bb15a2ed8a" data-content="https%3A%2F%2Fwww.typescriptlang.org%2Fdocs%2Fhandbook%2Frelease-notes%2Ftypescript-4-8.html%23improved-inference-for-infer-types-in-template-string-types" frameborder="0" scrolling="no" loading="lazy"></iframe><a href="https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-8.html#improved-inference-for-infer-types-in-template-string-types" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-8.html#improved-inference-for-infer-types-in-template-string-types</a> 
それ以前の場合は tuple 型を経由して <code>"length"</code> プロパティを取り出すという大掛かりな実装が必要になる。

論理演算
<div class="code-block-container"><pre class="language-ts"><code class="language-ts">export type BoolNot&lt;A extends boolean&gt; =
 //
 TypeEq&lt;A, true&gt; extends true
 ? false
 : TypeEq&lt;A, false&gt; extends true
 ? true
 : never;

export type BoolAnd&lt;A extends boolean, B extends boolean&gt; =
 //
 TypeEq&lt;A, true&gt; extends true
 ? TypeEq&lt;B, true&gt; extends true
 ? true
 : TypeEq&lt;B, false&gt; extends true
 ? false
 : never
 : TypeEq&lt;A, false&gt; extends true
 ? TypeEq&lt;B, true&gt; extends true
 ? false
 : TypeEq&lt;B, false&gt; extends true
 ? false
 : never
 : never;

export type BoolOr&lt;A extends boolean, B extends boolean&gt; =
 //
 TypeEq&lt;A, true&gt; extends true
 ? TypeEq&lt;B, true&gt; extends true
 ? true
 : TypeEq&lt;B, false&gt; extends true
 ? true
 : never
 : TypeEq&lt;A, false&gt; extends true
 ? TypeEq&lt;B, true&gt; extends true
 ? true
 : TypeEq&lt;B, false&gt; extends true
 ? false
 : never
 : never;

export type BoolEq&lt;A extends boolean, B extends boolean&gt; =
 //
 TypeEq&lt;A, true&gt; extends true
 ? TypeEq&lt;B, true&gt; extends true
 ? true
 : TypeEq&lt;B, false&gt; extends true
 ? false
 : never
 : TypeEq&lt;A, false&gt; extends true
 ? TypeEq&lt;B, true&gt; extends true
 ? false
 : TypeEq&lt;B, false&gt; extends true
 ? true
 : never
 : never;

export type BoolNand&lt;A extends boolean, B extends boolean&gt; = BoolNot&lt;
 BoolAnd&lt;A, B&gt;
&gt;;

export type BoolNor&lt;A extends boolean, B extends boolean&gt; = BoolNot&lt;
 BoolOr&lt;A, B&gt;
&gt;;

export type BoolNeq&lt;A extends boolean, B extends boolean&gt; = BoolNot&lt;
 BoolEq&lt;A, B&gt;
&gt;;
</code></pre></div>使用例（ユニットテスト）
<iframe id="zenn-embedded__146398d08c7ae" src="https://embed.zenn.studio/github#zenn-embedded__146398d08c7ae" data-content="https%3A%2F%2Fgithub.com%2Fnoshiro-pf%2Fmono%2Fblob%2Fdevelop%2Fpackages%2Futils%2Fts-type-utils-no-stdlib%2Ftest%2Fboolean.ts" frameborder="0" scrolling="no" loading="lazy"></iframe><a href="https://github.com/noshiro-pf/mono/blob/develop/packages/utils/ts-type-utils-no-stdlib/test/boolean.ts" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://github.com/noshiro-pf/mono/blob/develop/packages/utils/ts-type-utils-no-stdlib/test/boolean.ts</a>