Permutation<U>
Union型を、順列の配列に変換
これで中級なん!?になった
練習としてやるなら先にIsUnion<T>をやってみるといい
似た知識が必要で
IsUnion の方が簡単Combination<U>もほしくなるな
使用例
tstype Perm = Permutation<'A' | 'B' | 'C'>;
/**
* ['A', 'B', 'C']
* | ['A', 'C', 'B']
* | ['B', 'A', 'C']
* | ['B', 'C', 'A']
* | ['C', 'A', 'B']
* | ['C', 'B', 'A']
*/定義
tstype Permutation<T, U = T> =
[T] extends [never] ? []
: T extends T ? [T, ...Permutation<Exclude<U, T>>]
: never; [T] extends [never] 単純に、
T が never かどうか？の条件分岐を書きたいしかし、単純に
T extends never とは書けないそこで、［U］ extends ..でdistributeを避けるを使ってtupleにしている
T extends T T extends T ? [..] の形なので、「配列のunion」にしている型引数
U 「分配前の
T 」を保存するために型引数 U を定義している分配されて
T=1 の時に着目すると、 T extends T の ? 節は、 [1, ...Permutaion<2|3>] になる Permutation<2|3> は、 [2,3]|[3,2] なので、結果として
[1,2,3]|[1,3,2] になる考え方
まず大枠を見れば、(文字の)Union→(配列の)Unionの変換であることから
UnionからUnionへの型レベルmapが使えると推測できる
すると、distributeされるので、例えば
T=1 の時に着眼できる後は、tail(
2|3 )と再帰を使っていい感じにやろう〜ってことか難し〜〜
U=TとExcludeを使ったUnion tailのパターンは他でも応用が効くような気もする
一応リンクしておく
参考
詳しい解説
ぐぐったら引数が配列のやつも出てきた
多分古いのでもうちょい簡潔に書ける