Índice de tipos
Una página por tipo. La definición se cita del compilador que usas, los ejemplos se compilan y sus tipos resueltos se comparan, y cada entrada dice lo que no hace.
27 entradas · definiciones y ejemplos comprobados contra TypeScript 5.9.3 al construir
Formas de objeto
- Partial
Partial<T>Hace opcional cada propiedad de un objeto, un nivel de profundidad. - Required
Required<T>Elimina `?` de cada propiedad, un nivel de profundidad. - Pick
Pick<T, K extends keyof T>Conserva solo las claves nombradas, y comprueba que existan. - Omit
Omit<T, K extends keyof any>Descarta las claves nombradas — y, a diferencia de `Pick`, no le importa si alguna vez estuvieron. - Record
Record<K extends keyof any, T>Construye un tipo de objeto a partir de un conjunto de claves y un tipo de valor.
Uniones
Funciones
- ReturnType
ReturnType<T extends (...args: any) => any>El tipo que devuelve una función. - Parameters
Parameters<T extends (...args: any) => any>La lista de parámetros de una función, como una tupla. - InstanceType
InstanceType<T extends abstract new (...args: any) => any>Lo que produce un constructor cuando lo llamas con `new`.
Cadenas
- Uppercase
Uppercase<S extends string>Pone en mayúsculas un tipo literal de cadena. - Lowercase
Lowercase<S extends string>Pone en minúsculas un tipo literal de cadena. - Capitalize
Capitalize<S extends string>Pone en mayúscula el primer carácter y deja el resto igual. - Uncapitalize
Uncapitalize<S extends string>Pone en minúscula el primer carácter y deja el resto igual.
Asíncrono
Operadores
- keyof
keyof TLa unión de las claves de un tipo. - typeof
typeof valueEl puente de un valor a su tipo. - T[K]
T[K]Lee el tipo de una propiedad de un tipo de objeto. - infer
T extends Pattern<infer U> ? U : neverDeclara una variable que el compilador rellena al encajar un patrón. - satisfies
value satisfies ConstraintComprueba un valor contra un tipo sin ensancharlo a ese tipo. - as const
value as constImpide que el compilador ensanche un literal a su tipo general.
Construcciones
- Mapped types
{ [K in Keys]: Value }Un bucle sobre una unión de claves que construye un tipo de objeto. - Conditional types
T extends U ? X : YEl `if` a nivel de tipos. La pregunta que hace es siempre la asignabilidad. - Template literal types
`prefix${T}suffix`Interpolación de cadenas a nivel de tipos — y, leída al revés, encaje de patrones sobre cadenas. - Variadic tuples
[Head, ...Rest]Esparcir y encajar tuplas por posición, que es como el nivel de tipos maneja listas. - Variance annotations
interface Box<in out T>`in` y `out` declaran cómo se comporta un genérico cuando su parámetro cambia — algo que TypeScript deduce solo por su cuenta.