main
|
Last change
on this file was d24f17c, checked in by Aleksandar Panovski <apano77@…>, 15 months ago |
|
Initial commit
|
-
Property mode
set to
100644
|
|
File size:
413 bytes
|
| Line | |
|---|
| 1 | import { Narrowable } from './_Internal';
|
|---|
| 2 | /**
|
|---|
| 3 | * Force `A` to comply with `W`. `A` must be a shape of `W`. In other words, `A`
|
|---|
| 4 | * must extend `W` and have the same properties - no more, no less.
|
|---|
| 5 | * @param A
|
|---|
| 6 | * @param W
|
|---|
| 7 | */
|
|---|
| 8 | declare type Exact<A, W> = W extends unknown ? A extends W ? A extends Narrowable ? A : {
|
|---|
| 9 | [K in keyof A]: K extends keyof W ? Exact<A[K], W[K]> : never;
|
|---|
| 10 | } : W : never;
|
|---|
| 11 | export { Exact };
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
