Typescript: Remove entries from tuple type

by

Got it! But it need a lot of recursive magic:

type PrependTuple<A, T extends Array<any>> =
  A extends undefined ? T : 
  (((a: A, ...b: T) => void) extends (...a: infer I) => void ? I : [])

type RemoveFirstFromTuple<T extends any[]> = 
  T['length'] extends 0 ? undefined :
  (((...b: T) => void) extends (a, ...b: infer I) => void ? I : [])

type FirstFromTuple<T extends any[]> =
  T['length'] extends 0 ? undefined : T[0]

type NumberToTuple<N extends number, L extends Array<any> = []> = {
  true: L;
  false: NumberToTuple<N, PrependTuple<1, L>>;
}[L['length'] extends N ? "true" : "false"];

type Decrease<I extends number> = RemoveFirstFromTuple<NumberToTuple<I>>['length']
type H = Decrease<4>

type Iter<N extends number, Items extends any[], L extends Array<any> = []> = {
  true: L;
  false: Iter<FirstFromTuple<Items> extends undefined ? Decrease<N> : N, RemoveFirstFromTuple<Items>, PrependTuple<FirstFromTuple<Items>, L>>;
}[L["length"] extends N ? "true" : "false"];

type FilterUndefined<T extends any[]> = Iter<T['length'], T>
type I = [number, string, undefined, number];
type R = FilterUndefined<I>

Playground

How it works:

PrependToTuple is util that takes item A and list T and add it on first place when A is not undefined. PrependToTuple<undefined, []> => [], PrependToTuple<undefined, [number]> => [number]

RemoveFirstFromTuple works pretty mach i the same way

NumberToTuple is recursively check if length of final Tuple is N, if
not he add 1 to recursive call. This util is needed to create Decrease util.

And the most important z Iter works like recursive loop, when length of final tuple is N (size of Input) its return Output, but PrependToTuple is not increasing length when we try do add undefined, so when Iter<FirstFromTuple<Items> extends undefined we have to decrease N.

More Related Contents:

  1. How to transform union type to tuple type
  2. How to use array.map with tuples in typescript?
  3. get dictionary/object keys as tuple in typescript
  4. Element implicitly has an ‘any’ type because expression of type ‘string’ can’t be used to index
  5. TypeScript function overloading
  6. How can I see the full expanded contract of a Typescript type?
  7. How do you emulate nominal typing in TypeScript?
  8. Typescript: check if a type is a union
  9. How do you produce a .d.ts “typings” definition file from an existing JavaScript library?
  10. TypeScript – extract interface members only – possible?
  11. Combining generics with index type
  12. Why can Typescript not figure out the type in my code?
  13. How to overwrite incorrect TypeScript type definition installed via @types/package
  14. TypeScript TS7015 error when accessing an enum using a string type parameter
  15. DeepReadonly Object Typescript
  16. Property ‘includes’ does not exist on type ‘string[]’
  17. How do I import other TypeScript files?
  18. Typescript: Cannot use import statement outside a module
  19. ‘this’ implicitly has type ‘any’ because it does not have a type annotation
  20. TypeScript class implements class with private functions
  21. how to debug typescript files in visual studio code
  22. Is there a way to create nominal types in TypeScript that extend primitive types?
  23. Typescript: Retrieve element type information from array type
  24. Hide .js.map files in Visual Studio Code: File Nesting
  25. using absolute paths in typescript for imports
  26. TypeScript interfaces not enforcing properties when an object is assigned
  27. Can I reuse the parameter definition of a function in Typescript?
  28. Iterable cannot confirm generic T in function
  29. Why TypeScript lets me add a string and a number? Can I prevent it?
  30. A way to mark arbitrary strings in Typescript Template Literals

Leave a Comment