@cuppachino/type-space
Version:
A collection of type utilities for TypeScript.
19 lines (18 loc) • 922 B
TypeScript
import type { IgnoreMutability } from '../index.js';
import type { UnknownArray } from '../unknown-array';
/**
* Create a tuple type with the last element removed. Does not return the removed type.
*
* @remarks Its worth noting `Pop`, `Push`, `Shift`, and `Unshift` are inspired by JS; however, the types are not 1:1 for design reasons. More information can be found in [README](https://github.com/Cuppachino/type-space/#type-space).
* @see `Last` if you need the type of the last element (like `Array.prototype.pop`)
* @example
* ```
* declare const tuple: [1, 2, 3]
* type Tuple = Pop<typeof tuple> // [1, 2]
* ```
*/
export type Pop<T extends UnknownArray> = IgnoreMutability<T> extends T ? PopReadonly<T> : [T] extends [[...infer R, any]] ? R : [T];
type PopReadonly<T extends readonly unknown[]> = [T] extends [
readonly [...infer R extends readonly unknown[], any]
] ? readonly [...R] : [];
export {};