Gecko [ gandhischool.edu.np ]

Name	Size	Permission
async-return-type.d.ts	715 B	-rw-rw-rw-
asyncify.d.ts	1.19 KB	-rw-rw-rw-
basic.d.ts	1.62 KB	-rw-rw-rw-
conditional-except.d.ts	1012 B	-rw-rw-rw-
conditional-keys.d.ts	1.17 KB	-rw-rw-rw-
conditional-pick.d.ts	933 B	-rw-rw-rw-
entries.d.ts	2.42 KB	-rw-rw-rw-
entry.d.ts	2.7 KB	-rw-rw-rw-
except.d.ts	886 B	-rw-rw-rw-
fixed-length-array.d.ts	1.45 KB	-rw-rw-rw-
iterable-element.d.ts	1.25 KB	-rw-rw-rw-
literal-union.d.ts	1.11 KB	-rw-rw-rw-
merge-exclusive.d.ts	1.31 KB	-rw-rw-rw-
merge.d.ts	531 B	-rw-rw-rw-
mutable.d.ts	1.76 KB	-rw-rw-rw-
opaque.d.ts	2.61 KB	-rw-rw-rw-
package-json.d.ts	13.74 KB	-rw-rw-rw-
partial-deep.d.ts	2.26 KB	-rw-rw-rw-
promisable.d.ts	775 B	-rw-rw-rw-
promise-value.d.ts	1.03 KB	-rw-rw-rw-
readonly-deep.d.ts	1.79 KB	-rw-rw-rw-
require-at-least-one.d.ts	848 B	-rw-rw-rw-
require-exactly-one.d.ts	1.23 KB	-rw-rw-rw-
set-optional.d.ts	911 B	-rw-rw-rw-
set-required.d.ts	914 B	-rw-rw-rw-
set-return-type.d.ts	1.66 KB	-rw-rw-rw-
simplify.d.ts	133 B	-rw-rw-rw-
stringified.d.ts	416 B	-rw-rw-rw-
tsconfig-json.d.ts	16.44 KB	-rw-rw-rw-
typed-array.d.ts	363 B	-rw-rw-rw-
union-to-intersection.d.ts	1.92 KB	-rw-rw-rw-
utilities.d.ts	322 B	-rw-rw-rw-
value-of.d.ts	829 B	-rw-rw-rw-

Code Editor : union-to-intersection.d.ts

/**
Convert a union type to an intersection type using [distributive conditional types](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html#distributive-conditional-types).

Inspired by [this Stack Overflow answer](https://stackoverflow.com/a/50375286/2172153).

@example
```
import {UnionToIntersection} from 'type-fest';

type Union = {the(): void} | {great(arg: string): void} | {escape: boolean};

type Intersection = UnionToIntersection<Union>;
//=> {the(): void; great(arg: string): void; escape: boolean};
```

A more applicable example which could make its way into your library code follows.

@example
```
import {UnionToIntersection} from 'type-fest';

class CommandOne {
	commands: {
		a1: () => undefined,
		b1: () => undefined,
	}
}

class CommandTwo {
	commands: {
		a2: (argA: string) => undefined,
		b2: (argB: string) => undefined,
	}
}

const union = [new CommandOne(), new CommandTwo()].map(instance => instance.commands);
type Union = typeof union;
//=> {a1(): void; b1(): void} | {a2(argA: string): void; b2(argB: string): void}

type Intersection = UnionToIntersection<Union>;
//=> {a1(): void; b1(): void; a2(argA: string): void; b2(argB: string): void}
```
*/
export type UnionToIntersection<Union> = (
	// `extends unknown` is always going to be the case and is used to convert the
	// `Union` into a [distributive conditional
	// type](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html#distributive-conditional-types).
	Union extends unknown
		// The union type is used as the only argument to a function since the union
		// of function arguments is an intersection.
		? (distributedUnion: Union) => void
		// This won't happen.
		: never
		// Infer the `Intersection` type since TypeScript represents the positional
		// arguments of unions of functions as an intersection of the union.
	) extends ((mergedIntersection: infer Intersection) => void)
		? Intersection
		: never;

${this.title}

Code Editor : union-to-intersection.d.ts