You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

readme.md 30KB

1 year ago
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658
  1. <div align="center">
  2. <br>
  3. <br>
  4. <img src="media/logo.svg" alt="type-fest" height="300">
  5. <br>
  6. <br>
  7. <b>A collection of essential TypeScript types</b>
  8. <br>
  9. <hr>
  10. </div>
  11. <br>
  12. <br>
  13. [![](https://img.shields.io/badge/unicorn-approved-ff69b4.svg)](https://giphy.com/gifs/illustration-rainbow-unicorn-26AHG5KGFxSkUWw1i)
  14. <!-- Commented out until they actually show anything
  15. [![npm dependents](https://badgen.net/npm/dependents/type-fest)](https://www.npmjs.com/package/type-fest?activeTab=dependents) [![npm downloads](https://badgen.net/npm/dt/type-fest)](https://www.npmjs.com/package/type-fest)
  16. -->
  17. Many of the types here should have been built-in. You can help by suggesting some of them to the [TypeScript project](https://github.com/Microsoft/TypeScript/blob/master/CONTRIBUTING.md).
  18. Either add this package as a dependency or copy-paste the needed types. No credit required. 👌
  19. PR welcome for additional commonly needed types and docs improvements. Read the [contributing guidelines](.github/contributing.md) first.
  20. ## Install
  21. ```
  22. $ npm install type-fest
  23. ```
  24. *Requires TypeScript >=3.4*
  25. ## Usage
  26. ```ts
  27. import {Except} from 'type-fest';
  28. type Foo = {
  29. unicorn: string;
  30. rainbow: boolean;
  31. };
  32. type FooWithoutRainbow = Except<Foo, 'rainbow'>;
  33. //=> {unicorn: string}
  34. ```
  35. ## API
  36. Click the type names for complete docs.
  37. ### Basic
  38. - [`Primitive`](source/basic.d.ts) - Matches any [primitive value](https://developer.mozilla.org/en-US/docs/Glossary/Primitive).
  39. - [`Class`](source/basic.d.ts) - Matches a [`class` constructor](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Classes).
  40. - [`TypedArray`](source/basic.d.ts) - Matches any [typed array](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/TypedArray), like `Uint8Array` or `Float64Array`.
  41. - [`JsonObject`](source/basic.d.ts) - Matches a JSON object.
  42. - [`JsonArray`](source/basic.d.ts) - Matches a JSON array.
  43. - [`JsonValue`](source/basic.d.ts) - Matches any valid JSON value.
  44. - [`ObservableLike`](source/basic.d.ts) - Matches a value that is like an [Observable](https://github.com/tc39/proposal-observable).
  45. ### Utilities
  46. - [`Except`](source/except.d.ts) - Create a type from an object type without certain keys. This is a stricter version of [`Omit`](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-5.html#the-omit-helper-type).
  47. - [`Mutable`](source/mutable.d.ts) - Convert an object with `readonly` keys into a mutable object. The inverse of `Readonly<T>`.
  48. - [`Merge`](source/merge.d.ts) - Merge two types into a new type. Keys of the second type overrides keys of the first type.
  49. - [`MergeExclusive`](source/merge-exclusive.d.ts) - Create a type that has mutually exclusive keys.
  50. - [`RequireAtLeastOne`](source/require-at-least-one.d.ts) - Create a type that requires at least one of the given keys.
  51. - [`RequireExactlyOne`](source/require-exactly-one.d.ts) - Create a type that requires exactly a single key of the given keys and disallows more.
  52. - [`PartialDeep`](source/partial-deep.d.ts) - Create a deeply optional version of another type. Use [`Partial<T>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1401-L1406) if you only need one level deep.
  53. - [`ReadonlyDeep`](source/readonly-deep.d.ts) - Create a deeply immutable version of an `object`/`Map`/`Set`/`Array` type. Use [`Readonly<T>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1415-L1420) if you only need one level deep.
  54. - [`LiteralUnion`](source/literal-union.d.ts) - Create a union type by combining primitive types and literal types without sacrificing auto-completion in IDEs for the literal type part of the union. Workaround for [Microsoft/TypeScript#29729](https://github.com/Microsoft/TypeScript/issues/29729).
  55. - [`Promisable`](source/promisable.d.ts) - Create a type that represents either the value or the value wrapped in `PromiseLike`.
  56. - [`Opaque`](source/opaque.d.ts) - Create an [opaque type](https://codemix.com/opaque-types-in-javascript/).
  57. - [`SetOptional`](source/set-optional.d.ts) - Create a type that makes the given keys optional.
  58. - [`SetRequired`](source/set-required.d.ts) - Create a type that makes the given keys required.
  59. - [`ValueOf`](source/value-of.d.ts) - Create a union of the given object's values, and optionally specify which keys to get the values from.
  60. - [`PromiseValue`](source/promise-value.d.ts) - Returns the type that is wrapped inside a `Promise`.
  61. - [`AsyncReturnType`](source/async-return-type.d.ts) - Unwrap the return type of a function that returns a `Promise`.
  62. - [`ConditionalKeys`](source/conditional-keys.d.ts) - Extract keys from a shape where values extend the given `Condition` type.
  63. - [`ConditionalPick`](source/conditional-pick.d.ts) - Like `Pick` except it selects properties from a shape where the values extend the given `Condition` type.
  64. - [`ConditionalExcept`](source/conditional-except.d.ts) - Like `Omit` except it removes properties from a shape where the values extend the given `Condition` type.
  65. - [`UnionToIntersection`](source/union-to-intersection.d.ts) - Convert a union type to an intersection type.
  66. - [`Stringified`](source/stringified.d.ts) - Create a type with the keys of the given type changed to `string` type.
  67. - [`FixedLengthArray`](source/fixed-length-array.d.ts) - Create a type that represents an array of the given type and length.
  68. - [`IterableElement`](source/iterable-element.d.ts) - Get the element type of an `Iterable`/`AsyncIterable`. For example, an array or a generator.
  69. - [`Entry`](source/entry.d.ts) - Create a type that represents the type of an entry of a collection.
  70. - [`Entries`](source/entries.d.ts) - Create a type that represents the type of the entries of a collection.
  71. - [`SetReturnType`](source/set-return-type.d.ts) - Create a function type with a return type of your choice and the same parameters as the given function type.
  72. - [`Asyncify`](source/asyncify.d.ts) - Create an async version of the given function type.
  73. ### Template literal types
  74. *Note:* These require [TypeScript 4.1 or newer](https://devblogs.microsoft.com/typescript/announcing-typescript-4-1/#template-literal-types).
  75. - [`CamelCase`](ts41/camel-case.d.ts) – Convert a string literal to camel-case (`fooBar`).
  76. - [`KebabCase`](ts41/kebab-case.d.ts) – Convert a string literal to kebab-case (`foo-bar`).
  77. - [`PascalCase`](ts41/pascal-case.d.ts) – Converts a string literal to pascal-case (`FooBar`)
  78. - [`SnakeCase`](ts41/snake-case.d.ts) – Convert a string literal to snake-case (`foo_bar`).
  79. - [`DelimiterCase`](ts41/delimiter-case.d.ts) – Convert a string literal to a custom string delimiter casing.
  80. ### Miscellaneous
  81. - [`PackageJson`](source/package-json.d.ts) - Type for [npm's `package.json` file](https://docs.npmjs.com/creating-a-package-json-file).
  82. - [`TsConfigJson`](source/tsconfig-json.d.ts) - Type for [TypeScript's `tsconfig.json` file](https://www.typescriptlang.org/docs/handbook/tsconfig-json.html) (TypeScript 3.7).
  83. ## Declined types
  84. *If we decline a type addition, we will make sure to document the better solution here.*
  85. - [`Diff` and `Spread`](https://github.com/sindresorhus/type-fest/pull/7) - The PR author didn't provide any real-world use-cases and the PR went stale. If you think this type is useful, provide some real-world use-cases and we might reconsider.
  86. - [`Dictionary`](https://github.com/sindresorhus/type-fest/issues/33) - You only save a few characters (`Dictionary<number>` vs `Record<string, number>`) from [`Record`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1429-L1434), which is more flexible and well-known. Also, you shouldn't use an object as a dictionary. We have `Map` in JavaScript now.
  87. - [`SubType`](https://github.com/sindresorhus/type-fest/issues/22) - The type is powerful, but lacks good use-cases and is prone to misuse.
  88. - [`ExtractProperties` and `ExtractMethods`](https://github.com/sindresorhus/type-fest/pull/4) - The types violate the single responsibility principle. Instead, refine your types into more granular type hierarchies.
  89. ## Tips
  90. ### Built-in types
  91. There are many advanced types most users don't know about.
  92. - [`Partial<T>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1401-L1406) - Make all properties in `T` optional.
  93. <details>
  94. <summary>
  95. Example
  96. </summary>
  97. [Playground](https://www.typescriptlang.org/play/#code/JYOwLgpgTgZghgYwgAgHIHsAmEDC6QzADmyA3gLABQyycADnanALYQBcyAzmFKEQNxUaddFDAcQAV2YAjaIMoBfKlQQAbOJ05osEAIIMAQpOBrsUMkOR1eANziRkCfISKSoD4Pg4ZseAsTIALyW1DS0DEysHADkvvoMMQA0VsKi4sgAzAAMuVaKClY2wPaOknSYDrguADwA0sgQAB6QIJjaANYQAJ7oMDp+LsQAfAAUXd0cdUnI9mo+uv6uANp1ALoAlKHhyGAAFsCcAHTOAW4eYF4gyxNrwbNwago0ypRWp66jH8QcAApwYmAjxq8SWIy2FDCNDA3ToKFBQyIdR69wmfQG1TOhShyBgomQX3w3GQE2Q6IA8jIAFYQBBgI4TTiEs5bTQYsFInrLTbbHZOIlgZDlSqQABqj0kKBC3yINx6a2xfOQwH6o2FVXFaklwSCIUkbQghBAEEwENSfNOlykEGefNe5uhB2O6sgS3GPRmLogmslG1tLxUOKgEDA7hAuydtteryAA)
  98. ```ts
  99. interface NodeConfig {
  100. appName: string;
  101. port: number;
  102. }
  103. class NodeAppBuilder {
  104. private configuration: NodeConfig = {
  105. appName: 'NodeApp',
  106. port: 3000
  107. };
  108. private updateConfig<Key extends keyof NodeConfig>(key: Key, value: NodeConfig[Key]) {
  109. this.configuration[key] = value;
  110. }
  111. config(config: Partial<NodeConfig>) {
  112. type NodeConfigKey = keyof NodeConfig;
  113. for (const key of Object.keys(config) as NodeConfigKey[]) {
  114. const updateValue = config[key];
  115. if (updateValue === undefined) {
  116. continue;
  117. }
  118. this.updateConfig(key, updateValue);
  119. }
  120. return this;
  121. }
  122. }
  123. // `Partial<NodeConfig>`` allows us to provide only a part of the
  124. // NodeConfig interface.
  125. new NodeAppBuilder().config({appName: 'ToDoApp'});
  126. ```
  127. </details>
  128. - [`Required<T>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1408-L1413) - Make all properties in `T` required.
  129. <details>
  130. <summary>
  131. Example
  132. </summary>
  133. [Playground](https://typescript-play.js.org/?target=6#code/AQ4SwOwFwUwJwGYEMDGNgGED21VQGJZwC2wA3gFCjXAzFJgA2A-AFzADOUckA5gNxUaIYjA4ckvGG07c+g6gF8KQkAgCuEFFDA5O6gEbEwUbLm2ESwABQIixACJIoSdgCUYAR3Vg4MACYAPGYuFvYAfACU5Ko0APRxwADKMBD+wFAAFuh2Vv7OSBlYGdmc8ABu8LHKsRyGxqY4oQT21pTCIHQMjOwA5DAAHgACxAAOjDAAdChYxL0ANLHUouKSMH0AEmAAhJhY6ozpAJ77GTCMjMCiV0ToSAb7UJPPC9WRgrEJwAAqR6MwSRQPFGUFocDgRHYxnEfGAowh-zgUCOwF6KwkUl6tXqJhCeEsxDaS1AXSYfUGI3GUxmc0WSneQA)
  134. ```ts
  135. interface ContactForm {
  136. email?: string;
  137. message?: string;
  138. }
  139. function submitContactForm(formData: Required<ContactForm>) {
  140. // Send the form data to the server.
  141. }
  142. submitContactForm({
  143. email: 'ex@mple.com',
  144. message: 'Hi! Could you tell me more about…',
  145. });
  146. // TypeScript error: missing property 'message'
  147. submitContactForm({
  148. email: 'ex@mple.com',
  149. });
  150. ```
  151. </details>
  152. - [`Readonly<T>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1415-L1420) - Make all properties in `T` readonly.
  153. <details>
  154. <summary>
  155. Example
  156. </summary>
  157. [Playground](https://typescript-play.js.org/?target=6#code/AQ4UwOwVwW2AZA9gc3mAbmANsA3gKFCOAHkAzMgGkOJABEwAjKZa2kAUQCcvEu32AMQCGAF2FYBIAL4BufDRABLCKLBcywgMZgEKZOoDCiCGSXI8i4hGEwwALmABnUVxXJ57YFgzZHSVF8sT1BpBSItLGEnJz1kAy5LLy0TM2RHACUwYQATEywATwAeAITjU3MAPnkrCJMXLigtUT4AClxgGztKbyDgaX99I1TzAEokr1BRAAslJwA6FIqLAF48TtswHp9MHDla9hJGACswZvmyLjAwAC8wVpm5xZHkUZDaMKIwqyWXYCW0oN4sNlsA1h0ug5gAByACyBQAggAHJHQ7ZBIFoXbzBjMCz7OoQP5YIaJNYQMAAdziCVaALGNSIAHomcAACoFJFgADKWjcSNEwG4vC4ji0wggEEQguiTnMEGALWAV1yAFp8gVgEjeFyuKICvMrCTgVxnst5jtsGC4ljsPNhXxGaAWcAAOq6YRXYDCRg+RWIcA5JSC+kWdCepQ+v3RYCU3RInzRMCGwlpC19NYBW1Ye08R1AA)
  158. ```ts
  159. enum LogLevel {
  160. Off,
  161. Debug,
  162. Error,
  163. Fatal
  164. };
  165. interface LoggerConfig {
  166. name: string;
  167. level: LogLevel;
  168. }
  169. class Logger {
  170. config: Readonly<LoggerConfig>;
  171. constructor({name, level}: LoggerConfig) {
  172. this.config = {name, level};
  173. Object.freeze(this.config);
  174. }
  175. }
  176. const config: LoggerConfig = {
  177. name: 'MyApp',
  178. level: LogLevel.Debug
  179. };
  180. const logger = new Logger(config);
  181. // TypeScript Error: cannot assign to read-only property.
  182. logger.config.level = LogLevel.Error;
  183. // We are able to edit config variable as we please.
  184. config.level = LogLevel.Error;
  185. ```
  186. </details>
  187. - [`Pick<T, K>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1422-L1427) - From `T`, pick a set of properties whose keys are in the union `K`.
  188. <details>
  189. <summary>
  190. Example
  191. </summary>
  192. [Playground](https://typescript-play.js.org/?target=6#code/AQ4SwOwFwUwJwGYEMDGNgEE5TCgNugN4BQoZwOUBAXMAM5RyQDmA3KeSFABYCuAtgCMISMHloMmENh04oA9tBjQJjFuzIBfYrOAB6PcADCcGElh1gEGAHcKATwAO6ebyjB5CTNlwFwSxFR0BX5HeToYABNgBDh5fm8cfBg6AHIKG3ldA2BHOOcfFNpUygJ0pAhokr4hETFUgDpswywkggAFUwA3MFtgAF5gQgowKhhVKTYKGuFRcXo1aVZgbTIoJ3RW3xhOmB6+wfbcAGsAHi3kgBpgEtGy4AAfG54BWfqAPnZm4AAlZUj4MAkMA8GAGB4vEgfMlLLw6CwPBA8PYRmMgZVgAC6CgmI4cIommQELwICh8RBgKZKvALh1ur0bHQABR5PYMui0Wk7em2ADaAF0AJS0AASABUALIAGQAogR+Mp3CROCAFBBwVC2ikBpj5CgBIqGjizLA5TAFdAmalImAuqlBRoVQh5HBgEy1eDWfs7J5cjzGYKhroVfpDEhHM4MV6GRR5NN0JrtnRg6BVirTFBeHAKYmYY6QNpdB73LmCJZBlSAXAubtvczeSmQMNSuMbmKNgBlHFgPEUNwusBIPAAQlS1xetTmxT0SDoESgdD0C4aACtHMwxytLrohawgA)
  193. ```ts
  194. interface Article {
  195. title: string;
  196. thumbnail: string;
  197. content: string;
  198. }
  199. // Creates new type out of the `Article` interface composed
  200. // from the Articles' two properties: `title` and `thumbnail`.
  201. // `ArticlePreview = {title: string; thumbnail: string}`
  202. type ArticlePreview = Pick<Article, 'title' | 'thumbnail'>;
  203. // Render a list of articles using only title and description.
  204. function renderArticlePreviews(previews: ArticlePreview[]): HTMLElement {
  205. const articles = document.createElement('div');
  206. for (const preview of previews) {
  207. // Append preview to the articles.
  208. }
  209. return articles;
  210. }
  211. const articles = renderArticlePreviews([
  212. {
  213. title: 'TypeScript tutorial!',
  214. thumbnail: '/assets/ts.jpg'
  215. }
  216. ]);
  217. ```
  218. </details>
  219. - [`Record<K, T>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1429-L1434) - Construct a type with a set of properties `K` of type `T`.
  220. <details>
  221. <summary>
  222. Example
  223. </summary>
  224. [Playground](https://typescript-play.js.org/?target=6#code/AQ4ejYAUHsGcCWAXBMB2dgwGbAKYC2ADgDYwCeeemCaWArgE7ADGMxAhmuQHQBQoYEnJE8wALKEARnkaxEKdMAC8wAOS0kstGuAAfdQBM8ANzxlRjXQbVaWACwC0JPB0NqA3HwGgIwAJJoWozYHCxixnAsjAhStADmwESMMJYo1Fi4HMCIaPEu+MRklHj8gpqyoeHAAKJFFFTAAN4+giDYCIxwSAByHAR4AFw5SDF5Xm2gJBzdfQPD3WPxE5PAlBxdAPLYNQAelgh4aOHDaPQEMowrIAC+3oJ+AMKMrlrAXFhSAFZ4LEhC9g4-0BmA4JBISXgiCkBQABpILrJ5MhUGhYcATGD6Bk4Hh-jNgABrPDkOBlXyQAAq9ngYmJpOAAHcEOCRjAXqwYODfoo6DhakUSph+Uh7GI4P0xER4Cj0OSQGwMP8tP1hgAlX7swwAHgRl2RvIANALSA08ABtAC6AD4VM1Wm0Kow0MMrYaHYJjGYLLJXZb3at1HYnC43Go-QHQDcvA6-JsmEJXARgCDgMYWAhjIYhDAU+YiMAAFIwex0ZmilMITCGF79TLAGRsAgJYAAZRwSEZGzEABFTOZUrJ5Yn+jwnWgeER6HB7AAKJrADpdXqS4ZqYultTG6azVfqHswPBbtauLY7fayQ7HIbAAAMwBuAEoYw9IBq2Ixs9h2eFMOQYPQObALQKJgggABeYhghCIpikkKRpOQRIknAsZUiIeCttECBEP8NSMCkjDDAARMGziuIYxHwYOjDCMBmDNnAuTxA6irdCOBB1Lh5Dqpqn66tISIykawBnOCtqqC0gbjqc9DgpGkxegOliyfJDrRkAA)
  225. ```ts
  226. // Positions of employees in our company.
  227. type MemberPosition = 'intern' | 'developer' | 'tech-lead';
  228. // Interface describing properties of a single employee.
  229. interface Employee {
  230. firstName: string;
  231. lastName: string;
  232. yearsOfExperience: number;
  233. }
  234. // Create an object that has all possible `MemberPosition` values set as keys.
  235. // Those keys will store a collection of Employees of the same position.
  236. const team: Record<MemberPosition, Employee[]> = {
  237. intern: [],
  238. developer: [],
  239. 'tech-lead': [],
  240. };
  241. // Our team has decided to help John with his dream of becoming Software Developer.
  242. team.intern.push({
  243. firstName: 'John',
  244. lastName: 'Doe',
  245. yearsOfExperience: 0
  246. });
  247. // `Record` forces you to initialize all of the property keys.
  248. // TypeScript Error: "tech-lead" property is missing
  249. const teamEmpty: Record<MemberPosition, null> = {
  250. intern: null,
  251. developer: null,
  252. };
  253. ```
  254. </details>
  255. - [`Exclude<T, U>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1436-L1439) - Exclude from `T` those types that are assignable to `U`.
  256. <details>
  257. <summary>
  258. Example
  259. </summary>
  260. [Playground](https://typescript-play.js.org/?target=6#code/JYOwLgpgTgZghgYwgAgMrQG7QMIHsQzADmyA3gFDLIAOuUYAXMiAK4A2byAPsgM5hRQJHqwC2AI2gBucgF9y5MAE9qKAEoQAjiwj8AEnBAATNtGQBeZAAooWphu26wAGmS3e93bRC8IASgsAPmRDJRlyAHoI5ABRAA8ENhYjFFYOZGVVZBgoXFFkAAM0zh5+QRBhZhYJaAKAOkjogEkQZAQ4X2QAdwALCFbaemRgXmQtFjhOMFwq9K6ULuB0lk6U+HYwZAxJnQaYFhAEMGB8ZCIIMAAFOjAANR2IK0HGWISklIAedCgsKDwCYgAbQA5M9gQBdVzFQJ+JhiSRQMiUYYwayZCC4VHPCzmSzAspCYEBWxgFhQAZwKC+FpgJ43VwARgADH4ZFQSWSBjcZPJyPtDsdTvxKWBvr8rD1DCZoJ5HPopaYoK4EPhCEQmGKcKriLCtrhgEYkVQVT5Nr4fmZLLZtMBbFZgT0wGBqES6ghbHBIJqoBKFdBWQpjfh+DQbhY2tqiHVsbjLMVkAB+ZAAZiZaeQTHOVxu9ySjxNaujNwDVHNvzqbBGkBAdPoAfkQA)
  261. ```ts
  262. interface ServerConfig {
  263. port: null | string | number;
  264. }
  265. type RequestHandler = (request: Request, response: Response) => void;
  266. // Exclude `null` type from `null | string | number`.
  267. // In case the port is equal to `null`, we will use default value.
  268. function getPortValue(port: Exclude<ServerConfig['port'], null>): number {
  269. if (typeof port === 'string') {
  270. return parseInt(port, 10);
  271. }
  272. return port;
  273. }
  274. function startServer(handler: RequestHandler, config: ServerConfig): void {
  275. const server = require('http').createServer(handler);
  276. const port = config.port === null ? 3000 : getPortValue(config.port);
  277. server.listen(port);
  278. }
  279. ```
  280. </details>
  281. - [`Extract<T, U>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1441-L1444) - Extract from `T` those types that are assignable to `U`.
  282. <details>
  283. <summary>
  284. Example
  285. </summary>
  286. [Playground](https://typescript-play.js.org/?target=6#code/CYUwxgNghgTiAEAzArgOzAFwJYHtXzSwEdkQBJYACgEoAueVZAWwCMQYBuAKDDwGcM8MgBF4AXngBlAJ6scESgHIRi6ty5ZUGdoihgEABXZ888AN5d48ANoiAuvUat23K6ihMQ9ATE0BzV3goPy8GZjZOLgBfLi4Aejj4AEEICBwAdz54MAALKFQQ+BxEeAAHY1NgKAwoIKy0grr4DByEUpgccpgMaXgAaxBerCzi+B9-ZulygDouFHRsU1z8kKMYE1RhaqgAHkt4AHkWACt4EAAPbVRgLLWNgBp9gGlBs8uQa6yAUUuYPQwdgNpKM7nh7mMML4CgA+R5WABqUAgpDeVxuhxO1he0jsXGh8EoOBO9COx3BQPo2PBADckaR6IjkSA6PBqTgsMBzPsicdrEC7OJWXSQNwYvFEgAVTS9JLXODpeDpKBZFg4GCoWa8VACIJykAKiQWKy2YQOAioYikCg0OEMDyhRSy4DyxS24KhAAMjyi6gS8AAwjh5OD0iBFHAkJoEOksC1mnkMJq8gUQKDNttKPlnfrwYp3J5XfBHXqoKpfYkAOI4ansTxaeDADmoRSCCBYAbxhC6TDx6rwYHIRX5bScjA4bLJwoDmDwDkfbA9JMrVMVdM1TN69LgkTgwgkchUahqIA)
  287. ```ts
  288. declare function uniqueId(): number;
  289. const ID = Symbol('ID');
  290. interface Person {
  291. [ID]: number;
  292. name: string;
  293. age: number;
  294. }
  295. // Allows changing the person data as long as the property key is of string type.
  296. function changePersonData<
  297. Obj extends Person,
  298. Key extends Extract<keyof Person, string>,
  299. Value extends Obj[Key]
  300. > (obj: Obj, key: Key, value: Value): void {
  301. obj[key] = value;
  302. }
  303. // Tiny Andrew was born.
  304. const andrew = {
  305. [ID]: uniqueId(),
  306. name: 'Andrew',
  307. age: 0,
  308. };
  309. // Cool, we're fine with that.
  310. changePersonData(andrew, 'name', 'Pony');
  311. // Goverment didn't like the fact that you wanted to change your identity.
  312. changePersonData(andrew, ID, uniqueId());
  313. ```
  314. </details>
  315. - [`NonNullable<T>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1446-L1449) - Exclude `null` and `undefined` from `T`.
  316. <details>
  317. <summary>
  318. Example
  319. </summary>
  320. Works with <code>strictNullChecks</code> set to <code>true</code>. (Read more <a href="https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-0.html">here</a>)
  321. [Playground](https://typescript-play.js.org/?target=6#code/C4TwDgpgBACg9gJ2AOQK4FsBGEFQLxQDOwCAlgHYDmUAPlORtrnQwDasDcAUFwPQBU-WAEMkUOADMowqAGNWwwoSgATCBIqlgpOOSjAAFsOBRSy1IQgr9cKJlSlW1mZYQA3HFH68u8xcoBlHA8EACEHJ08Aby4oKDBUTFZSWXjEFEYcAEIALihkXTR2YSSIAB54JDQsHAA+blj4xOTUsHSACkMzPKD3HHDHNQQAGjSkPMqMmoQASh7g-oihqBi4uNIpdraxPAI2VhmVxrX9AzMAOm2ppnwoAA4ABifuE4BfKAhWSyOTuK7CS7pao3AhXF5rV48E4ICDAVAIPT-cGQyG+XTEIgLMJLTx7CAAdygvRCA0iCHaMwarhJOIQjUBSHaACJHk8mYdeLwxtdcVAAOSsh58+lXdr7Dlcq7A3n3J4PEUdADMcspUE53OluAIUGVTx46oAKuAIAFZGQwCYAKIIBCILjUxaDHAMnla+iodjcIA)
  322. ```ts
  323. type PortNumber = string | number | null;
  324. /** Part of a class definition that is used to build a server */
  325. class ServerBuilder {
  326. portNumber!: NonNullable<PortNumber>;
  327. port(this: ServerBuilder, port: PortNumber): ServerBuilder {
  328. if (port == null) {
  329. this.portNumber = 8000;
  330. } else {
  331. this.portNumber = port;
  332. }
  333. return this;
  334. }
  335. }
  336. const serverBuilder = new ServerBuilder();
  337. serverBuilder
  338. .port('8000') // portNumber = '8000'
  339. .port(null) // portNumber = 8000
  340. .port(3000); // portNumber = 3000
  341. // TypeScript error
  342. serverBuilder.portNumber = null;
  343. ```
  344. </details>
  345. - [`Parameters<T>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1451-L1454) - Obtain the parameters of a function type in a tuple.
  346. <details>
  347. <summary>
  348. Example
  349. </summary>
  350. [Playground](https://typescript-play.js.org/?target=6#code/GYVwdgxgLglg9mABAZwBYmMANgUwBQxgAOIUAXIgIZgCeA2gLoCUFAbnDACaIDeAUIkQB6IYgCypSlBxUATrMo1ECsJzgBbLEoipqAc0J7EMKMgDkiHLnU4wp46pwAPHMgB0fAL58+oSLARECEosLAA5ABUYG2QAHgAxJGdpVWREPDdMylk9ZApqemZEAF4APipacrw-CApEgBogkKwAYThwckQwEHUAIxxZJl4BYVEImiIZKF0oZRwiWVdbeygJmThgOYgcGFYcbhqApCJsyhtpWXcR1cnEePBoeDAABVPzgbTixFeFd8uEsClADcIxGiygIFkSEOT3SmTc2VydQeRx+ZxwF2QQ34gkEwDgsnSuFmMBKiAADEDjIhYk1Qm0OlSYABqZnYka4xA1DJZHJYkGc7yCbyeRA+CAIZCzNAYbA4CIAdxg2zJwVCkWirjwMswuEaACYmCCgA)
  351. ```ts
  352. function shuffle(input: any[]): void {
  353. // Mutate array randomly changing its' elements indexes.
  354. }
  355. function callNTimes<Fn extends (...args: any[]) => any> (func: Fn, callCount: number) {
  356. // Type that represents the type of the received function parameters.
  357. type FunctionParameters = Parameters<Fn>;
  358. return function (...args: FunctionParameters) {
  359. for (let i = 0; i < callCount; i++) {
  360. func(...args);
  361. }
  362. }
  363. }
  364. const shuffleTwice = callNTimes(shuffle, 2);
  365. ```
  366. </details>
  367. - [`ConstructorParameters<T>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1456-L1459) - Obtain the parameters of a constructor function type in a tuple.
  368. <details>
  369. <summary>
  370. Example
  371. </summary>
  372. [Playground](https://typescript-play.js.org/?target=6#code/MYGwhgzhAECCBOAXAlqApgWQPYBM0mgG8AoaaFRENALmgkXmQDsBzAblOmCycTV4D8teo1YdO3JiICuwRFngAKClWENmLAJRFOZRAAtkEAHQq00ALzlklNBzIBfYk+KhIMAJJTEYJsDQAwmDA+mgAPAAq0GgAHnxMODCKTGgA7tCKxllg8CwQtL4AngDaALraFgB80EWa1SRkAA6MAG5gfNAB4FABPDJyCrQR9tDNyG0dwMGhtBhgjWEiGgA00F70vv4RhY3hEZXVVinpc42KmuJkkv3y8Bly8EPaDWTkhiZd7r3e8LK3llwGCMXGQWGhEOsfH5zJlsrl8p0+gw-goAAo5MAAW3BaHgEEilU0tEhmzQ212BJ0ry4SOg+kg+gBBiMximIGA0nAfAQLGk2N4EAAEgzYcYcnkLsRdDTvNEYkYUKwSdCme9WdM0MYwYhFPSIPpJdTkAAzDKxBUaZX+aAAQgsVmkCTQxuYaBw2ng4Ok8CYcotSu8pMur09iG9vuObxZnx6SN+AyUWTF8MN0CcZE4Ywm5jZHK5aB5fP4iCFIqT4oRRTKRLo6lYVNeAHpG50wOzOe1zHr9NLQ+HoABybsD4HOKXXRA1JCoKhBELmI5pNaB6Fz0KKBAodDYPAgSUTmqYsAALx4m5nC6nW9nGq14KtaEUA9gR9PvuNCjQ9BgACNvcwNBtAcLiAA)
  373. ```ts
  374. class ArticleModel {
  375. title: string;
  376. content?: string;
  377. constructor(title: string) {
  378. this.title = title;
  379. }
  380. }
  381. class InstanceCache<T extends (new (...args: any[]) => any)> {
  382. private ClassConstructor: T;
  383. private cache: Map<string, InstanceType<T>> = new Map();
  384. constructor (ctr: T) {
  385. this.ClassConstructor = ctr;
  386. }
  387. getInstance (...args: ConstructorParameters<T>): InstanceType<T> {
  388. const hash = this.calculateArgumentsHash(...args);
  389. const existingInstance = this.cache.get(hash);
  390. if (existingInstance !== undefined) {
  391. return existingInstance;
  392. }
  393. return new this.ClassConstructor(...args);
  394. }
  395. private calculateArgumentsHash(...args: any[]): string {
  396. // Calculate hash.
  397. return 'hash';
  398. }
  399. }
  400. const articleCache = new InstanceCache(ArticleModel);
  401. const amazonArticle = articleCache.getInstance('Amazon forests burining!');
  402. ```
  403. </details>
  404. - [`ReturnType<T>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1461-L1464) – Obtain the return type of a function type.
  405. <details>
  406. <summary>
  407. Example
  408. </summary>
  409. [Playground](https://typescript-play.js.org/?target=6#code/MYGwhgzhAECSAmICmBlJAnAbgS2E6A3gFDTTwD2AcuQC4AW2AdgOYAUAlAFzSbnbyEAvkWFFQkGJSQB3GMVI1sNZNwg10TZgG4S0YOUY0kh1es07d+xmvQBXYDXLpWi5UlMaWAGj0GjJ6BtNdkJdBQYIADpXZGgAXmgYpB1ScOwoq38aeN9DYxoU6GFRKzVoJjUwRjwAYXJbPPRuAFkwAAcAHgAxBodsAx9GWwBbACMMAD4cxhloVraOCyYjdAAzMDxoOut1e0d0UNIZ6WhWSPOwdGYIbiqATwBtAF0uaHudUQB6ACpv6ABpJBINqJdAbADW0Do5BOw3u5R2VTwMHIq2gAANtjZ0bkbHsnFCwJh8ONjHp0EgwEZ4JFoN9PkRVr1FAZoMwkDRYIjqkgOrosepoEgAB7+eAwAV2BxOLy6ACCVxgIrFEoMeOl6AACpcwMMORgIB1JRMiBNWKVdhruJKfOdIpdrtwFddXlzKjyACp3Nq842HaDIbL6BrZBIVGhIpB1EMYSLsmjmtWW-YhAA+qegAAYLKQLQj3ZsEsdccmnGcLor2Dn8xGedHGpEIBzEzspfsfMHDNAANTQACMVaIljV5GQkRA5DYmIpVKQAgAJARO9le33BDXIyi0YuLW2nJFGLqkOvxFB0YPdBSaLZ0IwNzyPkO8-xkGgsLh8Al427a3hWAhXwwHA8EHT5PmgAB1bAQBAANJ24adKWpft72RaBUTgRBUCAj89HAM8xCTaBjggABRQx0DuHJv25P9dCkWRZVIAAiBjoFImpmjlFBgA0NpsjadByDacgIDAEAIAAQmYpjoGYgAZSBsmGPw6DtZiiFA8CoJguDmAQmoZ2QvtUKQLdoAYmBTwgdEiCAA)
  410. ```ts
  411. /** Provides every element of the iterable `iter` into the `callback` function and stores the results in an array. */
  412. function mapIter<
  413. Elem,
  414. Func extends (elem: Elem) => any,
  415. Ret extends ReturnType<Func>
  416. >(iter: Iterable<Elem>, callback: Func): Ret[] {
  417. const mapped: Ret[] = [];
  418. for (const elem of iter) {
  419. mapped.push(callback(elem));
  420. }
  421. return mapped;
  422. }
  423. const setObject: Set<string> = new Set();
  424. const mapObject: Map<number, string> = new Map();
  425. mapIter(setObject, (value: string) => value.indexOf('Foo')); // number[]
  426. mapIter(mapObject, ([key, value]: [number, string]) => {
  427. return key % 2 === 0 ? value : 'Odd';
  428. }); // string[]
  429. ```
  430. </details>
  431. - [`InstanceType<T>`](https://github.com/Microsoft/TypeScript/blob/2961bc3fc0ea1117d4e53bc8e97fa76119bc33e3/src/lib/es5.d.ts#L1466-L1469) – Obtain the instance type of a constructor function type.
  432. <details>
  433. <summary>
  434. Example
  435. </summary>
  436. [Playground](https://typescript-play.js.org/?target=6#code/MYGwhgzhAECSAmICmBlJAnAbgS2E6A3gFDTTwD2AcuQC4AW2AdgOYAUAlAFzSbnbyEAvkWFFQkGJSQB3GMVI1sNZNwg10TZgG4S0YOUY0kh1es07d+xmvQBXYDXLpWi5UlMaWAGj0GjJ6BtNdkJdBQYIADpXZGgAXmgYpB1ScOwoq38aeN9DYxoU6GFRKzVoJjUwRjwAYXJbPPRuAFkwAAcAHgAxBodsAx9GWwBbACMMAD4cxhloVraOCyYjdAAzMDxoOut1e0d0UNIZ6WhWSPOwdGYIbiqATwBtAF0uaHudUQB6ACpv6ABpJBINqJdAbADW0Do5BOw3u5R2VTwMHIq2gAANtjZ0bkbHsnFCwJh8ONjHp0EgwEZ4JFoN9PkRVr1FAZoMwkDRYIjqkgOrosepoEgAB7+eAwAV2BxOLy6ACCVxgIrFEoMeOl6AACpcwMMORgIB1JRMiBNWKVdhruJKfOdIpdrtwFddXlzKjyACp3Nq842HaDIbL6BrZBIVGhIpB1EMYSLsmjmtWW-YhAA+qegAAYLKQLQj3ZsEsdccmnGcLor2Dn8xGedHGpEIBzEzspfsfMHDNAANTQACMVaIljV5GQkRA5DYmIpVKQAgAJARO9le33BDXIyi0YuLW2nJFGLqkOvxFB0YPdBSaLZ0IwNzyPkO8-xkGgsLh8Al427a3hWAhXwwHA8EHT5PmgAB1bAQBAANJ24adKWpft72RaBUTgRBUCAj89HAM8xCTaBjggABRQx0DuHJv25P9dCkWRZVIAAiBjoFImpmjlFBgA0NpsjadByDacgIDAEAIAAQmYpjoGYgAZSBsmGPw6DtZiiFA8CoJguDmAQmoZ2QvtUKQLdoAYmBTwgdEiCAA)
  437. ```ts
  438. class IdleService {
  439. doNothing (): void {}
  440. }
  441. class News {
  442. title: string;
  443. content: string;
  444. constructor(title: string, content: string) {
  445. this.title = title;
  446. this.content = content;
  447. }
  448. }
  449. const instanceCounter: Map<Function, number> = new Map();
  450. interface Constructor {
  451. new(...args: any[]): any;
  452. }
  453. // Keep track how many instances of `Constr` constructor have been created.
  454. function getInstance<
  455. Constr extends Constructor,
  456. Args extends ConstructorParameters<Constr>
  457. >(constructor: Constr, ...args: Args): InstanceType<Constr> {
  458. let count = instanceCounter.get(constructor) || 0;
  459. const instance = new constructor(...args);
  460. instanceCounter.set(constructor, count + 1);
  461. console.log(`Created ${count + 1} instances of ${Constr.name} class`);
  462. return instance;
  463. }
  464. const idleService = getInstance(IdleService);
  465. // Will log: `Created 1 instances of IdleService class`
  466. const newsEntry = getInstance(News, 'New ECMAScript proposals!', 'Last month...');
  467. // Will log: `Created 1 instances of News class`
  468. ```
  469. </details>
  470. - [`Omit<T, K>`](https://github.com/microsoft/TypeScript/blob/71af02f7459dc812e85ac31365bfe23daf14b4e4/src/lib/es5.d.ts#L1446) – Constructs a type by picking all properties from T and then removing K.
  471. <details>
  472. <summary>
  473. Example
  474. </summary>
  475. [Playground](https://typescript-play.js.org/?target=6#code/JYOwLgpgTgZghgYwgAgIImAWzgG2QbwChlks4BzCAVShwC5kBnMKUcgbmKYAcIFgIjBs1YgOXMpSFMWbANoBdTiW5woFddwAW0kfKWEAvoUIB6U8gDCUCHEiNkICAHdkYAJ69kz4GC3JcPG4oAHteKDABBxCYNAxsPFBIWEQUCAAPJG4wZABySUFcgJAAEzMLXNV1ck0dIuCw6EjBADpy5AB1FAQ4EGQAV0YUP2AHDy8wEOQbUugmBLwtEIA3OcmQnEjuZBgQqE7gAGtgZAhwKHdkHFGwNvGUdDIcAGUliIBJEF3kAF5kAHlML4ADyPBIAGjyBUYRQAPnkqho4NoYQA+TiEGD9EAISIhPozErQMG4AASK2gn2+AApek9pCSXm8wFSQooAJQMUkAFQAsgAZACiOAgmDOOSIJAQ+OYyGl4DgoDmf2QJRCCH6YvALQQNjsEGFovF1NyJWAy1y7OUyHMyE+yRAuFImG4Iq1YDswHxbRINjA-SgfXlHqVUE4xiAA)
  476. ```ts
  477. interface Animal {
  478. imageUrl: string;
  479. species: string;
  480. images: string[];
  481. paragraphs: string[];
  482. }
  483. // Creates new type with all properties of the `Animal` interface
  484. // except 'images' and 'paragraphs' properties. We can use this
  485. // type to render small hover tooltip for a wiki entry list.
  486. type AnimalShortInfo = Omit<Animal, 'images' | 'paragraphs'>;
  487. function renderAnimalHoverInfo (animals: AnimalShortInfo[]): HTMLElement {
  488. const container = document.createElement('div');
  489. // Internal implementation.
  490. return container;
  491. }
  492. ```
  493. </details>
  494. You can find some examples in the [TypeScript docs](https://www.typescriptlang.org/docs/handbook/advanced-types.html#predefined-conditional-types).
  495. ## Maintainers
  496. - [Sindre Sorhus](https://github.com/sindresorhus)
  497. - [Jarek Radosz](https://github.com/CvX)
  498. - [Dimitri Benin](https://github.com/BendingBender)
  499. - [Pelle Wessman](https://github.com/voxpelli)
  500. ## License
  501. (MIT OR CC0-1.0)
  502. ---
  503. <div align="center">
  504. <b>
  505. <a href="https://tidelift.com/subscription/pkg/npm-type-fest?utm_source=npm-type-fest&utm_medium=referral&utm_campaign=readme">Get professional support for this package with a Tidelift subscription</a>
  506. </b>
  507. <br>
  508. <sub>
  509. Tidelift helps make open source sustainable for maintainers while giving companies<br>assurances about security, maintenance, and licensing for their dependencies.
  510. </sub>
  511. </div>