archive-gh-me/type-challenges
1
0
Fork 0
mirror of https://github.com/type-challenges/type-challenges.git synced 2026-01-25 14:47:17 +00:00
Code Issues Projects Releases Wiki Activity

fix(869): solves checking should be independent of implementation details (#875)

Browse Source 
Solves checking should be independent of the order in which TypeScript turns unions into tuples (I checked these tests on my solution, they remained consistent).
This commit is contained in:
uid11 2021-02-14 18:57:40 +03:00 committed by GitHub
parent cabe1eeb38
commit ff78df96ec
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 61 additions and 111 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

172
questions/869-extreme-distributeunions/test-cases.ts
View File

@ -4,129 +4,79 @@ type cases = [
// Already distributed unions should stay the same:
Expect<Equal<DistributeUnions<1>, 1>>,
Expect<Equal<DistributeUnions<string>, string>>,
Expect<Equal<UnionToTuple<DistributeUnions<1 | 2>>, [1, 2]>>,
Expect<
Equal<
UnionToTuple<DistributeUnions<'b' | { type: 'a' } | [1]>>,
['b', { type: 'a' }, [1]]
>
>,
Expect<Equal<DistributeUnions<1 | 2>, 1 | 2>>,
Expect<Equal<DistributeUnions<'b' | { type: 'a' } | [1]>, 'b' | { type: 'a' } | [1]>>,
// tuples:
Expect<Equal<UnionToTuple<DistributeUnions<[1 | 2, 3]>>, [[1, 3], [2, 3]]>>,
Expect<Equal<DistributeUnions<[1 | 2, 3]>, [1, 3] | [2, 3]>>,
Expect<Equal<DistributeUnions<[1 | 2, 'a' | 'b']>, [1, 'a'] | [1, 'b'] | [2, 'a'] | [2, 'b']>>,
Expect<
Equal<
UnionToTuple<DistributeUnions<[1 | 2, 'a' | 'b']>>,
[[1, 'a'], [1, 'b'], [2, 'a'], [2, 'b']]
>
>,
Expect<
Equal<
UnionToTuple<DistributeUnions<[1 | 2, 'a' | 'b', false | true]>>,
[
[1, 'a', false],
[1, 'a', true],
[1, 'b', false],
[1, 'b', true],
[2, 'a', false],
[2, 'a', true],
[2, 'b', false],
[2, 'b', true]
]
>
Equal<
DistributeUnions<[1 | 2, 'a' | 'b', false | true]>,
| [1, 'a', false]
| [1, 'a', true]
| [1, 'b', false]
| [1, 'b', true]
| [2, 'a', false]
| [2, 'a', true]
| [2, 'b', false]
| [2, 'b', true]
>
>,
// objects
Expect<
Equal<
UnionToTuple<DistributeUnions<{ x: 'a' | 'b'; y: 'c' | 'd' }>>,
[
{ x: 'a'; y: 'c' },
{ x: 'a'; y: 'd' },
{ x: 'b'; y: 'c' },
{ x: 'b'; y: 'd' }
]
>
Equal<
DistributeUnions<{ x: 'a' | 'b'; y: 'c' | 'd' }>,
{ x: 'a'; y: 'c' } | { x: 'a'; y: 'd' } | { x: 'b'; y: 'c' } | { x: 'b'; y: 'd' }
>
>,
Expect<
Equal<
UnionToTuple<
DistributeUnions<
{ type: 'a'; value: number | string } | { type: 'b'; value: boolean }
>
>,
[
{ type: 'a'; value: string },
{ type: 'a'; value: number },
{ type: 'b'; value: false },
{ type: 'b'; value: true }
]
>
Equal<
DistributeUnions<{ type: 'a'; value: number | string } | { type: 'b'; value: boolean }>,
| { type: 'a'; value: string }
| { type: 'a'; value: number }
| { type: 'b'; value: false }
| { type: 'b'; value: true }
>
>,
Expect<
Equal<
UnionToTuple<
DistributeUnions<
| {
type: 'a';
option: { kind: 'none' } | { kind: 'some'; value: 'x' | 'y' };
}
Equal<
DistributeUnions<
| {
type: 'a';
option: { kind: 'none' } | { kind: 'some'; value: 'x' | 'y' };
}
| { type: 'b'; msg: string }
>,
| { type: 'b'; msg: string }
>
>,
[
{ type: 'b'; msg: string },
{ type: 'a'; option: { kind: 'none' } },
{ type: 'a'; option: { kind: 'some'; value: 'x' } },
{ type: 'a'; option: { kind: 'some'; value: 'y' } }
]
>
| { type: 'a'; option: { kind: 'none' } }
| { type: 'a'; option: { kind: 'some'; value: 'x' } }
| { type: 'a'; option: { kind: 'some'; value: 'y' } }
>
>,
// mixed structures:
Expect<
Equal<
UnionToTuple<
DistributeUnions<
[false | true, { value: 'a' | 'b' }, { x: { y: 2 | 3 } }]
>
>,
[
[false, { value: 'a' }, { x: { y: 2 } }],
[false, { value: 'a' }, { x: { y: 3 } }],
[false, { value: 'b' }, { x: { y: 2 } }],
[false, { value: 'b' }, { x: { y: 3 } }],
[true, { value: 'a' }, { x: { y: 2 } }],
[true, { value: 'a' }, { x: { y: 3 } }],
[true, { value: 'b' }, { x: { y: 2 } }],
[true, { value: 'b' }, { x: { y: 3 } }]
]
>
Equal<
DistributeUnions<[false | true, { value: 'a' | 'b' }, { x: { y: 2 | 3 } }]>,
| [false, { value: 'a' }, { x: { y: 2 } }]
| [false, { value: 'a' }, { x: { y: 3 } }]
| [false, { value: 'b' }, { x: { y: 2 } }]
| [false, { value: 'b' }, { x: { y: 3 } }]
| [true, { value: 'a' }, { x: { y: 2 } }]
| [true, { value: 'a' }, { x: { y: 3 } }]
| [true, { value: 'b' }, { x: { y: 2 } }]
| [true, { value: 'b' }, { x: { y: 3 } }]
>
>,
Expect<
Equal<
UnionToTuple<
DistributeUnions<17 | [10 | { value: 'a' | 'b' }, { x: { y: 2 | 3 } }]>
>,
[
17,
[10, { x: { y: 2 } }],
[10, { x: { y: 3 } }],
[{ value: 'a' }, { x: { y: 2 } }],
[{ value: 'a' }, { x: { y: 3 } }],
[{ value: 'b' }, { x: { y: 2 } }],
[{ value: 'b' }, { x: { y: 3 } }]
]
>
>
];
type UnionToIntersection<U> = (
U extends any ? (k: U) => void : never
) extends (k: infer I) => void
? I
: never
type UnionToTuple<T> = UnionToIntersection<
T extends any ? (t: T) => T : never
> extends (_: any) => infer W
? [...UnionToTuple<Exclude<T, W>>, W]
: [];
Equal<
DistributeUnions<17 | [10 | { value: 'a' | 'b' }, { x: { y: 2 | 3 } }]>,
| 17
| [10, { x: { y: 2 } }]
| [10, { x: { y: 3 } }]
| [{ value: 'a' }, { x: { y: 2 } }]
| [{ value: 'a' }, { x: { y: 3 } }]
| [{ value: 'b' }, { x: { y: 2 } }]
| [{ value: 'b' }, { x: { y: 3 } }]
>
>,
];