Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

type-challenges-solutions/en/medium-unique #309

Open
utterances-bot opened this issue Nov 24, 2022 · 1 comment
Open

type-challenges-solutions/en/medium-unique #309

utterances-bot opened this issue Nov 24, 2022 · 1 comment

Comments

@utterances-bot
Copy link

Unique

This project is aimed at helping you better understand how the type system works, writing your own utilities, or just having fun with the challenges.

https://ghaiklor.github.io/type-challenges-solutions/en/medium-unique.html

Copy link

The solution now fails the last two cases.

Expect<Equal<Unique<[string, number, 1, 'a', 1, string, 2, 'b', 2, number]>, [string, number, 1, 'a', 2, 'b']>>,
Expect<Equal<Unique<[unknown, unknown, any, any, never, never]>, [unknown, any, never]>>,

They must be added after your solution.

The newest solution would be like

type IsElemInSet<E, S extends unknown[]> = 
  S extends [infer Head, ...infer Rest extends unknown[]]
    ? Equal<E, Head> extends true
      ? true
      : IsElemInSet<E, Rest>
    : false

type Unique<T extends unknown[], Acc extends unknown[] = []> =
  T extends [infer First, ...infer Rest extends unknown[]]
    ? IsElemInSet<First, Acc> extends true
      ? Unique<Rest, Acc>
      : Unique<Rest, [...Acc, First]>
    : Acc

see issue

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants